# Difference between two definitions of Manifold

I've been studying Differential Geometry on Spivak's Differential Geometry book. Since Spivak just works with notions of metric spaces and analysis, I'm doing fine. The point is that Spivak presents the following definition of a manifold:

A manifold $M$ is a metric space such that for every $p \in M$ there's some neighbourhood $V$ of $p$ and some integer $n \geq 0$ such that $V$ is homeomorphic to $\Bbb R^n$

Now, there's another definition, usually given in texts that assume the reader knows general topology, and the definition is:

A manifold $M$ is a topological space such that:

1. $M$ is Hausdorff;
2. $M$ has a countable basis for its topology;
3. $M$ is locally Euclidean.

For now I'm happy with Spivak's definition because I've not seen general topology yet, but I'm curious with one thing: these two definitions are equivalent? In other words, every topological space with those three properties is metrizable, so that it can be put in terms of the first definition? Is there any other way in which these definitions can be said to be equivalent?

Thanks very much in advance for the help.

-
Spivak's requirement is a little bizarre [and it's something of a pain, though an interesting one, to check that say $\mathbb{P}^n$ has a metric]. I think he envisions the reader having gone through his Calculus and Calculus on Manifolds, which don't talk about general topological spaces. [Actually, I can't remember if the second talks about metric spaces other than $\mathbb R^n$]. In his defense, it's an old book. – TTS Jul 2 '13 at 21:02

Yes, that's right. Properties 1. and 3. give that $M$ is Hausdorff and locally compact, hence regular by a standard exercise in general topology. Together with Property 2. this gives that $M$ is regular and second countable, hence metrizable by Urysohn's Theorem.
Conversely, suppose $M$ is a metrizable locally Euclidean space. Then of course $M$ is Hausdorff. However, it need not be second countable. A cheap way for it not to be is just to take a direct sum of uncountably many connected components. However it is also possible for a connected Hausdorff locally Euclidean space not to be second countable. Here the condition is equivalent to something called paracompactness and the standard counterexample of a connected Hausdorff locally Euclidean space which is not paracompact is the long line. In fact I am pretty sure I learned about this from an Appendix to Volume I of Spivak's Comprehensive Introduction to Differential Geometry! The equivalence of paracompactness, second countability and metrizability for connected, Hausdorff locally Euclidean spaces should also be found there, if memory serves.