Sorgenfrey Line satisfies all Separation Axioms

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \left({\R, \tau}\right)$ be the Sorgenfrey line.

Then $T$ satisfies all separation axioms.


Proof

We have Sorgenfrey Line is Perfectly Normal.

The result follows from Sequence of Implications of Separation Axioms.

$\blacksquare$