Definition
Let X be a set and Σ a σ-algebra over X. A function μ from Σ to the extended real number line is called a measure if it satisfies the following properties:
- Non-negativity:
- Null empty set:
- Countable additivity (or σ-additivity): For all countable collections of pairwise disjoint sets in Σ:
One may require that at least one set E has finite measure. Then the null set automatically has measure zero because of countable additivity, because, so .
If only the second and third conditions of the definition of measure above are met, and μ takes on at most one of the values ±∞, then μ is called a signed measure.
The pair is called a measurable space, the members of are called measurable sets. If is another measurable space then a function is called measurable if for every Y-measurable set, the inverse image is X-measurable i.e. . The composition of measurable functions is measurable, making the measurable spaces and measurable functions a category, with the set of measurable functions as the arrows.
A triple (X, Σ, μ) is called a measure space. A probability measure is a measure with total measure one (i.e., μ(X) = 1); a probability space is a measure space with a probability measure.
For measure spaces that are also topological spaces various compatibility conditions can be placed for the measure and the topology. Most measures met in practice in analysis (and in many cases also in probability theory) are Radon measures. Radon measures have an alternative definition in terms of linear functionals on the locally convex space of continuous functions with compact support. This approach is taken by Bourbaki (2004) and a number of other sources. For more details see Radon measure.
Read more about this topic: Measure (mathematics)
Famous quotes containing the word definition:
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)