En matemáticas , un cubo de Cantor es un grupo topológico de la forma {0, 1} A para algún conjunto de índices A. Sus estructuras algebraicas y topológicas son el producto directo del grupo y la topología del producto sobre el grupo cíclico de orden 2 (que a su vez recibe la topología discreta ).
Si A es un conjunto infinito numerable , el cubo de Cantor correspondiente es un espacio de Cantor . Los cubos de Cantor son especiales entre los grupos compactos porque cada grupo compacto es una imagen continua de uno, aunque por lo general no es una imagen homomórfica. (La literatura puede no ser clara, por lo que, por seguridad, suponga que todos los espacios son de Hausdorff ).
Topológicamente, cualquier cubo de Cantor es:
Según un teorema de Schepin, estas cuatro propiedades caracterizan a los cubos de Cantor; cualquier espacio que satisfaga las propiedades es homeomorfo a un cubo de Cantor.
De hecho, todo espacio AE(0) es la imagen continua de un cubo de Cantor, y con algo de esfuerzo se puede demostrar que todo grupo compacto es AE(0). De ello se deduce que todo grupo compacto de dimensión cero es homeomorfo a un cubo de Cantor, y todo grupo compacto es una imagen continua de un cubo de Cantor.
Definiciones de Wikcionario
Medios de comunicación de Commons