Long line (topology)

Long line (topology)

In topology, the long line (or Alexandroff line) is a topological space analogous to the real line, but much longer. Because it behaves locally just like the real line, but has different large-scale properties, it serves as one of the basic counterexamples of topology. [Citation | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=Counterexamples in Topology | origyear=1978 | publisher=Springer-Verlag | location=Berlin, New York | edition=Dover reprint of 1978 | isbn=978-0-486-68735-3 | id=MathSciNet|id=507446 | year=1995]

Definition

The closed long ray "L" is defined as the cartesian product of the first uncountable ordinal ω1 with the half-open interval [0, 1), equipped with the order topology that arises from the lexicographical order on ω1 × [0, 1). The open long ray is obtained from the closed long ray by removing the smallest element (0,0).

The long line is obtained by putting together a long ray in each direction. More rigorously, it can be defined as the order topology on the disjoint union of the reversed open long ray (&ldquo;reversed&rdquo; means the order is reversed) and the (not reversed) closed long ray, totally ordered by letting the points of the latter be greater than the points of the former. Alternatively, take two copies of the open long ray and identify the open interval {0} &times; (0, 1) of the one with the same interval of the other but reversing the interval, that is, identify the point (0, "t") (where "t" is a real number such that 0 < "t" < 1) of the one with the point (0,1 − "t") of the other, and define the long line to be the topological space obtained by gluing the two open long rays along the open interval identified between the two. (The former construction is better in the sense that it defines the order on the long line and shows that the topology is the order topology; the latter is better in the sense that it uses gluing along an open set, which is clearer from the topological point of view.)

Intuitively, the closed long ray is like a real (closed) half-line, except that it is much longer in one direction: we say that it is long at one end and closed at the other. The open long ray is like the real line (or equivalently an open half-line) except that it is much longer in one direction: we say that it is long at one end and short (open) at the other. The long line is longer than the real lines in both directions: we say that it is long in both directions.

However, many authors speak of the &ldquo;long line&rdquo; where we have spoken of the (closed or open) long ray, and there is much confusion between the various long spaces. In many uses or counterexamples, however, the distinction is unessential, because the important part is the &ldquo;long&rdquo; end of the line, and it doesn't matter what happens at the other end (whether long, short, or closed).

A related space, the (closed) extended long ray, "L"*, is obtained as the one-point compactification of "L" by adjoining an additional element to the right end of "L". One can similarly define the extended long line by adding two elements to the long line, one at each end.

Properties

The closed long ray &omega;1 &times; [0,1) consists of an uncountable number of copies of [0,1) 'pasted together' end-to-end. Compare this with the fact that for any "countable" ordinal α, pasting together α copies of [0,1) gives a space which is still homeomorphic (and order-isomorphic) to [0,1). (And if we tried to glue together "more" than &omega;1 copies of [0,1), the resulting space would no longer be locally homeomorphic to R.)

As order topologies, the (possibly extended) long rays and lines are normal Hausdorff spaces. All of them have the same cardinality as the real line, yet they are 'much longer'. All of them are locally compact. None of them is metrisable; this can be seen as the long ray is sequentially compact but not compact, or even Lindelöf.

The (non-extended) long line or ray is not paracompact. It is path-connected, locally path-connected and simply connected but not contractible. It is a one-dimensional topological manifold, with boundary in the case of the closed ray. It is first-countable but not second countable and not separable, so authors who require the latter properties in their manifolds do not call the long line a manifold.

The long line or ray can be equipped with the structure of a (non-separable) differentiable manifold (with boundary in the case of the closed ray). However, contrary to the topological structure which is unique (topologically, there is only one way to make the real line "longer" at either end), the differentiable structure is not unique: in fact, for each natural number "k" there exist infinitely many "Ck+1" or "C&infin;" structures on the long line or ray inducing any given "Ck" structure on it. [cite journal | author=Koch, Winfried &amp; Puppe, Dieter | title=Differenzierbare Strukturen auf Mannigfaltigkeiten ohne abzaehlbare Basis | journal=Archiv der Mathematik | volume=19 | year=1968 | pages=95&ndash;102 | doi=10.1007/BF01898807] This is in sharp contrast with the situation for ordinary (that is, separable) manifolds, where a "Ck" structure uniquely determines a "C&infin;" structure as soon as "k"&ge;1.

It makes sense to consider all the long spaces at once because every connected (non-empty) one-dimensional (not necessarily separable) topological manifold possibly with boundary, is homeomorphic to either the circle, the closed interval, the open interval (real line), the half-open interval, the closed long ray, the open long ray, or the long line.

The long line or ray can even be equipped with the structure of a (real) analytic manifold (with boundary in the case of the closed ray). However, this is much more difficult than for the differentiable case (it depends on the classification of (separable) one-dimensional analytic manifolds, which is more difficult than for differentiable manifolds). Again, any given "C&infin;" structure can be extended in infinitely many ways to different "C&omega;" (=analytic) structures. [cite journal | author=Kneser, H. &amp; Kneser, M. | title=Reell-analytische Strukturen der Alexandroff-Halbgeraden und der Alexandroff-Geraden | journal=Archiv der Mathematik | volume=11 | year=1960 | pages=104&ndash;106 | doi=10.1007/BF01236917]

The long line or ray cannot be equipped with a Riemannian metric that induces its topology.The reason is that Riemannian manifolds, even without the assumption of paracompactness, can be shown to be metrizable. [cite book|author=S. Kobayashi and K. Nomizu|title=Foundations of differential geometry|volume=I|year=1963|pages=166|publisher=Interscience]

The extended long ray "L"* is compact. It is the one-point compactification of the closed long ray "L", but it is "also" its Stone-Čech compactification, because any continuous function from the (closed or open) long ray to the real line is eventually constant. "L"* is also connected, but not path-connected because the long line is 'too long' to be covered by a path, which is a continuous image of an interval. "L"* is not a manifold and is not first countable.

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Long line (telecommunications) — See also long line (topology) and long line fishing. In telephone systems nomenclature a long line is a transmission line in a long distance communications network such as carrier systems, microwave radio relay links, geosynchronous satellite… …   Wikipedia

  • Long line — The term long line can refer to any of several unrelated topics:*long line (topology) *long line (telecommunications) *longline fishing * Long line external load operation describes the use of an aerial crane (helicopter) …   Wikipedia

  • Order topology — In mathematics, an order topology is a certain topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets. If X is a totally ordered set, the order …   Wikipedia

  • List of general topology topics — This is a list of general topology topics, by Wikipedia page. Contents 1 Basic concepts 2 Limits 3 Topological properties 3.1 Compactness and countability …   Wikipedia

  • Line bundle — In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example a curve in the plane having a tangent line at each point determines a varying line: the tangent bundle is a way of organising… …   Wikipedia

  • topology — topologic /top euh loj ik/, topological, adj. topologically, adv. topologist, n. /teuh pol euh jee/, n., pl. topologies for 3. Math. 1. the study of those properties of geometric forms that remain invariant under c …   Universalium

  • Line (geometry) — Three lines the red and blue lines have the same slope, while the red and green ones have same y intercept …   Wikipedia

  • Counterexamples in Topology —   Author(s) Lynn Arthur Steen J. Ar …   Wikipedia

  • Lower limit topology — In mathematics, the lower limit topology or right half open interval topology is a topology defined on the set R of real numbers; it is different from the standard topology on R and has a number of interesting properties. It is the topology… …   Wikipedia

  • List of examples in general topology — This is a list of useful examples in general topology, a field of mathematics.* Alexandrov topology * Cantor space * Co kappa topology ** Cocountable topology ** Cofinite topology * Compact open topology * Compactification * Discrete topology *… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”