In mathematics, the lower limit topology or right half-open interval topology is a topology defined on ${\displaystyle \mathbb {R} }$, the set of real numbers; it is different from the standard topology on ${\displaystyle \mathbb {R} }$ (generated by the open intervals) and has a number of interesting properties. It is the topology generated by the basis of all half-open intervals [a,b), where a and b are real numbers.

The resulting topological space is called the Sorgenfrey line after Robert Sorgenfrey or the arrow and is sometimes written ${\displaystyle \mathbb {R} _{l))$. Like the Cantor set and the long line, the Sorgenfrey line often serves as a useful counterexample to many otherwise plausible-sounding conjectures in general topology. The product of ${\displaystyle \mathbb {R} _{l))$ with itself is also a useful counterexample, known as the Sorgenfrey plane.

In complete analogy, one can also define the upper limit topology, or left half-open interval topology.

Properties

• 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 (countably infinite) union of half-open intervals.
• For any real ${\displaystyle a}$ and ${\displaystyle b}$, the interval ${\displaystyle [a,b)}$ is clopen in ${\displaystyle \mathbb {R} _{l))$ (i.e., both open and closed). Furthermore, for all real ${\displaystyle a}$, the sets ${\displaystyle \{x\in \mathbb {R} :x<a\))$ and ${\displaystyle \{x\in \mathbb {R} :x\geq a\))$ are also clopen. This shows that the Sorgenfrey line is totally disconnected.
• Any compact subset of ${\displaystyle \mathbb {R} _{l))$ must be an at most countable set. To see this, consider a non-empty compact subset ${\displaystyle C\subseteq \mathbb {R} _{l))$. Fix an ${\displaystyle x\in C}$, consider the following open cover of ${\displaystyle C}$:

${\displaystyle {\bigl \{}[x,+\infty ){\bigr \))\cup {\Bigl \{}{\bigl (}-\infty ,x-{\tfrac {1}{n)){\bigr )}\,{\Big |}\,n\in \mathbb {N} {\Bigr \)).}$

Since ${\displaystyle C}$ is compact, this cover has a finite subcover, and hence there exists a real number ${\displaystyle a(x)}$ such that the interval ${\displaystyle (a(x),x]}$ contains no point of ${\displaystyle C}$ apart from ${\displaystyle x}$. This is true for all ${\displaystyle x\in C}$. Now choose a rational number ${\displaystyle q(x)\in (a(x),x]\cap \mathbb {Q} }$. Since the intervals ${\displaystyle (a(x),x]}$, parametrized by ${\displaystyle x\in C}$, are pairwise disjoint, the function ${\displaystyle q:C\to \mathbb {Q} }$ is injective, and so ${\displaystyle C}$ is at most countable. It could be observed that a subset ${\displaystyle C}$ is compact if and only if it bounded from below and is well-ordered when endowed with the order "${\displaystyle >}$" (which in particular implies that it is bounded from above).

• The name "lower limit topology" comes from the following fact: a sequence (or net) ${\displaystyle (x_{\alpha })}$ in ${\displaystyle \mathbb {R} _{l))$ converges to the limit ${\displaystyle L}$ if and only if it "approaches ${\displaystyle L}$ from the right", meaning for every ${\displaystyle \epsilon >0}$ there exists an index ${\displaystyle \alpha _{0))$ such that ${\displaystyle \forall \alpha \geq \alpha _{0}:L\leq x_{\alpha }<L+\epsilon }$. The Sorgenfrey line can thus be used to study right-sided limits: if ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$ is a function, then the ordinary right-sided limit of ${\displaystyle f}$ at ${\displaystyle x}$ (when the codomain carries the standard topology) is the same as the usual limit of ${\displaystyle f}$ at ${\displaystyle x}$ when the domain is equipped with the lower limit topology and the codomain carries the standard topology.
• In terms of separation axioms, ${\displaystyle \mathbb {R} _{l))$ is a perfectly normal Hausdorff space.
• In terms of countability axioms, ${\displaystyle \mathbb {R} _{l))$ is first-countable and separable, but not second-countable.
• In terms of compactness properties, ${\displaystyle \mathbb {R} _{l))$ is Lindelöf and paracompact, but not σ-compact nor locally compact.
• ${\displaystyle \mathbb {R} _{l))$ is not metrizable, since separable metric spaces are second-countable. However, the topology of a Sorgenfrey line is generated by a quasimetric.
• ${\displaystyle \mathbb {R} _{l))$ is a Baire space.^[1]
• ${\displaystyle \mathbb {R} _{l))$ does not have any connected compactifications.^[2]