Math 2.0

General topology Continua and dimension theory Example

Menger sponge

Builds on Compact spaceConnected spaceLebesgue covering dimensionSierpiński carpet

Example

Let M0=[0,1]3M_0 = [0, 1]^3. Divide each cube of side 3−k3^{-k} in MkM_k into 2727 equal cubes of side 3−k−13^{-k-1}. Remove the interiors of the central cube and of the 66 cubes that share a face with it. The union of the other 2020 cubes is Mk+1M_{k+1}. The Menger sponge is M=⋂k≥0MkM = \bigcap_{k \ge 0} M_k.

The set MM is a continuum. Each MkM_k is a finite union of closed cubes, so it is compact. It is connected: the 2020 kept cubes in each divided cube are the 1212 edge cubes and 88 corner cubes, which form a connected frame. A decreasing intersection of nonempty compact connected sets is nonempty, compact and connected.

Remarks

The set MkM_k has volume (20/27)k(20/27)^k, so MM has volume 00. Its Hausdorff dimension is log⁡20/log⁡3≈2.727\log 20 / \log 3 \approx 2.727. Its Lebesgue covering dimension is 11, so topologically it is a curve. Each face of the cube meets MM in a Sierpiński carpet. Menger showed that every compact metric space of dimension at most 11 embeds in MM, so MM is a universal curve.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Compact space concept
  2. Connected space concept
  3. Lebesgue covering dimension concept
  4. Sierpiński carpet example
  5. Menger sponge example

Further reading

  1. Web https://en.wikipedia.org/wiki/Menger_sponge
About this page
TagWSKWY54JDN
URIm2://WSKWY54JDN
Kindexample
WritingW0 stub
MSC54F15, 28A80, 54F50
Instance ofContinuum
UsesCompact space, Connected space, Lebesgue covering dimension, Sierpiński carpet
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.