Finite measure
In measure theory, a branch of mathematics, a finite measure or totally finite measure[1] is a special measure that always takes on finite values. Among finite measures are probability measures. The finite measures are often easier to handle than more general measures and show a variety of different properties depending on the sets they are defined on.
Definition
A measure on measurable space is called a finite measure if it satisfies
By the monotonicity of measures, this implies
If is a finite measure, the measure space is called a finite measure space or a totally finite measure space.[1]
Properties
General case
For any measurable space, the finite measures form a convex cone in the Banach space of signed measures with the total variation norm. Important subsets of the finite measures are the sub-probability measures, which form a convex subset, and the probability measures, which are the intersection of the unit sphere in the normed space of signed measures and the finite measures.
Topological spaces
If is a Hausdorff space and contains the Borel -algebra then every finite measure is also a locally finite Borel measure.
Metric spaces
If is a metric space and the is again the Borel -algebra, the weak convergence of measures can be defined. The corresponding topology is called weak topology and is the initial topology of all bounded continuous functions on . The weak topology corresponds to the weak* topology in functional analysis. If is also separable, the weak convergence is metricized by the Lévy–Prokhorov metric.[2]
Polish spaces
If is a Polish space and is the Borel -algebra, then every finite measure is a regular measure and therefore a Radon measure.[3] If is Polish, then the set of all finite measures with the weak topology is Polish too.[4]
References
- ^ a b Anosov, D.V. (2001) [1994], "Measure space", Encyclopedia of Mathematics, EMS Press
- ^ Klenke, Achim (2008). Probability Theory. Berlin: Springer. p. 252. doi:10.1007/978-1-84800-048-3. ISBN 978-1-84800-047-6.
- ^ Klenke, Achim (2008). Probability Theory. Berlin: Springer. p. 248. doi:10.1007/978-1-84800-048-3. ISBN 978-1-84800-047-6.
- ^ Kallenberg, Olav (2017). Random Measures, Theory and Applications. Probability Theory and Stochastic Modelling. Vol. 77. Switzerland: Springer. p. 112. doi:10.1007/978-3-319-41598-7. ISBN 978-3-319-41596-3.
- v
- t
- e
- Absolute continuity of measures
- Lebesgue integration
- Lp spaces
- Measure
- Measure space
- Measurable space/function
- Atomic
- Baire
- Banach
- Besov
- Borel
- Brown
- Complex
- Complete
- Content
- (Logarithmically) Convex
- Decomposable
- Discrete
- Equivalent
- Finite
- Inner
- (Quasi-) Invariant
- Locally finite
- Maximising
- Metric outer
- Outer
- Perfect
- Pre-measure
- (Sub-) Probability
- Projection-valued
- Radon
- Random
- Regular
- Saturated
- Set function
- σ-finite
- s-finite
- Signed
- Singular
- Spectral
- Strictly positive
- Tight
- Vector
- Carathéodory's extension theorem
- Convergence theorems
- Decomposition theorems
- Egorov's
- Fatou's lemma
- Fubini's
- Hölder's inequality
- Minkowski inequality
- Radon–Nikodym
- Riesz–Markov–Kakutani representation theorem
For Lebesgue measure |
---|
This mathematical analysis–related article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e