13.04.2014 Aufrufe

V2B3 Partielle Differentialgleichungen und Funktionalanalysis

V2B3 Partielle Differentialgleichungen und Funktionalanalysis

V2B3 Partielle Differentialgleichungen und Funktionalanalysis

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.

Das zeigt, dass (L p (Ω, dµ), ‖ · ‖ p ) für alle 1 ≤ p ≤ ∞ ein normierter Raum ist. Für<br />

p = 2 hat L 2 (Ω) nicht nur die Struktur eines normierten Raumes, sondern auch die eines<br />

Prähilbertraumes. Für f, g ∈ L 2 (Ω) können wir nämlich<br />

∫<br />

(f, g) L 2 := dµ ¯fg<br />

definieren. Dann gelten die Axiome eines Skalarprodukte, <strong>und</strong> ‖f‖ 2 L 2 = (f, f) L 2.<br />

2.2.3 Vollständigkeit von L p<br />

Theorem 2.2.17 (Fischer-Riesz Theorem). Sei (Ω, Σ, µ) ein Massraum, <strong>und</strong> 1 ≤ p ≤ ∞.<br />

Dann ist L p (Ω, dµ) vollständig.<br />

Beweis. Wir betrachten hier den Fall 1 ≤ p < ∞. Sei f k ∈ L p (Ω) eine Cauchy-Folge. Es<br />

genügt zu zeigen, dass eine Teilfolge i j <strong>und</strong> f ∈ L p (Ω) existieren, mit f ij → f als j → ∞.<br />

Dann haben wir für beliebige l ∈ N<br />

für alle j ∈ N. Deswegen<br />

Da f l eine Cauchy-Folge ist, erhalten wir<br />

‖f l − f‖ p ≤ ‖f l − f ij ‖ p + ‖f ij − f‖ p<br />

‖f l − f‖ p ≤ lim sup ‖f l − f ij ‖ p<br />

j→∞<br />

lim sup ‖f l − f ij ‖ p → 0 als l → ∞<br />

j→∞<br />

Wir konstruieren also eine geeignete Teilfolge. Dazu wählen wir i 1 ∈ N, so dass<br />

‖f l − f i1 ‖ ≤ 1 2<br />

∀l ≥ i 1<br />

Weiter wählen wir i 2 ∈ N mit i 2 ≥ i 1 <strong>und</strong><br />

‖f l − f i2 ‖ ≤ 1 2 2 ∀l ≥ i 2<br />

Iterativ finden wir für k ∈ N, i k ∈ N mit i k > i k−1 <strong>und</strong><br />

‖f l − f ik ‖ ≤ 1 2 k ∀l ≥ i k .<br />

Wir behaupten, dass f ij<br />

wir für beliebige l ∈ N<br />

konvergiert, als j → ∞. Um diese Behauptung zu zeigen, definieren<br />

l∑<br />

F l (x) := |f i1 (x)| + |f ik+1 (x) − f ik (x)| .<br />

k=1<br />

44

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!