Captulo 5

Geometra Discreta

TEMARIO
Lecci
on 5.1 Nociones y resultados basicos en Teora de Retculos.
Lecci
on 5.2 El Teorema Fundamental de Minkowski.
Lecci
on 5.3 Los mnimos sucesivos. El Segundo Teorema de Minkowski.

a Geometra de N
umeros tuvo su origen en la b
usqueda de tecnicas novedosas que permitiesen
L
afrontar problemas de la ya clasica Teora de N
umeros desde el punto de vista de la Geometra.
Kepler (1611) y Huygens (1690) fueron los primeros en considerar las estructuras de los retculos
como base de la Cristalografa, una estrecha conexion que se mantiene en la actualidad. Un ejemplo
impresionante de coincidencia entre teora y experimentacion lo podemos ver en la Figura 5.1.

Figura 5.1: Quasicrystals: el modelo matem

atico predijo la realidad.

Geometra Discreta

46

El quasicrystal (izquierda) fue descubierto en una remarcable secuencia de experimentos por

Beeli, Godecke y L
uck en 1998; poco antes, Boroczky y Schnell haban obtenido el correspondiente
modelo matematico (derecha). Pero no fue hasta 1896 cuando esta teora se desarrollo de forma
espectacular gracias a su principal impulsor, Minkowski, quien acu
no el termino Geometra de
N
umeros para designar esta nueva rama de las matematicas que relaciona la Teora de Retculos,
la Convexidad, la Aproximacion Diofantica y la Teora de Formas Cuadraticas.
Sean F : Rn R con F (0, . . . , 0) = 0 y R+ . Queremos saber bajo que condiciones existen


enteros u1 , . . . , un , no todos nulos, tales que F (u1 , . . . , un )  . Si consideramos cualquier n-upla
de n
umeros reales x1 , . . . , xn como un punto x en el espacio eucldeo Rn , y representamos por M el




conjunto de los puntos M = x Rn : F (x1 , . . . , xn )  , esta cuestion puede ser reformulada
del siguiente modo: bajo que condiciones el conjunto de puntos n-dimensional M contiene un
punto u con coordenadas enteras u1 , . . . , un no todas nulas? La b
usqueda de una respuesta a esta
pregunta podra plantearse desde dos puntos de vista diferentes:
El primero sera considerar valores reales arbitrarios para las variables, lo que hace el problema
susceptible de un tratamiento analtico: Hermite (1850) demostro que si F es una forma


cuadratica definida positiva, la desigualdad F (u1 , . . . , un )  tiene solucion no trivial si
toma un determinado valor que depende, exclusivamente, de n y del discriminante de F .
Minkowski considero el resultado de Hermite como una propiedad de los elipsoides, obteniendo
una nueva demostracion geometrica de dicho resultado. Ademas, observo que esta propiedad
no es caracterstica exclusivamente de los elipsoides, sino que poda ser generalizada a conjuntos convexos centralmente simetricos del espacio eucldeo n-dimensional.
Minkowski demostro un simple, pero fundamental teorema, resultado central de la Geometra de
N
umeros, y del que arrancan sus principales aplicaciones.

5.1.

Nociones y resultados b
asicos en Teora de Retculos.
Sumario. Retculos. El paraleleppedo fundamental. Los retculos entero, rectangular y hexagonal. El determinante del retculo. La celda de Dirichlet-Voronoi. El
teorema de seleccion de Mahler.

n esta leccion vamos a estudiar los conceptos fundamentales de la Teora de Retculos, as como
E
algunas de sus propiedades y resultados mas importantes.
Definici
on 5.1. Dados n vectores linealmente independientes b1 , . . . , bn del espacio eucldeo Rn ,
se define el retculo L generado por ellos como el conjunto de todas las combinaciones lineales con
coeficientes enteros de dichos vectores, esto es,


L(b1 , . . . , bn ) = a1 b1 + + an bn : a1 , . . . , an Z .
El conjunto {b1 , . . . , bn } es una base de L.

5.2 El Teorema Fundamental de Minkowski.

47

El paraleleppedo PL determinado por tales vectores, esto es, aquel cuyos 2n vertices son de la
forma a1 b1 + + an bn , con ai {0, 1} para todo i, se denomina paraleleppedo fundamental del
retculo L. Claramente,
vol(PL ) = det(b1 , . . . , bn ) := det L,
determinante que recibe el nombre de determinante del retculo, y que se representa por det L. Vamos
a representar por Ln el conjunto de todos los retculos L Rn con determinante det L 6= 0.


Ejemplo 1.
El retculo entero: Zn = a1 e1 + + an en : a1 , . . . , an Z = conjunto de los
puntos de Rn con coordenadas enteras.
El retculo rectangular: es el generado por los vectores bi = (0, . . . , ki , . . . , 0), donde ki Z.



El retculo hexagonal (plano): es el generado por los vectores (1, 0), (1/2, 3/2) .
Teorema 5.2. El determinante de un retculo det L no depende de la base elegida.
Definici
on 5.3. Dado L Ln , se define la celda de Dirichlet-Voronoi de L como el conjunto


CL = x Rn : |x| |x p|, para todo p L .
Por la estructura del retculo, las celdas de Dirichlet-Voronoi son siempre politopos convexos
centralmente simetricos. Ademas, vol(CL ) = vol(PL ) = det L.
Definici
on 5.4. Sean K Kn y L Ln . Se define el enumerador de puntos del retculo de K como


G(K, L) = card int K L .
Si G(K, L) = 0, se dice que K est
a libre de puntos del retculo. Si int K L = {0}, se dice que el
retculo L es admisible para K o K-admisible.
Para muchos propositos, resulta de interes saber si existen retculos verificando determinadas
propiedades extremales, es decir, tener un resultado analogo al teorema de seleccion de Blaschke
para retculos. Esta herramienta se conoce como el Teorema de Seleccion o Compacidad de Mahler.
Teorema 5.5 (Teorema de Selecci
on de Mahler, 1946). Una sucesi
on de retculos con determinantes acotados superiormente, y que son admisibles para un entorno del origen, contiene una
subsucesi
on convergente.

5.2.

El Teorema Fundamental de Minkowski.

Sumario. El Teorema Fundamental de Minkowski. El Teorema de Blichfeldt.
Generalizaciones. El teorema de Minkowski-Hlawka.

no de los problemas basicos de la Geometra de N

umeros es investigar si un conjunto dado de
U
R contiene o no un punto de un retculo L. El resultado central de esta parte de las Matematicas
n

es el Primer Teorema o Teorema Fundamental de Minkowski (1893), cuya importancia subyace en el

amplio rango de interesantes aplicaciones que de este se derivan.

Geometra Discreta

48

Teorema 5.6 (Primer Teorema de Minkowski, 1893). Sea K Rn un cuerpo convexo,

centralmente simetrico respecto al origen, que no contiene ning
un otro punto del retculo entero en
su interior adem
as de O. Entonces,
vol(K) 2n .
El teorema sigue siendo valido si se trabaja con un retculo arbitrario, obteniendose entonces,
bajo las mismas hipotesis, la siguiente acotacion para el volumen de K:
vol(K) 2n det L.
Los conjuntos extremales en el Teorema de Minkowski son los llamados paraleloedros:
Definici
on 5.7. Un paraleloedro es un politopo convexo que tesela el espacio (lo cubre sin que haya
solapamientos) por traslaciones sobre los puntos del retculo.
La determinacion de los diferentes tipos de paraleloedros en dimension arbitraria es un problema
abierto. En 1885, Fedorov demostro que, en el caso del plano eucldeo, los paraleloedros son siempre
hexagonos centralmente simetricos o paralelogramos, y determino los 5 tipos existentes en R3 .
Se sabe ademas que en R4 existen 52 tipos diferentes, tal y como demostraron Delone (1929) y

Stogrin
(1973). Sin embargo, cuando n 5, el problema de la determinacion de los paraleloedros
contin
ua abierto.
Teorema 5.8 (Blichfeldt, 1914). Sean M un conjunto medible y L Ln . Si vol(M ) > det L
(vol(M ) det L para M compacto), entonces M contiene dos puntos distintos x e y tales que
x y L.
El Teorema de Blichfeldt tambien puede formularse de la siguiente forma:
Teorema 5.9. Sean M un conjunto medible y L Ln . Si vol(M ) > det L (vol(M ) det L para M
compacto), entonces existe un trasladado de M que contiene al menos dos puntos distintos de L.
Muchos resultados clasicos de la Teora de N
umeros pueden demostrarse de modo sencillo gracias
al Teorema Fundamental de Minkowski. Veamos dos de ellos. El primero fue demostrado por Euler
mas de cien a
nos despues de que Fermat lo estableciese. Sin embargo, Euler no tuvo exito al intentar
demostrar el Teorema de los Cuatro Cuadrados, que fue finalmente probado por Lagrange en 1770.
Teorema 5.10 (Fermat-Euler). Todo primo p de la forma 4m + 1 puede expresarse como la
suma de los cuadrados de dos n
umeros enteros.
Teorema 5.11 (El Teorema de los Cuatro Cuadrados; Fermat-Lagrange). Todo entero
positivo puede expresarse como la suma de los cuadrados de cuatro n
umeros enteros.
El Teorema Fundamental de Minkowski ha dado lugar a un gran n
umero de generalizaciones de
muy diversos tipos, sustituyendo alguna de las hipotesis del Teorema de Minkowski (convexidad,
simetra central, n
umero de puntos contenidos en el interior) por condiciones mas generales. El
teorema de Ehrhart es, quiza, la generalizacion mas relevante.

5.3 Los mnimos sucesivos. El Segundo Teorema de Minkowski.

49

Teorema 5.12 (Ehrhart, 1955). Sea K un cuerpo convexo con centro de gravedad en el origen
del retculo entero, que no contiene otros puntos de Z2 en su interior adem
as de O. Entonces,
A(K) 4,5, d
andose la igualdad si, y s
olo si, K es una transformaci
on unimodular entera del
tri
angulo de vertices (1, 2), (2, 1) y (1, 1).
Ademas conjeturo que, para cuerpos convexos en Rn , con centro de gravedad en el origen, y sin
otros puntos de un retculo L en su interior no nulos, se deba verificar la desigualdad
vol(K)

(n + 1)n
det L,
n!

alcanzandose la igualdad, para cada n, cuando K es un smplice. Esta conjetura es a

un un problema
abierto cuando n 3.
El Teorema Fundamental de Minkowski podra enunciarse diciendo que un retculo L Ln
que es admisible para un conjunto convexo centralmente simetrico K dado, verifica la desigualdad
2n vol(K) det L. Por tanto, resulta natural preguntarse si existen retculos K-admisibles para los
cuales el determinante no tome un valor demasiado grande. Sorprendentemente, es muy difcil dar
una respuesta satisfactoria a esta cuestion, incluso en el caso de los cuerpos convexos mas sencillos,
como pueden ser las bolas eucldeas.
En 1905, Minkowski demostro, de una forma muy ingeniosa, la existencia de un retculo en Rn
que es admisible para la bola eucldea Bn y que tiene determinante, a lo sumo,
1
vol(Bn ),
2(n)
donde representa la funci
on zeta de Riemann: (n) = 1+2n +3n +. . . Minkowski conjetur
o que
este resultado segua siendo cierto si se sustitua Bn por un cuerpo convexo (estrellado) centralmente
simetrico cualquiera.
Esta conjetura fue demostrada (afirmativamente) por Hlawka, en 1944:
Teorema 5.13 (Minkowski-Hlawka, 1944). Si S es un conjunto estrellado, centralmente simetrico y acotado, entonces existe un retculo L Ln que es admisible para S, verificando
det L

5.3.

1
vol(S).
2(n)

Los mnimos sucesivos. El Segundo Teorema de Minkowski.

Sumario. Los mnimos sucesivos. El Segundo Teorema de Minkowski. Generalizaciones.

inkowski demostro originalmente su Teorema Fundamental para el caso particular del retculo
M
entero, demostracion que dio lugar a la aparicion de un nuevo concepto, de gran relevancia en la
Geometra de N
umeros: los mnimos sucesivos.

Geometra Discreta

50

Definici
on 5.14. Se define el i-esimo mnimo sucesivo de un cuerpo convexo K, centralmente simetrico, respecto a L como




i (K, L) = inf > 0 : dim(K L) i = inf > 0 : K contiene i vectores l. i. de L .
Es evidente que
0 1 (K, L) 2 (K, L) n (K, L) < .
Observese que si K es un conjunto convexo centralmente simetrico de Rn y L Ln , el Primer
Teorema de Minkowski puede escribirse de la forma
1 (K, L)n vol(K) 2n det L.
En 1896, Minkowski probo un resultado mucho mas fuerte que su primer teorema, relacionando los
mnimos sucesivos de un cuerpo convexo K, centralmente simetrico, con su volumen:
Teorema 5.15 (Segundo Teorema de Minkowski, 1896). Sea K un cuerpo convexo centralmente simetrico de Rn , con mnimos sucesivos 1 (K, L), . . . , n (K, L) respecto a un retculo L
arbitrario. Entonces,
2n
det L 1 (K, L)2 (K, L) . . . n (K, L)vol(K) 2n det L.
n!
Las extensiones del Segundo Teorema de Minkowski son muy recientes y complejas, no apareciendo un primer resultado de este tipo hasta 1990, cuando M. Henk obtiene una generalizaci
on
del teorema utilizando los vol
umenes intrnsecos y la desigualdad de Brunn-Minkowski.
Teorema 5.16 (Henk, 1990). Si K Rn es un cuerpo convexo centralmente simetrico, entonces
i+1 (K, Zn ) . . . n (K, Zn )vol(K) 2ni Vi (K)
para todo i = 0, . . . , n 1. Si i 6= 0, las desigualdades son estrictas, y no pueden ser mejoradas.