The resulting topological space, sometimes written Rl and called the Sorgenfrey line, often serves as a useful counterexample in general topology, like the Cantor set and the long line.
In complete analogy, one can also define the upper limit topology, or left half-open interval topology.
The lower limit topology is finer (has more open sets) than the standard topology on the real numbers (which is generated by the open intervals). The reason is that every open interval can be written as a union of (infintely many) half-open intervals.
For any real a and b, the interval [a, b) is clopen in Rl (i.e. both open and closed). Furthermore,
for all real a, the sets {x ∈ R : x < a} and {x ∈ R : x ≥ a} are also clopen. This shows that the Sorgenfrey line is totally disconnected.
Rl is a regular Hausdorff space. It is separable and first countable but not second countable (and hence not metrizable).
Rl is Lindelöf and paracompact but not sigma-compact or locally compact.
A sequence (or net) (xα) in Rl converges to the limit L iff it "approaches L from the right", meaning for every ε>0 there exists an index α0 such that for all α > α0: L ≤ xα < L + ε. The Sorgenfrey line can thus be used to study right-sided limits: if f : R → R is a function, then the ordinary right-sided limit of f at x (when both domain and codomain carry the standard topology) is the same as the limit of f at x when the domain is equipped with the lower limit topology and the codomain carries the standard topology.Properties