Topologie Initiale
- Mathematics & Logic -
Pure Mathematics Dictionary
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.