Long line (topology)

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).…