Decimoctavo problema de Hilbert
El decimoctavo problema de Hilbert (uno de los conocidos como 23 Problemas de Hilbert, establecidos en una célebre lista compilada en 1900 por el matemático alemán David Hilbert), realiza tres preguntas separadas sobre teselados y empaquetamiento de esferas en el espacio euclídeo.[1]
Grupos de simetría en dimensiones
La primera parte del problema se pregunta si solo hay un número finito de grupos espaciales esencialmente diferentes en el espacio euclídeo de dimensión . Esto fue respondido afirmativamente por Bieberbach.
Revestimiento anisoédrico en 3 dimensiones
La segunda parte del problema pregunta si existe un poliedro que recubra el espacio euclídeo tridimensional pero que no sea la región fundamental de ningún grupo espacial; es decir, mosaicos que no sean isoédricos (mosaicos-transitivos). Estos mosaicos ahora se conocen como anisoedrales. Al plantear el problema en tres dimensiones, Hilbert probablemente estaba asumiendo que no existía tal mosaico en dos dimensiones; esta suposición más tarde resultó ser incorrecta.
El primer mosaico de este tipo en tres dimensiones fue encontrado por Karl Reinhardt en 1928. El primer ejemplo en dos dimensiones fue encontrado por Heesch en 1935.[2] El problema de "einstein"[3] es una cuestión relacionada que requiere una forma que pueda enlosar el espacio pero no con un grupo cíclico de simetrías.
Empaquetado de esferas
La tercera parte del problema pide el empaquetamiento de esferas más denso o el empaquetado de otras formas especificadas. Aunque incluye expresamente formas distintas a las esferas, generalmente se toma como equivalente a la conjetura de Kepler.
En 1998, el matemático estadounidense Thomas Callister Hales dio una prueba asistida por ordenador de la conjetura de Kepler. Demostró que la forma más eficiente de empaquetar esferas es en forma de pirámide.[4]
Referencias
- Milnor, 1976.
- Edwards, 2003.
- Nota: no debe escribirse "Einstein" con mayúscula. El nombre de este problema es un juego de palabras en alemán, idioma en el que la expresión ein Stein significa "una piedra", y recuerda al apellido de Albert Einstein.
- Hales, 2005.
Bibliografía
- Edwards, Steve (2003), , archivado desde el original el July 18, 2011.
- Hales, Thomas C. (2005), «A proof of the Kepler conjecture», Annals of Mathematics 162 (3): 1065-1185, arXiv:math/9811078, doi:10.4007/annals.2005.162.1065.
- Milnor, J. (1976), «Hilbert's problem 18», en Browder, Felix E., ed., Mathematical developments arising from Hilbert problems, Proceedings of symposia in pure mathematics 28, American Mathematical Society, ISBN 0-8218-1428-1.