Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt und 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 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 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ß zuzuordnet, das dem klassischen Flächeninhalt sinnvoll entspricht. Schon bei 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:

1. Ein Quadrat mit der Kantenlänge eins hat den Flächeninhalt eins („Normiertheit“).
2. Die Verschiebung, Drehung oder Spiegelung einer beliebigen Fläche ändert nicht ihren Flächeninhalt („Bewegungsinvarianz“)
3. Endliche oder abzählbare Vereinigungen von paarweise 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 anstatt beliebiger Teilmengen 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ß).

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 <math>p \geq 3</math>) 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).

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]

Die für den modernen Maßbegriff zentrale Eigenschaft der <math>\sigma</math>-Additivität wurde von E. Borel 1909 eingeführt und wurde anfangs nicht unkritisch gesehen. Die jordansche Konstruktion führt zu lediglich endlich additiven Inhalten, die endliche Additivität (eine schwächere Eigenschaft als <math>\sigma</math>-Additivität) ist hier eine Folgerung aus der Definition des Inhalts. Borel postuliert dagegen die <math>\sigma</math>-Additivität des Maßes und bestimmt so die Maße von Mengen, welche in einer unter abzählbaren Anwendungen von bestimmten Mengenoperationen vollständingen <math>\sigma</math>-Algebra enthalten sind. Henry Lebesgues Definition des Integrals 1902 erhält jedoch die <math>\sigma</math>-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.^[2]

Maßtheorie als Grundlage der Wahrscheinlichkeitsrechnung, wie von Kolmogorow etabliert, verwendet im Allgemeinen auf 1 normierte Maße als Wahrscheinlichkeiten. 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 <math>\sigma</math>-Additivität von Graden persönlicher Überzeugung (engl. "degree of belief"). ^{[3] [4] [5]}

Definitionen und Beispiele

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 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.
• Jedes Dynkin-System und jeder Halbring ist ein durchschnittsstabiles Mengensystem.

Auf diesen Mengensystemen definiert man Mengenfunktionen wie beispielsweise Inhalt, Prämaß, Maß oder Äußeres Maß, die jeder Menge des Mengensystem einen Wert in <math>[0,\infty]</math> (der erweiterten, positiven, reellen Achse) zuordnen. Insbesondere übertragen sich alle Eigenschaften von Mengenfunktionen auf Inhalte, Prämaße, Maße und Äußere Maße.

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,^[6] Halbring^[7] oder für beliebige Mengensysteme,^[8] 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

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

• Die leere Menge hat den Wert null: <math>\mu (\emptyset) = 0</math>.
• Die Funktion ist endlich additiv. Sind also <math>A_1,A_2, \dotsc, A_n</math> endlich viele paarweise disjunkte Mengen aus <math>\mathcal{C}</math> und <math>\textstyle \bigcup_{i=1}^n A_i\in\mathcal{C}</math> dann gilt

<math>\mu\left( \bigcup_{i=1}^n A_i \right)= \sum_{k=1}^{n}{\mu(A_k)}</math>.

Eigenschaften

im Halbring

Falls <math>\mathcal{C}=\mathcal{H}</math> ein Halbring ist, dann gilt:

• Jeder Inhalt <math>\mu</math> ist monoton, es gilt folglich:

<math>A \subseteq B \Rightarrow \mu(A) \leq \mu(B)</math> für <math>A,B\in \mathcal{H}</math>

• Jeder Inhalt <math>\mu</math> ist subadditiv, es gilt also:

<math>\mu(A \cup B) \leq \mu(A)+\mu(B)</math> für <math>A,B</math> aus <math>\mathcal{H}</math> mit <math>A\cup B\in \mathcal{H}</math>

• Fortsetzbarkeit: Man kann zu jedem Inhalt <math>\mu</math> auf <math>\mathcal{H}</math> einen Inhalt <math>\mu '</math> auf dem von <math>\mathcal{H}</math> erzeugten Ring <math>\mathcal{R}</math> konstruieren, indem man <math>\mu '</math> definiert durch:

<math>\mu ' (A):= \sum_{j=1}^{m} \mu (A_j)</math>

Aufgrund der Eigenschaften eines Halbringes gibt es für alle <math>A\in \mathcal{R}</math> Mengen <math>A_1, A_2,\dotsc, A_m \in \mathcal{H}</math> mit <math>\textstyle A= \bigcup_{j=1}^{m} A_j</math>. Die Fortsetzung <math>\mu '</math> ist eindeutig.

im Ring

Falls <math>\mathcal{C}=\mathcal{R}</math> ein Ring ist, dann gilt:

• Subtraktivität: für <math>B \subseteq A</math> mit <math>\mu (B) < \infty</math> gilt <math>\mu (A \setminus B) = \mu (A) - \mu (B).</math>
• <math>A,B\in\mathcal{R} \Rightarrow \mu(A\cup B)+\mu(A\cap B)= \mu(A)+\mu(B)</math>
• Subadditivität: <math>A_i\in \mathcal{R}\; (i=1,2,\dotsc,n) \Rightarrow \mu\left(\bigcup_{i=1}^n A_i\right)\leq \sum_{i=1}^n \mu(A_i)</math>
• <math>\sigma</math>-Superadditivität: Seien <math>A_i\in \mathcal{R}\; (i=1,2,\dotsc)\ </math> paarweise disjunkt mit <math>\bigcup_{i=1}^\infty A_i\in \mathcal{R}</math>. Dann folgt aus der Additivität und Monotonie <math>\sum_{i=1}^\infty \mu(A_i)\leq \mu\left(\bigcup_{i=1}^\infty A_i\right)</math>
• Falls <math>\mu</math> endlich ist, also für alle <math>A \in\mathcal{R} \Rightarrow \mu(A)<\infty </math> gilt, dann gilt die Siebformel von Poincaré und Sylvester:

<math>\mu\left(\bigcup_{i=1}^nA_i\right) = \sum_{k=1}^n(-1)^{k+1}\!\!\sum_{I\subseteq\{1,\dotsc,n\},\atop |I|=k}\!\!\!\!\mu\left(\bigcap_{i\in I}A_i\right)</math>

mit <math>A_i\in \mathcal{C}</math> für <math>i\in\{1,\dotsc,n\}</math>.

Nullmenge

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

Prämaß

Ein σ-additiver (oder abzählbar additiver) Inhalt heißt Prämaß. Sei <math>\mu \colon \mathcal{C} \rightarrow [0,\infty]</math> ein Inhalt, dann ist <math>\mu</math> ein Prämaß, wenn für jede Folge <math>(A_i)_{i\in\mathbb{N}}</math> abzählbar vieler paarweise disjunkter Mengen aus <math>\mathcal{C}</math> mit <math>\textstyle \bigcup_{i=1}^\infty A_i \in \mathcal{C}</math> gilt:

<math>\mu\left(\bigcup_{i=1}^\infty A_i\right)=\sum_{i=1}^\infty \mu(A_i).</math>

Eigenschaften

im Halbring

Falls <math>\mathcal{C}=\mathcal{H}</math> ein Halbring ist, dann gilt:

• Fortsetzbarkeit: Man kann auch zu jedem Prämaß <math>\mu</math> auf <math>\mathcal{H}</math> ein Prämaß <math>\mu '</math> auf dem von <math>\mathcal{H}</math> erzeugten Ring <math>\mathcal{R}</math> konstruieren, indem man <math>\mu '</math> definiert durch:

<math>\mu ' (A):= \sum_{j=1}^{m} \mu (A_j)</math> für <math>A = \bigcup_{j=1}^m A_j,</math> mit <math> A_i \cap A_j = \varnothing \quad \forall i \neq j</math>

Auch hier ist die Fortsetzung <math>\mu'</math>, wie bei der Fortsetzung von einem Inhalt, eindeutig.

im Ring

Falls <math>\mathcal{C}=\mathcal{R}</math> ein Ring ist, dann gilt:

• σ-subadditiv (Sigma-subadditiv), es gilt folglich:

<math>\mu\left(\bigcup_{j\in\mathbb{N}} A_j \right) \leq \sum_{j\in\mathbb{N}} \mu(A_j)</math> für jede Folge von Mengen <math>(A_j)_{j\in\mathbb{N}}</math> in <math>\mathcal{C}</math> mit <math>\bigcup_{j\in\mathbb{N}} A_j \in \mathcal{C}</math>

• Stetigkeit von oben: Ist <math>(A_i)_{i\in\N} </math> eine absteigende Folge von Mengen aus <math>\mathcal{R}</math> (d.h.<math>A_i\subseteq A_j</math> für alle <math>i\geq j</math>) mit <math>\mu(A_1)< \infty</math> und ist <math>\bigcap_{i\in\N}A_i\in \mathcal{R}</math>, so ist <math>\mu\left(\bigcap_{i\in\N}A_i\right) = \lim_{i\to\infty} \mu(A_i)</math>.
• Stetigkeit von unten: Ist <math>(A_i)_{i\in\N} </math> eine aufsteigende Folge von Mengen aus <math>\mathcal{R}</math> (d.h.<math>A_i\subseteq A_j</math> für alle <math>i\leq j</math>) und ist <math>\bigcup_{i\in\N}A_i\in \mathcal{R}</math>, so ist <math>\mu\left(\bigcup_{i\in\N}A_i\right) = \lim_{i\to\infty} \mu(A_i)</math>.

Maß

Sei <math>\mu \colon \mathcal{A} \rightarrow \overline {\R}</math> eine Funktion, die jeder Menge <math>A</math> aus der σ-Algebra <math>\mathcal{A}</math> über <math>\Omega</math> einen Wert <math>\mu(A)</math> in der Menge <math>\overline {\R}</math> der erweiterten reellen Zahlen zuordnet (siehe unten wegen möglicher Verallgemeinerungen). Man nennt <math>\mu</math> ein Maß, falls folgende Bedingungen erfüllt sind:

• Die leere Menge hat das Maß null: <math>\mu (\emptyset) = 0</math>.
• Positivität: <math>\mu(A) \geq 0 </math> für alle <math> A \in \mathcal{A} </math>.
• Das Maß ist abzählbar additiv (auch σ-additiv): Sind <math>A_1, A_2, A_3, \dotsc</math> abzählbar viele paarweise disjunkte Mengen aus <math>\mathcal{A}</math> und ist A ihre Vereinigungsmenge, dann gilt für deren Maß μ(A):

<math>\mu{}(A)= \sum_{k=1}^{\infty}{\mu{}(A_k)}</math>.

Damit ist das Maß auch endlich additiv, indem man die Folge <math>A_1, A_2,\dotsc, A_n, A_{n+1}:=\emptyset,A_{n+2}:=\emptyset, \dotsc</math> paarweise disjunkter Mengen aus <math>\mathcal{A}</math> 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 <math>\mathcal{C}</math> mit <math>\emptyset\in\mathcal{C}</math> über <math>\Omega</math> beliebig ist.

Eigenschaften

endlich

Ein Maß <math>\mu</math> heißt endlich, wenn gilt <math>\mu ( \Omega )< \infty</math>. Aufgrund der Monotonie ist dies gleichbedeutend damit, dass für alle <math>A \in \mathcal{A}</math> gilt <math>\mu ( A ) < \infty</math>. Für endliche Maße folgt die Forderung <math>\mu(\varnothing) = 0</math> aus den anderen Axiomen.

σ-endlich

Ein Maß heißt σ-endlich (oder σ-finit), wenn es eine abzählbare Folge messbarer Mengen <math>\left\{A_1, A_2, A_3, \dotsc \right\}</math> gibt, die alle ein endliches Maß <math>\mu{}(A_k) < \infty</math> besitzen und <math>\Omega</math> überdecken. σ-endliche Maße haben einige Eigenschaften, die gewisse Analogien zu den Eigenschaften separabler topologischer Räume aufweisen.

vollständig

Ein Maß auf der σ-Algebra <math>\mathcal A</math> heißt vollständig, wenn jede Teilmenge jeder Nullmenge Element von <math>\mathcal{A}</math> ist.

Messraum, messbare Mengen

Sei <math>\mathcal{A}</math> eine σ-Algebra aus Teilmengen von <math>\Omega</math>. Dann nennt man das Paar <math>(\Omega, \mathcal{A})</math> Messraum oder messbarer Raum. Eine Funktion, die die Struktur eines Messraums erhält, heißt messbare Funktion. Analog zu stetigen Funktionen zwischen topologischen Räumen fordert man die Messbarkeit von Urbildern messbarer Mengen.

Jedes Element <math>A</math> von <math>\mathcal{A}</math> heißt messbar, da die charakteristische Funktion <math>\chi_A</math> 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 <math>A</math> eine Teilmenge von <math>\Omega</math>. Dann ist <math>\{\Omega,\, \emptyset,\, A,\, \Omega\setminus A\}</math> die von <math>A</math> erzeugte σ-Algebra. Diese σ-Algebra ist zugleich die kleinstmögliche σ-Algebra, die <math>A</math> enthält.

Maßraum

Eine Struktur <math>(\Omega, \mathcal{A}, \mu)</math> heißt Maßraum, wenn <math>(\Omega, \mathcal{A})</math> ein Messraum und <math>\mu</math> ein auf diesem Messraum definiertes Maß ist. Ein Beispiel für einen Maßraum ist der Wahrscheinlichkeitsraum <math>(\Omega,\mathcal{A},P)</math> aus der Wahrscheinlichkeitstheorie. Er besteht aus der Ergebnismenge <math>\Omega</math>, der Ereignisalgebra <math>\mathcal{A}</math> und dem Wahrscheinlichkeitsmaß <math>P</math>.

fast überall

Eine Eigenschaft gilt fast überall (oder <math>\mu</math>-fast überall oder für <math>\mu</math>-fast alle Elemente) in <math>(\Omega, \mathcal{A} , \mu )</math>, wenn es eine Nullmenge gibt, sodass alle Elemente im Komplement die Eigenschaft haben.

Also Eigenschaft <math>A</math> gilt fast überall in <math>\Omega \ \Leftrightarrow \ \exists \ N \in \mathcal{A}</math> mit <math>\mu ( N )=0</math> und <math>A</math> gilt für alle <math>\omega \in \Omega \setminus N</math>.

Beachte, dass die Menge, wo sie nicht gilt, nicht unbedingt messbar ist. In der Stochastik wird auf dem Wahrscheinlichkeitsraum <math>(\Omega,\mathcal{A},P)</math> die Eigenschaft fast überall auch als fast sichere (oder <math>P</math>-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 <math>\mathcal{N}</math> die Menge aller vernachlässigbaren Mengen.

Das Tripel <math>(\Omega, \mathcal{A}', \mu')</math> nennt man Vervollständigung von <math>(\Omega, \mathcal{A}, \mu)</math>, wenn man setzt: <math>\mathcal{A}':= \{A\Delta N:A\in\mathcal{A},N\in \mathcal{N}\}</math> (wobei <math>\Delta</math> die symmetrische Differenz ist) und <math>\mu'(A\Delta N):=\mu(A)</math>.

Diese Definition ist sinnvoll, denn wenn <math>A\Delta N = A'\Delta N'</math> (mit <math>A, A'\in\mathcal{A}, N, N'\in \mathcal{N})</math>, dann ist <math>A\Delta A' = N\Delta N'\in \mathcal{N}</math>, somit <math>\mu(A)=\mu(A')</math>.

Es ist <math>\mathcal{A}'\supseteq\mathcal{A}, \mu'|_\mathcal{A} = \mu,</math> und <math>\mathcal{A}'</math> ist vollständig; daher der Name Vervollständigung.

Äquivalente Definition

Eine äquivalente Definition der Vervollständigung ist:

<math>\mathcal{A}':=\{A\subseteq\Omega:</math> Es existieren <math>B, C\in\mathcal{A}</math> mit <math>B\subseteq A\subseteq C</math> und <math>\mu(C\setminus B)=0\}</math>.

Beispiele

• Das Nullmaß, das jeder Menge A den Wert μ(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 A einer endlichen oder abzählbar unendlichen Menge die Anzahl ihrer Elemente zu, μ(A)=|A|.
• Das Lebesgue-Maß auf der Menge der reellen Zahlen <math>\R</math> 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 <math>\N</math> der natürlichen Zahlen ist unendlich, aber σ-endlich.
• Das kanonische Lebesgue-Maß auf der Menge <math>\R</math> der reellen Zahlen ist ebenfalls unendlich, aber σ-endlich, denn <math>\R</math> kann als Vereinigung abzählbar vieler endlicher Intervalle <math>\left[ k, k+1\right]</math> dargestellt werden.

Verallgemeinerungen

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

• 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 ist beispielsweise das Lévy-Maß ein zufälliges Maß 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.

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 <math>\R^n</math>: 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

• Banach-Tarski-Paradoxon
• Vitali-Menge

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).
• D. H. Fremlin: Measure Theory, Band 1–5

Einzelnachweise

1. ↑ Jürgen Elstrodt: Maß- und Integrationstheorie. 4. Auflage. Springer, Berlin 2005, S. 3–6
2. ↑ Brian Skyrms: Zeno's Paradox of Measure. In: Cohen, Laudan (Ed.): Physics, Philosophy and Psychoanalysis: Essays in Honor of Adolf Grünbaum, pp. 223-254. Boston Studies in the Philosophy of Science, 76. Dordrecht, Holland; Boston; Lancaster: Reidel, 1983.
3. ↑ Colin Howson: De Finetti, Countable Additivity, Consistency and Coherence. Br J Philos Sci (2008) 59(1): 1-23 doi:10.1093/bjps/axm042.
4. ↑ H. Bauer: Maß- und Integrationstheorie. 2. Auflage. de Gruyter, Berlin 1992, S. 9-10.
5. ↑ Brian Skyrms, ebd.
6. ↑ H. Bauer: Maß- und Integrationstheorie. 2. Auflage. de Gruyter, Berlin 1992, S. 9-10
7. ↑ J. Elstrodt: Maß- und Integrationstheorie 6. Auflage. Springer, Berlin 2009, S. 27
8. ↑ K.D. Schmidt: Maß- und Wahrscheinlichkeit Springer, Berlin 2009, S. 43