Sorgenfrey line

This article describes a standard counterexample to some plausible but false implications. In other words, it lists a pathology that may be useful to keep in mind to avoid pitfalls in proofs
View other standard counterexamples in topology

Definition

The Sorgenfrey line is defined as follows: as a set, it is the real line, and its basis of open sets is taken as all the half-open, half-closed sets, viz sets of the form $[a,b)$. Equivalently, we can say that it is obtained by giving the lower limit topology corresponding to the usual ordering on the real line.

The product of two copies of the Sorgenfrey line is the Sorgenfrey plane, which is not normal. This gives an example of the fact that a product of two normal spaces need not be normal.

Topological space properties

Properties it does satisfy

• Totally disconnected space: The Sorgenfrey line is totally disconnected; given any two points, we can separate them by disjoint open sets.
• First-countable space
• Separable space
• Lindelof space
• Paracompact space
• Baire space
• Perfectly normal space

Properties it does not satisfy

• Sigma-compact space
• Locally compact space
• Metrizable space