Proper map: Difference between revisions
No edit summary |
|||
| Line 5: | Line 5: | ||
===Symbol-free definition=== | ===Symbol-free definition=== | ||
A [[continuous map]] of [[topological space]]s is termed a '''proper map''' if the inverse image of any [[compact space|compact subset]] in the image set, is a compact subset of the domain. | A [[continuous map]] of [[topological space]]s is termed a '''proper map''' if it is [[closed map|closed]] the inverse image of any [[compact space|compact subset]] in the image set, is a compact subset of the domain. | ||
Revision as of 01:32, 27 October 2007
This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces
Definition
Symbol-free definition
A continuous map of topological spaces is termed a proper map if it is closed the inverse image of any compact subset in the image set, is a compact subset of the domain.