There are several competing definitions of a "proper function". Some authors call a function between two topological spaces proper if the preimage of every compact set in is compact in Other authors call a map proper if it is continuous and closed with compact fibers; that is if it is a continuous closed map and the preimage of every point in is compact. The two definitions are equivalent if is locally compact and Hausdorff.
Partial proof of equivalence
Let be a closed map, such that is compact (in ) for all Let be a compact subset of It remains to show that is compact.
Let be an open cover of Then for all this is also an open cover of Since the latter is assumed to be compact, it has a finite subcover. In other words, for every there exists a finite subset such that The set is closed in and its image under is closed in because is a closed map. Hence the set
is open in It follows that contains the point Now and because is assumed to be compact, there are finitely many points such that Furthermore, the set is a finite union of finite sets, which makes a finite set.
Now it follows that and we have found a finite subcover of which completes the proof.
If is Hausdorff and is locally compact Hausdorff then proper is equivalent to universally closed. A map is universally closed if for any topological space the map is closed. In the case that is Hausdorff, this is equivalent to requiring that for any map the pullback be closed, as follows from the fact that is a closed subspace of
An equivalent, possibly more intuitive definition when and are metric spaces is as follows: we say an infinite sequence of points in a topological space escapes to infinity if, for every compact set only finitely many points are in Then a continuous map is proper if and only if for every sequence of points that escapes to infinity in the sequence escapes to infinity in
- Every continuous map from a compact space to a Hausdorff space is both proper and closed.
- Every surjective proper map is a compact covering map.
- A map is called a compact covering if for every compact subset there exists some compact subset such that
- A topological space is compact if and only if the map from that space to a single point is proper.
- If is a proper continuous map and is a compactly generated Hausdorff space (this includes Hausdorff spaces that are either first-countable or locally compact), then is closed.
- Almost open map – Map that satisfies a condition similar to that of being an open map.
- Open and closed maps – A function that sends open (resp. closed) subsets to open (resp. closed) subsets
- Perfect map – Continuous closed surjective map, each of whose fibers are also compact sets
- Topology glossary
- Bourbaki, Nicolas (1998). General topology. Chapters 5–10. Elements of Mathematics. Berlin, New York: Springer-Verlag. ISBN 978-3-540-64563-4. MR 1726872.
- Johnstone, Peter (2002). Sketches of an elephant: a topos theory compendium. Oxford: Oxford University Press. ISBN 0-19-851598-7., esp. section C3.2 "Proper maps"
- Brown, Ronald (2006). Topology and groupoids. North Carolina: Booksurge. ISBN 1-4196-2722-8., esp. p. 90 "Proper maps" and the Exercises to Section 3.6.
- Brown, Ronald (1973). "Sequentially proper maps and a sequential compactification". Journal of the London Mathematical Society. 2. 7: 515–522.
- Lee, John M. (2012). Introduction to Smooth Manifolds. Graduate Texts in Mathematics. Vol. 218 (Second ed.). New York London: Springer-Verlag. ISBN 978-1-4419-9981-8. OCLC 808682771.