Funktionalanalysis - Mathematik
Funktionalanalysis - Mathematik
Funktionalanalysis - Mathematik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
FUNKTIONALANALYSIS 133<br />
Nullfunktionen. Für jedes 1 ≤ p ≤ ∞ gilt<br />
L p (R n ) ⊂ L 1 lok (Rn )<br />
und die Abbildung L 1 lok (Rn ) → C ∞ c (R n ) ′ die φ auf I φ abbildet, ist injektiv.<br />
Insbesondere kann also jeder L p -Raum als Teilraum des Distributionenraums aufgefasst<br />
werden.<br />
Beweis: Sei φ ∈ L p (R n ) bzw. in L p (R n ) und sei zunächst p < ∞. Sei A ⊂ R n die Menge<br />
aller x ∈ R n mit |φ(x)| ≤ 1, sowie B = R n A. Für jedes Kompaktum K ist<br />
∫<br />
A∩K |φ(x)| dx < ∞ und ∫ B∩K |φ(x)| dx ≤ ∫ B∩K |φ(x)|p dx < ∞, also ist φ lokal integrierbar.<br />
Der Fall p = ∞ ist ohnehin klar.<br />
Sei nun φ ∈ L 1 lok (R) mit I φ = 0. Sei K ⊂ R n ein Kompaktum und f j eine Folge in C ∞ c (R n )<br />
mit f j ≥ f j+1 ≥ 1 K , die punktweise gegen 1 K konvergiert. Es folgt<br />
∫<br />
K<br />
φ(x) dx = lim<br />
j<br />
∫<br />
R<br />
f j (x)φ(x) dx = 0.<br />
Also enthält das System A aller Lebesgue-messbaren A ⊂ R n für die gilt ∫ φ(x) dx = 0<br />
A<br />
alle kompakten Teilmengen. Das Mengensystem A ist eine σ-Algebra. Da die<br />
kompakten Teilmengen und die Teilmengen von Nullmengen die Lebesgue-σ-Algebra<br />
erzeugen, ist A gleich der Lebesgue-σ-Algebra. Sei nun A ⊂ R n die Teilmenge aller x<br />
mit Re φ(x) > 0. Dann ist 0 = Re ∫ φ(x) dx = ∫ Re φ(x) dx. Dasselbe gilt für die Menge<br />
A A<br />
aller x mit Re φ(x) < 0. Es folgt, dass Re φ eine Nullfunktion ist. Analog für Im φ. □<br />
11.2 Träger einer Distribution<br />
Sei T eine Distribution. Für x ∈ R n sagen wir T(x) = 0, falls es eine Umgebung U von x<br />
gibt mit T(C ∞ c (U)) = 0. Der Träger der Distribution T, geschrieben supp(T), ist die<br />
Menge aller x ∈ R mit T(x) 0.<br />
Beispiel 11.2.1 Sei φ eine stetige Funktion auf R. Dann gilt<br />
supp(I φ ) = supp(φ) = {x ∈ R : φ(x) 0}.<br />
Sei C ∞ (R n ) ′ die Menge der stetigen linearen Abbildungen L : C ∞ (R n ) → C.