In mathematics, the Menger sponge (also known as the Menger universal curve) is a fractal curve. It is a three-dimensional generalization of the Cantor set and Sierpinski carpet, though it is slightly different from a Sierpinski sponge. It was first described by Karl Menger in 1926, in his studies of the concept of topological dimension.
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 gives 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 nth stage of the Menger sponge, Mn, is made up of 20n smaller cubes, each with a side length of (1/3)n. The total volume of Mn is thus (20/27)n. The total surface area of Mn is given by the expression 2(20/9)n + 4(8/9)n. Therefore the construction's volume approaches zero while its surface area increases without bound. Yet any chosen surface in the construction will be thoroughly punctured as the construction continues, so that the limit is neither a solid nor a surface; it has a topological dimension of 1 and is accordingly identified as a curve.
Each face of the construction becomes a Sierpinski carpet, and the intersection of the sponge with any diagonal of the cube or any midline of the faces is a Cantor set. The cross section of the sponge through its centroid and perpendicular to a space diagonal is a regular hexagon punctured with hexagrams arranged in six-fold symmetry.
The sponge's Hausdorff dimension is log 20/ ≅ 2.727. 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 every curve is homeomorphic to a subset of the Menger sponge, where 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 is a closed set; since it is also bounded, the Heine–Borel theorem implies that it is compact. It has Lebesgue measure 0. Because it contains continuous paths, it is an uncountable set.
Formally, a Menger sponge can be defined as follows:
where M0 is the unit cube and
MegaMenger is a project aiming to build the largest fractal model, pioneered by Matt Parker of Queen Mary University of London and Laura Taalman of James Madison University. Each small cube is made from 6 interlocking folded business cards, giving a total of 960 000 for a level-four sponge. The outer surfaces are then covered with paper or cardboard panels printed with a Sierpinski carpet design to be more aesthetically pleasing. In 2014, twenty level-three Menger sponges were constructed, which combined would form a distributed level-four Menger sponge.
Notes and referencesEdit
- Menger, Karl (1928), Dimensionstheorie, B.G Teubner Publishers
- 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
- Wolfram Demonstrations Project, Volume and Surface Area of the Menger Sponge
- University of British Columbia Science and Mathematics Education Research Group, Mathematics Geometry: Menger Sponge
- Chang, Kenneth (27 June 2011). "The Mystery of the Menger Sponge". Retrieved 8 May 2017 – via NYTimes.com.
- Tim Chartier. "A Million Business Cards Present a Math Challenge". Retrieved 2015-04-07.
- "MegaMenger". Retrieved 2015-02-15.
- Robert Dickau (2014-08-31). "Cross Menger (Jerusalem) Cube Fractal". Robert Dickau. Retrieved 2017-05-08.
- Wade, Lizzie. "Folding Fractal Art from 49,000 Business Cards". Retrieved 8 May 2017.
- W., Weisstein, Eric. "Tetrix". mathworld.wolfram.com. Retrieved 8 May 2017.
- 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.
- Zhou, Li (2007), "Problem 11208: Chromatic numbers of the Menger sponges", American Mathematical Monthly, 114 (9): 842
|Wikimedia Commons has media related to Menger sponges.|
- 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 Animations — Menger sponge animations up to level 9, discussion of optimization for 3d.
- 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
- Woolly Thoughts Level 2 Menger Sponge by two "Mathekniticians"