Bildtopologie/Definition

Bildtopologie

Es sei $X$ ein topologischer Raum, $Y$ eine Menge und

$\phi :X⟶Y$

eine Abbildung. Dann ist das Mengensystem

$𝒯=\{V\subseteq Y\mid {\phi }^{-1}(V)\text{ ist offen in }X\}$

eine Topologie auf $Y$, die die Bildtopologie von $X$ unter $\phi$ heißt.