Insane Properties of the Closed Long Ray and the Long Line
In topology, the long line, or Alexandroff line, is a space somewhat similar to the real line, but ‘longer’. To obtain the long line, one needs to put together a long ray in each direction. Closed long rays, as well as long lines, have remarkable properties. And this is the subject of a new blog post written by our friends from the ‘Mind vs Trash’ VK-community.
Let us take an interval of real numbers and lengthen it with the same interval to the right; now we have . Nonetheless, nothing has changed topologically: , such that , is a homeomorphism. Adding one more such an interval will result in [0,3) which is still homeomorphic, i.e., topologically equivalent to .
Now, let us combine an infinite number of such intervals. For every natural number, let us take a copy of and concatenate them. More precisely: let us take a Cartesian product and with the lexicographic order – for pairs we first compare and then . If we interpret elements of a pair as integral and fractional components of a real number, we can say that we have built an infinite ray . Sadly, we still have not got anything new, as rays and are homeomorphic, for example, by mapping .
Let us not despair and add more and more intervals until we obtain something that differs from [0,1). But we will have to keep adding it infinitely, or uncountably. It can be shown that for any countable ordinal a set with the lexicographic order is homeomorphic to .
But there are uncountable ordinals as well. Let us take the smallest uncountable ordinal expressed as and build the same way. The obtained space is called the closed long ray and serves as one of the basic counterexamples of topology. Here are several of its remarkable properties:
- Every increasing sequence in the closed ong ray is convergent.
- The space is sequentially compact (every sequence of points in it has a convergent subsequence converging to a point in it), but it is not compact.
- It is not even a Lindelöf space: open covers do not have a countable subcover (there is no finite subcover as well, otherwise it would imply compactness from the previous paragraph).
- The space is not metrisable, i.e., we cannot define the topology by the metric, as we are used to when dealing with real numbers.
- The space is not separable, unlike real numbers where rational numbers appear as a countable everywhere dense set.
- It is 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.
By removing the smallest element (0,0) from the closed long ray, we obtain the open long ray. By attaching the reversed open long ray to the left of it, we obtain the long line. The aforesaid spaces have the same insane properties as the closed long ray.
Do you like the subject? Then read more articles from the mathematical series in our blog.