Initialtopologie

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.

Definition

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

Universelle Eigenschaft der Initialtopologie
  1. S ist die gröbste Topologie auf X, bezüglich derer alle Abbildungen fi stetig sind.
  2. Die Urbilder aller offenen Mengen f_i^{-1}(O),\;(O\in T_i) 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 f_i \circ g stetig ist für jedes iI.

Das Diagramm auf der rechten Seite veranschaulicht die universelle Eigenschaft der Initialtopologie.

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 fi zieht eine topologische Struktur Si aus ihrem Bildraum auf X zurück und die Initialtopologie S ist die gröbste Topologie, die in allen diesen Topologien enthalten ist, also die Schnittmenge dieser Topologien. 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 im allgemeineren Rahmen der Kategorientheorie zu betrachten. Die Finaltopologie kann durch die hierzu duale Eigenschaft charakterisiert werden.

Beispiele

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

Kategorielle Beschreibung

Innerhalb der Kategorie der topologischen Räume lässt sich die obige universelle Eigenschaft nicht ohne weiteres ausdrücken, da man in ihr nur über stetige Funktionen zwischen topologischen Räumen und nicht über Mengen und beliebige Funktionen zwischen ihnen sprechen kann (es sei denn, man identifiziert eine Menge mit der diskreten Topologie auf ihr o.ä.). Jedoch lässt sich charakterisieren, wann ein topologischer Raum die Initialtopologie bezüglich einer Familie von stetigen Abbildungen von diesem Raum aus trägt. Sei also X ein Objekt in Top und f_i \colon X \to Y_i eine Familie von Morphismen. X trägt genau dann die Initialtopologie bezüglich der f_{i}, wenn jeder Bimorphismus g\colon X \to Z mit Morphismen h_i\colon Z\to Y_i, die f_i = h_i g erfüllen, ein Isomorphismus ist: Denn ein solcher Bimorphismus entspricht gerade einer bijektiven stetigen Abbildung, also einer (nicht unbedingt echten) Vergröberung, und wenn bereits die gröbste Topologie vorliegt, die mit den Abbildungen kompatibel ist, so muss eine solche Vergröberung ein Isomorphismus (d.h. ein Homöomorphismus) sein. Für eine einelementige Familie, deren Element ein Monomorphismus ist, entspricht diese Bedingung gerade der Bedingung für einen extremalen Monomorphismus, es folgt sofort, dass es sich bei den extremalen Monomorphismen um die topologischen Einbettungen handelt.

Möchte man dagegen die Initialtopologie für eine Familie von nicht notwendigerweise stetigen Funktionen definieren, muss man den Umweg über die Kategorie der Mengen gehen und diese mit Top mittels des Vergissfunktors in Beziehung setzen.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 06.10. 2019