Totalvariationsnorm

Die Totalvariationsnorm ist ein Begriff aus der Maßtheorie, einem Teilgebiet der Mathematik, das sich mit der Verallgemeinerung von Längen- und Volumenbegriffen beschäftigt. Die Totalvariationsnorm ordnet jedem signierten Maß eine Zahl zu und definiert damit eine Norm auf dem Vektorraum der signierten Maße. Die von der Norm induzierte Metrik wird dann auch Totalvariationsabstand oder Totalvariationsmetrik genannt.

Teils findet sich auch die Bezeichnungen Totalvariation oder Totale Variation. Diese sind jedoch zweideutig, sie werden auch für das aus positiver Variation und negativer Variation zusammengesetzte Maß, die Variation des Maßes, verwendet.

Definition

Gegeben sei ein signiertes Maß $\nu$ auf dem Messraum $(\Omega ,{\mathcal A})$ und sei $\nu=\nu^+-\nu^-$ die Jordan-Zerlegung des signierten Maßes und sei $\Omega=P \cup N$ die Hahn-Zerlegung des Grundraumes sowie $|\nu|$ die Variation des signierten Maßes. Dann heißt

$\Vert \nu \Vert_{TV}:= \nu(P)-\nu(N)=\nu^+(\Omega)+\nu^-(\Omega)= |\nu|(\Omega)$

die Totalvariationsnorm des signierten Maßes $\nu$ .

Beispiele

Ist die Grundmenge $\Omega = \{1, \dots, n \}$ für ein fixiertes $n \in \N$ , so lässt sich jedes endliche signierte Maß durch einen Vektor $x \in \R^n$ definieren durch

$\nu(A)= \sum_{i \in A} x_i$ .

Die Hahn-Zerlegung wäre dann

$P = \{i \in \Omega \, | \, x_i > 0\} \text{ und } N = \{i \in \Omega \, | \, x_i < 0\}$ .

Demnach ist die Totalvariation des signierten Maßes

$\Vert \nu \Vert_{TV}=\sum_{i=1}^n |x_i| = \Vert x \Vert_1$

genau die 1-Norm des Vektors.

Besitzt das signierte Maß $\nu$ eine Dichte bezüglich eines Maßes $\mu$ , ist also

$\nu(A)=\int_A f \mathrm d \mu$ ,

so ist die positive Variation durch $\nu^+(A)=\int_A \max(f,0) \mathrm d \mu$ und die negative Variation durch $\nu^-(A)=\int_A \min (f,0) \mathrm d \mu$ gegeben. Demnach ist

$\Vert \nu \Vert_{TV}=\int_\Omega \max(f,0) \mathrm d \mu - \int_\Omega \min(f,0) \mathrm d \mu = \int_\Omega |f| \mathrm d \mu$ .

Eigenschaften

Die Totalvariationsnorm macht die endlichen signierten Maße zu einem vollständigen Vektorraum, der sich sogar anordnen lässt.
Wie für jede Norm lässt sich aus der Totalvariationsnorm eine Metrik definieren durch

$d(\mu, \nu)= \Vert \mu-\nu \Vert_{TV}$ .

Diese heißt Totalvariationsmetrik oder Totalvariationsabstand. Diese Bezeichnungen werden insbesondere bei der Untersuchung von Teilmengen der signierten Maße verwendet, die keine Unterräume der signierten Maße sind. Beispiele hierfür sind die endlichen Maße, die Sub-Wahrscheinlichkeitsmaße und die Wahrscheinlichkeitsmaße.

Für endliche Maße auf der Borelschen σ-Algebra eines metrischen Raumes folgt aus der Konvergenz bezüglich des Totalvariationsabstandes die schwache Konvergenz.
Der Totalvariationsabstand ist für Wahrscheinlichkeitsmaße mit Dichten äquivalent zum Hellingerabstand.

Basierend auf einem Artikel in:

Wikipedia.de