Line with two origins

This article is about a particular topological space (uniquely determined up to homeomorphism)|View a complete list of particular topological spaces

This article describes a standard counterexample to some plausible but false implications. In other words, it lists a pathology that may be useful to keep in mind to avoid pitfalls in proofs
View other standard counterexamples in topology

Definition

The line with two origin can be defined in the following equivalent ways:

• It is the quotient space of the disjoint union of two copies of $\mathbb {R}$, via the identification of $x$ in the first copy with $x$ in the second copy, for $x\neq 0$.
• It is the real line with two origins, i.e. with two copies of the origin, wherein although both copies of the origin are separated, arbitrarily small nonzero real numbers approach both these copies.

Topological space properties

Properties it does not satisfy

• Hausdorff space: The line with two origins is not a Hausdorff space, because we cannot find open sets separating the two origins
• US-space: it is not true for this space that every sequence has at most one limit

Properties it does satisfy

• Locally Euclidean space: Every point has a neighbourhood homeomorphic to $\mathbb {R} ^{1}$