nLab
long line

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Contents

Idea

An ordinary “line” ℝ is sometimes thought of as the result of gluing a countable number of copies of a half-open interval [0,1) end-to-end in both directions. A long line is similarly obtained by gluing an uncountable number of copies of [0,1) end-to-end in both directions, and is demonstrably “longer” than an ordinary line on account of a number of peculiar properties.

The long line is a source of many counterexamples in topology.

Definition

Definition

Let ω 1 be the first uncountable ordinal?, and consider [0,1) as an ordered set. A long ray is the ordered set ω 1×[0,1) taken in the lexicographic order; as a space, it is given the order topology?. The long line is the space obtained by gluing two long rays together at their initial points.

The long line is a line in the sense of being a 1-dimensional manifold (without boundary) that is not closed (so not a circle). However, it is not paracompact, so it is not homeomorphic to the real line (even though it is Hausdorff).

Properties

Let L denote the long line, and R the long ray.

  1. Every continuous function f:L→ℝ is eventually constant, i.e., there exists x∈L and c∈ℝ such that f(y)=c whenever y≥x (and similarly f is constant for all sufficiently small x).

  2. L is a normal (T 4) space, but the Tychonoff product L×L¯ with its one-point compactification is not normal. (See for example Munkres.)

  3. Every continuous map L→L has a fixed point.

  4. R is sequentially compact but not compact.

  5. The long line is not contractible. Proof sketch: Suppose H:I×L→L is a homotopy such that H(0,−) is constant and H(1,−) is the identity. For each t∈[0,1] the image imH(t,−) is an interval (either bounded or unbounded), since L is connected. One may show the set

    {t∈I:imH(t,−)is bounded}\{t \in I: \im H(t, -) \text{is bounded}\}

    is both closed and open. It also contains 0, hence is all of I. But it can’t contain t=1, contradiction.

References

  • Wikipedia

  • Steen and Seebach, Counterexamples in Topology. Springer-Verlag, New York, 1978. Reprinted by Dover Publications, New York, 1995.

  • J. Munkres, Topology (2nd edition). Prentice-Hall, 2000.

Revised on September 8, 2012 19:10:37 by Todd Trimble (67.81.93.25)
Edit | Back in time (6 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: Top, topological space, nice topological space, CW complex, topology, geometric realization, locale, sober topological space, directed topological space, filtered topological space, connected filtered space, topological group, homotopy group, m-cofibrant space, sequential topological space, compactly generated topological space, real number, convenient category of topological spaces, Sierpinski space, specialization topology, shape theory, contractible space, etale space, category of open subsets, uniform space, compact space, topological stack, Hausdorff space, compact Lie group, connected space, local homeomorphism, locally compact space, neighborhood, topological vector space, Eilenberg-Mac Lane space, loop space, numerable open cover, algebraic topology, suspension, nerve and realization, sphere, paracompact topological space, second-countable space, compactum, Hurewicz connection, continuous map, singular cohomology, cartesian space, proximity space, compact-open topology, Dold fibration, neighborhood retract, separable space, subspace topology, string group, knot, Hurewicz fibration, suspension object, exponential law for spaces, one-point compactification, Serre fibration, delayed homotopy, foliation, linking number, isotopy, open cover, Euclidean-topological infinity-groupoid, sequentially compact space, topology - contents, stacked cover, open subspace, Stone space, simplicial topological group, quotient space, partition of unity, Serre-Swan theorem, CW approximation, open map, Loc, locally contractible space, Warsaw circle, coherent topological space, closed subspace, string topology, Thom space, good open cover, Cantor space, locally finite cover, nerve theorem, topological base, nice simplicial topological space, topological locale, frame of opens, G-delta subspace, dense subspace, formal topology, weak topology, shrinkable map, discrete and codiscrete topology, geometric realization of simplicial topological spaces, simplicial topological space, proper Lie groupoid, ball, boundary, topological groupoid, torus, link, Reidemeister move, circle, TopMfd, interior, convex set, finite topological space, Haefliger groupoid, holonomy groupoid, covering dimension, Euclidean topology, polyhedron, Vassiliev skein relation, plane, polytope, annulus, clopen set, Kontsevich integral, free loop space, singular homology, proper topological groupoid, Milnor mu-bar invariants, writhe, Heyting dimension, locally equi-connected space, locally contractible topological infinity-groupoid, operator topology, relational beta-module, singular knot, Goldman bracket, C-infinity topology, locally compact topological group, closed map, Tychonoff space, product topological space, map from compact space to Hausdorff space, contents of contents, shift map, pointless topology, maximal compact subgroup, focal point, Delta-generated space, Hopf fibration, Sierpinski topos, almost connected topological group, dense subalgebra, compact topological group, schedule, closed cover, Heine-Borel theorem, strongly compact topological space, examples in topology, sequence space, first-countable space, syntopogenous space, low-dimensional topology, pseudocircle, topological ring, degree of a continuous function, singular foliation, Hopf construction, topological algebra, limit of a sequence, noncommutative topology