In mathematics, in the field of topology, a Hausdorff 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. 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.

Examples

• Every compact space is hemicompact.

• The real line is hemicompact.

• Every locally compact Lindelöf space is hemicompact.

Properties

Every hemicompact space is σ-compact and if in addition it is first countable then it is locally compact. If a hemicompact space is weakly locally compact, then it is exhaustible by compact sets.

Applications

of all continuous functions to a metric space with the compact-open topology is metrizable.). Define pseudometrics

Then

defines a metric which induces the compact-open topology.

See also

• Compact space

• Exhaustible by compact sets

• Locally compact space

• Lindelöf space

Notes

References

External links

• hemicompact space on nLab

• hemicompact on π-Base