Topologische Räume/Stetige Abbildung/Eigentlich/Definition

Eigentliche Abbildung

Eine stetige Abbildung ${}\varphi \colon X\rightarrow Y$ zwischen topologischen Räumen ${}X$ und ${}Y$ heißt eigentlich, wenn für jede kompakte Teilmenge ${}Z\subseteq Y$ auch das Urbild ${}\varphi ^{-1}(Z)$ kompakt ist.