Cantor Space is Non-Meager in Itself

From ProofWiki
Jump to: navigation, search

Theorem

Let $T = \left({\mathcal C, \tau_d}\right)$ be the Cantor space.


Then $T$ is non-meager in itself.


Proof

We have that the Cantor Space is Complete Metric Space.



Sources