## [Initialtopologie](/de/node/62294) Definition Die Initialtopologie auf einer Menge X bezüglich einer Familie von Abbildungen {f_i : X → Y_i} ist die gröbste Topologie, die alle diese Abbildungen stetig macht; sie wird erzeugt, indem man alle Urbilder f_i^{-1}(U) offener Mengen U ⊆ Y_i als Subbasis nimmt. ## Prinzip Prinzip Die Initialtopologie ist die minimale, entlang gegebener Abbildungen zurückgezogene Topologie: sie stattet X nur mit den Öffnungen aus, die notwendig sind, um die Stetigkeit der f_i zu erhalten, und hat eine universelle Eigenschaft hinsichtlich Stetigkeit in X hinein. ## Demonstration Demonstration Die Produkttopologie auf ∏_i Y_i ist die Initialtopologie für die Projektionen auf die Faktoren; die relative Topologie auf A ⊆ Y ist die Initialtopologie für die Inklusionsabbildung A → Y. ## Fehlanwendung Fehlanwendung Die Initialtopologie mit der Finaltopologie (Quotiententopologie) zu verwechseln oder anzunehmen, beliebige Vereinigungen von Topologien entsprächen einer initialen Konstruktion, ist fehlanwendend: die Initialtopologie wird durch Urbilder erzeugt, nicht durch Bilder. ## Konsequenz Konsequenz Die Verwendung der Initialtopologie liefert universelle Stetigkeitseigenschaften: Eine Abbildung Z → X ist genau dann stetig, wenn alle Kompositionen Z → X → Y_i stetig sind; das vereinfacht Konstruktionen und Beweise bei Produkten, Teilräumen und Funktionsräumen. ## Umkehrung Umkehrung Die duale Idee ist die Finaltopologie (Quotiententopologie), die die feinste Topologie auf dem Zielraum ist, die eine Familie von Abbildungen stetig macht; Initial‑ und Finaltopologie stehen in kategorialer Dualität. ## Abgrenzung Abgrenzung Die Initialtopologie hängt von einer angegebenen Familie von Abbildungen ab; verschiedene Familien induzieren verschiedene Initialtopologien auf derselben Grundmenge, und ohne Abbildungen ist die Konstruktion nicht definiert. ## Semantische Spannung Semantische Spannung Initialtopologie versus Finaltopologie/Quotiententopologie: Die Initialtopologie wird durch Urbilder (Pullback) erzeugt und ist minimal, während die Finaltopologie durch Bilder (Pushforward) erzeugt wird und maximal ist — ihre Verwechslung kehrt die Richtung der Stetigkeitsforderung um. ## Synthese Synthese Die Initialtopologie auf X für eine Familie von Abbildungen ist die schwächste Topologie, die alle Abbildungen stetig macht; sie entsteht durch Zurückziehen der offenen Mengen aus den Zielräumen und bestimmt die Topologie von X ausschließlich durch die geforderten Stetigkeitsbedingungen.