Theorem
Any compact space
is also Lindelof.
Proof
A space
is said to be compact if any open cover
of
then there is a finite subcover![]()
If a finite subcover exists we can arrange them in any order and number them
then they are countable so the space is Lindelof.