Compact Space is Sigma-Compact

From ProofWiki
Jump to navigation Jump to search

Theorem

Every compact space is $\sigma$-compact.


Proof

By definition, a $\sigma$-compact space is the union of countably many compact sets.

A compact space is the union of exactly one compact space.

Hence the result.

$\blacksquare$


Sources