Lexikon der Mathematik: Totalvariation
totale Variation, für eine gegebene reellwertige Funktion g einer reellen Variablen das Supremum der Werte
Als Zielbereich kann natürlich statt ℝ zumindest ein normierter Vektorraum betrachtet werden.
Man kann leicht zeigen, daß die Funktionen mit endlicher Totalvariation einen ℝ-Vektorraum bilden, auf dem die Totalvariation eine Halbnorm liefert, wobei genau die konstanten Funktionen den Wert 0 erhalten.
Eine Funktion g ist genau dann von endlicher Totalvariation über ℝ, wenn sie als Differenz von zwei auf ℝ isotonen Funktionen mit endlichen Grenzwerten in +∞ und −∞ darstellbar ist.
Diese Bedingung ist hinreichend, weil derartige monotone Funktionen offenbar endliche Totalvariation besitzen, nämlich gerade die absolute Differenz der genannten Grenzwerte. Um umgekehrt zu einem g mit endlicher Totalvariation eine entsprechende Darstellung durch isotone Funktionen anzugeben, verfährt man wie folgt: Für ein a aus ℝ erklärt man eine Funktion ga : ℝ → ℝ durch
Dann erweisen sich die Funktionen
Dabei könnte man sinnvoll noch a → −∞ und c → +∞ betrachten. Die oben erhaltene Darstellung durch monotone Funktionen läßt recht direkt erkennen, daß eine Funktion mit endlicher Totalvariation an jeder endlichen Stelle einen rechtsseitigen und einen linksseitigen Grenzwert besitzt, dazu Grenzwerte für x → −∞ und x → ∞. Schließlich kann man zeigen, daß an einer Stelle die Totalvariationsfunktion v genau dann rechts- bzw. linksseitig stetig ist, wenn dies für die Funktion g zutrifft. Leicht sieht man:
Ist g in [a, b] differenzierbar und die Ableitung dort beschränkt, dann ist g über [a, b] von endlicher Totalvariation; ist der Betrag |g′| der Ableitung Riemann-integrierbar, so hat man mit der Darstellung
Eine wesentliche Eigenschaft der Totalvariation ist ihre Invarianz gegenüber „Parametertransformationen“: Man betrachtet Funktionen ϕ, die ℝ (streng) isoton auf (!) ℝ (und damit stetig) abbilden, und erkennt sofort, daß mit einer Funktion g auch g ∘ ϕ endliche Totalvariation besitzt. Dabei gilt
Dies ist unmittelbar ablesbar, weil aufgrund der Eigenschaften von ϕ jede der in der Definition für die eine Seite auftretende Summe von Beträgen von Differenzen auch als entsprechende Summe für die andere Seite geschrieben werden kann.
Der Begriff der Totalvariation wurde von Camille Marie Ennemond Jordan im Zusammenhang mit der Bestimmung von Kurvenlängen eingeführt.
Siehe auch Funktion von beschränkter Variation.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.