问题及解答

$f:X\rightarrow Y$ 是两个拓扑空间之间的连续映射. 若 $Y$ 中任一紧子集在 $f$ 下的原像是紧 的, 则称 $f$ 是常态映射(proper map).

代数几何中有类似的概念 proper morphism.