Initialtopologie

aus Wikipedia, der freien Enzyklopädie

Als Initialtopologie bezüglich einer Abbildungsfamilie bezeichnet man in der Topologie die gröbste Topologie auf einer Menge X, die diese Familie von Abbildungen aus X in andere topologische Räume stetig macht. Die Initialtopologie entsteht also durch „Rückwärtsübertragung“ der auf den Bildräumen vorhandenen topologischen Strukturen auf die Menge X. Dies ist die Anwendung eines allgemeineren Konzepts aus der Kategorientheorie auf topologische Räume, mit der wichtige „natürliche Räume“ wie Produkt- und Unterräume in einen gemeinsamen Rahmen gestellt werden können.

Inhaltsverzeichnis 1 Definition 1.1 Bemerkungen 2 Beispiele 3 Literatur

[Bearbeiten] Definition

Gegeben ist eine Menge X, eine Familie von topologischen Räumen (Y_i, T_i) und eine Familie von Abbildungen f_i :X → Y_i. von X in die Räume Y_i. Eine Topologie S auf X heißt Initialtopologie bezüglich der Familie (Y_i, T_i, f_i), wenn sie eine der folgenden gleichwertigen Eigenschaften hat:

1. S ist die gröbste Topologie auf X, bezüglich der alle Abbildungen f_i stetig sind.
2. Die Urbilder aller offenen Mengen ) unter allen Abbildungen der Familie bilden eine Subbasis der Topologie S.
3. Eine Funktion g aus einem topologischen Raum Z in X ist genau dann stetig, wenn stetig ist für jedes i ∈ I.

[Bearbeiten] Bemerkungen

Die drei Formulierungen der Definition beleuchten unterschiedliche Aspekte der Initialtopologie:

1. Hier wird sie als kleinste obere Schranke gewisser Topologien im Verband aller Topologien auf X angesehen. Jede einzelne Abbildung f_i zieht eine topologische Struktur S_i aus ihrem Bildraum auf X zurück und die Initialtopologie S umfasst sie alle. Mit dieser Definition lässt sich die Existenz der Initialtopologie beweisen.
2. Diese Definition ist konstruktiv. Mit ihr kann man beliebige offene Mengen der Initialtopologie erzeugen, siehe Basis (Topologie). Da eine Topologie durch eine Subbasis eindeutig bestimmt wird, folgt aus dieser Definition leicht die Eindeutigkeit der Initialtopologie.
3. Die abstrakte Charakterisierung durch eine universelle Eigenschaft rechtfertigt die Bezeichnung „Initial“-Topologie und gestattet es, diese Strukturen in einem allgemeineren Rahmen, der Kategorientheorie zu betrachten. Die seltener gebrauchte Finaltopologie kann durch die hierzu duale Eigenschaft charakterisiert werden.

[Bearbeiten] Beispiele

Einige häufig verwendete Konstruktionen topologischer Räume können als Inititialtopologien aufgefasst werden:

• Die Teilraumtopologie ist die Inititialtopologie auf der Teilmenge bezüglich der natürlichen Inklusionsabbildung.
• Die Produkttopologie ist die Initialtopologie bezüglich der natürlichen Projektionen auf die Faktorräume.
• Die schwache Topologie auf einem normierten Vektorraum E ist die Initialtopologie bezüglich der stetigen Linearformen auf E (also des topologischen Dualraums E' von E).
• Ist auf einer Menge X eine Familie von Topologien T_i gegeben, dann ist die Initialtopologie bezüglich der Identität (die gröbste Topologie, die die identische Abbildung von X auf (X,T_i) in allen Topologien stetig macht) gerade die kleinste obere Schranke der Familie {T_i} im Verband der Topologien auf X.

[Bearbeiten] Literatur

• Boto von Querenburg: Mengentheoretische Topologie. 2. Auflage. Springer-Verlag, 1979, ISBN 3-540-09799-6
• Harro Heuser: Funktionalanalysis: Theorie und Anwendung. 3. Auflage. Teubner-Verlag, 1992, ISBN 3-519-22206-X

Dieser Artikel basiert auf dem Artikel Initialtopologie aus der freien Enzyklopädie Wikipedia und steht unter der GNU-Lizenz für freie Dokumentation. In der Wikipedia ist eine Liste der Autoren verfügbar.