Basta lembrar que são preservados por produto e satisfeitos por $[0,1]$ com a topologia usual.
Segue de ser espaço de Hausdorff localmente compacto.
Segue de ser espaço de Hausdorff compacto.