Maßtheorie

Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament der modernen Integrations- und Wahrscheinlichkeitstheorie.

Als Maß versteht man in der Maßtheorie eine Zuordnung von reellen oder komplexen Zahlen zu einem Teilmengensystem über einer Grundmenge. Die Zuordnung und das Teilmengensystem sollen dabei bestimmte Eigenschaften besitzen. In der Praxis ist häufig nur eine partielle Zuordnung von vornherein bekannt. Zum Beispiel ordnet man in der Ebene Rechtecken das Produkt ihrer Kantenlängen als Flächeninhalt zu. Die Maßtheorie untersucht nun einerseits, ob sich in konsistenter Weise und eindeutig diese Zuordnung auf größere Teilmengensysteme erweitern lässt und andererseits, ob dabei zusätzliche gewünschte Eigenschaften erhalten bleiben. Im Beispiel der Ebene möchte man natürlich auch Kreisscheiben einen sinnvollen Flächeninhalt zuordnen und wird gleichzeitig neben den Eigenschaften, die man von Maßen ganz allgemein verlangt, auch Translationsinvarianz fordern, das heißt der Inhalt einer Teilmenge der Ebene ist unabhänging von ihrer Position.

Definitionen und Beispiele

Messraum, messbare Mengen

Für eine exakte Definition der Grundbegriffe der Maßtheorie beginnen wir mit einer Grundmenge Ω. Wenn eine gewisse Menge Σ von Teilmengen von Ω eine σ-Algebra bildet, dann heißt jede Menge, die Element von Σ ist, messbar (engl. measurable), und die Grundmenge Ω mit der Struktur Σ heißt Messraum (engl. measurable space). Eine Funktion, die die Struktur eines Messraums erhält, heißt messbare Funktion.

Vokabelerklärung:

Die Forderung, dass Σ eine σ-Algebra ist, bedeutet,

dass Σ mit jeder Menge S auch deren Komplement Ω\S enthält,
dass Σ die leere Menge (und damit auch deren Komplement Ω) enthält, und
dass Σ bezüglich der abzählbaren Vereinigung abgeschlossen ist.

Beispiele für Messräume:

Jede endliche oder abzählbar unendliche Menge, insbesondere also auch die Menge der natürlichen Zahlen $\Bbb N$ , bildet mit ihrer Potenzmenge als σ-Algebra einen Messraum.
Ist A eine Teilmenge von Ω, so ist $\{\Omega,\, \empty,\, A,\, \Omega\setminus A\}$ eine σ-Algebra.

Maß, Maßraum

Ein Maß μ ist eine Funktion, die jeder Menge S aus Σ einen Wert μ(S) zuordnet. Dieser Wert ist entweder eine nichtnegative reelle Zahl oder $\infty$ (siehe unten wegen möglicher Verallgemeinerungen). Ferner muss gelten:

Die leere Menge hat das Maß null: $\mu (\empty) = 0$ .
Das Maß ist abzählbar additiv (auch σ-additiv), das heißt, wenn E₁, E₂, E₃, ... abzählbar viele paarweise disjunkte Mengen aus Σ sind und E deren Vereinigungsmenge ist, dann ist das Maß μ(E) gleich der Summe $\sum{\mu{}(E_k)}$ .

Die Struktur (Ω, Σ, μ) eines Messraums zusammen mit einem auf diesem definierten Maß heißt Maßraum (engl. measure space).

Nullmenge, vollständig, fast überall

Eine Nullmenge ist eine Menge S aus Σ mit dem Maß $\mu (S) = 0$ . Ein Maß heißt vollständig, wenn jede Teilmenge jeder Nullmenge in Σ enthalten ist. Eine Eigenschaft gilt fast überall in Ω, wenn sie nur in einer Nullmenge nicht gilt.

Beispiele für Nullmengen:

Die leere Menge ist stets eine Nullmenge.
Jede höchstens abzählbare Teilmenge der reellen Zahlen ist eine Nullmenge bzgl. des Lebesgue-Maßes.

endlich, σ-endlich

Ein Maß heißt endlich, wenn $\mu(\Omega) < \infty$ . Ein Maß heißt σ-endlich, wenn Ω die Vereinigung einer abzählbaren Folge messbarer Mengen $\left\{S_1, S_2, S_3, \dots \right\}$ ist, die alle ein endliches Maß $\mu{}(S_k) < \infty$ haben.

σ-endliche Maße haben einige schöne Eigenschaften, die gewisse Analogien zu den Eigenschaften separabler topologischer Räume aufweisen.

Beispiele

Das Nullmaß, das jeder Menge S den Wert μ(S)=0 zuordnet.
Das Zählmaß ordnet jeder Teilmenge S einer endlichen oder abzählbar unendlichen Menge die Anzahl ihrer Elemente zu, μ(S)=|S|.
Das Lebesgue-Maß auf der Menge der reellen Zahlen $\R$ mit der Borelschen σ-Algebra, definiert als translationsinvariantes Maß mit μ(^*)=1.
Das Haar-Maß auf lokal kompakten topologischen Gruppen.
Wahrscheinlichkeitsmaße, mit μ(Ω)=1.
Das Zählmaß auf der Menge $\N$ der natürlichen Zahlen ist unendlich, aber σ-endlich.
Das kanonische Lebesgue-Maß auf der Menge $\R$ der reellen Zahlen ist ebenfalls unendlich, aber σ-endlich, denn $\R$ kann als Vereinigung abzählbar vieler endlicher Intervalle $\left k, k+1\right$ dargestellt werden.
Das Lévy-Maß ist ein zufälliges Maß (random measure) und wird unter anderem benötigt, um Lévy-Prozesse zu charakterisieren. Es gibt die erwartete Anzahl an Sprüngen des Prozesses dieser Höhe im Einheitsintervall an.

Verallgemeinerungen

Eine mögliche Verallgemeinerung betrifft den Wertebereich der Funktion μ.

Man kann negative reelle oder komplexe Werte zulassen (komplexes oder signiertes Maß).
Ein weiteres Beispiel einer Verallgemeinerung ist das Spektralmaß, dessen Werte lineare Operatoren sind. Dieses Maß wird insbesondere in der Funktionalanalysis für das Spektraltheorem benutzt.

Eine andere Möglichkeit der Verallgemeinerung ist die Definition eines Maßes auf der Potenzmenge.

Siehe äußeres Maß

Historisch wurden zuerst endlich additive Maße eingeführt. Die moderne Definition, derzufolge ein Maß abzählbar additiv ist, erwies sich jedoch als nützlicher.

Ergebnisse

Der Satz von Hadwiger klassifiziert alle möglichen translationsinvarianten Maße im $\R^n$ : das Lebesgue-Maß ist ebenso ein Spezialfall wie die Euler-Charakteristik. Verbindungen ergeben sich ferner zu den Minkowski-Funktionalen und den Quermaßen.

Siehe auch

Tabelle mathematischer Symbole

Statistik | Maßtheorie

Gourt Home::Gourt :: Maßtheorie