Sorgenfrey half-open plane

The Sorgenfrey plane is the product of the Sorgenfrey line with itself. This topology can also be described as the topology on ${ℝ}^2$ which arises from the basis .

It is interesting to note that, even though the Sorgenfrey line enjoys the Lindelöf property (http://planetmath.org/lindelofspace), the Sorgenfrey plane does not. To see this, one can note that the line $x+y=0$ is a closed subset in this topology and that the induced topology on this line is the discrete topology. Since the Lindelöf property is weakly hereditary, the discrete topology on the real line would have to be Lindelöf if the Sorgenfrey plane topology were Lindelöf. However, the discrete topology on an uncountable set can never have the Lindelöf property, so the Sorgenfrey topology cannot have this property either.

Reference

Sorgenfrey, R. H. On the Topological Product of Paracompact Spaces, Bulletin of the American Mathematical Society, (1947) 631-632

Title	Sorgenfrey half-open plane
Canonical name	SorgenfreyHalfopenPlane
Date of creation	2014-11-06 13:51:15
Last modified on	2014-11-06 13:51:15
Owner	rspuzio (6075)
Last modified by	pahio (2872)
Numerical id	7
Author	rspuzio (2872)
Entry type	Definition
Classification	msc 22-00
Classification	msc 55-00
Classification	msc 54-00
Synonym	Sorgenfrey’s half-open square topology
Synonym	Sorgenfrey plane