Demonstração. Note que $\omega_1$ é sequencialmente compacto, porém $\omega_1$ não é compacto.

Segue que $\omega_1$ não é metrizável.