Définition
La topologie initiale sur un ensemble X relative à une famille de fonctions {f_i : X → Y_i} est la topologie la plus grossière qui rende toutes ces fonctions continues ; elle est engendrée en prenant comme sous‑base les inverses f_i^{-1}(U) des ouverts U ⊆ Y_i.
Principe
Principe
La topologie initiale est la topologie minimale rétrodérivée le long des applications spécifiées : elle munira X uniquement des ouverts nécessaires pour préserver la continuité des f_i, et se caractérise par une propriété universelle pour la continuité vers X.
Démonstration
Démonstration
La topologie produit sur ∏_i Y_i est la topologie initiale pour les projections sur les facteurs ; la topologie induite sur une partie A ⊆ Y est la topologie initiale pour l'inclusion A → Y.
Mauvaise application
Mauvaise application
Confondre la topologie initiale avec la topologie finale (topologie quotient) ou supposer que des unions arbitraires de topologies correspondent à une construction initiale est une mauvaise application : la topologie initiale se définit par les antécédents d'ouverts, non par les images.
Conséquence
Conséquence
Employer la topologie initiale donne des propriétés universelles de continuité : une application Z → X est continue si et seulement si toutes les compositions Z → X → Y_i sont continues ; cela simplifie des constructions et démonstrations pour produits, sous‑espaces et espaces de fonctions.
Inversion
Inversion
La notion duale est la topologie finale (topologie quotient), qui est la topologie la plus fine sur le codomaine rendant une famille d'applications continues ; topologies initiale et finale sont en dualité catégorique.
Limite
Limite
La topologie initiale dépend d'une famille de fonctions donnée ; différentes familles induisent des topologies initiales différentes sur un même ensemble, et sans fonctions la construction n'est pas définie.
Tension sémantique
Tension sémantique
Topologie initiale versus topologie finale/quotient : la topologie initiale est engendrée par des antécédents (rétrodérivation) et est minimale, tandis que la topologie finale est engendrée par des images (propagation) et est maximale — les confondre inverse la direction de la contrainte de continuité.
Synthèse
Synthèse
La topologie initiale sur X pour une famille de fonctions est la topologie la plus faible rendant ces fonctions continues, obtenue en ramenant les ouverts des espaces cibles ; elle organise la topologie de X uniquement par les exigences de continuité imposées.