In mathematics, in the field of topology, a topological space is said to be hemicompact if it has a sequence of compact subsets such that every compact subset of the space lies inside some compact set in the sequence. Clearly, this forces the union of the sequence to be the whole space, because every point is compact and hence must lie in one of the compact sets.
- Every compact space is hemicompact.
- The real line is hemicompact.
- Every locally compact Lindelöf space is hemicompact.
If is a hemicompact space, then the space of all continuous functions to a metric space with the compact-open topology is metrizable. To see this, take a sequence of compact subsets of such that every compact subset of lies inside some compact set in this sequence (the existence of such a sequence follows from the hemicompactness of ). Define psedometrics
defines a metric on which induces the compact-open topology.
- Willard, Stephen (2004). General Topology. Dover Publications. ISBN 0-486-43479-6.
- Conway, J. B. (1990). A Course in Functional Analysis. Graduate Texts in Mathematics. 96. Springer Verlag. ISBN 0-387-97245-5.
|This topology-related article is a stub. You can help Wikipedia by expanding it.|