Classification of 1-dimensional manifolds (not second-countable) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T16:49:55Z http://mathoverflow.net/feeds/question/21673 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/21673/classification-of-1-dimensional-manifolds-not-second-countable Classification of 1-dimensional manifolds (not second-countable) Martin Brandenburg 2010-04-17T16:20:10Z 2012-09-08T14:30:32Z <p>It is easy to see that every connected $1$-dimensional second-countable manifold (that is, what is often called just a manifold) is either homeomorphic to $\mathbb{R}$ or to $S^1$. Now let's drop the secound-countable-condition.</p> <blockquote> <p>How do you prove that every connected $1$-dimensional manifold homeomorphic to $\mathbb{R}, S^1$, the long line or the long ray? And why are the long line and the long ray not homeomorphic?</p> </blockquote> <p>A good survey about the latter spaces can be found in the <a href="http://en.wikipedia.org/wiki/Long_line_%2528topology%2529" rel="nofollow">wikipedia entry</a>. Basically, a long ray is built up of $\omega_1$-many intervals pasted together, and the the long line consists of two long rays in both directions. </p> http://mathoverflow.net/questions/21673/classification-of-1-dimensional-manifolds-not-second-countable/106653#106653 Answer by Todd Trimble for Classification of 1-dimensional manifolds (not second-countable) Todd Trimble 2012-09-08T07:11:21Z 2012-09-08T14:30:32Z <p>Here is a response to the first boxed question (the second was already answered by Robin Chapman). (Much belated of course, but I only just saw this question.) </p> <p>Suppose that $Y$ is a connected (nonempty) topological 1-manifold without boundary; let $y$ be a point. As observed in comments, the complement $Y - \{y\}$ has two open connected components $U$ and $V$, and $Y$ can be reconstructed by gluing together $U \cup \{y\}$ and $V \cup \{y\}$, which are 1-manifolds with one boundary point each. </p> <p>I found it technically easier to analyze the possibilities for such connected 1-manifolds with (at least) one boundary point. Recall that a 1-manifold with boundary is a topological space where every point has a neighborhood homeomorphic to an open subset of the interval $[0, 1]$. In conjunction with the gluing above, it suffices to establish the following result. </p> <p><b>Theorem:</b> Suppose $X$ is a connected 1-manifold with at least one boundary point. Then $X$ is homeomorphic to one of the following types of spaces: </p> <ul> <li><p>A closed interval $[0, 1]$. </p></li> <li><p>A half-open interval (homeomorphic to $\mathbb{R}_{\geq 0}$). </p></li> <li><p>A long half-open ray. </p></li> </ul> <p>(I should say right away that a fully rigorous proof, with all i's dotted and t's crossed, would be somewhat lengthy. So I will content myself with a proof outline. See also reference [1], which should help fill most if not all the gaps.) </p> <p><b>Proof:</b> Observe that $X$ is path-connected, since it is connected and locally path-connected. </p> <p>Let $0$ denote a boundary point, and order $X$ as follows: say $x \lt y$ if $x$ and $0$ belong to the same path component of $X - \{y\}$. It is not hard to show that $X$ is linearly ordered under $\lt$, with bottom element $0$. Every interval $[0, x]$ is a compact connected manifold with two endpoints (compact because there is a path from $0$ to $x$), and thus homeomorphic to the standard interval. </p> <p>Suppose a subset $D \subset X$ (which we will assume is closed) is well-ordered under the order it inherits from $X$. The order type of such $D$ must be $\omega_1$ (the first uncountable ordinal) or less. For otherwise, there would be an initial segment $S$ of $D$ of order type $\omega_1 + 1$. In that case, if $s$ is the top element of $S$, the interval $[0, s)$, which is homeomorphic to $\mathbb{R}_{\geq 0}$, would contain $\omega_1$ as a suborder -- but this is absurd since $\mathbb{R}_{\geq 0}$ has a countable cofinal set. </p> <p>We can now classify the possibilities for $X$, according to the smallest ordinal $\xi$ which <em>does not</em> occur as a well-ordered subset of $X$. This dictates what well-ordered subsets $D$ that are cofinal in $X$ look like. </p> <ul> <li><p>If $\xi = \omega_1 + 1$, then any well-ordered cofinal $D$ must be of type $\omega_1$, and $X$ is a topological union (a directed colimit) of open sets $[0, d)$ where $d$ ranges over $D$. This union is homeomorphic to a long half-open ray. </p></li> <li><p>If $\xi = \omega_1$, then any well-ordered cofinal $D$ is countable. This forces $X$ to be homeomorphic to $\mathbb{R}_{\geq 0}$. </p></li> </ul> <p>(For an easy induction argument shows that for any countable ordinal $\alpha$, the lexicographically ordered set $\alpha \times [0, 1)$ with the order topology is homeomorphic to $\mathbb{R}_{\geq 0}$). </p> <ul> <li>If $\xi = \omega_0$, then $X$ is homeomorphic to $[0, 1]$. </li> </ul> <p>(End of proof) </p> <p>[1] David Gale, The Classification of 1-Manifolds: A Take-Home Exam, Amer. Math. Monthly, Vol. 94 No. 2 (February 1987), 170-175.</p>