Esponja de Menger
# Esponja de Menger

En matemáticas, la esponja de Menger (a veces llamada cubo de Menger o bien cubo o esponja de Menger-Sierpiński o de Sierpiński) es un conjunto fractal descrito por primera vez en 1926 por Karl Menger mientras exploraba el concepto de dimensión topológica.

Al igual que la alfombra de Sierpinski constituye una generalización bidimensional del conjunto de Cantor, esta es una generalización tridimensional de ambos. Comparte con estos muchas de sus propiedades, siendo un conjunto compacto, no numerable y de medida de Lebesgue nula. Su dimensión dimensión fractal de Hausdorff es $d_{H}=\log 20/\log 3\approx 2.7268$. El área de la esponja de Menger es infinita y al mismo tiempo encierra un volumen cero.

Es de destacar su propiedad de curva universal, pues es un conjunto topológico de dimensión topológica uno, y cualquier otra curva o grafo es homeomorfo a un subconjunto de la esponja de Menger.

## Construcción

La construcción de la esponja de Menger se define de forma recursiva:

* Comenzamos con un cubo (primera imagen).
* Dividimos cada cara del cubo en 9 cuadrados. Esto subdivide el cubo en 27 cubos más pequeños, como le sucede al cubo de Rubik.
* Eliminamos los cubos centrales de cada cara (6) y el cubo central (1), dejando solamente 20 cubos (segunda imagen).
* Repetimos los pasos 1, 2 y 3 para cada uno de los veinte cubos menores restantes.

La esponja de Menger es el límite de este proceso tras un número infinito de iteraciones.

