Σ-Endlichkeit

Der Begriff der $\sigma$-Endlichkeit (auch $\sigma$-Finitheit) wird in der mathematischen Maßtheorie verwendet und liefert eine Abstufung von (messbaren) Mengen von unendlichem Maß in $\sigma$-endliche und nicht $\sigma$-endliche Mengen. Er wird aus ähnlichen Gründen eingeführt wie der Begriff der Abzählbarkeit bezüglich der Anzahl von Elementen einer Menge. Allgemein ist die $\sigma$-Endlichkeit eine Eigenschaft von Mengenfunktionen in Verbindung mit einem Mengensystem. Oftmals wird aber auf die Angabe des Mengensystems verzichtet, wenn klar ist, um welches es sich handelt.

Definition

Gegeben sei ein Mengensystem ${\mathcal {M}}$ auf der Grundmenge $X$, also ${\mathcal {M}}\subset {\mathcal {P}}(X)$. Sei

$\mu :{\mathcal {M}}\to [0,\infty ]$

eine positive Mengenfunktion. Dann heißt die Mengenfunktion $\sigma$-endlich, wenn es eine abzählbare Folge $(A_{n})_{n\in \mathbb {N} }$ von Mengen aus ${\mathcal {M}}$ gibt, so dass

$\bigcup _{n=1}^{\infty }A_{n}=X$

gilt und

$\mu (A_{n})<\infty {\text{ für alle }}n\in \mathbb {N}$

gilt. Allgemeiner wird ein signiertes Maß $\sigma$-endlich genannt, wenn seine Variation $\sigma$-endlich ist.

Ist $\mu$ ein Maß und $\sigma$-endlich auf der $\sigma$-Algebra ${\mathcal {A}}$, so nennt man den Maßraum $(X,{\mathcal {A}},\mu )$ auch einen $\sigma$-endlichen Maßraum.

Anwendung

• Nicht endliche Maße können pathologische Eigenschaften aufweisen, jedoch sind viele der häufig betrachteten Maße nicht endlich. Die Klasse der $\sigma$-endlichen Maße teilt mit den endlichen Maßen einige angenehme Eigenschaften, $\sigma$-Endlichkeit kann in dieser Hinsicht mit der Separabilität von topologischen Räumen verglichen werden. Einige Sätze der Analysis, wie der Satz von Radon-Nikodým und der Satz von Fubini, gelten zum Beispiel nicht mehr für nicht $\sigma$-endliche Maße (mitunter ist jedoch eine Übertragung auf allgemeinere Fälle möglich, indem man den Satz für alle $\sigma$-endlichen Teilräume anwendet).
• Das Birkhoff-Integral für Banachraum-wertige Funktionen wird mit Hilfe von $\sigma$-endlichen Maßen definiert.

Beispiele

• Das Zählmaß auf der Potenzmenge einer Menge $M$ ist genau dann endlich, wenn $M$ endlich ist, und genau dann $\sigma$-endlich, wenn $M$ abzählbar ist.
• Das Lebesgue-Maß auf den reellen Zahlen ist nicht endlich, aber $\sigma$-endlich. Denn betrachtet man die Intervalle $[k,k+1]$ für alle ganzen Zahlen $k$, so hat jedes Intervall das Maß $1$, und $\mathbb {R}$ ist deren Vereinigung.
• Ist eine lokalkompakte topologische Gruppe $\sigma$-kompakt, so ist ihr Haarmaß $\sigma$-endlich.

Äquivalenz zu Wahrscheinlichkeitsmaßen

Zwei Maße $\mu$ und $\nu$ auf einem gemeinsamen Messraum $(X,{\mathcal {A}})$ heißen äquivalent, wenn sie dieselben Nullmengen besitzen. Das heißt, es gilt sowohl $\mu \ll \nu$ als auch $\nu \ll \mu$, sie sind gegenseitig absolut stetig. Hierdurch ist tatsächlich eine Äquivalenzrelation auf Maßen erklärt. Wir nehmen im Weiteren an, $\mu \not \equiv 0$ sei nicht das Nullmaß.

Viele der Anwendungen $\sigma$-endlicher Maße ergeben sich nun aus dem folgenden Satz:

Jedes $\sigma$-endliche Maß $\mu$ ist äquivalent zu einem Wahrscheinlichkeitsmaß $P$.

Die Bedeutung des Satzes liegt in der Äquivalenz zu einem endlichen Maß, selbst dann, wenn $\mu (X)=\infty$ unendlich ist. Insbesondere gibt es stets eine $\mu$-integrierbare Funktion $w\in L^{1}(\mu )$, so dass $0<w(x)<1$ für alle $x\in X$ gilt.

Inhalte und Prämaße

Völlig analog spricht man auch auf Halbringen von $\sigma$-endlichen Inhalten und Prämaßen. Nach dem Maßerweiterungssatz von Carathéodory ist jedes $\sigma$-endliche Prämaß auf einem Halbring eindeutig zu einem Maß auf der erzeugten $\sigma$-Algebra fortsetzbar (ohne $\sigma$-Endlichkeit folgt nicht die Eindeutigkeit).

Verwandte Begriffe

Ein dem $\sigma$-endlichen Maß verwandter Begriff ist der eines moderaten Maßes. Hierbei handelt es sich um ein Borel-Maß, für dass eine abzählbare Überdeckung der Grundmenge mit offenen Mengen endlichen Maßes existiert.

Zudem existiert ein Begriff der s-Endlichkeit. Man nennt ein Maß $m$ s-endlich falls $m$ die abzählbare Summe von endlichen Maßen ist, das heißt es gilt $m=\sum \limits _{n\in \mathbb {N} }m_{n}$ für eine Folge von endlichen Maßen $(m_{n})$.

Literatur

• Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6. 
• Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin Heidelberg 2013, ISBN 978-3-642-36017-6, doi:10.1007/978-3-642-36018-3. 
• Walter Rudin: Real and Complex Analysis. 3. Auflage. McGraw-Hill, New York 1987 (englisch).