A reta de Sorgenfrey não é compacta
Note que $\mathcal{B} = \{[-n, n[ : n \in \mathbb{N}_{>0}\}$ é uma cobertura aberta para $\mathbb{R}_{S}$ que não possui subcobertura finita.
topologia:exemplo:sorgenfreycompacto
Note que $\mathcal{B} = \{[-n, n[ : n \in \mathbb{N}_{>0}\}$ é uma cobertura aberta para $\mathbb{R}_{S}$ que não possui subcobertura finita.