Als Initialtopologie bezüglich einer Abbildungsfamilie bezeichnet man in der Topologie die gröbste Topologie auf einer Menge , die diese Familie von Abbildungen aus 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 . 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

Bearbeiten

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

 
Universelle Eigenschaft der Initialtopologie
  1.   ist die gröbste Topologie auf  , bezüglich derer alle Abbildungen   stetig sind.
  2. Die Urbilder aller offenen Mengen   unter allen Abbildungen der Familie bilden eine Subbasis der Topologie  .
  3. Eine Funktion   aus einem topologischen Raum   in   ist genau dann stetig, wenn   stetig ist für jedes  .

Man beachte hierbei, dass das Diagramm keine universelle Eigenschaft ist.

Bemerkungen

Bearbeiten

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   angesehen. Jede einzelne Abbildung   zieht eine topologische Struktur   aus ihrem Bildraum auf   zurück und die Initialtopologie   ist die gröbste Topologie, die all diese Topologien enthält, also das Erzeugnis der Vereinigung 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 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

Bearbeiten

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

  • Die Teilraumtopologie ist die Initialtopologie 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   ist die Initialtopologie bezüglich der stetigen Linearformen auf   (also des topologischen Dualraums   von  ).
  • Ist auf einer Menge   eine Familie von Topologien   gegeben, dann ist die Initialtopologie bezüglich der Identität (die gröbste Topologie, die die identische Abbildung von   auf   in allen Topologien stetig macht) gerade die kleinste obere Schranke der Familie   im Verband der Topologien auf  .

Kategorielle Beschreibung

Bearbeiten

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   ein Objekt in Top und   eine Familie von Morphismen.   trägt genau dann die Initialtopologie bezüglich der  , wenn jeder Bimorphismus   mit Morphismen  , die   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.

Literatur

Bearbeiten
  • Boto von Querenburg: Mengentheoretische Topologie (= Springer-Lehrbuch). 3., neu bearbeitete und erweiterte Auflage. Springer-Verlag, Berlin u. a. 2001, ISBN 3-540-67790-9.
  • Eraldo Giuli (Hrsg.): Categorical Topology. Proceedings of the L’Aquila Conference (1994). Kluwer Academic, Dordrecht u. a. 1996, ISBN 0-7923-4049-3.
  • Harro Heuser: Funktionalanalysis. Theorie und Anwendung (= Mathematische Leitfäden). 3., durchgesehene Auflage. Teubner-Verlag, Stuttgart 1992, ISBN 3-519-22206-X.