measure
Let be a measurable space. A measure on is a function with values in the extended real numbers such that:
-
1.
for , with equality if
-
2.
for any sequence of pairwise disjoint sets .
Occasionally, the term positive measure is used to distinguish measures as defined here from more general notions of measure which are not necessarily restricted to the non-negative extended reals.
The second property above is called countable additivity, or -additivity. A finitely additive measure has the same definition except that is only required to be an algebra and the second property above is only required to hold for finite unions. Note the slight abuse of terminology: a finitely additive measure is not necessarily a measure.
The triple is called a measure space. If , then it is called a probability space, and the measure is called a probability measure.
Lebesgue measure on is one important example of a measure.
Title | measure |
Canonical name | Measure |
Date of creation | 2013-03-22 11:57:33 |
Last modified on | 2013-03-22 11:57:33 |
Owner | djao (24) |
Last modified by | djao (24) |
Numerical id | 19 |
Author | djao (24) |
Entry type | Definition |
Classification | msc 60A10 |
Classification | msc 28A10 |
Related topic | LpSpace |
Related topic | SigmaFinite |
Related topic | Integral2 |
Related topic | Distribution |
Related topic | LebesgueMeasure |
Defines | measure space |
Defines | probability space |
Defines | probability measure |
Defines | countably additive |
Defines | finitely additive |
Defines | -additive |
Defines | positive measure |