Skript
Skript
Skript
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