## [Topologie Initiale](/fr/node/62294) 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.