Non-Hausdorff manifold

In geometry and topology, it is a usual axiom of a manifold to be a Hausdorff space. In general topology, this axiom is relaxed, and one studies non-Hausdorff manifolds: spaces locally homeomorphic to Euclidean space, but not necessarily Hausdorff.

The most familiar non-Hausdorff manifold is the line with two origins,^[1] or bug-eyed line. This is the quotient space of two copies of the real line, ${\displaystyle \mathbb {R} \times \{a\}}${\displaystyle \mathbb {R} \times \{a\}} and ${\displaystyle \mathbb {R} \times \{b\}}${\displaystyle \mathbb {R} \times \{b\}} (with ${\displaystyle a\neq b}${\displaystyle a\neq b}), obtained by identifying points ${\displaystyle (x,a)}${\displaystyle (x,a)} and ${\displaystyle (x,b)}${\displaystyle (x,b)} whenever ${\displaystyle x\neq 0.}${\displaystyle x\neq 0.}

An equivalent description of the space is to take the real line ${\displaystyle \mathbb {R} }${\displaystyle \mathbb {R} } and replace the origin ${\displaystyle 0}${\displaystyle 0} with two origins ${\displaystyle 0_{a}}${\displaystyle 0_{a}} and ${\displaystyle 0_{b}.}${\displaystyle 0_{b}.} The subspace ${\displaystyle \mathbb {R} \setminus \{0\}}${\displaystyle \mathbb {R} \setminus \{0\}} retains its usual Euclidean topology. And a local base of open neighborhoods at each origin ${\displaystyle 0_{i}}${\displaystyle 0_{i}} is formed by the sets ${\displaystyle (U\setminus \{0\})\cup \{0_{i}\}}${\displaystyle (U\setminus \{0\})\cup \{0_{i}\}} with ${\displaystyle U}${\displaystyle U} an open neighborhood of ${\displaystyle 0}${\displaystyle 0} in ${\displaystyle \mathbb {R} .}${\displaystyle \mathbb {R} .}

For each origin ${\displaystyle 0_{i}}${\displaystyle 0_{i}} the subspace obtained from ${\displaystyle \mathbb {R} }${\displaystyle \mathbb {R} } by replacing ${\displaystyle 0}${\displaystyle 0} with ${\displaystyle 0_{i}}${\displaystyle 0_{i}} is an open neighborhood of ${\displaystyle 0_{i}}${\displaystyle 0_{i}} homeomorphic to ${\displaystyle \mathbb {R} .}${\displaystyle \mathbb {R} .}^[1] Since every point has a neighborhood homeomorphic to the Euclidean line, the space is locally Euclidean. In particular, it is locally Hausdorff, in the sense that each point has a Hausdorff neighborhood. But the space is not Hausdorff, as every neighborhood of ${\displaystyle 0_{a}}${\displaystyle 0_{a}} intersects every neighbourhood of ${\displaystyle 0_{b}.}${\displaystyle 0_{b}.} It is however a T₁ space.

The space is second countable.

The space exhibits several phenomena that do not happen in Hausdorff spaces:

• The space is path connected but not arc connected. In particular, to get a path from one origin to the other one can first move left from ${\displaystyle 0_{a}}${\displaystyle 0_{a}} to ${\displaystyle -1}${\displaystyle -1} within the line through the first origin, and then move back to the right from ${\displaystyle -1}${\displaystyle -1} to ${\displaystyle 0_{b}}${\displaystyle 0_{b}} within the line through the second origin. But it is impossible to join the two origins with an arc, which is an injective path; intuitively, if one moves first to the left, one has to eventually backtrack and move back to the right.

• The intersection of two compact sets need not be compact. For example, the sets ${\displaystyle [-1,0)\cup \{0_{a}\}}${\displaystyle [-1,0)\cup \{0_{a}\}} and ${\displaystyle [-1,0)\cup \{0_{b}\}}${\displaystyle [-1,0)\cup \{0_{b}\}} are compact, but their intersection ${\displaystyle [-1,0)}${\displaystyle [-1,0)} is not.

• The space is locally compact in the sense that every point has a local base of compact neighborhoods. But the line through one origin does not contain a closed neighborhood of that origin, as any neighborhood of one origin contains the other origin in its closure. So the space is not a regular space, and even though every point has at least one closed compact neighborhood, the origin points do not admit a local base of closed compact neighborhoods.

The space does not have the homotopy type of a CW-complex, or of any Hausdorff space.^[2]

The line with many origins^[3] is similar to the line with two origins, but with an arbitrary number of origins. It is constructed by taking an arbitrary set ${\displaystyle S}${\displaystyle S} with the discrete topology and taking the quotient space of ${\displaystyle \mathbb {R} \times S}${\displaystyle \mathbb {R} \times S} that identifies points ${\displaystyle (x,\alpha )}${\displaystyle (x,\alpha )} and ${\displaystyle (x,\beta )}${\displaystyle (x,\beta )} whenever ${\displaystyle x\neq 0.}${\displaystyle x\neq 0.} Equivalently, it can be obtained from ${\displaystyle \mathbb {R} }${\displaystyle \mathbb {R} } by replacing the origin ${\displaystyle 0}${\displaystyle 0} with many origins ${\displaystyle 0_{\alpha },}${\displaystyle 0_{\alpha },} one for each ${\displaystyle \alpha \in S.}${\displaystyle \alpha \in S.} The neighborhoods of each origin are described as in the two origin case.

If there are infinitely many origins, the space illustrates that the closure of a compact set need not be compact in general. For example, the closure of the compact set ${\displaystyle A=[-1,0)\cup \{0_{\alpha }\}\cup (0,1]}${\displaystyle A=[-1,0)\cup \{0_{\alpha }\}\cup (0,1]} is the set ${\displaystyle A\cup \{0_{\beta }:\beta \in S\}}${\displaystyle A\cup \{0_{\beta }:\beta \in S\}} obtained by adding all the origins to ${\displaystyle A}${\displaystyle A}, and that closure is not compact. From being locally Euclidean, such a space is locally compact in the sense that every point has a local base of compact neighborhoods. But the origin points do not have any closed compact neighborhood.

Similar to the line with two origins is the branching line.

This is the quotient space of two copies of the real line $${\displaystyle \mathbb {R} \times \{a\}\quad {\text{ and }}\quad \mathbb {R} \times \{b\}}$${\displaystyle \mathbb {R} \times \{a\}\quad {\text{ and }}\quad \mathbb {R} \times \{b\}} with the equivalence relation $${\displaystyle (x,a)\sim (x,b)\quad {\text{ if }}\;x<0.}$${\displaystyle (x,a)\sim (x,b)\quad {\text{ if }}\;x<0.}

This space has a single point for each negative real number ${\displaystyle r}${\displaystyle r} and two points ${\displaystyle x_{a},x_{b}}${\displaystyle x_{a},x_{b}} for every non-negative number: it has a "fork" at zero.

The etale space of a sheaf, such as the sheaf of continuous real functions over a manifold, is a manifold that is often non-Hausdorff. (The etale space is Hausdorff if it is a sheaf of functions with some sort of analytic continuation property.)^[4]

Because non-Hausdorff manifolds are locally homeomorphic to Euclidean space, they are locally metrizable (but not metrizable in general) and locally Hausdorff (but not Hausdorff in general).

• List of topologies – List of concrete topologies and topological spaces
• Locally Hausdorff space – Space such that every point has a Hausdorff neighborhood
• Separation axiom – Axioms in topology defining notions of "separation"

• Baillif, Mathieu; Gabard, Alexandre (2008). "Manifolds: Hausdorffness versus homogeneity". Proceedings of the American Mathematical Society. 136 (3): 1105–1111. arXiv:math/0609098 . doi:10.1090/S0002-9939年07月09日100-9 .
• Gabard, Alexandre (2006), A separable manifold failing to have the homotopy type of a CW-complex, arXiv:math.GT/0609665v1 , Bibcode:2006math......9665G
• Lee, John M. (2011). Introduction to topological manifolds (Second ed.). Springer. ISBN 978-1-4419-7939-1.
• Munkres, James R. (2000). Topology (2nd ed.). Upper Saddle River, NJ: Prentice Hall, Inc. ISBN 978-0-13-181629-9. OCLC 42683260. (accessible to patrons with print disabilities)

• General topology
• Manifolds
• Topology

• Pages with references accessible to Internet Archive patrons with print disabilities