Exercice 22, § 4

Montrer que tout espace compact totalement discontinu X est homéomorphe à une limite projective d’un système projectif d’espaces finis discrets. (Considérer les partitions finies de X en ensembles ouverts et utiliser le corollaire de II, p. 32).