O quadrado da reta de Sorgenfrey não é metrizável


Suponha que seja. Então, como todo espaço metrizável é normal, $\mathbb R_S \times \mathbb R_S$ é normal, o que é um absurdo.