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:
“Its a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was mine.”
—Jane Adams (20th century)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (18391894)