Top Qs
Timeline
Chat
Perspective

Proper map

Map between topological spaces with the property that the preimage of every compact is compact From Wikipedia, the free encyclopedia

Remove ads

In mathematics, a function between topological spaces is called proper if inverse images of compact subsets are compact.[1] In algebraic geometry, the analogous concept is called a proper morphism.

Definition

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.

More information Let ...

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

Remove ads

Properties

  • 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.[2]
Remove ads

Generalization

It is possible to generalize the notion of proper maps of topological spaces to locales and topoi, see (Johnstone 2002).

See also

Citations

Loading content...

References

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads