O espaço $ \{0,1\}^{\mathbb{N}} $ é compacto e Hausdorff. Na página existe o resultado que mostra que essas condições implicam compacidade local.