28.04.2014 Aufrufe

Funktionalanalysis - Mathematik

Funktionalanalysis - Mathematik

Funktionalanalysis - Mathematik

MEHR ANZEIGEN
WENIGER ANZEIGEN

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.

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!