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 5<br />
□<br />
Definition 1.1.2 Eine Umgebungsbasis eines Punktes x ∈ X ist eine Familie (U i ) i∈I<br />
von Umgebungen von x so dass jede Umgebung U eines der U i enthält. Ist jedes U i<br />
offen, so sprechen wir von einer offenen Umgebungsbasis.<br />
Ein topologischer Raum X genügt dem ersten Abzählbarkeitsaxiom, wenn jeder<br />
Punkt x eine abzählbare Umgebungsbasis besitzt.<br />
Beispiele 1.1.3 • Sei (X, d) einmetrischer Raum. Für jedes x ∈ X ist die Familie der<br />
Bälle (B 1/n (x)) n∈N eine Umgebungsbasis von x. also genügt jeder metrische Raum<br />
dem ersten Abzählbarkeitsaxiom.<br />
• Die Co-endlich Topologie auf einer überabzählbaren Menge X genügt nicht dem<br />
ersten Abzählbarkeitsaxiom.<br />
Definition 1.1.4 Eine Basis der Topologie ist eine Familie (U i ) i∈I von offenen Mengen<br />
so dass jede offene Menge als Vereinigung von Mitgliedern U i der Familie geschrieben<br />
werden kann. Die Familie der offenen Intervalle (a, b), wobei a und b rationale Zahlen<br />
sind, ist eine Topologie-Basis von R.<br />
Definition 1.1.5 Ein topologischer Raum genügt dem zweiten Abzählbarkeitsaxiom,<br />
wenn er eine abzählbare Topologie-Basis besitzt.<br />
Es ist eine Konsequenz des Lemmas 1.1.1, dass ein Raum genau dann dem zweiten<br />
Abzählbarkeitsaxiom genügt, wenn die Topologie einen abzählbaren Erzeuger besitzt.<br />
Beispiel 1.1.6 Ein Beispiel für einen Raum, der keine abzählbare Topologiebasis<br />
besitzt, ist schnell gegeben: Sei X eine überabzählbare Menge und O = P(X) die<br />
diskrete Topologie. Dann ist die Menge aller Singletons {x} mit x ∈ X die kleinste<br />
Topologiebasis die es gibt. Diese widersetzt sich einer Abzählung.<br />
1.2 Stetigkeit<br />
Eine Abbildung f : X → Y zwischen topologischen Räumen heisst stetig, wenn für<br />
jede offene Menge U ⊂ Y das Urbild f −1 (U) ⊂ X offen ist.