Funktionalanalysis - Mathematik
Funktionalanalysis - Mathematik
Funktionalanalysis - Mathematik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
FUNKTIONALANALYSIS 23<br />
Nach Lemma 1.9.10 liegt f y in A und nach Konstruktion ist h(z) − f y (z) < ε für jedes<br />
z ∈ X, denn für z ∈ U xj gilt h(z) < g xj ,y(z) + ε ≤ f y (z) + ε.<br />
Für y ∈ X sei<br />
V y = {z ∈ X : f y (z) < h(z) + ε}.<br />
Da f y (y) = h(y), ist dies eine offene Umgebung von y, und wie oben zeigen wir, dass es<br />
y 1 , . . . , y k ∈ X gibt mit X ⊂ ⋃ k<br />
j=1 V yj . Sei<br />
f = min( f y1 , . . . , f yk ).<br />
Dann ist f ∈ A und man sieht leicht, dass f (z) − ε < h(z) < f (z) + ε für jedes z ∈ X.<br />
□<br />
Beispiel 1.9.11 Der komplexe Vektorraum der Laurent-Polynome, also aller<br />
Funktionen der Form<br />
n∑<br />
f (z) = c j z j<br />
liegt dicht im Raum aller stetigen Funktionen auf T = {z ∈ C : |z| = 1}. Wohlgemerkt,<br />
die gleichmässige Konvergenz der Fourier-Reihe haben wir nur für stückweise glatte<br />
Funktionen.<br />
j=−n<br />
1.10 Der Satz von Baire<br />
Eine Teilmenge D eines topologischen Raums X heisst dicht in X, falls X der<br />
Abschluss D von D ist. Dies ist genau dann der Fall, wenn U ∩ D ∅ für jede offene<br />
Teilmenge U ⊂ X gilt.<br />
Definition 1.10.1 Ein topologischer Raum X heisst Baire-Raum oder von zweiter<br />
Kategorie, falls für jede abzählbare Familie (U n ) n∈N offener dichter Teilmengen von X<br />
der Schnitt D = ∩ n∈N U n wieder eine dichte Teilmenge ist.<br />
Proposition 1.10.2 (a) Ist X ein Baire-Raum, so ist jede offene Teilmenge U wieder ein<br />
Baire-Raum.<br />
(b) Ist X ein Baire-Raum, so existiert für jede abzählbare Familie (A n ) n∈N abgeschlossener<br />
Mengen mit X = ∪ n∈N A n schon ein Index n 0 , so dass A n0 eine nichtleere offene Menge<br />
enthält.