In topology, the long line (or Alexandroff line) is a topological space somewhat similar to the real line, but in a certain sense "longer". It behaves locally just like the real line, but has different large-scale properties (e.g., it is neither Lindelöf nor separable). Therefore, it serves as an important counterexample in topology. Intuitively, the usual real-number line consists of a countable number of line segments [ 0 , 1 ) {\displaystyle [0,1)} laid end-to-end, whereas the long line is constructed from an uncountable number of such segments.
Definition The closed long ray L {\displaystyle L} is defined as the Cartesian product of the first uncountable ordinal ω 1 {\displaystyle \omega _{1}} with the half-open interval [ 0 , 1 ) , {\displaystyle [0,1),} equipped with the order topology that arises from the lexicographical order on ω 1 × [ 0 , 1 ) {\displaystyle \omega _{1}\times [0,1)} . The open long ray is obtained from the closed long ray by removing the smallest element ( 0 , 0 ) . {\displaystyle (0,0).}
The long line is obtained by "gluing" together two long rays, one in the positive direction and the other in the negative direction. More rigorously, it can be defined as the order topology on the disjoint union of the reversed open long ray (“reversed” means the order is reversed) (this is the negative half) and the (not reversed) closed long ray (the positive half), 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 } × ( 0 , 1 ) {\displaystyle \{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 ) {\displaystyle (0,t)} (where t {\displaystyle t} is a real number such that 0 < t < 1 {\displaystyle 0<t<1} ) of the one with the point ( 0 , 1 − t ) {\displaystyle (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 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 “long line” 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 “long” 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 ∗ , {\displaystyle L^{*},} is obtained as the one-point compactification of L {\displaystyle L} by adjoining an additional element to the right end of L . {\displaystyle L.} One can similarly define the extended long line by adding two elements to the long line, one at each end.
… excerpt ends here. Continue reading the full article.
