Hahn-Jordan-Zerlegung

In der Maßtheorie, einem Teilgebiet der Mathematik, dass sich mit der Verallgemeinerung von Volumenbegriffen beschäftigt, beschreibt die Hahn-Jordan-Zerlegung wie man ein signiertes Maß in einen negativen und einen positiven Teil zerlegen kann. Teilweise wird die Zerlegung auch als zwei separate Aussagen angegeben, man nennt sie dann den Hahnschen Zerlegungssatz und den Jordanschen Zerlegungssatz. Die beiden Sätze sind eng miteinander verbunden. Der Hahnsche Zerlegungssatz wurde von Hans Hahn 1921 bewiesen, die Benennung des Jordanschen Zerlegungssatzes bezieht sich auf Marie Ennemond Camille Jordan, der 1881 gezeigt hat, dass sich eine Funktion beschränkter Variation als Differenz zweier monoton wachsender Funktionen darstellen lässt.

Hahnscher Zerlegungssatz

Aussage

Sei $(X,\mathcal{A})$ ein Messraum und $\mu$ ein signiertes Maß auf diesem Messraum.

Dann existiert eine Partition der Grundmenge in eine Positive Menge und eine Negative Menge , also $X=P\cup N$ und $P\cap N=\emptyset$ .

Bemerkung

Die Zerlegung des Grundraumes ist bis auf eine $\mu$ -Nullmenge eindeutig. Ist also $P^{*},N^{*}$ eine weitere Hahn-Zerlegung, so ist $P\triangle P^{*}=N\triangle N^{*}$ und $\mu (P\triangle P^{*})=\mu (N\triangle N^{*})=0$ . Dabei bezeichnet $\triangle$ die symmetrische Differenz.

Variation

Mittels des Hahnschen Zerlegungssatzes lassen sich die Variation, die positive Variation und die negative Variation definieren. Die Variation wird teils auch Totalvariation oder totale Variation genannt. Diese Bezeichnung ist jedoch zweideutig, da sie teilweise auch für die aus der Variation konstruierte Norm, die Totalvariationsnorm, verwendet wird.

Definition

Ist $\mu$ ein signiertes Maß mit Hahn-Zerlegung $N,P$ , so heißt

$\mu ^{+}(A):=\mu (A\cap P)$

die positive Variation von $\mu$ ,

$\mu ^{-}(A):=-\mu (A\cap N)$

die negative Variation von $\mu$ und

$|\mu |(A):=\mu ^{+}(A)+\mu ^{-}(A)$

die Variation von $\mu$ .

Bemerkungen

Da die Hahn-Zerlegung bis auf Nullstellen eindeutig ist, hängen die obigen Definitionen nicht von der Wahl der Zerlegung ab.
Die Kennzahl $|\mu |(X)$ heißt auch die Totalvariationsnorm eines signierten Maßes.
Die positive Variation und die negative Variation sind singulär zueinander.

Jordanscher Zerlegungssatz

Der Jordansche Zerlegungssatz fasst noch einmal die Zerlegung des signierten Maßes zusammen. Er lautet: ist $\mu$ ein signiertes Maß, so ist

$\mu =\mu ^{+}-\mu ^{-}$

und $\mu ^{+}$ und $\mu ^{-}$ sind singulär zueinander, also $\mu ^{+}\perp \mu ^{-}$ .

Basierend auf einem Artikel in:

Wikipedia.de