IFS Encyclopedia

Menger Sponge

Fractal dimension: ≈ 2.727
Boundary dimension: ≈ 1.8928

Visualization

Open in IFStile ↗
AIFS program
@
$dim=3
A=3^-1*([0,0,0]|[0,0,1]|[0,0,2]|[0,1,0]|[0,1,2]|[0,2,0]|[0,2,1]|[0,2,2]|[1,0,0]|[1,0,2]|[1,2,0]|[1,2,2]|[2,0,0]|[2,0,1]|[2,0,2]|[2,1,0]|[2,1,2]|[2,2,0]|[2,2,1]|[2,2,2])*A

Overview

The Menger sponge is the 3D analog of the Sierpiński carpet, constructed by Karl Menger in 1926 as an example of a universal curve (a compact, connected, locally connected topological space that contains a topological copy of every curve).

Start with a unit cube. Divide it into 27 sub-cubes in a 3×3×3 grid. Remove the center sub-cube and the 6 face-center sub-cubes — the 7 that share a face center with the original. This leaves 20 sub-cubes. Repeat the procedure for each remaining sub-cube indefinitely.

Algebraic Structure

The 20 maps are pure scalings by 1/31/3 followed by translations to the 20 retained positions in {0,1,2}3\{0,1,2\}^3. The removed positions are the center (1,1,1)(1,1,1) and the six face centers (1,1,0)(1,1,0), (1,1,2)(1,1,2), (1,0,1)(1,0,1), (1,2,1)(1,2,1), (0,1,1)(0,1,1), (2,1,1)(2,1,1).

Each map has the form:

fijk(x)=13x+13(i,j,k)(i,j,k){0,1,2}3{(1,1,1),(1,0,1),(1,2,1),(0,1,1),(2,1,1),(1,1,0),(1,1,2)}f_{ijk}(\mathbf{x}) = \tfrac{1}{3}\mathbf{x} + \tfrac{1}{3}(i,j,k) \quad (i,j,k) \in \{0,1,2\}^3 \setminus \{(1,1,1),\,(1,0,1),\,(1,2,1),\,(0,1,1),\,(2,1,1),\,(1,1,0),\,(1,1,2)\}

The Hausdorff dimension is:

d=log20log32.727d = \frac{\log 20}{\log 3} \approx 2.727

Properties

Boundary Dimension

The boundary A\partial A (the surface of the sponge) has Hausdorff dimension

dimH(A)=log8log3=3log2log31.893.\dim_H(\partial A) = \frac{\log 8}{\log 3} = \frac{3\log 2}{\log 3} \approx 1.893.

At each scale step, the surface is divided into 88 self-similar pieces each scaled by 1/31/3, giving the Moran equation 8(1/3)d=18 \cdot (1/3)^d = 1.

Each axis-aligned face of the sponge is a Sierpiński carpet lying in a flat Euclidean plane: the face-center sub-cubes are exactly the ones removed at every scale, so the outer surface consists of six planar cross-sections — each a 2D Sierpiński carpet with its own fractal structure and dimH=log8/log31.893\dim_H = \log 8 / \log 3 \approx 1.893. The faces are flat but not straight-edged polygons.

References

Similar

Jerusalem Cube
3dself-similaralgebraic
Mekhontsev Wedge
3dself-similarrep-tilealgebraic
Octahedron Fractal
3dself-similaralgebraic
Edit this page on GitHub ↗