En mathématiques, plus précisément en topologie, on appelle espace de Cantor l'espace produit , où est muni de la topologie discrète.
Cela fournit en particulier un moyen commode pour compactifier les espaces métrisables à base dénombrable totalement discontinus. On en déduit que tout espace mesurable dénombrablement engendré et séparé[Quoi ?] est isomorphe à une partie de K munie de la tribu induite par la tribu borélienne de K.