Compact Space is Lindelöf

From ProofWiki
Jump to navigation Jump to search

Theorem

Every compact space is Lindelöf.


Proof

We have:

Compact Space is Sigma-Compact
Sigma-Compact Space is Lindelöf

Hence the result.

$\blacksquare$