05.10.2013 Aufrufe

Analysis

Analysis

Analysis

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

734 KAPITEL V. FUNKTIONENRÄUME UND SYMMETRIEN<br />

aus 3.6.21 und der letzte Teil aus 3.7.5 mit der in 3.7.6 gegebenen Beschreibung<br />

von ΦT .<br />

Übung 3.6.17. Man folgere aus dem Spektralsatz: Ist T : H → H ein selbstadjungierter<br />

Operator auf einem Hilbertraum und (ei)i∈I eine Hilbertbasis<br />

von H aus Eigenvektoren von T , sagen wir mit T ei = λiei, so hat für die<br />

im Sinne von 3.6.11 zugehörige Zerlegung Φ = ΦT der Identität und jede<br />

Borelmenge M ⊂ R der zugehörige Projektor Φ(M) als Bild den Abschluß<br />

der Summe aller Eigenräume zu Eigenwerten aus M, in Formeln<br />

im(Φ(M)) = 〈ei | λi ∈ M〉<br />

Lemma 3.6.18 (Integration nach projektorwertigem Maß, Eigenschaften).<br />

Gegeben (X, M) ein Meßraum, f, g ∈ L ∞ (X) beschränkt und<br />

meßbar, H ein Hilbertraum und Φ : M → B(H) ein projektorwertiges Maß<br />

gilt<br />

1. ¯ fΦ = ( fΦ) ∗<br />

2. fg Φ = ( fΦ) ◦ ( gΦ)<br />

3. fΦ ≤ f∞<br />

Beweis. Das alles ist für Stufenfunktionen leicht explizit zu sehen und folgt<br />

dann durch Grenzübergang im allgemeinen. Die Details können dem Leser<br />

überlassen bleiben. Man beachte, daß in Teil 2 das Produkt der Funktionen<br />

f und g gemeint ist, nicht etwa ihre Verknüpfung.<br />

Übung 3.6.19. Gegeben ein Hilbertraum H mit einer Teilung Φ der Identität<br />

und f beschränkt und meßbar und P ∈ C[X] ein Polynom haben wir<br />

<br />

P fΦ = (P ◦ f)Φ<br />

Übung 3.6.20. Seien (X, M) ein Meßraum, f ∈ L∞ (X) beschränkt und meßbar,<br />

H ein Hilbertraum und Φ : M → B(H) eine Teilung der Identität. So<br />

gilt für alle v ∈ H die Abschätzung<br />

<br />

<br />

<br />

<br />

fΦ v<br />

≥ (infx∈X |f(x)|) v<br />

Lemma 3.6.21 (Spektrum eines Integrals). Ist Φ eine auf C definierte<br />

kompakt getragene Teilung der Identität eines Hilbertraums H und T =<br />

xΦ〈x〉, so ist σ(T ) das kleinste Kompaktum K ⊂ C mit Φ(K) = idH .

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!