# 门格海绵

An illustration of M4, the sponge after four iterations of the construction process

An illustration of M4, the sponge after four iterations of the construction process

In mathematics, the Menger sponge (also known as the Menger cube, Menger universal curve, Sierpinski cube, or Sierpinski sponge)[1][2][3] is a fractal curve. It is a three-dimensional generalization of the one-dimensional Cantor set and two-dimensional Sierpinski carpet. It was first described by Karl Menger in 1926, in his studies of the concept of topological dimension.[4][5]

In mathematics, the Menger sponge (also known as the Menger cube, Menger universal curve, Sierpinski cube, or Sierpinski sponge) is a fractal curve. It is a three-dimensional generalization of the one-dimensional Cantor set and two-dimensional Sierpinski carpet. It was first described by Karl Menger in 1926, in his studies of the concept of topological dimension.

## Construction

Image 3: A sculptural representation of iterations 0 (bottom) to 3 (top).

Image 3: A sculptural representation of iterations 0 (bottom) to 3 (top).

The construction of a Menger sponge can be described as follows:

The construction of a Menger sponge can be described as follows:

1. Begin with a cube.
Begin with a cube.

1. Divide every face of the cube into nine squares, like Rubik's Cube. This sub-divides the cube into 27 smaller cubes.
Divide every face of the cube into nine squares, like Rubik's Cube. This sub-divides the cube into 27 smaller cubes.

1. 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. This is a level-1 Menger sponge (resembling a void cube).
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. This is a level-1 Menger sponge (resembling a void cube).

1. Repeat steps two and three for each of the remaining smaller cubes, and continue to iterate ad infinitum.
Repeat steps two and three for each of the remaining smaller cubes, and continue to iterate ad infinitum.

The second iteration gives a level-2 sponge, the third iteration gives a level-3 sponge, and so on. The Menger sponge itself is the limit of this process after an infinite number of iterations.

The second iteration gives a level-2 sponge, the third iteration gives a level-3 sponge, and so on. The Menger sponge itself is the limit of this process after an infinite number of iterations.

An illustration of the iterative construction of a Menger sponge up to M3, the third iteration

An illustration of the iterative construction of a Menger sponge up to M3, the third iteration

Menger sponge animation through (4) recursion steps
Menger sponge animation through (4) recursion steps

## Properties

Hexagonal cross-section of a level-4 Menger sponge. See a series of cuts perpendicular to the space diagonal.

series of cuts perpendicular to the space diagonal.]]

[一系列垂直于空间对角线的切割]

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.[6][7] 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.

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.[8] The number of these hexagrams, in descending size, is given by $\displaystyle{ a_n=9a_{n-1}-12a_{n-2} }$, with $\displaystyle{ a_0=1, \ a_1=6 }$[9].

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 number of these hexagrams, in descending size, is given by $\displaystyle{ a_n=9a_{n-1}-12a_{n-2} }$, with $\displaystyle{ a_0=1, \ a_1=6 }$.

The sponge's Hausdorff dimension is 模板:Sfrac ≅ 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 模板:Interlanguage link multi 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 sponge's Hausdorff dimension is ≅ 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 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.

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.

Experiments also showed that for the same material, cubes with a Menger sponge structure could dissipate shocks five times better than a cubes without any pores.[10]

Experiments also showed that for the same material, cubes with a Menger sponge structure could dissipate shocks five times better than a cubes without any pores.

Cubes with Menger fractal structures after shockwave loading. The color indicates the temperature rise associated with plastic deformation.[10]

Cubes with Menger fractal structures after shockwave loading. The color indicates the temperature rise associated with plastic deformation. In 2014, twenty level-three Menger sponges were constructed, which combined would form a distributed level-four Menger sponge. The name comes from a face of the cube resembling a [[Jerusalem cross pattern.

## Formal definition

The construction of the Jerusalem cube can be described as follows:

Formally, a Menger sponge can be defined as follows:

Cut a cross through each side of the cube, leaving eight cubes (of rank +1) at the corners of the original cube, as well as twelve smaller cubes (of rank +2) centered on the edges of the original cube between cubes of rank +1.

$\displaystyle{ M := \bigcap_{n\in\mathbb{N}} M_n }$
Repeat the process on the cubes of rank 1 and 2.

where M0 is the unit cube and

3D-printed model Jerusalem cube

3d 打印模型耶路撒冷立方体

$\displaystyle{ M_{n+1} := \left\{\begin{matrix} Each iteration adds eight cubes of rank one and twelve cubes of rank two, a twenty-fold increase. (Similar to the Menger sponge but with two different-sized cubes.) Iterating an infinite number of times results in the Jerusalem cube. 每次迭代增加8个秩为1的立方体和十二个秩为2的立方体，增加了20倍。(类似门格尔海绵，但有两个不同大小的立方体。)迭代无限次将导致耶路撒冷立方体。 (x,y,z)\in\mathbb{R}^3: & \begin{matrix}\exists i,j,k\in\{0,1,2\}: (3x-i,3y-j,3z-k)\in M_n \\ \mbox{and at most one of }i,j,k\mbox{ is equal to 1}\end{matrix} [[File:Sierpinskisnowflake.gif|thumb|right|326x326px| Sierpinski-Menger snowflake. Eight corner cubes and the one central cube are kept [文件: Sierpinskisnowflake.gif | thumb | right | 326x326px | Sierpinski-Menger 雪花。保留了八个角立方体和一个中心立方体 \end{matrix}\right\}. }$

each time at the lower and lower recursion steps. This peculiar three dimensional fractal has the Hausdorff dimension of the natively two dimensional object like the plane i.e. =2]]

## MegaMenger

A model of a tetrix viewed through the centre of the Cambridge Level-3 MegaMenger at the 2015 Cambridge Science Festival

One of the MegaMengers, at the University of Bath

MegaMenger was 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 six 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.[11] In 2014, twenty level-three Menger sponges were constructed, which combined would form a distributed level-four Menger sponge.[12]

## Similar fractals

### Jerusalem cube

Third iteration Jerusalem cube

A Jerusalem cube is a fractal object described by Eric Baird in 2011. It is created by recursively drilling Greek cross-shaped holes into a cube.[13][14] The name comes from a face of the cube resembling a Jerusalem cross pattern.

The construction of the Jerusalem cube can be described as follows:

1. Cut a cross through each side of the cube, leaving eight cubes (of rank +1) at the corners of the original cube, as well as twelve smaller cubes (of rank +2) centered on the edges of the original cube between cubes of rank +1.
1. Repeat the process on the cubes of rank 1 and 2.

3D-printed model Jerusalem cube

Each iteration adds eight cubes of rank one and twelve cubes of rank two, a twenty-fold increase. (Similar to the Menger sponge but with two different-sized cubes.) Iterating an infinite number of times results in the Jerusalem cube.

### Others

Sierpinski-Menger snowflake. Eight corner cubes and the one central cube are kept each time at the lower and lower recursion steps. This peculiar three dimensional fractal has the Hausdorff dimension of the natively two dimensional object like the plane i.e. 模板:Sfrac=2

• A tetrix is a tetrahedron-based fractal made from four smaller copies, arranged in a tetrahedron.[16]

Category:Iterated function system fractals

Category:Curves

Category:Topological spaces

## References

Category:Cubes

1. Beck, Christian; Schögl, Friedrich (1995) (in en). Thermodynamics of Chaotic Systems: An Introduction. Cambridge University Press. pp. 97. ISBN 9780521484510.
2. Bunde, Armin; Havlin, Shlomo (2013) (in en). Fractals in Science. Springer. p. 7. ISBN 9783642779534.
3. Menger, Karl (2013) (in en). Reminiscences of the Vienna Circle and the Mathematical Colloquium. Springer Science & Business Media. pp. 11. ISBN 9789401111027.
4. Menger, Karl (1928), Dimensionstheorie, B.G Teubner Publishers
5. 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
6. Wolfram Demonstrations Project, Volume and Surface Area of the Menger Sponge
7. University of British Columbia Science and Mathematics Education Research Group, Mathematics Geometry: Menger Sponge
8. Chang, Kenneth (27 June 2011). "The Mystery of the Menger Sponge". Retrieved 8 May 2017 – via NYTimes.com.
9. "A299916 - OEIS". oeis.org. Retrieved 2018-08-02.
10. Dattelbaum, Dana M.; Ionita, Axinte; Patterson, Brian M.; Branch, Brittany A.; Kuettner, Lindsey (2020-07-01). "Shockwave dissipation by interface-dominated porous structures". AIP Advances. 10 (7): 075016. doi:10.1063/5.0015179.
11. Tim Chartier. "A Million Business Cards Present a Math Challenge". Retrieved 2015-04-07.
12. "MegaMenger". Retrieved 2015-02-15.
13. Robert Dickau (2014-08-31). "Cross Menger (Jerusalem) Cube Fractal". Robert Dickau. Retrieved 2017-05-08.
14. Eric Baird (2011-08-18). "The Jerusalem Cube". Alt.Fractals. Retrieved 2013-03-13., published in Magazine Tangente 150, "l'art fractal" (2013), p. 45.
15. Wade, Lizzie. "Folding Fractal Art from 49,000 Business Cards". Retrieved 8 May 2017.
16. W., Weisstein, Eric. "Tetrix". mathworld.wolfram.com. Retrieved 8 May 2017.

Category:Fractals

This page was moved from wikipedia:en:Menger sponge. Its edit history can be viewed at 门格海绵/edithistory