Hahn-Jordan-Zerlegung

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

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[Bearbeiten]

Aussage[Bearbeiten]

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

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

Bemerkung[Bearbeiten]

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[Bearbeiten]

Mittels des Hahnschen Zerlegungssatzes lassen sich die Variation, die positive Variation und die negative Variation definieren.

Definition[Bearbeiten]

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[Bearbeiten]

  • 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 posititive Variation und die negative Variation sind singulär zueinander.

Jordanscher Zerlegungssatz[Bearbeiten]

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^- .

Literatur[Bearbeiten]

Weblinks[Bearbeiten]