A reta de Sorgenfrey é zero-dimensional


Considere $\mathcal{B} = \{[a,b[ : a,b \in \mathbb{R}$ e $ a < b\}$. Agora basta notar que $\mathcal{B}$ é base para $\mathbb{R}_{S}$ formada por abertos fechados.