Keplersche Vermutung

Erweiterte Suche

Die Keplersche Vermutung ist die Vermutung, dass bei der dichtesten Kugelpackung im dreidimensionalen euklidischen Raum keine Anordnung von gleich großen Kugeln eine größere mittlere Dichte aufweist als die kubisch-flächenzentrierte Packung und die hexagonale Packung. Die mittlere Dichte dieser Packungen ist etwas größer als 74 Prozent.

Hintergrund

Die Anordnung von Kugeln in Tetraederform ist ein Beispiel für die kubische Packung.

Man stelle sich ein großes Behältnis mit kleinen, gleich großen Kugeln vor. Die Dichte der Anordnung der Kugeln ist der Anteil vom Volumen des Behältnisses, der von den Kugeln eingenommen wird. Um die Anzahl der Kugeln im Behältnis zu maximieren, muss man die Anordnung mit der höchstmöglichen Dichte finden, sodass die Kugeln so dicht wie möglich gepackt werden.

Experimente zeigen, dass ein zufälliges Hineinschütten der Kugeln zu einer Dichte von ungefähr 65 Prozent führt. Eine höhere Dichte kann jedoch durch eine Anordnung der Kugeln in der folgenden Art und Weise erreicht werden: Begonnen wird mit einer Ebene Kugeln, die in einem hexagonalen Gitter angeordnet wird. Anschließend wird die nächste Ebene in die tiefsten Punkte der vorangehenden Ebene gelegt usw. Auf diese Weise werden z. B. Äpfel auf dem Markt gestapelt. Diese natürliche Art, die Kugeln zu stapeln, ergibt mehrere mögliche ähnliche Gitter, von denen die kubische-flächenzentrierte Packung und die hexagonale Packung die bekanntesten und am häufigsten in der Natur vorkommenden sind. Jede dichteste Kugelpackung hat eine mittlere Dichte von

$ \frac{\pi}{\sqrt{18}} \approx 0{,}74048 $.

Die Keplersche Vermutung besagt, dass dies die bestmöglichen Packungen sind – mit keiner Packung kann eine höhere Dichte erzeugt werden als mit diesen.

Ursprung

Johannes Kepler

Die Vermutung ist benannt nach Johannes Kepler, der sie 1611 in Strena seu de nive sexangula (Über die sechseckige Schneeflocke) aufstellte. Kepler begann aufgrund seines Briefwechsels mit dem englischen Mathematiker und Astronomen Thomas Harriot im Jahre 1606 die Anordnung von Kugeln zu untersuchen. Harriot war ein Freund und Assistent von Sir Walter Raleigh, der Harriot mit der Untersuchung des Problems beauftragte, wie die Kanonenkugeln am besten auf seinen Schiffen verstaut werden könnten. Harriot veröffentlichte 1591 eine Untersuchung von verschiedenen Anordnungen von Kugeln und entwickelte dabei auch eine frühe Version des Atommodells.

Neunzehntes Jahrhundert

Kepler hatte keinen Beweis seiner Vermutung. Der erste Schritt zu einem Beweis wurde vom deutschen Mathematiker Carl Friedrich Gauß gemacht, der 1831 eine Teillösung veröffentlichte. Gauß bewies, dass die Keplersche Vermutung wahr ist, wenn die Kugeln in einem regelmäßigen Gitter angeordnet werden müssen.

Diese Aussage bedeutet, dass eine Anordnung von Kugeln, welche die Keplersche Vermutung widerlegen würde, eine unregelmäßige Anordnung sein müsste. Der Ausschluss aller möglichen unregelmäßigen Anordnungen ist jedoch sehr schwierig, wodurch der Beweis der Vermutung so schwierig wird. Es ist sogar bekannt, dass es unregelmäßige Anordnungen gibt, die in einem kleinen Bereich dichter als die kubische-flächenzentrierte Packung sind, aber jeder Versuch, diese Anordnungen auf ein größeres Volumen auszudehnen, verringert ihre Dichte.

Nach Gauß wurde im neunzehnten Jahrhundert kein weiterer Fortschritt beim Beweis der Keplerschen Vermutung gemacht. 1900 nahm David Hilbert das Problem in seine Liste von 23 mathematischen Problemen auf – es ist ein Spezialfall von Hilberts 18. Problem.

Zwanzigstes Jahrhundert

Der nächste Schritt zu einer Lösung des Problems wurde von dem ungarischen Mathematiker László Fejes Tóth gemacht. 1953 bewies Fejes Tóth, dass das Problem der Berechnung des Maximums aller (regelmäßigen und unregelmäßigen) Anordnungen auf die Betrachtung einer endlichen (aber sehr großen) Anzahl von Fällen reduziert werden kann. Das bedeutete, dass ein Beweis durch eine sehr große Fallunterscheidung prinzipiell möglich war. Damit stellte Fejes Tóth als erster fest, dass mithilfe eines ausreichend schnellen Computers dieses theoretische Ergebnis in einen praktischen Ansatz zum Beweis der Vermutung umgesetzt werden kann.

In der Zwischenzeit wurden Versuche unternommen, eine obere Grenze für die maximale Dichte von allen möglichen Kugelanordnungen zu finden. Der englische Mathematiker Claude Ambrose Rogers bewies 1958 eine obere Grenze von ungefähr 78 Prozent, und nachfolgende Anstrengungen von anderen Mathematikern konnten diese Grenze leicht verringern, aber auch diese war immer noch ein ganzes Stück über der Dichte der kubisch-flächenzentrierten Packung von 74 Prozent.

Weiterhin gab es auch einige fehlgeschlagene Beweise. Der US-amerikanische Architekt Richard Buckminster Fuller behauptete 1975, einen Beweis gefunden zu haben, der sich jedoch sehr bald als unrichtig herausstellte. 1993 veröffentlichte der chinesisch-amerikanische Mathematiker Wu-Yi Hsiang an der Universität von Berkeley einen Aufsatz, in dem er behauptete, die Keplersche Vermutung mit geometrischen Mitteln zu beweisen. Einige Experten widersprachen dem und behaupteten, dass er unzureichende Begründungen für einige seiner Behauptungen gebe. Obwohl nichts per se Falsches in Hsiangs Arbeit gefunden wurde (nachdem dieser die Preprints seines Beweises allerdings stetig nachbesserte), herrscht ein genereller Konsens, dass Hsiangs Beweis unvollständig ist. Einer der lautstärksten Kritiker war Thomas Hales, der zu dieser Zeit an seinem eigenen Beweis arbeitete.

Hales’ Beweis

1998 hat Thomas Hales, zurzeit Andrew-Mellon-Professor an der Universität Pittsburgh, bekanntgegeben, dass er einen Beweis für die Keplersche Vermutung gefunden hätte. Hales’ Beweis ist ein Beweis durch Fallunterscheidung, bei dem er viele unterschiedliche Fälle mittels komplexer Berechnungen am Computer untersucht hat.

Dem Ansatz von Fejes Tóth folgend, ermittelte Thomas Hales, zu dieser Zeit an der Universität von Michigan, dass die maximale Dichte aller Kugelanordnungen durch die Minimierung einer Funktion mit 150 Variablen gefunden werden kann. 1992 begann er, unterstützt durch seinen Doktoranden Samuel Ferguson, ein Forschungsprogramm, das Methoden der linearen Optimierung anwendet, um eine untere Grenze für diese Funktion, angewendet auf eine Menge von über 5.000 Kugelanordnungen, zu bestimmen. Falls für jede dieser Kugelanordnungen eine untere Grenze für den Funktionswert gefunden würde, die größer ist als der Funktionswert für die kubisch-flächenzentrierten Packung, dann wäre die Keplersche Vermutung bewiesen. Um die unteren Grenzen für alle Fälle zu bestimmen, mussten mehr als 100.000 einzelne lineare Optimierungen berechnet werden.

Als Hales 1996 den Fortschritt seiner Arbeit präsentierte, sagte er, das Ende sei in Sicht, aber es könne noch „ein Jahr oder zwei“ dauern. Im August 1998 kündigte Hales an, dass der Beweis vollständig sei. Zu diesem Zeitpunkt bestand er aus 250 Seiten Aufzeichnungen und drei Gigabyte Computerprogrammen, Daten und Ergebnissen.

Trotz der ungewöhnlichen Form des Beweises schlug Robert MacPherson, einer der Herausgeber der renommierten mathematischen Zeitschrift Annals of Mathematics, eine Veröffentlichung in dieser Zeitschrift vor. Die Begutachtung des Computerbeweises musste jedoch höchsten Ansprüchen genügen, sodass der Beweis zunächst einem Gremium aus zwölf Gutachtern vorgelegt wurde. Gábor Fejes Tóth, der Sprecher der Gutachter (und der Sohn von László Fejes Tóth), gab 2003 nach vier Jahren Arbeit bekannt, dass die Gutachter zu „99 Prozent sicher“ seien, dass der Beweis korrekt sei, aber sie könnten nicht die Korrektheit aller am Computer durchgeführten Berechnungen zertifizieren. MacPherson merkte daraufhin an, dass die Gutachter es möglicherweise leichter gehabt hätten und auch zu einer eindeutigen Antwort gekommen wären, wenn Hales’ Manuskript lesbarer und verständlicher gewesen wäre. Als Resultat des Gutachtens wird angenommen dass die Keplersche Vermutung nunmehr ein mathematischer Satz werden könnte.

Im Februar 2003 veröffentlichte Hales einen hundertseitigen Aufsatz als Preprint, der den nicht vom Computer berechneten Teil von Hales’ Beweis im Detail beschreibt (Lit.: Hales 2003). Die Annals of Mathematics veröffentlichten 2005 den theoretischen Teil von Hales’ Beweis, der von dem Gutachtergremium erfolgreich überprüft wurde. Die Ergebnisse der Computerberechnungen wurden in einer dafür spezialisierten Zeitschrift, Discrete and Computational Geometry, veröffentlicht.[1]

Ein formaler Beweis

Im Januar 2003 hat Hales den Start eines gemeinschaftlichen Projektes angekündigt, das einen vollständig formalen Beweis von Keplers Vermutung erstellen soll. Das Ziel dieses Projektes ist es, jeden verbliebenen Zweifel an der Gültigkeit des Beweises auszuräumen, indem computergestützt ein formaler Beweis in Objective CAML erstellt wird, der von interaktiven Theorembeweisern wie z. B. John Harrisons HOL light überprüft werden kann. Dieses Projekt heißt Project FlysPecK, wobei das F, P und K für Formal Proof of Kepler stehen. Hales schätzt, dass die Erstellung des formalen Beweises etwa 20 Jahre dauern wird.

Literatur

Weblinks

Einzelnachweise

  1. Hales A proof of the Kepler Conjecture, Annals of Mathematics, Bd.162, 2005, S.1063-1183, Hales, Ferguson A formulation of the Kepler conjecture, Discrete and computational geometry, Bd. 36, 2006, S.21-69

Diese Artikel könnten dir auch gefallen

Die letzten News aus den Naturwissenschaften

23.07.2021
Quantenphysik - Biophysik
Topologie in der Biologie
Ein aus Quantensystemen bekanntes Phänomen wurde nun auch im Zusammenhang mit biologischen Systemen beschrieben: In einer neuen Studie zeigen Forscher dass der Begriff des topologischen Schutzes auch für biochemische Netzwerke gelten kann.
22.07.2021
Galaxien
Nadel im Heuhaufen: Planetarische Nebel in entfernten Galaxien
Mit Daten des Instruments MUSE gelang Forschern die Detektion von extrem lichtschwachen planetarischen Nebeln in weit entfernten Galaxien.
21.07.2021
Sonnensysteme - Sterne
Langperiodische Schwingungen der Sonne entdeckt
Ein Forschungsteam hat globale Schwingungen der Sonne mit sehr langen Perioden, vergleichbar mit der 27-tägigen Rotationsperiode der Sonne, entdeckt.
20.07.2021
Festkörperphysik - Thermodynamik
Ein Stoff, zwei Flüssigkeiten: Wasser
Wasser verdankt seine besonderen Eigenschaften möglicherweise der Tatsache, dass es aus zwei verschiedenen Flüssigkeiten besteht.
19.07.2021
Galaxien - Schwarze_Löcher
Ins dunkle Herz von Centaurus A
Ein internationales Forscherteam hat das Herz der nahegelegenen Radiogalaxie Centaurus A in vorher nicht erreichter Genauigkeit abgebildet.
14.07.2021
Exoplaneten
Ein möglicher neuer Indikator für die Entstehung von Exoplaneten
Ein internationales Team von Astronomen hat als erstes weltweit Isotope in der Atmosphäre eines Exoplaneten nachgewiesen.
13.07.2021
Supernovae
Auf dem Weg zur Supernova – tränenförmiges Sternsystem offenbart sein Schicksal
Astronomen ist die seltene Sichtung zweier Sterne gelungen, die spiralförmig ihrem Ende zusteuern, indem sie die verräterischen Zeichen eines tränenförmigen Sterns bemerkten.
08.07.2021
Festkörperphysik - Quantenphysik
Quantenteilchen: Gezogen und gequetscht
Seit kurzem ist es im Labor möglich, die Bewegung schwebender Nanoteilchen in den quantenmechanischen Grundzustand zu versetzen.
01.07.2021
Festkörperphysik - Teilchenphysik
Ein Kristall aus Elektronen
Forschenden der ETH Zürich ist die Beobachtung eines Kristalls gelungen, der nur aus Elektronen besteht.
29.06.2021
Planeten
Neue Erkenntnisse zur Entstehung des chaotischen Terrains auf dem Mars
Gebiete wie diese gibt es auf der Erde nicht: Sie sind durchzogen von Kratern, Rissen, Kämmen, Tälern, großen und kleinen eckigen Blöcken.