V2B3 Partielle Differentialgleichungen und Funktionalanalysis
V2B3 Partielle Differentialgleichungen und Funktionalanalysis
V2B3 Partielle Differentialgleichungen und Funktionalanalysis
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