Sorgenfrey line

In mathematics, the lower limit topology or right half-open interval topology is a topology defined on $\mathbb$, the set of real numbers; it is different from the standard topology on $\mathbb$ (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 /nowiki>''a'',''b''), where ''a'' and ''b'' are real numbers.

The resulting topological space is called the Sorgenfrey line after Robert Sorgenfrey">topological space">/nowiki>''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 $\mathbb_l$. Like the Cantor set and the long line (topology), long line, the Sorgenfrey line often serves as a useful counterexample to many otherwise plausible-sounding conjectures in general topology.
The product space, product of $\mathbb_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 $a$ and $b$, the interval clopen in $\mathbb_l$ (i.e., both open set">open