Como vimos antes $ \{0,1\}^{\mathbb{N}} $ é um espaço compacto e Hausdorff, pelo resultado feito aqui concluímos que $ \{0,1\}^{\mathbb{N}} $ é um espaço de Baire.