Locally Euclidean Space is First-Countable
Jump to navigation
Jump to search
This article needs proofreading. Please check it for mathematical errors. If you believe there are none, please remove {{Proofread}} from the code.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Proofread}} from the code. |
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$