Messbarer Raum

Messbarer Raum

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ängig von ihrer Position.

Maße ordnen Mengen nichtnegative reelle Zahlen zu, wobei größeren Mengen auf größere Zahlen abgebildet werden.

Inhaltsverzeichnis

Motivation

Der komplizierte Aufbau der Maßtheorie wird dadurch verursacht, dass es nicht möglich ist, eine Maßfunktion zu finden, die beliebigen Teilmengen der reellen Zahlen (bzw. des n-dimensionalen reellen Raumes) ein sinnvolles Maß zuordnet, das zum Beispiel in der reellen Ebene dem klassischen Flächeninhalt oder im dreidimensionalen reellen Raum dem klassischen Volumen entspricht. Was dabei sinnvoll genau bedeutet, wurde erstmals im sogenannten Maßproblem von Henri Lebesgue in seiner Pariser Thèse 1902 beschrieben und entspricht im Fall der reellen Ebene mit dem Flächeninhalt als Maßfunktion den folgenden Forderungen:

  1. ein Quadrat mit der Kantenlänge eins hat den Flächeninhalt eins („Normiertheit“)
  2. die Verschiebung einer beliebigen Fläche ändert nicht ihren Flächeninhalt („Bewegungsinvarianz“)
  3. endliche und abzählbare Vereinigungen von disjunkten Flächen haben den gleichen Flächeninhalt wie die Summe aller Teilflächen (σ-Additivität“)

1905 konnte Giuseppe Vitali zeigen, dass dieses Problem für beliebige Teilmengen nicht lösbar ist. Schränkt man jedoch die zu messenden Mengen ein und betrachtet nur ein bestimmtes Mengensystem, so kann man das Maßproblem lösen und auf diesem Mengensystem ein Maß mit den gewünschten Eigenschaften definieren (siehe Definition Maß weiter unten).

Einen anderen Weg wählte Felix Hausdorff, der das Inhaltsproblem formulierte, indem er die dritte Forderung abschwächte und sich auf endliche Vereinigungen beschränkte. Er konnte 1914 zeigen, dass dieses im Allgemeinen (Dimension p \geq 3) auch nicht lösbar ist. Ausnahmen bilden die reellen Zahlen und die reelle Ebene, für die es eine sogenannte Inhaltsfunktion gibt (siehe Definition Inhalt weiter unten).

Die Maßtheorie beschäftigt sich also mit verschiedenen Mengensystemen und den Inhaltsfunktionen, die man darauf definieren kann. Dabei werden nicht nur reelle Mengensysteme betrachtet, sondern abstrakte Mengensysteme erzeugt durch beliebige Grundmengen; womit sich, bei geringem Mehraufwand, die Ergebnisse besser in Funktionalanalysis und Wahrscheinlichkeitstheorie anwenden lassen.[1]

Definitionen und Beispiele

Die zu messenden Mengen fasst man in Mengensysteme zusammen, die unterschiedlich stark gegenüber Mengenoperationen abgeschlossen sind. Bedeutende Beispiele für Mengensysteme sind:

Halbring (Mengensystem), σ-Algebra, Potenzmenge

Dabei ist die Potenzmenge das umfassendste aller Mengensysteme und enthält jede beliebige Teilmenge der Grundmenge. Am eingeschränktesten ist der Halbring, der die Grundlage des Lebesgue-Maßes bildet und nur ganz bestimmte Teilmengen enthält. Weit weniger eingeschränkt ist die σ-Algebra, die das wichtigste Mengensystem der Maßtheorie ist. Es gilt: Jede Potenzmenge ist eine σ-Algebra und jede σ-Algebra ist ein Halbring. Weitere in der Maßtheorie benutzte Mengensysteme sind:

Ring (Mengensystem), Algebra (Mengensystem) oder Dynkin-System

Auf diesen Mengensystemen definiert man die Inhaltsfunktionen wie Inhalt, Prämaß, Maß oder Äußeres Maß.

Es folgen einige Definitionen der Grundbegriffe der Maßtheorie.

Inhalt

Ein Inhalt μ ist eine Funktion, die jeder Menge S aus einem Halbring \mathcal H über Ω einen Wert μ(S) zuordnet. Dieser Wert ist entweder eine nichtnegative reelle Zahl oder \infty.

Für diese Abbildung \mu : \mathcal H \rightarrow \bar{ \R } muss also gelten:

  • Die leere Menge hat den Inhalt null: \mu (\emptyset) = 0.
  • Der Inhalt ist endlich additiv. Sind also E_1,E_2, \dots, E_n endlich viele paarweise disjunkte Mengen aus \mathcal H und ist E deren Vereinigungsmenge, dann gilt für den Inhalt μ(E)
\mu(E)= \sum_{k=1}^{n}{\mu(E_k)}.

Eigenschaften

  • Monotonie: Sind E1 und E2 Mengen aus \mathcal H mit E_1 \subset E_2, so gilt \mu(E_1)\le \mu(E_2).
  • Fortsetzbarkeit: Man kann zu jeden Inhalt μ auf \mathcal H einen Inhalt μ' auf dem von \mathcal H erzeugten Ring \mathcal R konstruieren, indem man μ' definiert durch:
\mu ' (E):= \sum_{j=1}^{m} \mu (E_j)
Aufgrund der Eigenschaften eines Halbringes gibt es für alle E\in \mathcal R Mengen E_1, E_2,\dots, E_m \in \mathcal H mit E= \bigcup_{j=1}^{m} E_j.
  • Dann gilt für einen Inhalt \mu : \mathcal R \rightarrow \bar{\R} auf dem Ring \mathcal R:
    • Subtraktivität: für B \subset A mit \mu (B) < \infty gilt \mu (A \setminus B) = \mu (A) - \mu (B).
    • A,B\in\mathcal R \Rightarrow \mu(A\cup B)+\mu(A\cap B)= \mu(A)+\mu(B)
    • Subadditivität: E_i\in \mathcal R\; (i=1,2,\ldots,n) \Rightarrow \mu\left(\bigcup_{i=1}^n E_i\right)\leq \sum_{i=1}^n \mu(E_i)
    • σ-Superadditivität: Seien E_i\in \mathcal R\; (i=1,2,\ldots)\ paarweise disjunkt mit \bigcup_{i=1}^\infty E_i\in \mathcal R. Dann folgt aus der Additivität und Monotonie \sum_{i=1}^\infty \mu(E_i)\leq \mu\left(\bigcup_{i=1}^\infty E_i\right)

Nullmenge

Hauptartikel: Nullmenge

Eine Menge A aus \mathcal H heißt Nullmenge, wenn μ(A) = 0 gilt.

Prämaß

Ein σ-additiver (bzw. abzählbar additiver) Inhalt heißt Prämaß. Sei \mu : \mathcal H \rightarrow \bar{\R} ein Inhalt, dann ist μ ein Prämaß, wenn für jede Folge E_1, E_2,\dots abzählbar vieler paarweise disjunkter Mengen aus \mathcal H mit \bigcup_{i=1}^\infty E_i \in \mathcal H gilt:

\mu\left(\bigcup_{i=1}^\infty E_i\right)=\sum_{i=1}^\infty \mu(E_i).

Eigenschaften

  • Fortsetzbarkeit: Man kann auch zu jeden Prämaß μ auf \mathcal H ein Prämaß μ' auf dem von \mathcal H erzeugten Ring \mathcal R konstruieren, indem man μ' definiert durch:
\mu ' (E):= \sum_{j=1}^{m} \mu (E_j)
  • Dann gilt für das Prämaß \mu : \mathcal R \rightarrow \bar{\R} auf dem Ring \mathcal R:
    • Stetigkeit von oben: Ist E_1 \supset E_2 \supset E_3 \supset \ldots eine absteigende Folge von Mengen aus Σ mit \mu(E_1)< \infty und ist E deren Durchschnitt, so ist \mu(E) = \lim_{k\to\infty} \mu(E_k).
    • Stetigkeit von unten: Ist E_1 \subset E_2 \subset E_3 \subset \ldots eine aufsteigende Folge von Mengen aus Σ und ist E deren Vereinigungsmenge, so ist \mu(E) = \lim_{k\to\infty} \mu(E_k).

Maß

Ein Maß μ ist eine Funktion, die jeder Menge S aus der σ-Algebra Σ in Ω 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 (\emptyset) = 0.
  • Das Maß ist abzählbar additiv (auch σ-additiv). Sind also E1, E2, E3, ... abzählbar viele paarweise disjunkte Mengen aus Σ und ist E deren Vereinigungsmenge, dann gilt für das Maß μ(E):
\mu{}(E)= \sum_{k=1}^{\infty}{\mu{}(E_k)}.
Damit ist das Maß auch endlich additiv, indem man die Folge E_1, E_2,\dots, E_n, E_{n+1}:=\emptyset,E_{n+2}:=\emptyset, \dots paarweise disjunkter Mengen aus Σ wählt.

Somit ist jedes Maß auch ein Inhalt bzw. Prämaß und besitzt alle Eigenschaften, die dort aufgezählt wurden.

Eigenschaften

  • endlich: Ein Maß μ heißt endlich, wenn gilt \mu ( \Omega )< \infty. Aufgrund der Monotonie ist dies gleichbedeutend damit, dass für alle E \in \Sigma gilt \mu ( E ) < \infty.
  • σ-endlich: Ein Maß heißt σ-endlich (bzw. σ-finit), wenn es eine abzählbare Folge messbarer Mengen \left\{S_1, S_2, S_3, \dots \right\} gibt, die alle ein endliches Maß \mu{}(S_k) < \infty besitzen und Ω überdecken. σ-endliche Maße haben einige schöne Eigenschaften, die gewisse Analogien zu den Eigenschaften separabler topologischer Räume aufweisen.
  • vollständig: Ein Maß heißt vollständig genau dann, wenn jede Teilmenge jeder Nullmenge in Σ enthalten ist.

Messraum, messbare Mengen

Sei Σ eine σ-Algebra aus Teilmengen von Ω. Dann nennt man das Paar (Ω, Σ) Messraum oder messbarer Raum.

Eine Funktion, die die Struktur eines Messraums erhält, heißt messbare Funktion.

Jedes Element S von Σ heißt messbar, da die charakteristische Funktion χS messbar ist. Dabei ist zu beachten, dass man in der Maßtheorie zum einen von der Messbarkeit bezüglich eines Messraumes und zum anderen von der Messbarkeit nach Carathéodory bezüglich eines äußeren Maßes spricht. Letztere kann man aber äquivalent als Messbarkeit bezüglich des durch das äußere Maß induzierten Messraumes betrachten.

Beispiele für Messräume:

  • Jede Menge bildet mit ihrer Potenzmenge einen Messraum.
  • Sei A eine Teilmenge von Ω. Dann ist \{\Omega,\, \emptyset,\, A,\, \Omega\setminus A\} die von A erzeugte σ-Algebra. Diese σ-Algebra ist zugleich die kleinstmögliche σ-Algebra, die A enthält.

Maßraum

Eine Struktur (Ω, Σ, μ) heißt Maßraum, wenn (Ω, Σ) ein Messraum und μ ein auf diesem Messraum definiertes Maß ist. Ein Beispiel für einen Maßraum ist der Wahrscheinlichkeitsraum (Ω,Σ,P) aus der Wahrscheinlichkeitstheorie. Er besteht aus der Ergebnismenge Ω, der Ereignisalgebra Σ und dem Wahrscheinlichkeitsmaß P.

fast überall

Eine Eigenschaft gilt fast überall (bzw. μ-fast überall oder μ-fast alle) in (Ω,Σ,μ), wenn es eine Nullmenge gibt, sodass alle Elemente im Komplement die Eigenschaft haben.

Also Eigenschaft E gilt fast überall in \Omega \ \Leftrightarrow \ \exists \ \mathcal N \in \Sigma, mit \mu ( \mathcal N )=0 und E gilt \forall \ \omega \in \Omega \setminus \mathcal N.

Beachte, dass die Menge, wo sie nicht gilt, nicht unbedingt messbar ist. In der Stochastik wird auf dem Wahrscheinlichkeitsraum (Ω,Σ,P), die Eigenschaft fast überall auch als fast sichere (bzw. P-fast sichere) Eigenschaft bezeichnet.

Vervollständigung

Es sei N das System aller Teilmengen von Mengen Q\in\Sigma, mit μ(Q) = 0, also aller Mengen, die von Nullmengen überdeckt werden. Ein Maßraum heißt vollständig, falls er alle Mengen in N enthält.

Das Tripel (Ω,Σ',μ') nennt man Vervollständigung von (Ω,Σ,μ), man setzt: \Sigma':= \{a\Delta n:a\in\Sigma,n\in N\} (wobei Δ die symmetrische Differenz ist), und man setzt μ'(aΔn): = μ(a).

Diese Definition ist sinnvoll, denn wenn aΔn = an' (mit a, a'\in\Sigma, n, n'\in N), dann ist a\Delta a' = n\Delta n'\in N, somit μ(a) = μ(a').

Es ist \Sigma'\supseteq\Sigma, \mu'|\Sigma = \mu, und Σ' ist vollständig; daher der Name Vervollständigung.

Äquivalente Definition

Eine äquivalente Definition der Vervollständigung ist:

\Sigma':=\{a\subset\Omega: Es existieren q, p\in\Sigma mit q\subset a\subset p und \mu(p\setminus q)=0\}.

Beispiele

  • Das Nullmaß, das jeder Menge S den Wert μ(S)=0 zuordnet.
  • Ein Beispiel für einen Inhalt ist der Jordaninhalt, mit dessen Hilfe man das mehrdimensionale Riemann-Integral definieren kann.
  • 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 μ([0,1])=1.
  • Das Haar-Maß auf lokal kompakten topologischen Gruppen.
  • Ein Wahrscheinlichkeitsmaß oder normiertes Maß ist ein Maß 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 μ.

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

Historisch wurden zuerst endlich additive Maße eingeführt, die heute auch als Inhalte bezeichnet werden. 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.

Literatur

  • Jürgen Elstrodt: Maß- und Integrationstheorie. 4. Auflage, Springer, Berlin 2005, ISBN 3-540-21390-2.
  • Heinz Bauer: Maß- und Integrationstheorie. 2. Auflage, De Gruyter, Berlin 1992, ISBN 3-11-013626-0 (Gebunden), ISBN 3-11-013625-2 (Broschiert).

Einzelnachweise

  1. Jürgen Elstrodt: Maß- und Integrationstheorie. S. 3-6 4. Auflage, Springer, Berlin 2005

Siehe auch


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Gleichmäßig konvexer Raum — Gleichmäßig konvexe Räume sind eine in der Mathematik betrachtete spezielle Klasse normierter Räume. Diese Räume wurden 1936 von James. A. Clarkson mittels einer geometrischen Eigenschaft der Einheitskugel eingeführt. Die gleichmäßig konvexen… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kollinear — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kopunktal — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Mathematisches Attribut — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Multivariat — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Primitives Element — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”