Σ-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.

Definition

Ein positives Maß $\mu$, definiert auf einer $\sigma$-Algebra $\Sigma$ auf einer Menge $X$. Dieser Maßraum heißt $\sigma$-endlich, wenn es abzählbar viele messbare Mengen $A\in \Sigma$ mit endlichem Maß, das heißt $\mu (A)<\infty$ gibt, deren Vereinigung $X$ ist. Eine Menge, für die der Maßraum eingeschränkt auf diese $\sigma$-endlich ist, heißt $\sigma$-endliche Menge.

Die Definition lässt sich auf signierte Maße ausweiten: Ein signiertes Maß $\nu$ heißt $\sigma$-endlich, wenn $|\nu |$ $\sigma$-endlich ist.

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-Nikodym 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).

Beispiele

• 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.

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).

Literatur

• Jürgen Elstrodt: Maß- und Integrationstheorie. Springer, Berlin 1996, ISBN 3-540-15307-1.