Menger Sponge

Visualization

@
$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/3$ followed by translations to the 20 retained positions in $\{0,1,2\}^3$. The removed positions are the center $(1,1,1)$ and the six face centers $(1,1,0)$, $(1,1,2)$, $(1,0,1)$, $(1,2,1)$, $(0,1,1)$, $(2,1,1)$.

Each map has the form:

The Hausdorff dimension is:

Properties

• The sponge has zero volume but infinite surface area.
• Every cross-section perpendicular to a main axis is a Sierpiński carpet.
• The sponge is topologically one-dimensional — every loop can be contracted to a point within the sponge — despite its fractal dimension of ≈ 2.727.

References

• Menger, K. (1926). Allgemeine Räume und Cartesische Räume. Proceedings of the Section of Sciences, 29, 476–482.
• Menger sponge — Wikipedia

Similar