Locally Euclidean Space is First-Countable

From ProofWiki
Jump to navigation Jump to search



Theorem

Let $M$ be a locally Euclidean space of some dimension $d$.


Then $M$ is first-countable.


Proof

Follows immediately from Locally Euclidean Space has Countable Local Basis Homeomorphic to Open Balls.

$\blacksquare$