Geometric
Menger sponge
Karl Menger generalized the Sierpinski carpet to 3D in 1926. Subdivide a cube into 27 subcubes (3 × 3 × 3); remove the central subcube and the six face-center subcubes (7 in total, leaving 20). Recurse on each remaining subcube. The limit is the Menger sponge: infinite surface area, zero volume.
At a glance
| Designer | Karl Menger, 1926 |
|---|---|
| Hausdorff dimension | log3(20) ≈ 2.7268 |
| Volume | Zero (Lebesgue measure) |
| Surface area | Infinite |
| Self-similar copies | 20 copies at scale 1/3 |
| Topological dimension | 1 (every point lies on a 1D curve through the sponge) |
Why log3(20) ≈ 2.7268
20 self-similar copies at scale 1/3: dim = log(20) / log(3) ≈ 2.7268. Compared to a solid cube (dimension 3), the sponge is “a little less than” a cube. Compared to a surface (dimension 2), it’s much more than a surface, despite having no volume.
Topological surprise
Although the Menger sponge sits in 3D space, it has topological dimension 1. Every point is on a one-dimensional curve through the sponge, every smooth curve can be embedded inside it. The sponge is a “universal” one-dimensional space: any compact metric space of topological dimension ≤ 1 embeds homeomorphically into the Menger sponge.
2D cousin
The Sierpinski carpet is the 2D version: subdivide a square into 9 subsquares (3 × 3), remove the central one, recurse on the other 8. Dimension log3(8) ≈ 1.8928. Universal 1D embedding space in the plane, just like the sponge in space.
References
- Menger, K., “Allgemeine Räume und Cartesische Räume. Teil II,” Communicationes Mathematicae Helvetici, 1926.
- Mandelbrot, B., The Fractal Geometry of Nature, W. H. Freeman, 1982.
- Edgar, G., Measure, Topology, and Fractal Geometry, Springer, 2008.
- Sierpinski triangle · Cantor set
Try it
Run an interactive playground at /tools/sierpinski-carpet.
Quick quiz
Test yourself on menger-sponge
10 multiple-choice questions. Pick an answer for each, then submit to see explanations.
Q1.At each iteration, a Menger sponge subdivides each cube into how many sub-cubes?
Q2.How many cubes remain after one iteration?
Q3.Hausdorff dimension of the Menger sponge is:
Q4.Volume of the Menger sponge in the limit is:
Q5.Surface area of the Menger sponge in the limit is:
Q6.The Menger sponge was first described by:
Q7.The cross-section of a Menger sponge along its face is the:
Q8.Topological dimension of the Menger sponge is:
Q9.Why does Menger call his sponge 'universal' for curves?
Q10.The Menger sponge IFS uses how many contractive maps?