Grahams Zahl
aus Wikipedia, der freien Enzyklopädie
Grahams Zahl (nach Ronald L. Graham) ist eine spezielle, schier unvorstellbar große natürliche Zahl. Sie ist eine obere Grenze für ein Problem der Ramsey-Theorie und gilt als „die größte Zahl, die je in einem mathematischen Beweis verwendet wurde“.
[Bearbeiten] Grahams Problemstellung
In einem n-dimensionalen Hyperwürfel (Einheitswürfel im n-dimensionalen Euklidischen Raum) seien alle 2n Ecken je paarweise durch eine Linie (Kante) verbunden, so dass ein vollständiger Graph auf 2n Knoten entsteht, der somit Kanten besitzt.
Diese Kanten werden nun mit jeweils einer von zwei Farben eingefärbt. Die Frage ist dann, ob es einen vollständigen Teilgraphen aus vier in einer Ebene des Euklidischen Raums liegenden Knoten gibt, dessen sechs Kanten alle die gleiche Farbe haben.
Daraus ergibt sich die eigentliche Problemstellung: wie groß muss n mindestens sein, damit für jede mögliche Kantenfärbung ein Teilgraph mit diesen Eigenschaften existiert? Anders ausgedrückt: man sucht n0, so dass für alle immer ein solcher Teilgraph gefunden werden kann, während es für alle n < n0 eine Kantenfärbung gibt, die dies verhindert. Ab der Dimension n0 tritt also zwangsläufig diese Form von Ordnung auf.
Das Problem wurde noch nicht gelöst. Graham und Rothschild haben 1971 gezeigt, dass es einen solchen Wert n0 gibt, und dass ist. G64 wird Grahams Zahl genannt, und ist nachfolgend definiert.
Der Mathematiker Geoffrey Exoo von der Indiana State University verbesserte 2003 die untere Schranke auf .
[Bearbeiten] Definition
Grahams Zahl ist so groß, dass nicht einmal Hilfsmittel wie der Hyperpotenz-Operator ausreichen, um die Definition dieser Zahl sinnvoll niederzuschreiben. Dieser Operator kann z. B. mit Knuths Pfeil-Schreibweise dargestellt werden. Für natürliche Zahlen definiert man:
Außerdem definiert man . Statt wird oft auch das Symbol ^ verwendet.
In der ersten Zeile wird hierbei die übliche Potenz erklärt; ab der zweiten Zeile ist für das Verständnis zu beachten, dass der Potenzoperator nicht assoziativ ist. Der klammerfrei notierte Ausdruck ist deshalb mehrdeutig; in diesem Fall ist er - wie unter Mathematikern als Konvention üblich - von rechts nach links abzuarbeiten. Beispielsweise ist . Diese Reihenfolge ist auch gerade diejenige, bei der die größten Endergebnisse hervorgebracht werden.
Mit dieser Notation kann man die Folge (Gi) durch folgende Regeln rekursiv definieren:
- G0 = 4
Grahams Zahl ist damit definiert als G64.
Zur besseren Veranschaulichung, wie extrem groß Grahams Zahl ist, werden die ersten Schritte zur Berechnung von G1 gezeigt:
Bereits lässt sich nicht mehr vernünftig in der üblichen Exponentialdarstellung () ausdrücken, und G1 noch weniger. Dennoch kann man die letzten Stellen von Grahams Zahl G64 mit elementarer Zahlentheorie bestimmen. Die letzten 10 Stellen sind 2464195387.
Laut Guinness-Buch der Rekorde ist sie die größte jemals in einem mathematischen Beweis verwendete Zahl. Genauer müsste es „in einem sinnvollen mathematischen Beweis“ lauten, denn ansonsten könnte jemand den mathematischen Satz „Es gilt G65 > G64“ formulieren und einen einfachen Beweis dafür liefern.