Misplaced Pages

Bierlein's measure extension theorem

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (April 2024)

Bierlein's measure extension theorem is a result from measure theory and probability theory on extensions of probability measures. The theorem makes a statement about when one can extend a probability measure to a larger σ-algebra. It is of particular interest for infinite dimensional spaces.

The theorem is named after the German mathematician Dietrich Bierlein, who proved the statement for countable families in 1962. The general case was shown by Albert Ascherl and Jürgen Lehn in 1977.

A measure extension theorem of Bierlein

Let ( X , A , μ ) {\displaystyle (X,{\mathcal {A}},\mu )} be a probability space and S ⊂ P ( X ) {\displaystyle {\mathcal {S}}\subset {\mathcal {P}}(X)} be a σ-algebra, then in general μ {\displaystyle \mu } can not be extended to σ ( A ∪ S ) {\displaystyle \sigma ({\mathcal {A}}\cup {\mathcal {S}})} . For instance when S {\displaystyle {\mathcal {S}}} is countably infinite, this is not always possible. Bierlein's extension theorem says, that it is always possible for disjoint families.

Statement of the theorem

Bierlein's measure extension theorem is

Let ( X , A , μ ) {\displaystyle (X,{\mathcal {A}},\mu )} be a probability space, I {\displaystyle I} an arbitrary index set and ( A i ) i ∈ I {\displaystyle (A_{i})_{i\in I}} a family of disjoint sets from X {\displaystyle X} . Then there exists a extension ν {\displaystyle \nu } of μ {\displaystyle \mu } on σ ( A ∪ { A i : i ∈ I } ) {\displaystyle \sigma ({\mathcal {A}}\cup \{A_{i}\colon i\in I\})} .

Related results and generalizations

Bierlein gave a result which stated an implication for uniqueness of the extension. Ascherl and Lehn gave a condition for equivalence.

Zbigniew Lipecki proved in 1979 a variant of the statement for group-valued measures (i.e. for "topological hausdorff group"-valued measures).

References

  1. ^ Bierlein, Dietrich (1962). "Über die Fortsetzung von Wahrscheinlichkeitsfeldern". Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete. 1 (1): 28–46. doi:10.1007/BF00531770.
  2. ^ Ascherl, Albert; Lehn, Jürgen (1977). "Two principles for extending probability measures". Manuscripta Math. 21 (21): 43–50. doi:10.1007/BF01176900.
  3. Lipecki, Zbigniew (1980). "A generalization of an extension theorem of Bierlein to group-valued measures". Bulletin Polish Acad. Sci. Math. 28: 441–445.
Categories: