In mathematics, a function between topological spaces is called proper if s of compact subsets are compact. In algebraic geometry, the analogous concept is called a proper morphism. There are several competing definitions of a "proper function". Some authors call a function between two topological spaces if the of every compact set in is compact in Other authors call a map if it is continuous and ; 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. 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 . 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 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.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related lectures (3)
Serre model structure: Left and right homotopy
Explores the Serre model structure, focusing on left and right homotopy equivalences.
Show more
Related concepts (2)
Fiber (mathematics)
In mathematics, the term fiber (US English) or fibre (British English) can have two meanings, depending on the context: In naive set theory, the fiber of the element in the set under a map is the of the singleton under In algebraic geometry, the notion of a fiber of a morphism of schemes must be defined more carefully because, in general, not every is closed. Let be a function between sets. The fiber of an element (or fiber over ) under the map is the set that is, the set of elements that get mapped to by the function.
Open and closed maps
In mathematics, more specifically in topology, an open map is a function between two topological spaces that maps open sets to open sets. That is, a function is open if for any open set in the is open in Likewise, a closed map is a function that maps closed sets to closed sets. A map may be open, closed, both, or neither; in particular, an open map need not be closed and vice versa. Open and closed maps are not necessarily continuous.

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.