Maßtheorie

Die Maßtheorie ist ein Teilgebiet der Mathematik, das sich mit der Konstruktion und der Untersuchung von Maßen beschäftigt. Es geht dabei um Verallgemeinerungen elementargeometrischer Begriffe wie Streckenlänge, Flächeninhalt und Volumen auf kompliziertere Mengen. Die Maßtheorie bildet das Fundament der modernen Integrations- und Wahrscheinlichkeitstheorie.

Als Maß wird in der Maßtheorie eine Abbildung verstanden, die gewissen Teilmengen einer Grundmenge reelle Zahlen zuordnet. Die Teilmengen müssen dazu ein Mengensystem mit bestimmten Eigenschaften bilden und auch die Zuordnung selbst muss gewisse Voraussetzungen erfüllen. 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 man 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.

Motivation

Der komplizierte Aufbau der Maßtheorie wird dadurch verursacht, dass es nicht möglich ist, eine Maßfunktion zu finden, die jeder beliebigen Teilmenge der reellen Zahlenebene ein Maß zuordnet, das dem klassischen Flächeninhalt sinnvoll entspricht. Schon bei der eindimensionalen Zahlengeraden scheitert dieser Versuch und auch bei höheren Dimensionen gelingt dies nicht. Die Frage, ob dies möglich ist, wurde erstmals 1902 von Henri Lebesgue in seiner Pariser Thèse als Maßproblem formuliert.

An eine sinnvolle Entsprechung des Flächeninhalts (um vom 2-dimensionalen Fall auszugehen) werden dabei die folgenden Forderungen gestellt:

Ein Quadrat mit der Kantenlänge eins hat den Flächeninhalt eins („Normiertheit“).
Die Verschiebung, Drehung oder Spiegelung einer beliebigen Fläche ändert nicht ihren Flächeninhalt („Bewegungsinvarianz“).
Der Flächeninhalt einer endlichen oder abzählbar unendlichen Vereinigung von paarweise disjunkten Flächen ist die Summe der Flächeninhalte der Teilflächen (σ-Additivität).

1905 konnte Giuseppe Vitali zeigen, dass dieses Problem für beliebige Teilmengen nicht lösbar ist. Eine der Forderungen muss sinnvollerweise abgeschwächt werden. Wird die dritte Forderung abgeschwächt und auf endliche Vereinigungen beschränkt, führt dies zum Inhaltsproblem von Felix Hausdorff. Hausdorff konnte 1914 zeigen, dass dieses Inhaltsproblem im Allgemeinen (Dimension größer oder gleich 3) nicht lösbar ist. Ausnahmen bilden die reellen Zahlen und die reelle Ebene, für die es eine Lösung des Inhaltsproblems, eine sogenannte Inhaltsfunktion gibt (siehe Definition Inhalt). Schränkt man jedoch die zu messenden Mengen ein und betrachtet anstatt beliebiger Teilmengen nur ein bestimmtes System von Teilmengen, so kann man das Maßproblem allgemein für beliebige Raumdimensionen lösen und auf diesem Mengensystem ein Maß mit den gewünschten Eigenschaften definieren (siehe Definition Maß). Eine Einschränkung der Forderung der σ-Additivität ist dann nicht mehr notwendig.

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 auf beliebigen Grundmengen. Dadurch lassen sich, bei geringem Mehraufwand, die Ergebnisse besser in Funktionalanalysis und Wahrscheinlichkeitstheorie anwenden.^[1]

σ-Additivität

Die für den modernen Maßbegriff zentrale Eigenschaft der $\sigma$ -Additivität wurde von Émile Borel 1909 eingeführt und wurde anfangs nicht unkritisch gesehen. Insbesondere stellt sich heraus, dass $\sigma$ -Additivität eine so starke Forderung ist, dass nicht einmal die Existenz einer $\sigma$ -additiven Funktion auf der Potenzmenge einer überabzählbaren Menge ohne weiteres gegeben ist, völlig abgesehen von zusätzlichen Forderungen wie Translationsinvarianz (Ulams Maßproblem).^[2]

Auch führt die jordansche Konstruktion zu lediglich endlich additiven Inhalten, die endliche Additivität (eine schwächere Eigenschaft als $\sigma$ -Additivität) ist hier eine Folgerung aus der Definition des Inhalts. Borel postuliert dagegen die $\sigma$ -Additivität des Maßes und bestimmt so die Maße von Mengen, welche in einer, unter abzählbaren Anwendungen von bestimmten Mengenoperationen vollständigen, $\sigma$ -Algebra enthalten sind. Henri Lebesgues Definition des Integrals 1902 erhält jedoch die $\sigma$ -Additivität. Die Einschränkung der Additivität auf endlich oder abzählbar viele Mengen kann als Ausweg aus dem (stilisierten) Maßparadoxon von Zenon angesehen werden.^[3]

Maßtheorie als Grundlage der Wahrscheinlichkeitsrechnung, wie von Kolmogorow etabliert, verwendet im Allgemeinen auf Eins normierte Maße als Wahrscheinlichkeiten und nicht auf Eins normierte Inhalte. Gemeinhin wird dies mit den großen technischen Vorteilen begründet, so auch bei Kolmogorow. Hiervon abgewichen wird gelegentlich in subjektivistischen Wahrscheinlichkeitsinterpretationen, besonders prominent bei Bruno de Finetti. Andererseits existieren Dutch-Book-Argumente für die $\sigma$ -Additivität von Graden persönlicher Überzeugung (englisch degree of belief).^[4]^[5]^[3]

Definitionen und Beispiele

Hierarchie der in der Maßtheorie verwendeten Mengensysteme

Die zu messenden Mengen fasst man in Mengensysteme zusammen, die unterschiedlich stark gegenüber Mengenoperationen abgeschlossen sind. Bedeutende maßtheoretische Beispiele von Mengensystemen sind:

Potenzmenge, σ-Algebra, Halbring, Ring, Algebra, Dynkin-System, Monotone Klassen oder durchschnittstabiles Mengensystem.

Dabei ist die Potenzmenge das umfassendste aller Mengensysteme und enthält jede beliebige Teilmenge der Grundmenge. Die σ-Algebra, die das wichtigste Mengensystem der Maßtheorie ist, enthält im Allgemeinen weniger Mengen als die Potenzmenge.

Für die Maßtheorie wichtige Inklusionen:

Jede Potenzmenge ist eine σ-Algebra und ein Dynkin-System.
Jede σ-Algebra ist eine Algebra.
Jede Algebra ist ein Ring.
Jeder Ring ist ein Halbring.
Jeder Halbring ist ein durchschnittstabiles Mengensystem.

Auf diesen Mengensystemen definiert man Mengenfunktionen wie beispielsweise Inhalte, Prämaße, Maße oder äußere Maße, die jeder Menge des Mengensystems einen Wert in $[0,\infty ]$ (der erweiterten positiven reellen Achse) zuordnen.

Es ist zu beachten, dass die genannten Begriffe (Inhalt, Prämaß, Maß) in der Literatur uneinheitlich definiert werden, insbesondere in Bezug auf das zugrundeliegende Mengensystem. So wird zum Beispiel der Begriff Inhalt teilweise auf einem Ring,^[5] Halbring^[6] oder für beliebige Mengensysteme,^[7] die die leere Menge enthalten, definiert. Im Folgenden sei deshalb die allgemeine Variante angegeben mit Verweis auf die Folgerungen für die Wahl spezieller Mengensysteme.

Inhalt

Endliche Additivität für ein Inhalt

\mu

: Der Inhalt einer endlich disjunkten Vereinigung ist gleich der Summe über die Inhalte der einzelnen Teilmengen.

Eine Funktion $\mu$ , die jeder Menge $A$ aus dem Mengensystem ${\mathcal {C}}$ mit $\emptyset \in {\mathcal {C}}$ über $\Omega$ einen Wert $\mu (A)$ zuordnet, der in $[0,\infty ]$ ist, heißt Inhalt, falls für diese Abbildung $\mu \colon {\mathcal {C}}\rightarrow [0,\infty ]$ gilt:

Die leere Menge hat den Wert null: $\mu (\emptyset )=0$ .
Die Funktion ist endlich additiv. Sind also $A_{1},A_{2},\dotsc ,A_{n}$ endlich viele paarweise disjunkte Mengen aus ${\mathcal {C}}$ und $\textstyle \bigcup _{i=1}^{n}A_{i}\in {\mathcal {C}}$ , dann gilt

\mu \left(\bigcup _{i=1}^{n}A_{i}\right)=\sum _{i=1}^{n}{\mu (A_{i})}

.

Insbesondere lassen sich Inhalte unter gewissen Umständen von Halbringen zu Ringen erweitern.

Nullmenge

Eine Menge $A$ aus ${\mathcal {C}}$ heißt Nullmenge, wenn $\mu (A)=0$ gilt.

Prämaß

Ein σ-additiver (oder abzählbar additiver) Inhalt heißt Prämaß. Sei $\mu \colon {\mathcal {C}}\rightarrow [0,\infty ]$ ein Inhalt, dann ist $\mu$ ein Prämaß, wenn für jede Folge $(A_{i})_{i\in \mathbb {N} }$ abzählbar vieler paarweise disjunkter Mengen aus ${\mathcal {C}}$ mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle \bigcup_{i=1}^\infty A_i \in \mathcal{C}} gilt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu\left(\bigcup_{i=1}^\infty A_i\right)=\sum_{i=1}^\infty \mu(A_i).}

Prämaße sind besonders wichtig für den Maßerweiterungssatz von Carathéodory. Er besagt, dass ein Prämaß zu einem Maß auf der vom Ring erzeugten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma} -Algebra fortgesetzt werden kann. Ist das Prämaß Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma} -endlich, so ist diese Fortsetzung eindeutig.

Maß

Abzählbare Additivität eines Maßes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} : Das Maß einer abzählbaren disjunkten Vereinigung ist gleich der Summe über die Maße der einzelnen Teilmengen.

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu \colon \mathcal{A} \rightarrow \overline {\R}} eine Funktion, die jeder Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} aus der σ-Algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A}} über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega} einen Wert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(A)} in der Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline {\R}} der erweiterten reellen Zahlen zuordnet (siehe unten wegen möglicher Verallgemeinerungen). Man nennt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} ein Maß, falls folgende Bedingungen erfüllt sind:

Die leere Menge hat das Maß null: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu (\emptyset) = 0} .
Positivität: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(A) \geq 0 } für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \in \mathcal{A} } .
Das Maß ist abzählbar additiv (auch σ-additiv): Sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_1, A_2, A_3, \dotsc} abzählbar viele paarweise disjunkte Mengen aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A}} , dann gilt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu{}\left(\bigcup_{k=1}^{\infty} A_k\right)= \sum_{k=1}^{\infty}{\mu{}(A_k)}} .

Damit ist das Maß auch endlich additiv, indem man die Folge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_1, A_2,\dotsc, A_n \neq \emptyset,A_{n+1}:=\emptyset, \dotsc} paarweise disjunkter Mengen aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A}} wählt.

Somit ist jedes Maß ein Prämaß über einer σ-Algebra, insbesondere gelten alle Eigenschaften für Inhalte und Prämaße. Man beachte, dass in Teilen der Literatur ein Maß wie das Prämaß definiert wird und das zugrunde liegende Mengensystem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset\in\mathcal{C}} über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega} beliebig ist.

Messraum, messbare Mengen, messbare Funktionen

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A}} eine σ-Algebra aus Teilmengen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega} . Dann wird das Paar Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal{A})} ein messbarer Raum oder Messraum genannt. Die Elemente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A}} heißen messbare Mengen. Eine Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon \Omega \to \Omega'} zwischen zwei Messräumen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal{A})} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega', \mathcal{A}')} heißt messbar (genauer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A}} -Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A}'} -messbar), wenn das Urbild jeder messbaren Menge messbar ist.

Es ist zu beachten, dass 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 gesprochen wird. Letztere kann aber äquivalent als Messbarkeit bezüglich des durch das äußere Maß induzierten Messraumes betrachtet werden.

Maßraum

Eine mathematische Struktur Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal{A}, \mu)} heißt Maßraum, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal{A})} ein Messraum und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} ein auf diesem Messraum definiertes Maß ist. Ein Beispiel für einen Maßraum ist der Wahrscheinlichkeitsraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega,\mathcal{A},P)} aus der Wahrscheinlichkeitstheorie. Er besteht aus der Ergebnismenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega} , der Ereignisalgebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A}} und dem Wahrscheinlichkeitsmaß Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} .

Fast überall

Eine Eigenschaft gilt fast überall (oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} -fast überall oder für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} -fast alle Elemente) in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal{A} , \mu )} , wenn es eine Nullmenge gibt, sodass alle Elemente im Komplement die Eigenschaft haben.

Man beachte, dass die Menge aller Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \omega \in \Omega} , für die die Eigenschaft nicht gilt, nicht unbedingt messbar sein muss, sondern nur in einer messbaren Menge vom Maß null enthalten sein muss.

In der Stochastik wird auf dem Wahrscheinlichkeitsraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega,\mathcal{A},P)} die Eigenschaft fast überall auch als fast sichere (oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} -fast sichere) Eigenschaft bezeichnet.

Vervollständigung

Teilmengen von Nullmengen nennt man vernachlässigbar. Ein Maßraum heißt vollständig, wenn alle vernachlässigbaren Mengen messbar sind. Es bezeichne Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{N}} die Menge aller vernachlässigbaren Mengen.

Das Tripel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal{A}', \mu')} nennt man Vervollständigung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal{A}, \mu)} , wenn man setzt: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A}':= \{A\bigtriangleup N:A\in\mathcal{A},N\in \mathcal{N}\}} (wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \bigtriangleup} die symmetrische Differenz ist) und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu'(A\bigtriangleup N):=\mu(A)} .

Beispiele

Das Nullmaß, das jeder Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} den Wert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(A)=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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} einer endlichen oder abzählbar unendlichen Menge die Anzahl ihrer Elemente zu, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(A)=|A|} .
Das Lebesgue-Maß auf der Menge der reellen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} mit der Borelschen σ-Algebra, definiert als translationsinvariantes Maß mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(\left[0,1\right])=1} .
Das Haar-Maß auf lokalkompakten Gruppen.
Ein Wahrscheinlichkeitsmaß oder normiertes Maß ist ein Maß mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(\Omega)=1} .
Das Zählmaß auf der Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \N} der natürlichen Zahlen ist unendlich, aber σ-endlich.
Das kanonische Lebesgue-Maß auf der Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} der reellen Zahlen ist ebenfalls unendlich, aber σ-endlich, denn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} kann als Vereinigung abzählbar vieler endlicher Intervalle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left[ k, k+1\right]} dargestellt werden.

Verallgemeinerungen

Eine mögliche Verallgemeinerung betrifft den Wertebereich der Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} .

Man kann negative reelle oder komplexe Werte zulassen (signiertes Maß oder komplexes Maß).
Ein weiteres Beispiel einer Verallgemeinerung ist das Spektralmaß, dessen Werte lineare Operatoren sind. Dieses Maß wird insbesondere in der Funktionalanalysis für den Spektralsatz benutzt.
Allgemein lassen sich Banachraum-wertige Maße betrachten. Siehe Vektorielles Maß. Die beiden letztgenannten sind ebensolche.

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

Siehe äußeres Maß
Eine andere Verallgemeinerung sind die zufälligen Maße (random measures). So kann ein Punktprozess, wie beispielsweise ein allgemeiner Poisson-Prozess, als zufälliges Zählmaß angesehen werden, das einer Menge die zufällige Anzahl der in ihr liegenden Punkte zuordnet.

Ergebnisse

Der Satz von Hadwiger klassifiziert alle möglichen translationsinvarianten Maße im Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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

Literatur

Jürgen Elstrodt: Maß- und Integrationstheorie. 4., korrigierte Auflage. Springer, Berlin 2005, ISBN 3-540-21390-2.
Heinz Bauer: Maß- und Integrationstheorie. 2., überarbeitete Auflage. de Gruyter, Berlin u. a. 1992, ISBN 3-11-013626-0.
David H. Fremlin: Measure Theory. Band 1–5.

Einzelnachweise

↑ Jürgen Elstrodt: Maß- und Integrationstheorie. 2005, S. 3–6.
↑ David Fremlin: Real-valued measurable cardinals. In: Haim Judah (Hrsg.): Set Theory of the reals (= Israel Mathematical Conference Proceedings. Bd. 6, ISSN 0792-4119). American Mathematical Society, Providenc RI 1993, ISBN , S. 151–304.
↑ ^a ^b Brian Skyrms: Zeno's Paradox of Measure. In: Robert S. Cohen, Larry Laudan (Hrsg.): Physics, Philosophy and Psychoanalysis. Essays in Honor of Adolf Grünbaum (= Boston Studies in the Philosophy and History of Science. Bd. 76). Reidel, Dordrecht u. a. 1983, ISBN 90-277-1533-5, S. 223–254.
↑ Colin Howson: De Finetti, Countable Additivity, Consistency and Coherence. In: The British Journal for the Philosophy of Science. Bd. 59, Nr. 1, 2008, S. 1–23, doi:10.1093/bjps/axm042.
↑ ^a ^b Heinz Bauer: Maß- und Integrationstheorie. 1992, S. 9–10.
↑ Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer, Berlin u. a. 2009, ISBN 978-3-540-89727-9, S. 27.
↑ Klaus D. Schmidt: Maß und Wahrscheinlichkeit. Springer, Berlin u. a, 2009, ISBN 978-3-540-89729-3, S. 43.

[1] Jürgen Elstrodt: Maß- und Integrationstheorie. 2005, S. 3–6.

[2] David Fremlin: Real-valued measurable cardinals. In: Haim Judah (Hrsg.): Set Theory of the reals (= Israel Mathematical Conference Proceedings. Bd. 6, ISSN 0792-4119). American Mathematical Society, Providenc RI 1993, ISBN , S. 151–304.

[Skyrms-3] Brian Skyrms: Zeno's Paradox of Measure. In: Robert S. Cohen, Larry Laudan (Hrsg.): Physics, Philosophy and Psychoanalysis. Essays in Honor of Adolf Grünbaum (= Boston Studies in the Philosophy and History of Science. Bd. 76). Reidel, Dordrecht u. a. 1983, ISBN 90-277-1533-5, S. 223–254.

[4] Colin Howson: De Finetti, Countable Additivity, Consistency and Coherence. In: The British Journal for the Philosophy of Science. Bd. 59, Nr. 1, 2008, S. 1–23, doi:10.1093/bjps/axm042.

[Bauer-5] Heinz Bauer: Maß- und Integrationstheorie. 1992, S. 9–10.

[6] Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer, Berlin u. a. 2009, ISBN 978-3-540-89727-9, S. 27.

[7] Klaus D. Schmidt: Maß und Wahrscheinlichkeit. Springer, Berlin u. a, 2009, ISBN 978-3-540-89729-3, S. 43.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

Anonym

Suche

Maßtheorie

Namensräume

Mehr

Seitenaktionen

Inhaltsverzeichnis

Motivation

σ-Additivität