proper map

Definition Suppose $X$ and $Y$ are topological spaces, and $f$ is a map $f:X\to Y$. Then $f$ is a proper map if the inverse image of every compact subset in $Y$ of is a compact set in $X$.

Title	proper map
Canonical name	ProperMap
Date of creation	2013-03-22 13:59:49
Last modified on	2013-03-22 13:59:49
Owner	matte (1858)
Last modified by	matte (1858)
Numerical id	6
Author	matte (1858)
Entry type	Definition
Classification	msc 54C10
Classification	msc 54-00
Related topic	PolynomialFunctionIsAProperMap