Galileis Paradoxon der Unendlichkeit

Galileos Paradox der Unendlichkeit ist eine der frühesten präzisen Beobachtungen über unendliche Mengen, niedergeschrieben in Galileos Discorsi e dimostrazioni matematiche intorno a due nuove scienze von 1638. Die Quadratzahlen werden unter den natürlichen Zahlen immer seltener, und doch ordnete Galileo jeder natürlichen Zahl genau ein Quadrat zu: 1 der 1, 2 der 4, 3 der 9 und so weiter ohne Ende. Keine der beiden Sammlungen geht vor der anderen zur Neige, also besitzen beide Mengen im Unendlichen dieselbe Größe, obwohl die eine ein echter Teil der anderen ist. Dieses Werkzeug listet diese Zuordnung für jede natürliche Zahl von 1 bis zu einem von Ihnen gewählten positiven ganzzahligen Limit ausdrücklich auf, sodass Sie die Korrespondenz direkt prüfen, zitieren und verifizieren können.

Was Galileo tatsächlich beobachtete

In seinem letzten Buch ließ Galileo Galilei seine Figur Salviati einen beunruhigenden Gedanken vortragen. Einerseits bilden die Quadratzahlen eine winzige Minderheit der natürlichen Zahlen: Unter den ersten hundert natürlichen Zahlen sind nur zehn Quadrate, unter den ersten zehntausend nur hundert, sodass der Anteil gegen null fällt. Andererseits besitzt jede natürliche Zahl ein Quadrat, und jedes Quadrat besitzt genau eine positive Quadratwurzel, sodass eine vollkommene eineindeutige Zuordnung zwischen den natürlichen Zahlen und den Quadraten besteht.

Wenn zwei Sammlungen Glied für Glied gepaart werden können, ohne dass auf einer Seite etwas übrig bleibt, so Galileo, dann kann keine der beiden ehrlicherweise als größer bezeichnet werden. Er folgerte, dass die gewöhnliche Sprache von 'mehr', 'weniger' und 'gleich' auf unendliche Sammlungen schlicht nicht so anwendbar ist wie auf endliche, und beließ es dabei als echtes Paradox.

Das endliche Anfangsstück, das dieses Werkzeug erzeugt, ist der konkrete, nachprüfbare Schatten dieses Arguments: Für jedes positive Limit zeigt die Liste der Paare jede Zahl neben ihrem eigenen Quadrat, ohne Wiederholung und ohne Lücke auf beiden Seiten.

Die eineindeutige Zuordnung, endlich und sichtbar gemacht

Eine eineindeutige Zuordnung, auch Bijektion genannt, ist eine Paarung, bei der jedes Element der ersten Sammlung genau einem Element der zweiten zugeordnet wird und nichts in beiden Sammlungen ungepaart oder doppelt gepaart bleibt. Die Abbildung, die jede natürliche Zahl n auf ihr Quadrat n² schickt, ist genau eine solche Paarung: Verschiedene Ausgangszahlen ergeben stets verschiedene Quadrate, und jedes Quadrat stammt von genau einer positiven Wurzel.

Wenn Sie ein Limit an diese Fähigkeit senden, enthält die Antwort einen Datensatz pro natürlicher Zahl von eins bis zu diesem Limit, jeweils mit der Zahl und ihrem Quadrat. Beim Durchsehen der Paare lassen sich die beiden definierenden Eigenschaften unmittelbar erkennen. Erstens durchläuft die n-Spalte jede natürliche Zahl des Bereichs genau einmal, sodass die Paarung total und eindeutig ist.

Zweitens enthält die Quadratspalte keine Dopplungen, weil die Quadrierfunktion auf den positiven ganzen Zahlen streng monoton wächst. Jedes Limit bis zehntausend wird akzeptiert; so bleibt die Ausgabe klein genug zum vollständigen Lesen, während das Dichteargument anschaulich bleibt: Beim maximalen Limit besetzen die Quadrate nur ein Prozent des Bereichs.

Von Galileos Paradox zu Cantors Theorie unendlicher Mengen

Galileo verstand das Paradox als Warnung, dass sich das Unendliche dem alltäglichen Vergleich entzieht, und die Mathematik beließ die Frage rund zweieinhalb Jahrhunderte dabei. In den 1870er-Jahren kehrte Georg Cantor die Beobachtung um und erhob sie zur Definition: Zwei Mengen, endlich oder unendlich, haben genau dann dieselbe Mächtigkeit, wenn zwischen ihnen eine eineindeutige Zuordnung existiert. Nach dieser Definition sind die natürlichen Zahlen und die Quadratzahlen tatsächlich gleich groß, ebenso die geraden Zahlen und die ganzen Zahlen — genau jene Tatsache, die Galileo zu fremd erschienen war, um sie anzunehmen.

Cantor bewies sodann, dass sich nicht alle unendlichen Mengen mit den natürlichen Zahlen paaren lassen — die reellen Zahlen berühmt nicht —, sodass das Unendliche doch in verschiedenen Größen vorkommt, nur gemessen durch Paarung statt durch Zählung. Das Durcharbeiten expliziter endlicher Paarungen, wie dieses Werkzeug sie liefert, ist der übliche Einstieg in diese Theorie: Das Muster 1-1, 2-4, 3-9 ist eine sichtbare Bijektion, und ihre gedankliche Fortsetzung über jede Schranke hinaus ist genau der Schritt, den Cantor formalisierte.