Benutzer:Wickie1681/Wiederkehrsatz

Der poincarésche Wiederkehrsatz ist ein mathematischer Satz über dynamische Systeme. Er besagt, dass es bei autonomen hamiltonschen Systemen, deren Phasenraum ein endliches Volumen hat, in jeder offenen Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} im Phasenraum Zustände gibt, deren Trajektorien beliebig oft wieder nach $U$ zurückkehren. Insbesondere ist der poincarésche Wiederkehrsatz ein Satz der Ergodentheorie, und kann auch als das erste Resultat der Chaostheorie angesehen werden.

Ursprung

Der poincarésche Wiederkehrsatz wurde 1890 in der schwedischen Zeitschrift Acta Mathematica in einer Arbeit von Henri Poincaré über das Dreikörperproblem zum ersten Mal veröffentlicht. Die erste Formulierung des Wiederkehrsatzes findet sich darin auf Seite 69:

Théorème I. Supposons que le point Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} reste à distance finie, et que le volume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \int dx_1dx_2dx_3} soit un invariant intégral; si l'on considère une région Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r_0} quelquonque, quelque petite que soit cette région, il y aura des trajectoires qui la traverse une infinté de fois.

(Satz I. Nehmen wir an, der Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} verbleibe in einem endlichen Abstand, und das Volumen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \int dx_1dx_2dx_3} sei ein invariantes Integral; betrachtet man ein beliebiges Gebiet, so klein es auch sein mag, so wird es immer Bahnen geben, die es unendlich oft durchlaufen.)

Poincaré beweist diesen Satz auf den beiden folgenden Seiten seiner Arbeit; aus seinem Beweis wird klar, dass die Dimension des Volumens keine Rolle spielt. In der Tat formuliert Poincaré auf Seite 72f. diesen Satz auch für beliebige Dimension Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n>3} . Der Kontext bei Poincaré ist der Hamilton-Formalismus der klassischen Mechanik, wobei der Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} den zeitlich veränderlichen Zustand des mechanischen Systems beschreibt und die Hamilton-Funktion autonom, also nicht explizit von der Zeit abhängig, ist. Z.B. beim Dreikörperproblem hat $P$ insgesamt 18 Komponenten, nämlich für jeden Körper drei (generalisierte) Orts- und drei (generalisierte) Impulskoordinaten; in diesem Fall ist der Phasenraum also 18-dimensional. Bei autonomen Hamiltonschen Systemen ergibt sich aus einem Satz von Liouville, dass das Volumen im Phasenraum unter der Bewegung erhalten bleibt.

Varianten

Unter Hinzunahme dieses Kontextes ergibt sich folgende Formulierung des poincaréschen Wiederkehrsatzes:

Seien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} ein autonome Hamilton-Funktion auf einem Phasenraum $\Omega$ mit endlichem Volumen. Dann gibt es zu jeder offenen Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\subset\Omega} eine Trajektorie des zugehörigen hamiltonschen Systems, die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} unendlich oft durchläuft.

Wesentliche Ideen des Beweises

Die wichtigsten Schritte zum Beweis sind folgende:

1. Das Vektorfeld, das das hamiltonsche System definiert, entsteht aus partiellen Ableitungen der Hamilton-Funktion. Weil diese nach Voraussetzung autonom ist, ist das Vektorfeld divergenzfrei.
2. Damit folgt aus der liouvilleschen Volumenformel, dass der vom hamiltonschen System erzeugte Fluss volumenerhaltend ist. Das bedeutet in Formeln: Der Fluss Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi} definiert für jedes $t$ eine bijektive Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_t:\Omega\to\Omega} . Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\subset\Omega} meßbar, so ist auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_t^{-1}(U)=\Phi_{-t}(U)} meßbar, und es gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle vol(U)=vol(\Phi_t(U))} .
3. Man konzentriert sich jetzt auf ganzzahlige Zeitpunkte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t=n} ; alle Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_n(U)\subset\Omega} haben das gleiche Volumen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle vol(U)>0} . Weil der Phasenraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega} endliches Volumen hat, können die Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_n(U)} nicht paarweise disjunkt sein. Also gibt es $j>k\geq 0$ derart, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_j(U)\cap\Phi_k(U)\ne\emptyset} . Damit gilt auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset\ne U\cap \Phi_{j-k}(U) = \Phi_{-k}(\Phi_j(U)\cap\Phi_k(U))} .
4. Ist $n_{0}$ derart gefunden, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\cap \Phi_{n_0}(U)\ne\emptyset} , dann können nach dem gleichen Argument die Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_{n\cdot n_0}(U)} nicht paarweise disjunkt sein. Also gibt es $j>k\geq 0$ mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_{j\cdot n_0}(U)\cap\Phi_{k\cdot n_0}(U)\ne\emptyset} . Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n_1:=(j-k)n_0} gilt damit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\cap \Phi_{n_1}(U) = \Phi_{-kn_0}(\Phi_{jn_0}(U)\cap\Phi_{kn_0}(U))\ne\emptyset} .

Die Schritte 1 und 2 dieser Argumentation waren bereits vor Poincaré wohlbekannt. Die restlichen Beweisideen finden sich wohl erstmals in Poincarés Arbeit.

Maßtheoretische Formulierung und Verschärfung

Bei Poincarés Beweis spielt der Begriff Volumen eine wichtige Rolle. Mit Hilfe der Maßtheorie und der damit verbundenen Begriffe läßt sich der Beweis klarer strukturieren. Man beginnt mit einem Maßraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega,\Sigma,\mu)} und nennt eine meßbare Abbildung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g:\Omega\to\Omega}

maßerhaltend, wenn für jede meßbare Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\subset\Omega} die Gleichung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(g^{-1}(U))=\mu(U)} gilt. Des weiteren muss man die Endlichkeit des Maßraums voraussetzen, also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(\Omega)<\infty} . So gelangt man zur maßtheoretischen Variante, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g^n} die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -fache Iteration von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} bezeichnet:

Seien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega,\Sigma,\mu)} ein endlicher Maßraum, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g:\Omega\to\Omega} eine maßerhaltende Abbildung und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\subset\Omega} eine meßbare Menge mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(U)>0} . Dann gibt es Punkte $x\in U$ mit der Eigenschaft, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g^{n_k}(x)\in U} für eine unbegrenzt aufsteigende Folge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (n_k)} .

Eine genaue Analyse des poincaréschen Beweises mit Hilfe der Maßtheorie führt zu folgender maßtheoretischen Verschärfung:

Seien Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (\Omega ,\Sigma ,\mu )} ein endlicher Maßraum, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g:\Omega\to\Omega} eine maßerhaltende Abbildung und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\subset\Omega} eine meßbare Menge mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(U)>0} . Dann bilden die Punkte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\in U} , deren Iterierte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g^{n_k}(x)} nicht beliebig oft nach Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} zurückkehren, eine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} -Nullmenge.

Diskrete dynamische Systeme

Die maßtheoretischen Varianten lassen sich leicht auf diskrete dynamische Systeme anwenden, bringen dort aber nichts Neues: als Maß nimmt man hier einfach das Zählmaß. Die Forderung Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \mu (\Omega )<\infty } bedeutet dann, dass die zugrundeliegende Menge endlich ist. Damit wird maßerhaltend gleichbedeutend mit bijektiv, und die Aussage das poincaréschen Wiederkehrsatzes wird zu der einfachen Tatsache, dass jede Permutation einer endlichen Menge in Zykel zerfällt.

Bezug zur Physik

Physikalisch bedeutet der poincarésche Wiederkehrsatz, dass ein mechanisches System, dessen Bahnen beschränkt bleiben (also z. B. das Sonnensystem), die Eigenschaft hat, dass es in jeder Umgebung des Anfangszustands Systemzustände gibt, deren Bahnen beliebig oft in besagte Umgebung des Anfangszustands zurückkehren. Daraus folgt etwa das folgende Resultat: Verbindet man zwei Behälter, die unterschiedliche Gase beinhalten, so vermischen sich diese zunächst. Nach dem Wiederkehrsatz gibt es jedoch eine beliebig kleine Änderung des Anfangszustands mit der Konsequenz, dass sich die Gase zu einem späteren Zeitpunkt von selbst trennen und entmischt sind. Die Entmischung widerspricht einer deterministischen Formulierung des zweiten Hauptsatzes der Thermodynamik, die eine Abnahme der Entropie ausschließt. Darüber entspann sich eine Auseinandersetzung zwischen Ernst Zermelo und Ludwig Boltzmann, in deren Verlauf Boltzmann einige Artikel über die Zusammenhänge zwischen dem poincaréschen Wiederkehrsatz und dem zweiten Hauptsatz der Thermodynamik verfasste. Danach verschwindet der Widerspruch, wenn man den zweiten Hauptsatz statistisch interpretiert:

„Schon Clausius, Maxwell u.a. haben wiederholt darauf hingewiesen, daß die Lehrsätze der Gastheorie den Charakter statistischer Wahrheiten haben. Ich habe besonders of und so als mir möglich war betont, daß das Maxwellsche Gesetz der Geschwindigkeitsverteilung unter Gasmolekülen keineswegs wie ein Lehrsatz der gewöhnlichen Mechanik aus den Bewegungsgleichungen allein bewiesen werden kann, daß man vielmehr nur beweisen kann, daß dasselbe weitaus die größte Wahrscheinlichkeit hat und bei einer großen Anzahl von Molekülen alle übrigen Zustände damit verglichen so unwahrscheinlich ist, daß sie praktisch nicht in Betracht kommen. An derselben Stelle habe ich auch betont, daß der zweite Hauptsatz vom molekulartheoretischen Standpunkte ein bloßer Wahrscheinlichkeitssatz ist.“

Demgemäß ist eine Abnahme der Entropie nicht prinzipiell unmöglich, aber innerhalb der „kurzen“ Zeitspanne sehr unwahrscheinlich. Betrachtet man jedoch das Verhalten eines hamiltonschen Systems mit beschränktem Phasenraum für beliebig große Zeiten, so ist die Wiederkehr fast sicher - wie aus der [[Wiederkehrsatz#Maßtheoretische Formulierung und Verschärfung|maßtheoretischen Verschärfung des poincaréschen Wiederkehrsatzes folgt. Im Anhang der zitierten Abhandlung gibt Boltzmann eine Schätzung der Wiederkehrzeit für die Moleküle von Luft gewöhnlicher Dichte in einem Gefäß von 1 ccm Volumen. Nach etwa einer Seite kombinatorischer Überlegungen kommt er zu einer Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N/b} , die noch „mit einer zweiten von ähnlicher Größenordnung multipliziert werden“ müsse, und von der er schreibt:

„Wie groß aber schon die Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N/b} ist, davon erhält man einen Begriff, wenn man bedenkt, daß sie viele Trillionen Stellen hat. Wenn dagegen um jeden mit dem besten Fernrohr sichtbaren Fixstern so viele Planeten, wie um die Sonne kreisten, wenn auf jedem dieser Planeten so viele Menschen wie auf der Erde wären und jeder dieser Menschen eine Trillion Jahre lebte, so hätte die Zahl der Sekunden, welche alle zusammen erleben, noch lange nicht fünfzig Stellen.“

Philosophie

Für Friedrich Nietzsche war der Gedanke der ewigen Wiederkunft des Gleichen von großer Bedeutung; zwischen 1884 und 1888 hat er sich intensiv mit naturwissenschaftlichen Methoden auseinandergesetzt und auch einen Beweisversuch eines Wiederkehrsatzes formuliert:

Wenn die Welt als bestimmte Größe von Kraft und als bestimmte Zahl von Kraftzentren gedacht werden darf - und jede andere Vorstellung bleibt unbestimmt und folglich unbrauchbar -, so folgt daraus, daß sie eine berechenbare Zahl von Kombinationen, im großen Würfelspiel ihres Daseins, durchgemacht hat. In einer unendlichen Zeit würde jede mögliche Kombination irgendwann einmal erreicht sein. Und da zwischen jeder Kombination und ihrer nächsten Wiederkehr alle überhaupt noch möglichen Kombinationen abgelaufen sein müßten und jede dieser Kombinationen in derselben Reihe bedingt, so wäre damit ein Kreislauf von absolut identischen Reihen bewiesen: die Welt als Kreislauf, der sich unendlich oft bereits wiederholt hat und der sein Spiel in infinitum spielt.

Hierzu ein Kommentar von Peter Fischer:

So hübsch das alles daher kommt, es bleibt vage und haltlos und ist eigentlich eine Enttäuschung. Der Beweis von Poincaré ist viel gehaltvoller, doch wird darin weniger gelesen.

Dennoch hat sich der Mathematiker Felix Hausdorff in seinen philosophischen Schriften unter dem Pseudonym Paul Mongré mit diesem Gedanken Nietzsches auseinandergesetzt. Mathematisch gesehen ist Nietzsches Argument zwar formal falsch, aber korrigierbar, wobei die wesentliche Aussage erhalten bleibt und auch von Hausdorff nicht angezweifelt wurde.

Weiterentwicklung

Satz von Szemerédi über arithmetische Progressionen in Mengen natürlicher Zahlen, die gewisse Dichteabschätzungen erfüllen, vgl. das Buch von Harry Furstenberg.