Geometrie on kenji.blog

Mit Farbe füllen, aber nicht anstreichen? Gabriels Horn

Thu, 10 Sep 2026 21:00:00 +0900

Was wäre, wenn es einen Behälter gäbe, dessen „Volumen endlich, aber die Oberfläche unendlich ist“? Intuitiv scheint das unmöglich zu sein, aber in der Welt der Mathematik existiert ein solcher Körper tatsächlich. Es ist die Figur, die als „Gabriels Horn (Gabriel’s Horn)“, auch bekannt als „Torricellis Trompete“, bezeichnet wird.

Diese Figur, die 1641 von dem italienischen Mathematiker Evangelista Torricelli entdeckt wurde, schockierte die Mathematiker und Philosophen jener Zeit und löste eine heftige Debatte über die wahre Natur der „Unendlichkeit“ aus.

Das Paradoxon des Anstreichens

Wenn man die Eigenschaften dieser Figur mit gewöhnlicher „Farbe“ vergleicht, entsteht folgendes seltsames Paradoxon.

Wenn man das Horn mit Farbe füllt: Da das Volumen des Horns endlich ist (genau gesagt $\pi$), kann man das Innere des Horns vollständig füllen, indem man nur $\pi$ Liter (etwa 3,14 Liter) Farbe hineingießt.
Wenn man die Oberfläche des Horns mit Farbe anstreicht: Die Oberfläche des Horns ist unendlich. Wenn man also versuchen würde, die innere (oder äußere) Oberfläche des Horns mit einem Pinsel zu streichen, würde man niemals fertig werden, egal wie viel Farbe man bereithält.

„Man kann das Innere mit 3,14 Litern Farbe füllen, aber man braucht unendlich viel Farbe, um die Oberfläche zu streichen.“ Warum tritt diese kontraintuitive Situation auf?

graph TD A["Gabriels Horn"] --> B["Volumenberechnung (Integration)"] A --> C["Oberflächenberechnung (Integration)"] B --> B1["Volumen = π (endlich)"] B1 --> B2["Man kann das Innere mit Farbe füllen"] C --> C1["Oberfläche = ∞ (unendlich)"] C1 --> C2["Man kann die Oberfläche nicht vollständig streichen"] B2 --> D{"Paradoxon!"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

Mathematischer Beweis: Die Magie der Infinitesimalrechnung

Gabriels Horn wird gebildet, indem man den Graphen der Funktion $y = \frac{1}{x}$ (für $x \ge 1$) um die $x$-Achse rotieren lässt. Lassen Sie uns das Volumen $V$ und die Oberfläche $A$ dieses Körpers mithilfe der Infinitesimalrechnung berechnen.

1. Volumenberechnung (Warum es endlich ist)

Das Volumen $V$ des Rotationskörpers erhält man durch Integration der Querschnittsfläche (eines Kreises mit dem Radius $\frac{1}{x}$).

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

Wenn man dieses bestimmte Integral berechnet:

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

Das Ergebnis konvergiert gegen den endlichen Wert $\pi$.

2. Oberflächenberechnung (Warum sie unendlich ist)

Andererseits sieht die Berechnung der Oberfläche $A$ wie folgt aus:

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$

$$ \frac{dy}{dx} = -\frac{1}{x^2} $$

ist, lautet der Ausdruck unter der Quadratwurzel $1 + \frac{1}{x^4}$. Da $\sqrt{1 + \frac{1}{x^4}} > 1$ für alle $x \ge 1$ gilt, ergibt sich folgende Ungleichung:

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

Der natürliche Logarithmus $\ln x$ divergiert gegen Unendlich für $x \to \infty$. Da die Oberfläche $A$ noch größer ist, divergiert sie folglich natürlich auch gegen Unendlich.

Die „Auflösung“ dieses Paradoxons

Auch wenn es mathematisch korrekt bewiesen werden kann, mag es unserem Gespür für die reale Welt nicht einleuchten. „Wenn man es mit Farbe füllen kann, dann berührt diese Farbe doch die innere Oberfläche, also müsste die Oberfläche doch gestrichen sein?“

Diese Diskrepanz in der Intuition rührt von der Verwechslung mathematischer Konzepte mit physikalischer Realität her.

In der Welt der Mathematik kann die „Dicke“ der Farbe bis auf Null unendlich dünn gemacht werden. Gabriels Horn wird immer dünner, je weiter es sich erstreckt, aber die mathematische Farbe wird beliebig dünn und fließt bis tief in die winzige Spitze, wodurch die unendliche Oberfläche mit einem endlichen Volumen beschichtet werden kann (wobei die Dicke der Farbschicht jedoch zur Spitze hin gegen Null konvergiert).

In der physikalischen Realität besteht Farbe jedoch aus Atomen und Molekülen (Teilchen mit endlicher Größe). Selbst wenn man echte Farbe hineingießt, kann sie nicht mehr weiter vordringen, sobald das Rohr des Horns enger wird als der „Durchmesser eines Farbmodemoleküls“. Das bedeutet, physikalisch ist es unmöglich, das Horn bis zur Spitze zu füllen oder seine unendliche Oberfläche zu streichen.

Gabriels Horn ist ein wunderschönes Beispiel, das uns lehrt, dass die menschliche Intuition an die „Regeln der endlichen Welt“ gebunden ist und nicht immer mit der Welt der Infinitesimalrechnung übereinstimmt, die mit der „Unendlichkeit“ umgeht.

Banach-Tarski-Paradoxon: Aus einer zerschnittenen Kugel zwei gleich große Kugeln machen?

Thu, 10 Sep 2026 02:00:00 +0900

1. Ein magischer Satz: 1 = 1 + 1 ?

Stellen Sie sich vor, Sie haben eine Kugel aus reinem Gold vor sich. Sie zerschneiden diese Kugel mit einem Messer in mehrere Teile. Dann setzen Sie diese Teile wie bei einem Puzzle wieder zusammen. Dabei werden die Teile weder gedehnt, noch verbogen, noch wird neues Gold hinzugefügt. Sie werden nur bewegt und zusammengefügt.

Wenn Sie das Puzzle jedoch betrachten, stellen Sie fest, dass „zwei Kugeln aus reinem Gold entstanden sind, die exakt dieselbe Größe wie die ursprüngliche Kugel haben“.

„Das ist doch Unsinn! Das verstößt gegen das Gesetz der Massenerhaltung und ist die Wahnvorstellung eines Alchemisten!“, denken Sie vielleicht. In der realen physikalischen Welt ist dies absolut unmöglich. In der Welt der reinen Mathematik (Geometrie und Mengenlehre) ist dies jedoch als ein logisch zu 100 % korrekter Satz bewiesen.

Dies ist das „Banach-Tarski-Paradoxon“, das 1924 von den beiden Mathematikern Stefan Banach und Alfred Tarski bewiesen wurde.

2. Die Aussage des Paradoxons genau verstehen

Der von Banach und Tarski bewiesene Satz lässt sich in mathematisch präzisen Worten wie folgt ausdrücken:

Der Satz von Banach-Tarski Jede beliebige Kugel $S$ im dreidimensionalen Raum kann in eine endliche Anzahl von Fragmenten zerlegt werden. Durch bloßes Neuarrangieren dieser Fragmente (nur durch Rotation und Translation) können zwei Kugeln gebildet werden, die exakt denselben Radius wie die ursprüngliche Kugel $S$ haben.

Noch erstaunlicher ist, dass man bei Anwendung dieses Satzes auch Folgendes behaupten kann:

Man kann eine einzige Erbse in eine endliche Anzahl von Teilen zerlegen und durch Neuzusammensetzen eine Kugel von exakt der Größe der Sonne erschaffen. (Auch bekannt als das Erbsen-und-Sonnen-Paradoxon)

Warum ist solch eine magische Sache mathematisch zulässig? Das Geheimnis verbirgt sich in zwei Schlüsselbegriffen: „Unendlichkeit“ und „Auswahlaxiom“.

3. Die wundersame Eigenschaft der „Unendlichkeit“

Der erste Schritt zum Verständnis dieses Paradoxons besteht darin, die seltsamen Eigenschaften „unendlicher Mengen“ zu kennen.

In der „endlichen“ Welt, in der wir normalerweise operieren, ist das Ganze immer größer als seine Teile. Wenn Sie beispielsweise aus den Zahlen von 1 bis 10 (10 Zahlen) die geraden Zahlen (5 Zahlen) herausnehmen, halbiert sich die Anzahl.

In der Welt der „Unendlichkeit“ gilt dieser gesunde Menschenverstand jedoch nicht. Was gibt es mehr: alle „natürlichen Zahlen“ (1, 2, 3, 4, …) oder alle „geraden Zahlen“ (2, 4, 6, 8, …)? Intuitiv scheint es, als gäbe es mehr natürliche Zahlen, da die geraden Zahlen nur die Hälfte der natürlichen Zahlen ausmachen. Aber versuchen Sie, wie folgt Paare zu bilden:

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

Auf diese Weise kann jede natürliche Zahl genau einer verdoppelten geraden Zahl zugeordnet werden (Eins-zu-eins-Zuordnung bzw. Bijektion). Es bleiben keine Zahlen übrig. Das bedeutet mathematisch gesehen: „Die Anzahl der natürlichen Zahlen (unendlich)“ und „die Anzahl der geraden Zahlen (unendlich)“ sind exakt gleich groß!

Obwohl wir die Hälfte (die geraden Zahlen) aus dem Ganzen (den natürlichen Zahlen) herausgenommen haben, hat sich die Größe nicht verändert. Bei unendlichen Mengen kann es passieren, dass „ein Teil dem Ganzen entspricht“. Der Satz von Banach-Tarski ist die ultimative Form dieser „Magie der Unendlichkeit“, angewandt auf die Menge der „Punkte“ im dreidimensionalen Raum.

4. Raumpunkte werden „nicht-messbar“ zerschnitten

Wenn man einen realen Gegenstand (wie Gold oder einen Apfel) mit einem Messer zerschneidet, haben die Teile immer ein „Volumen“. Eine Kugel in der Mathematik ist jedoch eine „Ansammlung von unendlich vielen Punkten“, die an sich kein Volumen haben.

Banach und Tarski haben diese unendlich vielen Punkte auf eine sehr spezielle und komplexe Weise in Gruppen unterteilt (zerlegt). Diese Aufteilung ist so komplex und verstreut, dass man das „Volumen nicht mehr messen kann“ (sie werden zu nicht-messbaren Mengen).

graph TD S["Ursprüngliche Kugel S (Volumen V)"] -->|Spezielle Zerlegung| P1["Fragment 1 (Volumen unmessbar)"] S --> P2["Fragment 2 (Volumen unmessbar)"] S --> P3["Fragment 3 (Volumen unmessbar)"] S --> P4["Fragment 4 (Volumen unmessbar)"] S --> P5["Fragment 5 (Volumen unmessbar)"] P1 -->|Rotation und Verschiebung| S1["Neue Kugel 1 (Volumen V)"] P2 -->|Rotation und Verschiebung| S1 P3 -->|Rotation und Verschiebung| S1 P4 -->|Rotation und Verschiebung| S2["Neue Kugel 2 (Volumen V)"] P5 -->|Rotation und Verschiebung| S2 style S fill:#ffddaa,stroke:#333,stroke-width:2px style S1 fill:#aaddff,stroke:#333,stroke-width:2px style S2 fill:#aaddff,stroke:#333,stroke-width:2px

Sobald jedes Teil zu einer unbestimmten Ansammlung von Punkten wird, die „kein Volumen haben (nicht messbar sind)“, können wir uns von der physikalischen Regel (der Additivität des Maßes) befreien, die besagt: „Wenn man die Teile zusammenzählt, muss das Ergebnis gleich dem ursprünglichen Volumen sein.“

Wenn man dann diese Teile aus unbestimmten Punkten geschickt dreht und zusammensetzt, sorgt die „Magie der Unendlichkeit“ dafür, dass zwei Kugeln entstehen, die exakt dieselben dicht gepackten Punkte wie die ursprüngliche Kugel enthalten. Tatsächlich wurde bewiesen, dass diese Operation „aus einer Kugel zwei Kugeln machen“ möglich ist, indem man die ursprüngliche Kugel in nur 5 Teile zerlegt.

5. Die Ursache von allem: Was ist das „Auswahlaxiom“?

Aber warum ist eine „Zerlegung, die so komplex ist, dass das Volumen nicht gemessen werden kann“, mathematisch überhaupt möglich? Das liegt daran, dass die moderne Mathematik das „Auswahlaxiom“ (Axiom of Choice) als Regel anerkennt, welches ihre Grundlage bildet.

Grob gesagt ist das Auswahlaxiom folgende Regel:

Die Idee des Auswahlaxioms Wenn man viele Kisten hat, in denen sich jeweils Gegenstände befinden, ist es erlaubt, „aus jeder Kiste genau einen Gegenstand auszuwählen, um ein neues Set (eine neue Menge) zu bilden“.

Wenn die Anzahl der Kisten endlich ist, kann das jeder problemlos tun. Wenn die Anzahl der Kisten jedoch „unendlich“ ist, kann kein Mensch die Operation des „einzelnen Auswählens“ unendlich oft durchführen und jemals abschließen. Dennoch erlaubt das Auswahlaxiom zu sagen: „Wir können annehmen, dass ein so ausgewähltes Set existiert.“

Dieses Axiom war äußerst nützlich und unverzichtbar für den Aufbau der modernen Mathematik. Die meisten Mathematiker akzeptierten diese Regel und dachten: „Nun, das ist ja selbstverständlich.“

Wenn man dieses Auswahlaxiom jedoch anerkennt, muss man auch die Existenz von „Mengen aus unbestimmten Punkten, die so verstreut sind, dass ihr Volumen nicht gemessen werden kann (nicht-messbare Mengen)“, anerkennen. Und als logische Konsequenz daraus ergibt sich unweigerlich der Satz von Banach-Tarski, dass „aus einer Kugel zwei werden“.

6. Zusammenfassung: Eine Welt jenseits der Intuition, die die Mathematik zeichnet

Das Banach-Tarski-Paradoxon ist kein Paradoxon (Widerspruch) in dem Sinne, dass „die Logik einen Widerspruch enthält“. Es ist ein Paradoxon in dem Sinne, dass die Logik zu 100 % korrekt ist, die daraus gezogene Schlussfolgerung jedoch massiv der menschlichen Intuition und den Gesetzen der Physik widerspricht.

Als dieser Satz veröffentlicht wurde, argumentierten einige Mathematiker: „Wenn solch eine absurde Schlussfolgerung dabei herauskommt, muss das Auswahlaxiom falsch sein!“ Heutzutage akzeptieren die meisten Mathematiker jedoch das Auswahlaxiom und betrachten den Satz von Banach-Tarski als „eine seltsame, aber wunderschöne Eigenschaft, die der dreidimensionale Raum und unendliche Mengen besitzen“.

Da die physikalische Welt, in der wir leben, aus Atomen, also „Körnern mit einer bestimmten Größe (endlich)“, besteht, ist es unmöglich, eine Erbse auf die Größe der Sonne zu vergrößern. Auf der Leinwand der „Mathematik“, die vom menschlichen Gehirn erschaffen wurde, ist die Größe eines Punktes jedoch null, und unendliche Operationen sind erlaubt.

Das Banach-Tarski-Paradoxon kann als eines der größten Meisterwerke der modernen Mathematik angesehen werden. Es lehrt uns, wie leichtfertig das Konzept der „Unendlichkeit“ über die einfache Intuition des Menschen hinausgeht.