Initialtopologie

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