Menger Sponge

The Menger sponge is a fractal solid. It is also known as the Menger-Sierpinski sponge or, incorrectly, the Sierpinski sponge. It is a three-dimensional extension of the Cantor set and Sierpinski carpet, with Hausdorff dimension (ln 20) / (ln 3) (approx. 2,726833). It was first described by Austrian mathematician Karl Menger in 1927.

Construction

bgcolor="#F0F7FF"|
bgcolor="#F0F7FF"|Construction of a Menger sponge can be visualized as follows:
  1. Begin with a cube, (first image).
  2. Shrink the cube to 1/3 of its original size and make 20 copies of it.
  3. Place the copies so they will form a new cube of the same size as the original one but lacking the centerparts, (next image).
  4. Repeat the process from step 2 for each of the remaining smaller cubes.
After an infinite number of iterations, a Menger sponge will remain.
The number of cubes increases by : 20^n. Where n is the number of iterations performed on the first cube: Iters>
width="40%"|Cubes width="40%"|Sum
align="center"| 0 align="left"| 1 align="left"| 1
align="center"| 1 align="left"| 20 align="left"| 21
align="center"| 2 align="left"| 400 align="left"| 421
align="center"| 3 align="left"| 8,000 align="left"| 8,421
align="center"| 4 align="left"| 160,000 align="left"| 168,421
align="center"| 5 align="left"| 3,200,000 align="left"| 3,368,421
align="center"| 6 align="left"| 64,000,000 align="left"| 67,368,421
''At the first level, no iterations are performed, (20 n=0 = 1).

Properties

Each face of the Menger sponge is a Sierpinski carpet; furthermore, any intersection of the Menger sponge with a diagonal or medium of the initial cube M0 is a Cantor set. The Menger sponge is a closed set; since it is also bounded, the Heine-Borel theorem yields that it is compact. Furthermore, the Menger sponge is uncountable and has Lebesgue measure 0. As Peitgen, Jrgens and Saupe showed in 1992, the Menger sponge is also a super-object for all compact one-dimensional objects; that is, a topological equivalent of any compact one-dimensional object can be found in the Menger sponge.

Formal definition

Formally, a Menger sponge can be defined as follows:
M := \bigcap_{n\in\mathbb{N}} M_n
where M0 is the unit cube and
M_{n+1} := \left\{\begin{matrix}
(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} \end{matrix}\right\}

See also

External links

 

<< PreviousWord BrowserNext >>
lovedean
southern finland
eastern finland
shotokan
world values survey
ferdinando fairfax, 2nd baron fairfax of cameron
dakotamys
west wycombe
west wycombe caves
3
thirty year rule
regions of oulu
forillon national park
black mask
financial mathematics
cimexomys
kevin wilkinson
oulu
uttaranchal
lillian hellman
joseph shaw
sandhurst
royal military academy sandhurst
string rewriting system
james clark ross
eddington luminosity
the blue dahlia
fits
bury st edmunds
progress of the sars outbreak
eurovision song contest 1999
weird tales
seabury quinn
jules de grandin
edmund allenby, 1st viscount allenby
bodo
baglama
financial institution
bouzouki
financial supervision
banking license
shearwater
cedaromys
deposit