Signiertes Maß

Signiertes Maß ist ein Begriff aus dem mathematischen Teilgebiet der Maßtheorie. Es ist wie das Maß eine auf einem Mengensystem, meist einer σ-Algebra, definierte Funktion und unterscheidet sich von diesem nur darin, dass auch negative Werte zugelassen sind. Das signierte Maß stellt somit eine Verallgemeinerung des Maßbegriffs dar. Manchmal werden signierte Maße auch als Ladungsverteilungen bezeichnet, da sie bildlich jedem Teil eines geladenen Körpers die in ihm enthaltene Ladung zuweisen.

Mengen signierter Maße besitzen im Gegensatz zu den gewöhnlichen Maßen mehr Struktur. So bildet beispielsweise die Menge aller signierten Maße auf einem gemeinsamen Messraum einen Vektorraum mit einer Norm.

Definition

Sei $\Omega$ eine nichtleere Menge und ${\mathcal {C}}\subseteq 2^{\Omega }$ ein Mengensystem auf $\Omega$ mit $\emptyset \in {\mathcal {C}}$.

Eine Mengenfunktion $\nu$ von ${\mathcal {C}}$ nach $[-\infty ,+\infty )$ oder $(-\infty ,+\infty ]$ heißt signiertes Maß, wenn gilt:

1. $\nu (\emptyset )=0$
2. Für jede disjunkte Familie $(A_{i})_{i\in \mathbb {N} }$ mit $A_{i}\in {\mathcal {C}}$ und $\textstyle \bigcup _{i\in \mathbb {N} }A_{i}\in {\mathcal {C}}$ gilt

$\nu \left(\bigcup _{i\in \mathbb {N} }A_{i}\right)=\sum _{i\in \mathbb {N} }\nu (A_{i})$.

Diese Eigenschaft wird als σ-Additivität bezeichnet.

Ist das Mengensystem ${\mathcal {C}}$ eine σ-Algebra, so wird es im Folgenden mit ${\mathcal {A}}$ bezeichnet. Insbesondere ist dann $\textstyle \bigcup _{i\in \mathbb {N} }A_{i}$ immer in ${\mathcal {A}}$ enthalten.

Bemerkungen zur Definition

Die Konvergenz der Reihe $\textstyle \sum _{i\in \mathbb {N} }\nu (A_{i})$ ist als unbedingte Konvergenz in ${\bar {\mathbb {R} }}$ zu betrachten, das heißt ihr Grenzwert ist $\textstyle \nu \left(\bigcup _{i\in \mathbb {N} }A_{i}\right)$.

Die Einschränkung auf entweder die Bildmenge $[-\infty ,+\infty )$ oder die Bildmenge $(-\infty ,+\infty ]$ erfolgt, um die Assoziativität der Addition zu erhalten. Außerdem vermeidet sie das Auftreten von nicht definierten Ausdrücken wie $-\infty +\infty$.

Wählt man als Bildraum die Menge $(-\infty ,+\infty )$, so kann auf die Forderung $\nu (\emptyset )=0$ verzichtet werden. Dies folgt daraus, dass $\nu (\emptyset )$ eine reelle Zahl ist und

$\nu (\emptyset )=\sum _{i\in \mathbb {N} }\nu (\emptyset )$

gilt.

Beispiele

Die beiden hier angegebenen Beispiele sind gleichzeitig die klassischen Methoden, signierte Maße zu konstruieren.

Differenz von Maßen

Sind Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \mu _{1},\mu _{2}} endliche Maße auf dem Messraum $(\Omega ,{\mathcal {A}})$, so sind

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \nu _{1}=\mu _{1}-\mu _{2}{\text{ und }}\nu _{2}=\mu _{2}-\mu _{1}}

signierte Maße auf $(\Omega ,{\mathcal {A}})$. Bei einem der beiden Maße $\mu _{1},\mu _{2}$ kann auf die Endlichkeit verzichtet werden, wenn man zulassen will, dass die signierten Maße die Werte $+\infty$ oder $-\infty$ annehmen können.

Integralinduzierte signierte Maße

Signierte Maße treten auch in der Integrationstheorie auf, sie werden von einem unbestimmten Integral induziert.

Sei $(\Omega ,{\mathcal {A}},\mu )$ ein Maßraum und $f\colon \Omega \rightarrow {\bar {\mathbb {R} }}$ eine ${\mathcal {A}}-{\mathcal {B}}({\bar {\mathbb {R} }})$ messbare Funktion. Ist $f$ positiv (nimmt Werte in $[0,\infty ]$ an) oder quasiintegrierbar, so existiert das Integral $\textstyle \int _{\Omega }f\chi _{A}d\mu$ mit $\chi$ als Indikatorfunktion und $A\in {\mathcal {A}}$ immer. Die Abbildung $\textstyle \int fd\mu \colon {\mathcal {A}}\rightarrow {\bar {\mathbb {R} }}$ mit

$(\int fd\mu )(A):=\int _{\Omega }f\chi _{A}d\mu$

definiert das unbestimmte $\mu$-Integral.

• Ist $f$ positiv, so ist $\textstyle \int fd\mu$ ein Maß.
• Ist $f$ integrierbar, so ist $\textstyle \int fd\mu$ ein endliches signiertes Maß, das heißt $\textstyle (\int fd\mu )(A)\in \mathbb {R}$ für $A\in {\mathcal {A}}$.
• Ist $f$ quasiintegrierbar, so ist $\textstyle \int fd\mu$ ein signiertes Maß.

Man verwendet für $\textstyle (\int fd\mu )(A)$ üblicherweise die Kurzschreibweise $\textstyle \int _{A}fd\mu$.

Eigenschaften

Gegeben seien $A,B\in {\mathcal {A}}$ und $B\subset A$. Ist $|\nu (A)|<\infty$, so ist auch stets $|\nu (B)|<\infty$, denn es gilt $\nu (A)=\nu (A\setminus B)+\nu (B)$. Aus der σ-Additivität folgt dann die Endlichkeit der rechten Seite.

Ist $A,(A_{i})_{i\in \mathbb {N} }\in {\mathcal {A}}$ mit disjunkten $A_{i}$ und ist

$A=\bigcup _{i\in \mathbb {N} }A_{i}{\text{ sowie }}|\nu (A)|<\infty$,

so ist die Reihe $\sum _{i=1}^{\infty }\nu (A_{i})$ absolut konvergent. Denn es ist für jede Bijektion $\pi \colon \mathbb {N} \to \mathbb {N}$ immer

$\bigcup _{i\in \mathbb {N} }A_{\pi (i)}=A=\bigcup _{i\in \mathbb {N} }A_{i}$

und somit

$\sum _{i=1}^{\infty }\nu (A_{\pi (i)})=\sum _{i=1}^{\infty }\nu (A_{i})$.

Also konvergiert die Reihe unbedingt und damit auch absolut.

Stetigkeit von oben

Ist ${\mathcal {C}}$ ein Ring so ist $\nu$ stetig von oben, es gilt folglich, dass für jede monoton fallende Folge $(A_{i})_{i\in \mathbb {N} }$ mit $A_{i}\in {\mathcal {C}}$, $|\nu (A_{1})|<\infty$ und $\textstyle \bigcap _{i\in \mathbb {N} }A_{i}\in {\mathcal {C}}$

$\lim _{i\rightarrow \infty }\nu (A_{i})=\nu \left(\bigcap _{i\in \mathbb {N} }A_{i}\right)$

gilt. Ist ${\mathcal {C}}$ eine σ-Algebra, so ist die Eigenschaft immer erfüllt.

Stetigkeit von unten

Ein signiertes Maß auf einer σ-Algebra ${\mathcal {A}}$ ist stetig von unten, das heißt für eine monoton wachsende Mengenfolge $(A_{i})_{i\in \mathbb {N} }$ aus ${\mathcal {A}}$ gilt

$\lim _{i\rightarrow \infty }\nu (A_{i})=\nu \left(\bigcup _{i\in \mathbb {N} }A_{i}\right)$.

Abgeleitete Begriffe

Positive und negative Mengen

Eine Menge $A\in {\mathcal {A}}$ wird eine positive Menge genannt, wenn für jede weitere Menge $B\subset A$ mit $B\in {\mathcal {A}}$ gilt, dass

$\nu (B)\geq 0$.

Ebenso wird eine Menge $A\in {\mathcal {A}}$ eine negative Menge genannt, wenn für jede weitere Menge $B\subset A$ mit $B\in {\mathcal {A}}$ gilt, dass

$\nu (B)\leq 0$.

Der Begriff der Nullmenge überträgt sich direkt von Maßen auf signierte Maße.

Signierter Maßraum

Ist ${\mathcal {A}}$ eine σ-Algebra über der Grundmenge $\Omega$ und $\nu$ ein signiertes Maß, so nennt man das Tripel Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (\Omega ,{\mathcal {A}},\nu )} einen signierten Maßraum.

Endliches signiertes Maß

Ein signiertes Maß $\nu$ heißt endlich, wenn $|\nu (A)|<\infty$ für alle $A\in {\mathcal {A}}$. Dies ist äquivalent zu $|\nu (\Omega )|<\infty$ oder zur Endlichkeit der Variation von $\nu$.

σ-endliches signiertes Maß

Ein signiertes Maß heißt σ-endlich, wenn es eine Folge $(A_{n})_{n\in \mathbb {N} }$ von 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 } gibt, so dass

$\Omega =\bigcup _{n\in \mathbb {N} }A_{n}$

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 |\nu(A_n)| < \infty } 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 n \in \N } . Dies ist äquivalent dazu, dass die Variation 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 \nu } ein σ-endliches Maß ist.

Reguläres signiertes Maß

Ein endliches signiertes Maß auf einem Hausdorff-Raum, versehen mit der borelschen σ-Algebra heißt regulär, wenn die Variation des signierten Maßes ein reguläres Maß ist.

Wichtige Aussagen

Hahn-Jordan-Zerlegung

→ Hauptartikel: Hahn-Jordan-Zerlegung

Die Hahn-Jordan-Zerlegung liefert eine Aufteilung eines signierten Maßes. Dabei wird entweder die Grundmenge auf eindeutige Weise in eine positive Menge und eine negative Menge zerlegt (Hahnscher Zerlegungssatz), oder das signierte Maß in zwei (gewöhnliche) Maße aufgeteilt, von denen mindestens eines endlich ist und die zusammen das signierte Maß ergeben (Jordanscher Zerlegungssatz).

Zu jedem signierten 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 \mu } existieren also eine positive 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 P } und eine negative 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 } , so dass 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 \cup P = \Omega } 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 N \cap P = \emptyset } ist.

Ebenso existieren Maße 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^+, \mu^- } , (die sogenannte positive Variation und die negative Variation), von denen mindestens eines endlich ist, die singulär zueinander sind und für die 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= \mu^+-\mu^- } gilt.

Es gilt dann

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)=\mu(P\cap A), \quad, \mu^-(A)= \mu(N \cap A) } .

Das 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 |\mu|= \mu^+ + \mu^- } nennt man dann die Variation 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 \mu } , die Zahl 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) } die Totalvariationsnorm des signierten Maßes.

Satz von Radon-Nikodym

→ Hauptartikel: Satz von Radon-Nikodym

Ist 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 σ-endliches Maß auf dem Messraum 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 (X,\mathcal{A})} und ist $\nu$ ein signiertes Maß, das absolut stetig bezüglich 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} ist (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 \nu \ll \mu } ), so besitzt 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 \nu} eine Dichtefunktion bezüglich 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 heißt, es existiert eine messbare 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 X \to \R} , so dass

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 \nu(E) = \int_{E} f \,\mathrm{d}\mu} 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 E \in \mathcal A} .

Zerlegungssatz von Lebesgue

→ Hauptartikel: Zerlegungssatz von Lebesgue

Ist $\mu$ ein σ-endliches Maß auf dem Messraum 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 (X,\mathcal{A})} und ist 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 \nu} ein σ-endliches signiertes Maß, so existiert genau eine Zerlegung 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 \nu= \tau+ \pi } , 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 \tau , \pi } signierte Maße sind, so dass 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 \tau } absolut stetig bezüglich 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 } 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 \pi } singulär bezüglich 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 } ist.

Satz von Vitali-Hahn-Saks

→ Hauptartikel: Satz von Vitali-Hahn-Saks

Der Satz von Vitali-Hahn-Saks besagt, dass der mengenweise Grenzwert einer Folge von signierten Maßen wieder ein signiertes Maß definiert.

Räume signierter Maß

Im Gegensatz zu den Maßen bilden die signierten Maße auf einem gemeinsamen Messraum einen reellen Vektorraum, wenn sie endlich sind. Insbesondere ist jede reelle Linearkombination signierter Maße ebenfalls ein signiertes Maß. Die Maße bilden dann einen konvexen Kegel in diesem Vektorraum. Wichtige konvexe Teilmengen sind die Wahrscheinlichkeitsmaße und die Sub-Wahrscheinlichkeitsmaße.

Versieht man den Vektorraum der endlichen signierten Maße mit der Totalvariationsnorm als Norm, so erhält man einen normierten Raum. Dieser Raum ist sogar vollständig, es handelt sich also um einen Banachraum.

Dieser Raum kann noch mit einer Ordnungsstruktur versehen werden, diese wird definiert als

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 \leq \nu \; \iff \, \mu(A) \leq \nu (A) \quad \text{für alle } A \in \mathcal A } .

Damit werden die endlichen signierten Maße zum Riesz-Raum und sogar zum Banach-Verband. Außerdem ist er ordnungsvollständig.

Reguläre signierte Maße treten beispielsweise auch in der Funktionalanalysis als Dualraum der im unendlichen verschwindenden stetigen Funktionen, der sogenannten C₀-Funktionen, auf.

Anwendungen

Mit signierten Maßen lassen sich zum Beispiel Verteilungen von positiven und negativen Ladungen in einem Stoff modellieren.

Literatur

• Klaus D. Schmidt: Maß und Wahrscheinlichkeit. 2., durchgesehene Auflage. Springer-Verlag, Heidelberg Dordrecht London New York 2011, ISBN 978-3-642-21025-9, doi:10.1007/978-3-642-21026-6. 
• Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6. 
• Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin Heidelberg 2013, ISBN 978-3-642-36017-6, doi:10.1007/978-3-642-36018-3.