Menger-Schwamm

Iteriertes Funktionensystem

Der Menger-Schwamm oder mengersche Schwamm (auch: Menger-Kurve) gehört wie das Sierpinski-Dreieck und die Koch-Kurve zu den Objekten der fraktalen Geometrie. Der nach Karl Menger benannte Schwamm wurde zum ersten Mal 1926 in seiner Arbeit über Dimensionalität von Punktmengen beschrieben.[1] Der mengersche Schwamm ist eine dreidimensionale Entsprechung der Cantor-Menge oder des Sierpinski-Teppichs.

Menger-Schwamm nach dem 4. Iterationsschritt

Formale DefinitionBearbeiten

Formal lässt sich ein Menger-Schwamm M auf folgende Weise definieren:

 

wobei M0 den Einheitswürfel bezeichnet und

 

KonstruktionBearbeiten

 
Schrittweise Konstruktion des Menger-Schwamms

Überträgt man das Konstruktionsprinzip des Sierpinski-Teppichs auf einen Würfel, erhält man ein Gebilde, das einem Schwamm ähnelt.

So wird für die Konstruktion eines Sierpinski-Teppichs ein Quadrat - und anschließend analog jedes seiner Teilquadrate - in jeweils   Teilquadrate zerlegt, woraufhin man eines dieser 9 Teilquadrate entfernt, was in den ersten fünf Iterationsstufen zu folgenden Ergebnissen führt:

Analog wird zur Konstruktion eines Menger-Schwamms ein Würfel - und nachfolgend jeder seiner Teilwürfel - in jedem Iterationsschritt in   Teilwürfel zerlegt, woraufhin man hier sieben dieser 27 Teilwürfel wieder entfernt. Zusammenfassend lässt sich die Konstruktionsvorschrift des Menger-Schwamms damit wie folgt formulieren:

 
Entstehungsreihe des Menger-Schwamms vom Einheitswürfel bis zum 4. Iterationsschritt
  1. Startfigur ist ein Würfel.
  2. Man unterteilt jede Oberfläche des Würfel in 9 Quadrate, diese unterteilen den Würfel in 27 kleinere Würfel, ähnlich dem Zauberwürfel.
  3. Jeder Würfel in der Mitte jeder Oberfläche und der Würfel im Inneren des großen Würfels wird entfernt. Es verbleibt ein durchlöcherter Würfel, der aus 20 Würfeln mit jeweils   des Volumens des Ausgangswürfels besteht. Damit ist der neue Würfel der ersten Ordnung entstanden.
  4. Die Schritte 1 bis 3 dieses Verfahren werden auf jeden verbleibenden kleineren Würfel angewendet.

Das sukzessive Fortfahren dieses Verfahrens führt mit jedem Iterationsschritt zur weiteren Aushöhlung des Würfels. Führt man das Verfahren unendlich weiter, ergibt sich das Fraktal Menger-Schwamm.

Mathematische ZusammenhängeBearbeiten

Als klassisches Fraktal ist der Menger-Schwamm ein Musterbeispiel für exakte Selbstähnlichkeit: Die in jedem Schritt erzeugten Teilwürfel enthalten verkleinerte exakte Kopien des gesamten Fraktals. Eine passende Skalierung eines beliebigen würfelförmigen Teils des Fraktals erscheint wie das Gesamtobjekt selbst. Es ist somit skaleninvariant.

Nach   Iterationsschritten bleiben   Teilwürfel gleicher Seitenlänge übrig und es werden   Würfel verschiedener Seitenlänge entfernt.

Die folgende Tabelle zeigt die Anzahlen der verschiedenen Teilwürfel des Menger-Schwamms nach   Iterationsschritten für  :

Anzahl der Teilwürfel
Iterationsschritt übriggeblieben neu gelöscht insgesamt gelöscht insgesamt
k 20k 20k − 1 (20k − 1) / 19 (20k + 1 − 1) / 19
0 1 0 0 1
1 20 1 1 21
2 400 20 21 421
3 8000 400 421 8421
4 160000 8000 8421 168421

Volumen und OberflächeBearbeiten

Allgemein gilt für den Menger-Schwamm, dass er nach   Iterationsschritten aus   einzelnen Würfeln der entsprechenden Iterationsstufe besteht. Anders ausgedrückt erhält man 20 Kopien des Würfels bei Reduzierung der Kantenlänge auf  . Die Seite des jeweils ausgehöhlten Würfels beträgt in Abhängigkeit vom Iterationsschritt  . Daraus leitet sich das Volumen für Menger-Schwamm nach dem Iterationsschritt   ab:  . Durch die fortwährende Aushöhlung konvergiert das Volumen im Grenzfall   gegen 0, während die Oberfläche   für   gegen unendlich strebt.[2] Die Konvergenzgeschwindigkeit ist dabei vergleichsweise schnell. Bereits ab dem 16. Konstruktionsschritt sind nur noch 1 Prozent des Volumens vom Einheitswürfel M0 vorhanden.

Fraktale DimensionBearbeiten

Der genaue Wert der Hausdorff-Dimension des Menger-Schwamms ergibt sich aus der Definition:

 

Der „Körper“ des Menger-Schwamms besitzt demnach eine Hausdorff-Dimension kleiner als 3 im Gegensatz zu nicht-fraktalen, tatsächlich dreidimensionalen Körpern, während gleichzeitig seine Oberfläche eine Hausdorff-Dimension größer als 2 besitzt - im Gegensatz zur zweidimensionalen Oberfläche nicht-fraktaler Körper. Oder anders ausgedrückt: Der Menger-Schwamm ist ein Gebilde, das eine fraktale Dimension besitzt, die zwischen einer zweidimensionalen Fläche und einem dreidimensionalen Würfel liegt.[3]

Zusammenhang mit dem WürfelgitterBearbeiten

 
Das Würfelgitter, eine Raumfüllung

Der Menger-Schwamm steht im Zusammenhang mit dem Würfelgitter, das den euklidischen Raum vollständig mit kongruenten Würfeln ausfüllt (siehe Abbildung). Dieses Würfelgitter ist spiegelsymmetrisch, punktsymmetrisch, drehsymmetrisch und translationssymmetrisch und eine regelmäßige dreidimensionale Parkettierung (Raumfüllung).

Das Würfelgitter ist eine feinere Zerlegung des Menger-Schwamms nach dem Iterationsschritt  . Dabei werden die gelöschten Würfel des Iterationschritts  , deren Kantenlänge um den Faktor   größer als die Kantenlänge der übriggebliebenen Würfel ist, jeweils in   kongruente Würfel mit dieser Kantenlänge zerlegt. Das äußere Gebiet, das theoretisch ins Unendliche des dreidimensionalen Raums geht, wird ebenfalls in solche Würfel zerlegt. Der Menger-Schwamm nach dem Iterationsschritt   überdeckt ziemlich offensichtlich   Würfel des Würfelgitters.

EigenschaftenBearbeiten

Jede Seitenfläche des Menger-Schwamms ist ein Sierpinski-Teppich. Außerdem ergibt der Schnitt des Gebildes mit einer Diagonalen oder Mittellinie der Seitenfläche des Einheitswürfels M0 die Cantor-Menge. Als Schnittmenge abgeschlossener Mengen handelt es sich beim Menger-Schwamm topologisch betrachtet um eine abgeschlossene Menge, und nach dem Überdeckungssatz von Heine-Borel ist diese auch kompakt. Er ist außerdem überabzählbar und sein Lebesgue-Maß ist 0.

Menger zeigte 1926, dass die Lebesgue’sche Überdeckungsdimension des Schwamms zur entsprechenden Kurve gleich ist. Sie ist damit eine sogenannte räumliche Universalkurve und ist in der Lage, sämtliche Kurven mit einer Dimension ≥3 darzustellen (→ Homöomorphismus).[4] Beispielsweise lassen sich damit Geometrien der Schleifenquantengravitation in einen Menger-Schwamm einbetten.

Der Menger-Schwamm besitzt eine selbstähnliche Struktur.

UniversalitätBearbeiten

Die Menger-Kurve ist die universelle Kurve, d. h. jeder eindimensionale kompakte metrische Raum lässt sich in die Menger-Kurve einbetten.

Bedeutung in der GruppentheorieBearbeiten

In der Geometrischen Gruppentheorie definiert man zu jeder endlich erzeugten Gruppe eine Metrik auf dem Cayley-Graphen und, falls die Gruppe wort-hyperbolisch ist, den „Rand im Unendlichen“ des Graphen. Viele Eigenschaften endlich erzeugter unendlicher Gruppen lassen sich aus diesem Rand im Unendlichen ableiten.

Dahmani, Guirardel und Przytycki haben (aufbauend auf Ergebnissen von Kapovich und Kleiner) bewiesen, dass in gewissem Sinne fast alle endlich erzeugten Gruppen als Rand den Menger-Schwamm haben.

Um dieses Ergebnis präzise zu formulieren braucht man zunächst den Begriff der „überwältigenden Wahrscheinlichkeit“. Dieser ist wie folgt definiert. Zu einer Zahl   mit   betrachte man alle Gruppen mit   Erzeugern und (höchstens)   Relationen der Länge (höchstens)  . Eine Eigenschaft   trifft (für das gewählte  ) mit überwältigender Wahrscheinlichkeit zu, wenn für jedes   gilt: für   geht der Anteil der Gruppen mit der Eigenschaft   gegen 100 %.

Mit dieser Definition kann man dann Wahrscheinlichkeitsaussagen über Gruppen formulieren und beweisen. Gromow hat bewiesen, dass man für   mit überwältigender Wahrscheinlichkeit die triviale Gruppe oder Z/2Z (die Gruppe mit 2 Elementen) bekommt. Deshalb betrachtet man in der Theorie der zufälligen Gruppen nur den Fall  .

Für   bekommt man nach Gromow mit überwältigender Wahrscheinlichkeit eine hyperbolische Gruppe   mit kohomologischer Dimension   und deshalb eindimensionalem Rand.

Für eindimensionale Ränder hyperbolischer Gruppen gibt es nach einem Satz von Kapovich-Kleiner nur 3 Möglichkeiten: den Kreis, den Sierpinski-Teppich oder den Menger-Schwamm. Die ersten beiden Möglichkeiten kommen nach Ergebnissen von Kapovich-Kleiner und Dahmani-Guirardel-Przytycki „mit überwältigender Wahrscheinlichkeit“ nicht vor, weshalb also im einzig interessanten Fall   der Rand mit überwältigender Wahrscheinlichkeit ein Menger-Schwamm ist.

LiteraturBearbeiten

  • Karl Menger: Dimensionstheorie, B.G Teubner Publishers, Leipzig 1928.
  • Karl Menger: Über die Dimensionalität von Punktmengen (Erster Teil) im Jahr 1923 Monatshefte für Mathematik und Physik (Heft 33), Seiten 148–160. doi:10.1007/BF01705597
  • Karl Menger: Über die Dimensionalität von Punktmengen (Zweiter Teil), im Jahr 1926, Monatshefte für Mathematik und Physik (Heft 34). doi:10.1007/BF01694895
  • Benoît Mandelbrot: Die fraktale Geometrie der Natur. Birkhäuser Verlag Basel, Boston, Berlin 1991, ISBN 3-7643-2646-8.
  • François Dahmani, Vincent Guirardel, Piotr Przytycki: Random groups do not split. Math. Ann. 349 (2011), no. 3, 657–673, (online)
  • Michail Kapovich, Bruce Kleiner: Hyperbolic groups with low-dimensional boundary. Ann. Sci. Ecole Sup. (4) 33 (2000), no.5, 647-669, (online)

WeblinksBearbeiten

Commons: Menger-Schwamm – Sammlung von Bildern, Videos und Audiodateien

EinzelnachweiseBearbeiten

  1. Karl Menger: Über die Dimension von Punktmengen: II. Teil. In: Monatshefte für Mathematik und Physik. Band 34, Nr. 1, Dezember 1926, ISSN 0026-9255, S. 137–161, doi:10.1007/BF01694895 (springer.com [abgerufen am 4. November 2020]).
  2. D. Pagon, Fraktale Geometrie – Eine Einführung, Vieweg (2000), ISBN 3-528-03152-2, S. 22.
  3. Wolfram MathWorld: Menger Sponge
  4. Mandelbrot: Die fraktale Geometrie der Natur, S 156.