Geometric
Sierpinski carpet
Wacław Sierpiński introduced the carpet in 1916 as a 2D analogue of the Cantor set: subdivide a unit square into a 3 × 3 grid, remove the central sub-square, and recurse on the other eight. The carpet is a universal space for one-dimensional planar continua.
At a glance
| Designer | Wacław Sierpiński, 1916 |
|---|---|
| Hausdorff dimension | log3(8) ≈ 1.8928 |
| Topological dimension | 1 |
| Lebesgue measure | Zero |
| Self-similar copies | 8 copies at scale 1/3 |
Construction
- Start with the unit square
[0, 1]². - Subdivide into a 3 × 3 grid of nine sub-squares.
- Remove the central sub-square.
- Recurse on the remaining eight.
Universal curve
Whyburn proved that every planar continuum of topological dimension 1 with no interior embeds homeomorphically into the Sierpinski carpet. In 3D the same role is played by the Menger sponge.
Where it appears
- Antenna design: Sierpinski-carpet patches are wideband.
- 3D-printed metamaterials: carpet-patterned stiffness profiles.
- Mathematical universality: planar continuum embedding theorem.
References
- Sierpiński, W., “Sur une courbe cantorienne qui contient une image biunivoque et continue de toute courbe donnée,” Comptes Rendus, 1916.
- Whyburn, G., Analytic Topology, AMS, 1942.
- Sierpinski triangle · Menger sponge
Try it
Run an interactive playground at /tools/sierpinski-carpet.
Quick quiz
Test yourself on sierpinski-carpet
8 multiple-choice questions. Pick an answer for each, then submit to see explanations.
Q1.Hausdorff dimension of the Sierpinski carpet is:
Q2.How many sub-squares survive each iteration of the carpet?
Q3.The Sierpinski carpet is universal for which class of spaces?
Q4.The 3D analogue of the Sierpinski carpet is the:
Q5.Lebesgue measure of the Sierpinski carpet is:
Q6.The Sierpinski carpet was introduced by Sierpinski in:
Q7.An IFS for the carpet uses how many maps with what scale?
Q8.The carpet has topological dimension: