21.02.2014 Aufrufe

Skript

Skript

Skript

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

5. Sei Y ein Banachraum und für alle n ∈ N sei A n : X → Y linear und<br />

kompakt. Es gelte lim n→∞ ‖A − A n ‖ = 0. Dann ist A kompakt.<br />

6. Sei A beschränkt und dim(R(A)) < ∞, dann ist A kompakt.<br />

Beweis. 1.-4.: klar<br />

5.: Sei (x n ) n ∈ X beschränkt mit sup n∈N ‖x n ‖ Y ≤ C. Da A 1 kompakt, hat die<br />

Folge (A 1 x m ) m∈N eine konvergente Teilfolge (A 1 x m1 (k)) k∈N . Da A 2 kompakt<br />

ist, hat die Folge (A 2 x m1 (k)) k∈N eine konvergente Teilfolge (A 2 x m2 (k)) k∈N . Mittels<br />

vollständiger Induktion erhalten wir Teilfolgen (x mi (k)) k∈N von (x m ) m∈N ,<br />

so dass (x mi−1 (k)) k∈N Teilfolge von (x mi (k)) k∈N ist für alle i ∈ N jeweils (K i x mi (k)) k∈N<br />

konvergiert (insb. ist dann auch für alle j ≥ i die Folge K i (x mj (k)) k∈N konvergent).<br />

Sei nun y i := x mi (i) die “Diagonalfolge”, Teilfolge von x m . Zu zeigen:<br />

(Ky i ) ist konvergent.<br />

Wegen lim n→∞ ‖A − A n ‖ = 0 ex. für jedes ɛ > 0 ein n ∈ N so dass<br />

‖A − A n ‖ ≤<br />

ɛ<br />

3C .<br />

Aus der Konstruktion von y i folgt, dass A n y i konvergiert, sei also i 0 ∈ N so<br />

dass für i, j > i 0 gilt<br />

‖A n y i − A n y j ‖ ≤ ɛ 3 .<br />

Damit gilt für i, j > i 0<br />

‖Ay i − Ay j ‖ ≤ ‖Ay i − A n y i ‖ + ‖A n y i − A n y j ‖ + ‖A n y j − Ay i ‖ (2.1)<br />

≤ ‖A − A n ‖(‖y i ‖ + ‖y j ‖) + ɛ 3 < ɛ<br />

3C 2C + ɛ = ɛ,<br />

3<br />

(2.2)<br />

(Ay i ) ist also eine Cauchy-Folge. Da Y Banachraum (vollständig) ⇒ (Ay i ) konvergiert.<br />

Da x n bel. war ⇒ A ist kompakt.<br />

6.: Folg aus dem Satz von Heine-Borel, das danach der Abschluss der beschränkten<br />

Teilmengen von R(A) kompakt ist.<br />

Bemerkung 2.2.3. Nach 5. und 6. ist also der Norm-Grenzwert endlichdimensionaler<br />

beschränkter linearer Operatoren kompakt. Die Umkehrung ist im allgemeinen<br />

nicht richtig.<br />

Theorem 2.2.4. Sei A : X → Y ein kompakter, linearer Operator zwischen den<br />

Hilberträumen X und Y , so dass die Dimension von R(A) unendlich ist. Dann<br />

ist das Problem Ax = y schlecht-gestellt, d.h. insbesondere A † ist unstetig.<br />

Beweis. Wenn X und R(A) unendlichdimensional sind, dann ist auch N(A) ⊥<br />

unendlichdimensional. Daher existiert eine Folge (x n ) n mit x n ∈ N(A) ⊥ , ‖x n ‖ X =<br />

1 und<br />

(x n , x k ) = 0 für n ≠ k.<br />

21

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!