Banach-Tarski-Paradoxon

Aussage der Mathematik
(Weitergeleitet von Banach-Tarski-Paradox)

Das Banach-Tarski-Paradoxon oder auch Satz von Banach und Tarski ist eine Aussage der Mathematik, die demonstriert, dass sich der anschauliche Volumenbegriff nicht auf beliebige Punktmengen verallgemeinern lässt. Danach kann man eine Kugel in drei oder mehr Dimensionen derart zerlegen, dass sich ihre Teile wieder zu zwei lückenlosen Kugeln zusammenfügen lassen, von denen jede denselben Durchmesser hat wie die ursprüngliche. Das Volumen verdoppelt sich, ohne dass anschaulich ersichtlich ist, wie durch diesen Vorgang Volumen aus dem Nichts entstehen können sollte. Dieses Paradoxon demonstriert, dass das mathematische Modell des Raumes als Punktmenge in der Mathematik Aspekte hat, die sich in der physischen Realität nicht wiederfinden. Es stammt von den polnischen Mathematikern Stefan Banach (1892–1945) und Alfred Tarski (1901–1983).

Eine Kugel kann in endlich viele Teile zerlegt werden, aus denen sich zwei Kugeln jeweils von der Größe des Originals zusammensetzen lassen.

Erklärung

Bearbeiten

Erklärt wird das Paradoxon mathematisch formal damit, dass die Kugelteile dermaßen kompliziert geformt sind, dass ihr Volumen nicht mehr in einem geeigneten Sinne definierbar ist. Genauer: Es ist unmöglich, auf der Menge aller Teilmengen des dreidimensionalen Raumes   einen bewegungsinvarianten Inhalt zu definieren, der Kugeln ein Volumen ungleich null oder unendlich zuordnet. Ein Inhalt ist eine Funktion, die jeder Menge aus einem vorgegebenen Bereich von Mengen eine nicht-negative reelle Zahl oder unendlich zuordnet, Volumen der Menge genannt, sodass insbesondere das Volumen der Vereinigung zweier sich nicht überschneidender Mengen gleich der Summe der Volumina der einzelnen Mengen ist. Ein Inhalt ist bewegungsinvariant, wenn sich das Volumen einer Menge bei Drehungen, Verschiebungen und Spiegelungen nicht verändert. Jeder mathematische Volumenbegriff, der ein bewegungsinvarianter Inhalt oder gar ein bewegungsinvariantes Maß sein soll, muss daher so eingeschränkt werden, dass er für bestimmte Mengen, wie diese Mengen, in die sich die Kugel zerlegen lässt, nicht definiert ist. Etwa definiert man das Volumen dann nur für Mengen, die in der Borelschen σ-Algebra liegen oder Lebesgue-messbar sind. Hierzu zählen diese Mengen nicht. Sie sind in einem gewissen Sinne unendlich filigran und porös bzw. staubwolkenartig. Die mathematische Existenz solcher Mengen ist nicht selbstverständlich: Zum Beweis der Existenz von nicht messbaren Teilmengen im  -dimensionalen, reellen Raum   benötigt man das Auswahlaxiom oder schwächere Formen davon, die nicht aus der Zermelo-Fraenkel-Mengenlehre herleitbar sind. Messbare Punktmengen hingegen verhalten sich hinsichtlich ihres Volumens additiv.

Die polnischen Mathematiker Stefan Banach und Alfred Tarski führten 1924 einen mathematischen Existenzbeweis und zeigten, dass im Fall der Kugel eine Zerlegung in nur sechs Teile ausreichend sei. Unmöglich hingegen ist ein konstruktiver Beweis im Sinne einer Handlungsanweisung, wie eine Kugel tatsächlich in sechs Teile zu zerschneiden ist, um diese in zwei Kugeln gleichen Volumens zusammensetzen zu können.

Allgemeine Formulierung

Bearbeiten

In einer allgemeineren Formulierung dieses Satzes können sich Ausgangs- und Endkörper durch einen beliebigen Volumenfaktor unterscheiden und bis auf gewisse Einschränkungen auch beliebige, verschiedene Gestalt besitzen. Die allgemeine Formulierung dieses mathematischen Satzes in Räumen mit drei und mehr Dimensionen lautet:

Sei   eine ganze Zahl und seien   beschränkte Mengen mit nicht-leerem Inneren. Dann gibt es eine natürliche Zahl   und eine disjunkte Zerlegung   von   und zugehörige Bewegungen   derart, dass   die disjunkte Vereinigung der Mengen   ist.

Beweisskizze

Bearbeiten

Der Kern des Beweises fußt auf der Gruppentheorie, da Drehungen im Raum mathematisch als Elemente einer Gruppe beschreibbar sind, die miteinander verknüpft werden sowie auf anderen Objekten operieren können:

Die Verknüpfung mehrerer Drehungen ist wiederum eine Drehung.
Die Verknüpfungsoperation ist assoziativ.
In einer Verknüpfungskette   eliminieren sich die benachbarten Elemente   und   da sie zueinander invers sind. Dies gilt für Drehungen ebenso.
Drehungen operieren auf Punkten oder Punktmengen im Raum, indem sie deren Lage verändern.

Eine Teilmenge einer Gruppe erzeugt eine Untergruppe, indem die Elemente der Teilmenge und ihre Inversen in allen möglichen Kombinationen miteinander verknüpft werden. Ist die Teilmenge endlich, heißt eine solche Untergruppe endlich erzeugt. Die Drehung um 120° ( ) erzeugt beispielsweise eine Untergruppe aus drei Elementen   und ist isomorph zur zyklischen Gruppe  . Prinzipiell ist es möglich, dass die Elemente solch erzeugter Untergruppen mehrere Darstellungen hinsichtlich der Verknüpfung der Erzeuger besitzen. Für den Beweis des Banach-Tarski-Paradoxons wird jedoch eine Gruppe benötigt, bei der dies nicht der Fall ist.

Die freie Gruppe   mit ihren Erzeugern   und   besteht abstrakt definiert aus Wörtern über dem Alphabet  , in denen keine Inversen benachbart sind. Die Verknüpfung der Gruppe stellt die Konkatenation dar, wobei möglicherweise entstandene Invers-Paare iterativ entfernt werden, bis keine solchen Paare im verknüpften Wort mehr vorkommen. Das leere Wort   stellt das neutrale Element der Gruppe dar. Die Darstellung jedes Elements von   als gekürztes Wort ist dabei eindeutig.

(Endlich) erzeugte Gruppen können mit Hilfe eines Cayley-Graphen visualisiert werden. Die Ecken des Graphen sind Elemente der Gruppe, die Kanten sind mit einem Erzeuger assoziiert. Im Cayley-Graphen existiert genau dann eine gerichtete Kante mit der Beschriftung   von der Ecke   zur Ecke  , wenn   ein Erzeuger ist und   gilt. Der Cayley-Graph von   ist ein Dreieck, ist also endlich und besitzt einen Kreis, während der Cayley-Graph von   unendlich viele Ecken sowie Kanten, jedoch keine Kreise besitzt.

Wir definieren nun die Mengen   und  .

  sei dabei die Menge aller Wörter aus  , die links mit   beginnen, analog die anderen S-Mengen. Es ist wichtig zu erkennen, dass für jedes Wort   gilt, da die Darstellung, wie oben gefordert, gekürzt ist.

 
Die Mengen S(a), S(a−1) und aS(a−1) im Cayleygraph von F2

Es gilt nun folgende disjunkte Zerlegung:

 

Es gilt aber auch

 

und

 ,

da

 

und

 

Diese paradoxe Zerlegung von   ist essenziell für die spätere Verdoppelung der Kugel.

Zunächst jedoch müssen wir Drehungen finden, die sich wie die freie Gruppe   verhalten. Drehgruppen wie die   sind nicht geeignet, ebenso ungeeignet sind Erzeuger, die eine Drehung um den Winkel   darstellen, denn wenn  , dann hat die erzeugte Gruppe höchstens   Elemente. Drehen wir um einen irrationalen Bruchteil von  , z. B. mit  , und sei   eine entsprechende Drehung um die x-Achse, sowie   eine um die y-Achse, dann lässt sich zeigen, dass die dabei erzeugte Gruppe isomorph zu   ist.

Gruppenelemente können auf Objekten und Mengen von Objekten operieren; hier sollen Drehungen dies auf Punkten im Raum tun. Sei   eine Menge, auf der eine Gruppe   operiert. Dann ist die Operation eine Funktion   und   für ein festes   die Bahn von   unter  . Übertragen auf die Drehungen ist   die Menge aller Punkte, die vom Ausgangspunkt   über alle erdenklichen Drehungen aus   erreichbar sind. Obwohl der Cayleygraph die Beziehungen der Gruppenelemente untereinander beschreibt, hilft er bei der Veranschaulichung der Bahn eines Objekts. Wenn man den Kreuzpunkt beim neutralen Element   als ein Objekt   betrachtet auf dem   operiert, dann ist die Menge aller Kreuzpunkte im Cayley-Graphen sozusagen die Bahn von   (Unter bestimmten Voraussetzungen, s. u.).

Sei H die zu   isomorphe Drehgruppe, die auf der Einheitssphäre  , d. h. der Oberfläche der Einheitskugel operiert. Die Menge aller Bahnen von H auf   ist eine Partition von  . Alle Bahnen sind paarweise disjunkt und ihre Vereinigung ergibt   selbst. Das Auswahlaxiom erlaubt uns, aus jeder Bahn einen Repräsentanten zu wählen, sei daher   die Menge dieser Repräsentanten. Weiter sei

 , analog für  
 
 
 
 
 

Die Mengen   bis   sind paarweise disjunkt und bilden (bis auf eine Nullmenge) die komplette Sphäre  . Es gilt:

 
 

Die Verdreifachung der Mengen   und   ergibt sich aus der Eigenschaft der zuvor definierten S-Mengen, die sich auch im Cayleygraph widerspiegelt. Werden die roten Elemente von   „nach rechts rotiert“, erhält man die Menge der blauen Elemente von  .

Zuletzt verbinden wir jeden Punkt auf der Sphäre   mit einem Strahl zum Ursprung der Einheitskugel. Die Zerlegung der Sphäre induziert damit eine Zerlegung der Kugel (bis auf den Ursprung), die sich zu zwei Kugeln des Volumens der Ursprungskugel rotieren lässt.

Weitere Aspekte

Bearbeiten

Die obige Beweisskizze hat einige Aspekte ausgeblendet, die für einen abgeschlossenen Beweis betrachtet werden müssen. Die Menge der Kreuzpunkte im Cayleygraphen ist nur dann die Bahn des Mittelpunkts   unter  , wenn die Operation keine Fixpunkte hat, d. h. wenn   für alle  . Für Rotationen auf   ist dies fast korrekt, mit Ausnahme der zwei Pole der Drehung. Da H jedoch abzählbar ist und jedes   H genau zwei Fixpunkte hat, werden nur abzählbar viele Punkte bei der Rotation von   nicht mitrotiert. Es lässt sich aber zeigen, dass, falls   (bei abzählbarem  ) eine paradoxe Zerlegung besitzt, auch für   eine solche existiert (Hausdorff-Paradoxon).

Situation in einer und in zwei Dimensionen

Bearbeiten

In der Ebene und auf der Geraden ist dieser Satz nicht gültig. Dort gibt es bewegungsinvariante Inhalte auf der Menge aller Teilmengen, die Kreisen beziehungsweise Linien ihre üblichen Flächeninhalte beziehungsweise Längen zuordnen. Diese spielen jedoch in der Mathematik kaum eine Rolle, da sie zum einen nicht eindeutig durch die Flächeninhalte von Kreisen bzw. Längen von Linien festgelegt sind,[1] und zudem keine Maße sind, d. h. die Vereinigung abzählbar vieler Mengen, die sich nicht überschneiden, hat unter Umständen einen anderen Inhalt als die Summe (im Sinne einer Reihe) der einzelnen Inhalte. Diese Eigenschaft von Maßen wird jedoch in sehr vielen Situationen benötigt, weshalb man sich auch im ein- und zweidimensionalen in aller Regel mit Inhalten begnügt, die nur auf bestimmten Teilmengen definiert sind, dafür aber sogar Maße sind. Die Nicht-Existenz eines bewegungsinvarianten Maßes auf der Menge aller Teilmengen der Gerade oder Ebene wird (unter Verwendung des Auswahlaxioms) durch den Satz von Vitali mit der Existenz der sogenannten Vitali-Mengen gezeigt.

1990 konnte Miklós Laczkovich zeigen, dass für manche Flächen zumindest ein zu obigem Satz ähnlicher Satz gilt, jedoch ohne die „Paradoxie“ einer Volumenänderung. Danach sind zwei gleich große Flächen mit hinreichend glattem Rand ebenfalls zerlegungsgleich. In diesem Sinne ist beispielsweise eine Quadratur des Kreises möglich, wenn auch nicht mit Zirkel und Lineal. Die Anzahl der für eine konstruktive Lösung erforderlichen Teile wurde von Laczkovich auf etwa   geschätzt, wobei die Größen der größeren Teilstücke nach Laczkovich nicht eindeutig festgelegt wurden.

Ohne eine Form des Auswahlaxioms lässt sich das Theorem jedoch nicht beweisen. Robert M. Solovay konnte 1970 unter der Voraussetzung der Existenz einer unerreichbaren Kardinalzahl zeigen, dass ein Modell der Zermelo-Fraenkel-Mengenlehre existiert, in dem alle Mengen Lebesgue-messbar sind. Dabei ist es sogar möglich, die Gültigkeit einer abgeschwächten Version des Auswahlaxioms aufrechtzuerhalten, nämlich das Axiom der abhängigen Auswahl (DC), das für viele Beweise der elementaren Analysis ausreicht. Zudem konnte in diesem Modell erreicht werden, dass jede Teilmenge der reellen Zahlen die Baire-Eigenschaft besitzt und dass jede überabzählbare Teilmenge der reellen Zahlen eine nichtleere perfekte Teilmenge enthält. Auch diese beiden Aussagen widersprechen dem allgemeinen Auswahlaxiom.

Literatur

Bearbeiten
  • Leonard M. Wapner: Aus 1 mach 2. Wie Mathematiker Kugeln verdoppeln. Spektrum Akademischer Verlag, Heidelberg 2007, ISBN 978-3-8274-1851-7 (Spektrum-Artikel über das Buch [abgerufen am 5. Mai 2012] amerikanisches Englisch: The Pea and the Sun. Übersetzt von Harald Höfner und Brigitte Post, Anspruchsvolle, aber für Nichtmathematiker verständliche Darstellung des Satzes von Banach-Tarski einschließlich der notwendigen mengentheoretischen Grundlagen).
  • Stefan Banach, Alfred Tarski: Sur la décomposition des ensembles de points en parties respectivement congruentes. In: Fundamenta Mathematicae. Band 6, 1924, ISSN 0016-2736, S. 244–277 (Volltext [PDF; abgerufen am 5. Mai 2012]).
Bearbeiten

Einzelnachweise

Bearbeiten
  1. Jürgen Elstrodt: Maß- und Integrationstheorie. Springer, Berlin, Heidelberg 1996, ISBN 3-540-15307-1, S. 4.