# Why do we need Hausdorff-ness in definition of topological manifold?

Suppose $M^n$ is a topological manifold, then $M^n$ locally looks like $\mathbb{R}^n$. $M^n$ is locally Hausdorff, since $\mathbb{R}^n$ is Hausdorff and Hausdorff-ness is a topological invariant.

All I want to understand is:

1) Does locally Hausdorff-ness imply Hausdorff-ness? (I can not imagine a locally Hausdorff topological space that is not globally Hausdorff)

2) Why do we need Hausdorff-ness in definition of the topological manifold? Is locally Hausdorff-ness not sufficient? If not, why?

Can anyone say anything that might be helpful?

-
There is the Line with two origins which is even locally euclidean and second-countable, but only locally Hausdorff. – Stefan Hamcke Aug 21 '13 at 18:15
In the book by J. Lee "Introduction to Topological manifolds" there is a section "Remarks on the Definition of Manifolds" where the author carefully goes over all properties we require the $n$-manifold to have, and in particular the Hausdorff property. May be of interest to you. – Ilya Dec 4 '14 at 11:56

There are non-Hausdorff spaces that are locally Euclidean; some people include them in the class of manifolds, and some prefer to exclude them by requiring a manifold to be Hausdorff. The line with two origins is a simple example of a non-Hausdorff manifold: it is locally Hausdorff, since it has a base of open sets homeomorphic to $(0,1)$, but the two origins cannot be separated by disjoint open sets.

-

I know three main reasons we require manifolds to be Hausdorff (and 2nd countable):

1. Make classification of 1-dimensional manifolds possible. Without such classification, classifying (or even understanding) manifolds in higher dimensions is pretty hopeless.

2. One would like to be able to embed manifolds in some higher-dimensional Euclidean spaces. Again, it would be impossible without requiring both conditions.

3. Theory of manifolds did not come from nowhere, its origins are in analysis (primarily complex analysis) and differential geometry. Riemann first defined Riemann surfaces using multivalued complex-analytic functions, since he was interested in making sense of those. Later, about 100 years ago, Weyl gave the first rigorous definition of an abstract manifold, again in the context of Riemann surfaces. Since Riemann surfaces were the primary motivation, he required them to be both 2nd countable and Hausdorff. Then, I think, differential geometers jumped onto the bandwagon, since they realized that Weyl gave a definition which served them perfectly well. Much later, they realized that there are natural settings where one should weaken "Hausdorfness", such generalizations were primarily motivated by the theory of foliations (and, maybe quantum mechanics, but I am unsure about this).

-

One author who explicitly avoids assuming the Hausdorff property is Serge Lang, "Fundamentals of differential geometry", Springer 1999, 2001. In Chapters II and II, he does not assume Hausdorff. He introduces the condition at the beginning of Chapter IV. He says:

We see no reason to assume that $X$ is Hausdorff. If we wanted $X$ to be Hausdorff, we would have to place a separation condition on the covering. This plays no role in the formal development in Chapters II and III.

It's fairly clear from the literature that the reason for assuming Hausdorff is because it is always true for embedded and immersed manifolds, and that's what differential geometry was about in its first few decades. If you don't have this condition, you make possible not just the "line with two origins". You can also have two closed unit intervals $[0,1]$, for example, and a whole Hilbert spaces of unit intervals if you like, and you can have any number of "foliations" from individual lines going off to create vast complicated networks of lines. And then in $n$-dimensional spaces, you can get an astonishing variety of spaces with topologically closed regions containing "bubbles", and in space-time, you can get bubbles opening and closing in astonishingly complicated ways over time.

You can regard non-Hausdorff manifolds as either a huge opportunity to construct physical models which have mixed states in the quantum sense, or you can regard it as a nightmare to be avoided if all you want to do is geometry of manifolds embedded/immersed in Euclidean spaces.

PS. 2015-8-23.
It's fairly obvious that you can't metrize a non-Hausdorff manifold. What's not quite so obvious is that it's difficult to even pseudometrize it. I was thinking that you can put a pseudometric on the "real line with two origins" by letting the distance between the two origins equal zero. However, there is a very easy theorem which says that any pseudometric (i.e. a metric which does not require equality of two points if their distance equals zero) must be a metric if the topology is $T_0$. But every locally Cartesian space is $T_1$, which implies $T_0$. Therefore every non-Hausdorff locally Cartesian space is non-metrizable and also non-pseudometrizable. (I'm assuming that the set contains more than one point!)