In mathematics, the Menger sponge is a fractal curve. It is a universal curve, in that it has topological dimension one, and any other curve (more precisely: any compact metric space of topological dimension 1) is homeomorphic to some subset of it. It is sometimes called the Menger–Sierpinski sponge or the Sierpinski sponge. It is a three-dimensional extension of the Cantor set and Sierpinski carpet. It was first described by Karl Menger (1926) while exploring the concept of topological dimension.
The Menger sponge simultaneously exhibits an infinite surface area and encloses zero volume.
The construction of a Menger sponge can be described as follows:
- Begin with a cube (first image).
- Divide every face of the cube into 9 squares, like a Rubik's Cube. This will sub-divide the cube into 27 smaller cubes.
- Remove the smaller cube in the middle of each face, and remove the smaller cube in the very center of the larger cube, leaving 20 smaller cubes (second image). This is a level-1 Menger sponge (resembling a Void Cube).
- Repeat steps 2 and 3 for each of the remaining smaller cubes, and continue to iterate ad infinitum.
The second iteration will give you a level-2 sponge (third image), the third iteration gives a level-3 sponge (fourth image), and so on. The Menger sponge itself is the limit of this process after an infinite number of iterations.
The number of cubes is 20n, with n being the number of iterations performed on the first cube.
The Lebesgue covering dimension of the Menger sponge is one, the same as any curve. Menger showed, in the 1926 construction, that the sponge is a universal curve, in that any possible one-dimensional curve is homeomorphic to a subset of the Menger sponge, where here a curve means any compact metric space of Lebesgue covering dimension one; this includes trees and graphs with an arbitrary countable number of edges, vertices and closed loops, connected in arbitrary ways. In a similar way, the Sierpinski carpet is a universal curve for all curves that can be drawn on the two-dimensional plane. The Menger sponge constructed in three dimensions extends this idea to graphs that are not planar, and might be embedded in any number of dimensions.
The Menger sponge simultaneously exhibits an infinite surface area and encloses zero volume. In spite of this, there exists a homeomorphism of the cube having finite distortion that "squeezes the sponge" in the sense that the holes in the sponge go to a Cantor set of zero measure (Iwaniec & Martin 2001, §6.5.6).
The sponge has a Hausdorff dimension of (log 20) / (log 3) (approximately 2.726833).
Formally, a Menger sponge can be defined as follows:
where M0 is the unit cube and
- Apollonian gasket
- Koch snowflake
- List of fractals by Hausdorff dimension
- Sierpiński tetrahedron
- Sierpiński triangle
- Iwaniec, Tadeusz; Martin, Gaven (2001), Geometric function theory and non-linear analysis, Oxford Mathematical Monographs, The Clarendon Press Oxford University Press, ISBN 978-0-19-850929-5, MR 1859913.
- Menger, Karl (1926), "Allgemeine Räume und Cartesische Räume. I.", Communications to the Amsterdam Academy of Sciences English translation reprinted in Edgar, Gerald A., ed. (2004), Classics on fractals, Studies in Nonlinearity, Westview Press. Advanced Book Program, Boulder, CO, ISBN 978-0-8133-4153-8, MR 2049443
- Karl Menger, Dimensionstheorie, (1928) B.G Teubner Publishers, Leipzig.
- Zhou, Li (2007), "Problem 11208: Chromatic numbers of the Menger sponges", American Mathematical Monthly 114 (9): 842
|Wikimedia Commons has media related to Menger sponge.|
- Menger sponge at Wolfram MathWorld
- The 'Business Card Menger Sponge' by Dr. Jeannine Mosely – an online exhibit about this giant origami fractal at the Institute For Figuring
- An interactive Menger sponge
- Interactive Java models
- Puzzle Hunt — Video explaining Zeno's paradoxes using Menger–Sierpinski sponge
- Menger Sponge Assembly Construction of a Level-3 Menger Sponge from business cards
- Menger Sponge Animations — Menger sponge animations up to level 9, discussion of optimization for 3d.
- L3 Menger Sponge with business cards 2006 – An L3 Menger sponge by students at Cornell College built in 2006
- Level 3 Menger Sponge made of Business Cards – A level-3 Menger sponge built by students at Mississippi State University out of 48,000 folded business cards.
- Menger sphere, rendered in SunFlow
- Post-It Menger Sponge – a level 3 Menger sponge being built from Post-its
- The Mystery of the Menger Sponge. Sliced diagonally to reveal stars.
- Number of cards required to build a Menger sponge of level n in origami.
- Minecraft Menger Sponge A list of the splashes in Minecraft including "Menger Sponge!"