σ-finite measure

In mathematics, a positive (or signed) measure μ defined on a σ-algebra Σ of subsets of a set X is called a finite measure if μ(X) is a finite real number (rather than ∞), and a set A in Σ is of finite measure if μ(A) < ∞. The measure μ is called σ-finite if X is the countable union of measurable sets with finite measure. A set in a measure space is said to have σ-finite measure if it is a countable union of measurable sets with finite measure. A measure being σ-finite is a weaker condition than being finite, i.e. all finite measures are σ-finite but there are (many) σ-finite measures that are not finite.

A different but related notion that should not be confused with sigma-finiteness is s-finiteness

Definition

Let $(X,{\mathcal {A}})$ be a measurable space and $\mu$ a measure on it.

The measure $\mu$ is called a σ-finite measure, if it satisfies one of the four following equivalent criteria:

the set $X$ can be covered with at most countably many measurable sets with finite measure. This means that there are sets $A_{1},A_{2},\ldots \in {\mathcal {A}}$ with $\mu \left(A_{n}\right)<\infty$ for all $n\in \mathbb {N}$ that satisfy $\bigcup _{n\in \mathbb {N} }A_{n}=X$ .^[1]
the set $X$ can be covered with at most countably many measurable disjoint sets with finite measure. This means that there are sets $B_{1},B_{2},\ldots \in {\mathcal {A}}$ with $\mu \left(B_{n}\right)<\infty$ for all $n\in \mathbb {N}$ and $B_{i}\cap B_{j}=\varnothing$ for $i\neq j$ that satisfy $\bigcup _{n\in \mathbb {N} }B_{n}=X$ .
the set $X$ can be covered with a monotone sequence of measurable sets with finite measure. This means that there are sets $C_{1},C_{2},\ldots \in {\mathcal {A}}$ with $C_{1}\subset C_{2}\subset \cdots$ and $\mu \left(C_{n}\right)<\infty$ for all $n\in \mathbb {N}$ that satisfy $\bigcup _{n\in \mathbb {N} }C_{n}=X$ .
there exists a strictly positive measurable function $f$ whose integral is finite.^[2] This means that $f(x)>0$ for all $x\in X$ and $\int f(x)\mu (\mathrm {d} x)<\infty$ .

If $\mu$ is a $\sigma$ -finite measure, the measure space $(X,{\mathcal {A}},\mu )$ is called a $\sigma$ -finite measure space.^[3]

Examples

Lebesgue measure

For example, Lebesgue measure on the real numbers is not finite, but it is σ-finite. Indeed, consider the intervals $[k, k + 1)$ for all integers $k$ ; there are countably many such intervals, each has measure 1, and their union is the entire real line.

Counting measure

Alternatively, consider the real numbers with the counting measure; the measure of any finite set is the number of elements in the set, and the measure of any infinite set is infinity. This measure is not σ-finite, because every set with finite measure contains only finitely many points, and it would take uncountably many such sets to cover the entire real line. But, the set of natural numbers $\mathbb {N}$ with the counting measure is σ -finite.

Locally compact groups

Locally compact groups which are σ-compact are σ-finite under Haar measure. For example, all connected, locally compact groups G are σ-compact. To see this, let V be a relatively compact, symmetric (that is V = V⁻¹) open neighborhood of the identity. Then

H=\bigcup _{n\in \mathbb {N} }V^{n}

is an open subgroup of G. Therefore H is also closed since its complement is a union of open sets and by connectivity of G, must be G itself. Thus all connected Lie groups are σ-finite under Haar measure.

Negative examples

Any non-trivial measure taking only the two values 0 and $\infty$ is clearly non σ-finite. One example in $\mathbb {R}$ is: for all $A\subset \mathbb {R}$ , $\mu (A)=\infty$ if and only if A is not empty; another one is: for all $A\subset \mathbb {R}$ , $\mu (A)=\infty$ if and only if A is uncountable, 0 otherwise. Incidentally, both are translation-invariant.

Properties

The class of σ-finite measures has some very convenient properties; σ-finiteness can be compared in this respect to separability of topological spaces. Some theorems in analysis require σ-finiteness as a hypothesis. Usually, both the Radon–Nikodym theorem and Fubini's theorem are stated under an assumption of σ-finiteness on the measures involved. However, as shown in Segal's paper "Equivalences of measure spaces" (Am. J. Math. 73, 275 (1953)) they require only a weaker condition, namely localisability.

Though measures which are not σ-finite are sometimes regarded as pathological, they do in fact occur quite naturally. For instance, if X is a metric space of Hausdorff dimension r, then all lower-dimensional Hausdorff measures are non-σ-finite if considered as measures on X.

Equivalence to a probability measure

Any σ-finite measure μ on a space X is equivalent to a probability measure on X: let V_n, n ∈ N, be a covering of X by pairwise disjoint measurable sets of finite μ-measure, and let w_n, n ∈ N, be a sequence of positive numbers (weights) such that

\sum _{n=1}^{\infty }w_{n}=1.

The measure ν defined by

\nu (A)=\sum _{n=1}^{\infty }w_{n}{\frac {\mu \left(A\cap V_{n}\right)}{\mu \left(V_{n}\right)}}

is then a probability measure on X with precisely the same null sets as μ.

Related concepts

Moderate measures

A Borel measure (in the sense of a locally finite measure on the Borel $\sigma$ -algebra^[4]) $\mu$ is called a moderate measure iff there are at most countably many open sets $A_{1},A_{2},\ldots$ with $\mu \left(A_{i}\right)<\infty$ for all $i$ and $\bigcup _{i=1}^{\infty }A_{i}=X$ .^[5]

Every moderate measure is a $\sigma$ -finite measure, the converse is not true.

Decomposable measures

A measure is called a decomposable measure there are disjoint measurable sets $\left(A_{i}\right)_{i\in I}$ with $\mu \left(A_{i}\right)<\infty$ for all $i\in I$ and $\bigcup _{i\in I}A_{i}=X$ . Note that for decomposable measures, there is no restriction on the number of measurable sets with finite measure.

Every $\sigma$ -finite measure is a decomposable measure, the converse is not true.

s-finite measures

A measure $\mu$ is called a s-finite measure if it is the sum of at most countably many finite measures.^[2]

Every σ-finite measure is s-finite, the converse is not true. For a proof and counterexample see s-finite measure#Relation to σ-finite measures.

References

^ Klenke, Achim (2008). Probability Theory. Berlin: Springer. p. 12. doi:10.1007/978-1-84800-048-3. ISBN 978-1-84800-047-6.
^ ^a ^b Kallenberg, Olav (2017). Random Measures, Theory and Applications. Switzerland: Springer. p. 21. doi:10.1007/978-3-319-41598-7. ISBN 978-3-319-41596-3.
^ Anosov, D.V. (2001) [1994], "Measure space", Encyclopedia of Mathematics, EMS Press
^ Elstrodt, Jürgen (2009). Maß- und Integrationstheorie [Measure and Integration theory] (in German). Berlin: Springer Verlag. p. 313. doi:10.1007/978-3-540-89728-6. ISBN 978-3-540-89727-9.
^ Elstrodt, Jürgen (2009). Maß- und Integrationstheorie [Measure and Integration theory] (in German). Berlin: Springer Verlag. p. 318. doi:10.1007/978-3-540-89728-6. ISBN 978-3-540-89727-9.

[Klenke12-1] Klenke, Achim (2008). Probability Theory. Berlin: Springer. p. 12. doi:10.1007/978-1-84800-048-3. ISBN 978-1-84800-047-6.

[Kallenberg21-2] Kallenberg, Olav (2017). Random Measures, Theory and Applications. Switzerland: Springer. p. 21. doi:10.1007/978-3-319-41598-7. ISBN 978-3-319-41596-3.

[eommeasurespace-3] Anosov, D.V. (2001) [1994], "Measure space", Encyclopedia of Mathematics, EMS Press

[Elstrodt313-4] Elstrodt, Jürgen (2009). Maß- und Integrationstheorie [Measure and Integration theory] (in German). Berlin: Springer Verlag. p. 313. doi:10.1007/978-3-540-89728-6. ISBN 978-3-540-89727-9.

[Elstrodt318-5] Elstrodt, Jürgen (2009). Maß- und Integrationstheorie [Measure and Integration theory] (in German). Berlin: Springer Verlag. p. 318. doi:10.1007/978-3-540-89728-6. ISBN 978-3-540-89727-9.

[1]

[2]

[3]

[4]

[5]