Prämaß

Ein Prämaß ist eine spezielle Mengenfunktion in der Maßtheorie, die verwendet wird, um den intuitiven Volumenbegriff mathematisch zu präzisieren. Im Gegensatz zu einem Maß muss der Definitionsbereich eines Prämaßes keine σ-Algebra sein.

Definition

Eine Mengenfunktion $\mu :{\mathcal {C}}\to [0,\infty ]$ von dem Mengensystem ${\mathcal {C}}$ heißt Prämaß, wenn sie die folgenden Eigenschaften erfüllt:

Es ist $\mu (\emptyset )=0$
Sie ist σ-additiv, das heißt für jede Folge $(A_i)_{i\in\mathbb{N}}$ abzählbar vieler paarweise disjunkter Mengen aus ${\mathcal {C}}$ mit $\textstyle \bigcup_{i=1}^\infty A_i \in \mathcal{C}$ gilt:

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

Alternativ lässt sich ein Prämaß auch als ein $\sigma$ -additiver Inhalt definieren. Als Mengensystem ${\mathcal {C}}$ wählt man meist einen Halbring oder einen Ring. Ein Prämaß heißt endlich, wenn $\mu (A)<\infty$ für alle $A\in {\mathcal {C}}$ gilt. Ein Prämaß heißt $\sigma$ -endlich, wenn es eine Zerlegung $(A_{i})_{{i\in {\mathbb {N}}}}$ von $\Omega$ in ${\mathcal {C}}$ gibt, so dass $\mu (A_{i})<\infty$ für alle $i\in {\mathbb {N}}$ gilt.

Eigenschaften

Je nachdem, auf welchem Mengensystem ein Prämaß definiert ist, ändern sich die Eigenschaften. Zusätzlich zu allen hier genannten Eigenschaften gelten auch alle Eigenschaften von Inhalten auf dem entsprechenden Mengensystem.

im Halbring

Falls $\mathcal{C}=\mathcal{H}$ ein Halbring ist, dann kann man zu jedem Prämaß $\mu$ auf $\mathcal{H}$ ein eindeutiges Prämaß $\mu '$ auf dem von $\mathcal{H}$ erzeugten Ring ${\mathcal {R}}$ konstruieren. Siehe hierzu auch den Abschnitt über Fortsetzungen.

im Ring

Falls $\mathcal{C}=\mathcal{R}$ ein Ring ist, dann gelten bei den folgende Eigenschaften die Implikationen: $1\iff 2\iff 3\Longrightarrow 4\iff 5$

$\mu$ ist ein Prämaß.
σ-subadditiv (Sigma-subadditiv), es gilt folglich:
$\mu\left(\bigcup_{j\in\mathbb{N}} A_j \right) \leq \sum_{j\in\mathbb{N}} \mu(A_j)$ für jede Folge von Mengen $(A_j)_{j\in\mathbb{N}}$ in ${\mathcal {C}}$ mit $\bigcup_{j\in\mathbb{N}} A_j \in \mathcal{C}$
Stetigkeit von unten:Ist $(A_i)_{i\in\N}$ eine gegen $A\in {\mathcal {R}}$ aufsteigende Folge von Mengen aus ${\mathcal {R}}$ , so ist $\mu (A_{i})\uparrow \mu (A)$ .
Stetigkeit von oben: Ist $(A_i)_{i\in\N}$ eine gegen $A\in {\mathcal {R}}$ absteigende Folge von Mengen aus ${\mathcal {R}}$ mit $\mu(A_1)< \infty$ , so ist $\mu (A_{i})\downarrow \mu (A)$ .
Stetigkeit gegen $\emptyset$ : Ist $(A_i)_{i\in\N}$ eine gegen $\emptyset$ absteigende Folge von Mengen aus ${\mathcal {R}}$ , so ist $\mu (A_{i})\downarrow 0$ .

Diese Eigenschaften werden auch oft als Charakterisierung genutzt. Ist das Prämaß endlich, so gilt bei allen Eigenschaften Äquivalenz.

Fortsetzbarkeit

Von Halbringen auf Ringe

Man kann zu jedem Prämaß $\mu$ auf dem Halbring $\mathcal{H}$ ein Prämaß $\mu '$ auf dem von $\mathcal{H}$ erzeugten Ring ${\mathcal {R}}$ konstruieren. Aufgrund der Eigenschaften eines Halbringes gibt es für alle $A\in \mathcal{R}$ paarweise disjunkte Mengen $A_1, A_2,\dotsc, A_m \in \mathcal{H}$ mit $\textstyle A= \bigcup_{j=1}^{m} A_j$ . Indem man $\mu '$ durch

$\mu ' (A):= \sum_{j=1}^{m} \mu (A_j)$

definiert, erhält man eine eindeutig bestimmte Fortsetzung $\mu '$ . Die Fortsetzung $\mu '$ ist genau dann $\sigma$ -endlich, wenn $\mu$ $\sigma$ -endlich ist.

Zu einem Maß

Nach dem Maßerweiterungssatz von Carathéodory kann ein Prämaß auf einem Ring ${\mathcal {R}}$ zu einem Maß auf der vom Ring erzeugten σ-Algebra fortgesetzt werden. Dazu wird aus dem Prämaß zuerst ein äußeres Maß $\nu$ konstruiert. Diejenigen Mengen, die bezüglich dieses äußeren Maßes messbar sind bilden eine σ-Algebra $\mathcal{A}_\nu$ . Die Einschränkung $\nu|_{\mathcal{A}_\nu}$ des äußeren Maßes auf diese σ-Algebra ist dann ein Maß, dass auf ${\mathcal {R}}$ mit dem Prämaß übereinstimmt. Des Weiteren enthält ${\mathcal {A}}_{\nu }$ den Ring ${\mathcal {R}}$ und damit auch die von dem Ring erzeugte σ-Algebra $\sigma( \mathcal{R} )$ .

Außerdem ist $(\Omega, \mathcal{A}_\nu, \nu|_{\mathcal{A}_\nu})$ ein Vollständiger Maßraum und $\nu|_{\mathcal{A}_\nu}$ ist die Vervollständigung von $\nu|_{\sigma(\mathcal{R})}$ .

Ist das Prämaß σ-endlich, so folgt mit dem Eindeutigkeitssatz für Maße die Eindeutigkeit der Fortsetzung.

Beispiele

Lebesguesches Prämaß

Das wichtigste Prämaß ist das sogenannte Lebesgue'sche Prämaß

$\lambda ([a,b))=b-a$ .

auf dem Halbring der halboffenen Intervalle [a,b) auf den reellen Zahlen. Es lässt sich auch auf höhere Dimensionen verallgemeinern. Aus ihm wird das Lebesgue-Maß und anschließend das Lebesgue-Integral konstruiert.

Lebesgue-Stieltjessches Prämaß

Ein weiteres wichtiges Prämaß ist das Lebesgue-Stieltjesches Prämaß, aus dem sich das Lebesgue-Stieltjes-Maß und das Lebesgue-Stieltjes-Integral ableitet:

$\mu _{F}([a,b))=F(b)-F(a)$ ,

wobei eine wachsende rechtsseitig stetige reellwertige Funktion ist. Ist nicht rechtsseitig stetig, so handelt es sich um den Stieltjes’schen Inhalt. Für F(x)=x stimmt es mit dem Lebesgueschen Prämaß überein. Jedes endliche Prämaß auf den Reellen Zahlen kann als Lebesgue-Stieltjessches Prämaß dargestellt werden mit einer passenden Funktion

Basierend auf einem Artikel in:

Wikipedia.de