13.04.2014 Aufrufe

V2B3 Partielle Differentialgleichungen und Funktionalanalysis

V2B3 Partielle Differentialgleichungen und Funktionalanalysis

V2B3 Partielle Differentialgleichungen und Funktionalanalysis

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.

Korollar 3.1.4. Jeder endlich dimensionale Unterraum eines normierten Raumes ist<br />

vollständig <strong>und</strong> daher abgeschlossen.<br />

Beweis. Sei Y ⊂ X ein linearer Unterraum mit dim Y = n < ∞ <strong>und</strong> mit Basis {e 1 , . . . , e n }.<br />

Auf Y sind die Normen ‖.‖ X <strong>und</strong><br />

‖x‖ ∞ = max<br />

j=1,...,n |x j| falls x =<br />

n∑<br />

x j e j<br />

äquivalent durch Lemma 3.1.3. Es genügt, Vollständigkeit bzgl. der ‖.‖ ∞ Norm zu zeigen. Ist<br />

x (k) eine Cauchy-Folge auf Y , so ist x (j)<br />

i eine Cauchy-Folge auf K, <strong>und</strong> deswegen konvergent.<br />

Es existieren also ξ 1 , . . . , ξ n ∈ K mit x (k)<br />

i → ξ i als k → ∞, für alle i = 1, . . . , n. Dann gilt mit<br />

ξ = ∑ n<br />

j=1 ξ je j , ‖x (k) − ξ‖ ∞ → 0 als k → ∞.<br />

Wir können jetzt die Charakterisierung von Kompaktheit auf endlich dimensionalen Mengen<br />

beweisen.<br />

Satz 3.1.5 (Satz von Heine-Borel). Sei X ein endlich dimensional normierter Raum. Dann<br />

ist A ⊂ X kompakt g.d.w. A beschränkt <strong>und</strong> abgeschlossen ist.<br />

Beweis. Die Implikation “⇒” folgt aus Theorem 3.1.2. Um die Implikation “⇐” zu beweisen,<br />

genügt es zu zeigen, dass jede beschränkte Teilmenge eines endlich dimensionalen Raumes<br />

präkompakt ist. Sei {e 1 , . . . , e n } eine Basis von X. Dann definieren wir die Norm<br />

‖x‖ ∞ = max<br />

j=1,...,n |x j| (fallsx =<br />

j=1<br />

n∑<br />

x j e j )<br />

auf X. Da alle Normen äquivalent sind, genügt es, die Behauptung bzgl. der Norm ‖.‖ ∞ zu<br />

beweisen. Hierfür genügt es, zu zeigen, dass für alle R > 0, ε > 0 n(R, ε) ∈ N existieren <strong>und</strong><br />

x (1) , . . . , x (n(R,ε)) ∈ X mit<br />

B R (0) ⊂ ∪ n(R,ε)<br />

j=1 B ε (x (j) ).<br />

Sei m = ⌈(R/ε)⌉ die kleinste ganze Zahl grösser als R/ε. Dann<br />

j=1<br />

B R (0) = {x : ‖x‖ ∞ < R} = ∩ n l=1{x ∈ X : |x l | < R}<br />

⊂ ∩ n l=1 ∪ m−1<br />

j=−m {x ∈ X : j lε ≤ x l < (j l + 1)ε}<br />

⊂ ∪ m j 1 ,...,j n=−m ∩ n l=1 {x ∈ X : |x l − j l ε| < ε}<br />

= ∪ m j 1 ,...,j n=−m{x ∈ X : max |x l − j l ε| < ε}<br />

l=1,...,n<br />

n∑<br />

= ∪ m j 1 ,...,j n=−mB ε ( εj l e l )<br />

l=1<br />

67

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!