PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Viewing Version 18 of 'Menger sponge'
[ view 'Menger sponge' | back to history ]

Title of object: Menger sponge
Canonical Name: MengerSponge
Type: Definition

Created on: 2004-06-27 03:02:10
Modified on: 2007-06-05 06:48:52

Creator: mathwizard
Modifier: mathwizard
Author: mathwizard
Author: yark
Author: wnoise

Classification: msc:28A80
Keywords: fractal
Defines: Sierpinski carpet

Preamble:

% this is the default PlanetMath preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here
Content:

\PMlinkescapeword{divisions}
\PMlinkescapeword{equivalent}
\PMlinkescapeword{unit}

A \emph{Sierpinski carpet} is the set of all points $(x, y)$ such that $x$ or $y$ is in
a Cantor set. An equivalent and perhaps simpler definition is:

Let $S_0$ be a unit square. Let $S_{n+1}$ be $S_n$, with each square divided
into ninths, by being divided into thirds horizontally and vertically, and the central resulting square removed, and the other resulting squares treated separately in further divisions. The limit as $n \to \infty$ of $S_n$ is a Sierpinski carpet.

The \emph{Menger sponge} is a fractal embedded in 3-dimensional space. It can be seen as a 3-d generalization of the Sierpinski carpet, which is itself a 2-dimensional generalization of the Cantor set. The Menger sponge is almost always represented as being constructed from Cantor sets using the ``middle third'' rule.

The Menger sponge consists of all points $(x, y, z)$ such that $(x, y)$, $(y,z)$, and $(x,z)$ are all in Sierpinski carpets. Each ``face'' is a Sierpinski carpet.

Similarily to the Sierpinski carpet the Menger sponge can be constructed in the following way:

Start with a unit cube and split it into 27 smaller cubes of equal size. Remove the central cube and the ones joining a face with it. Then start over with the remaining smaller cubes.

\begin{figure}[h]
\begin{centering}
\includegraphics[scale=0.4]{menger.ps}
\caption{An iteration of the Menger sponge -- created in Blender 2.35.
(The \PMlinktofile{Blender file}{menger.blend} for this picture.)}\label{fig:menger}
\end{centering}
\end{figure}