Funktionalanalysis - Mathematik
Funktionalanalysis - Mathematik
Funktionalanalysis - Mathematik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
FUNKTIONALANALYSIS 82<br />
Proposition 6.2.8 Sei T = T ∗ ∈ B(H) und f ∈ C(σ(T)) reellwertig. Sei S = f (T), dann ist S<br />
selbstadjungiert. Sei g ∈ C(σ(S)), dann gilt<br />
(g ◦ f )(T) = g( f (T)).<br />
Schreiben wir den Funktionalkalkül alternativ als φ( f, T) = f (T), so heisst das<br />
φ(g ◦ f, T) = φ(g, φ( f, T)).<br />
Beweis: Ist g(x) = x n , dann ist g ◦ f (x) = f (x) n und da h ↦→ h(T) ein<br />
Algebrenhomomorphismus ist, folgt g ◦ f (T) = f (T) n = g( f (T)). Wegen Linearität<br />
beider Seiten folgt die Behauptung für den Fall, dass g ein Polynom ist. Ist allgemein<br />
g j → g eine Folge von Polynomen, die g auf σ(S) approximiert, dann geht g j ◦ f<br />
gleichmässig auf σ(T) gegen g ◦ f , es folgt also<br />
g ◦ f (T) = lim<br />
j<br />
g j ◦ f (T) = lim<br />
j<br />
g j ( f (T)) = g( f (T)). □<br />
6.3 Polarzerlegung<br />
Sei T ein stetiger Operator auf H. Dann ist T ∗ T selbstadjungiert und positiv. Deshalb<br />
ist das Spektrum σ(T ∗ T) eine Teilmenge von [0, ∞), siehe Proposition 6.1.14. Deshalb<br />
ist die Wurzelfunktion x ↦→ √ x eine stetige Funktion auf σ(T ∗ T). Mit Hilfe des<br />
Funktionalkalküls definieren wir |T| = √ T ∗ T ∈ B(H). Dies ist ein selbstadjungierter<br />
Operator mit positivem Spektrum und der Eigenschaft |T| 2 = T ∗ T.<br />
Satz 6.3.1 Sei T ein stetiger Operator auf dem Hilbert-Raum H. Für v ∈ H ist die Norm<br />
von |T|v gleich ||Tv||. Es existiert ein isometrischer Isomorphismus U vom Abschluss von<br />
Bild(|T|) zum Abschluss von Bild(T) so dass T = U|T|. Diese Zerlegung von T heisst<br />
Polarzerlegung. Sie ist eindeutig in folgendem Sinne. Ist T = U ′ P, wobei P<br />
selbst-adjungiert und positiv ist und U ′ : Bild(P) → H ist isometrisch, dann folgt U ′ = U<br />
und P = |T|.<br />
Beweis: Für v ∈ H ist das Quadrat der Norm ||Tv|| 2 gleich<br />
〈Tv, Tv〉 = 〈T ∗ Tv, v〉 = 〈 |T| 2 v, v 〉 = 〈|T|v, |T|v〉 = |||T|v|| 2