De fato, o espaço $ \{0,1\} $ é compacto, pois é finito. Pelo Teorema de Teorema de Tychonoff, $ \{0,1\}^{\mathbb{N}} $ é compacto.