Exhaustion by compact sets

In mathematics, especially general topology and analysis, an exhaustion by compact sets[1] of a topological space is a nested sequence of compact subsets of (i.e. ), such that is contained in the interior of , i.e. for each and . A space admitting an exhaustion by compact sets is called exhaustible by compact sets.

For example, consider and the sequence of closed balls

Occasionally some authors drop the requirement that is in the interior of , but then the property becomes the same as the space being σ-compact, namely a countable union of compact subsets.

Properties

The following are equivalent for a topological space :[2]

  1. is exhaustible by compact sets.
  2. is σ-compact and weakly locally compact.
  3. is Lindelöf and weakly locally compact.

(where weakly locally compact means locally compact in the weak sense that each point has a compact neighborhood).

The hemicompact property is intermediate between exhaustible by compact sets and σ-compact. Every space exhaustible by compact sets is hemicompact[3] and every hemicompact space is σ-compact, but the reverse implications do not hold. For example, the Arens-Fort space and the Appert space are hemicompact, but not exhaustible by compact sets (because not weakly locally compact),[4] and the set of rational numbers with the usual topology is σ-compact, but not hemicompact.[5]

Every regular space exhaustible by compact sets is paracompact.[6]

Notes

References

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.