$\omega_1$ não é metrizável.
Demonstração. Note que $\omega_1$ é sequencialmente compacto, porém $\omega_1$ não é compacto.
Segue que $\omega_1$ não é metrizável.
topologia:oprimeiroordinalnaoenumeravel:metrizabilidade
Demonstração. Note que $\omega_1$ é sequencialmente compacto, porém $\omega_1$ não é compacto.
Segue que $\omega_1$ não é metrizável.