Compact Complement Topology is Separable/Proof 1

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {\R, \tau}$ be the compact complement topology on $\R$.


Then $T$ is a separable space.


Proof

We have:

Compact Complement Topology is Second-Countable
Second-Countable Space is Separable

Hence the result.

$\blacksquare$