Théorème de Minkowski - Définition

Introduction

En mathématiques, le théorème de Minkowski est un résultat concernant la géométrie des réseaux. Il relie le nombre de points du réseau contenu dans une partie convexe symétrique au volume fondamental du réseau.

Ce théorème est utilisé en théorie algébrique des nombres. Si K est un corps de nombres, c'est-à-dire une extension finie du corps Q des nombres rationnels, un anneau d'entiers algébriques de K est isomorphe à un réseau. Le caractère éminemment géométrique d'un réseau offre des techniques de démonstrations, utilisées par exemple pour établir le fait que le groupe des classes d'idéaux est fini, ou encore pour déterminer la structure du groupe des unités de l'anneau.

Ce résultat a été découvert par Hermann Minkowski en 1891 et publié en 1896 dans son livre de Géométrie des nombres.

Énoncés

Il est posible d'exprimer ce résultat en termes de réseau.

Démonstrations

Remarques liminaires

La valeur 2^d.V est bien la plus petite possible pour que le théorème soit vrai.

Il est possible de remplir l'espace de volumes homothétiques d'un rapport 2^-d à C et centrés sur les points du réseau. L'intersection de deux volumes quelconques est vide.

On peut remarquer dans un premier temps que la valeur 2^d.V est bien la plus petite possible. En effet, si ε est un nombre réel strictement positif, choisi aussi petit que souhaité, l'ensemble des vecteurs de coordonnées dans la base B, comprises entre 1 - ε et 1 + ε, ne contient que l'origine comme point du réseau. Le volume de ce convexe est aussi proche que souhaité de 2^d.V. Cette situation est illustrée sur la figure de gauche, le point bleu représente l'origine.

Démontrons le lemme suivant :

Ce lemme indique que, quitte à réduire le volume de C d'un rapport 2^-d, il est possible de remplir l'espace de volumes de type α + C₁, où α décrit le réseau. Les intersections deux à deux, des différents volumes sont nulles. Cette propriété est à l'origine de la démonstration.

On raisonne par contraposée et l'on suppose qu'il existe deux points distincts du réseau α et β tels que α + C₁ et β + C₁ aient un point d'intersection. Quitte à translater par -α, on peut toujours supposer α nul. Il existe deux points x et -y de C₁, tels que x = β - y. Ce qui est illustré sur la figure de droite. On en déduit que x + y est égal à β. Comme C₁ est stable par symétrie par rapport à l'origine, y est un élément de C₁, et comme C₁ est un convexe, 1/2(x + y) est aussi élément de C₁. Ce qui montre que 1/2.β est élément de C₁ ou encore que β est élément de C. Donc, si l'intersection de α + C₁ et β + C₁ est non vide, C contient un point non nul du réseau et même deux, car son inverse est aussi élément de C. La contraposée démontre bien la proposition recherchée.

Preuve

Le principe de la démonstration consiste à remplir un hypercube de translatés de convexes C₁.

On suppose dans un premier temps que C est borné. On raisonne encore par contraposée, c'est-à-dire que l'on suppose que C ne contient aucun autre point du réseau que l'origine et l'on montre que le volume S de C est plus petit que 2^d.V. Pour cela, on considère un entier m strictement supérieur à 0 et A_m l'ensemble des points du réseau dont les coordonnées dans la base B sont positives et strictement plus petites que m. À chaque point α de A_m on associe le convexe α + C₁ et B_m est l'union de tous ces convexes, si α parcourt A_m. On obtient un volume composé d'une pluralité de convexes translatés de C₁ comme illustré sur la figure de gauche.

Le lemme précédent montre le volume de B_m est égal au nombre de convexes que multiplie le volume de chacun d'eux, car l'intersection de deux convexes distincts de B_m est vide. Il existe m^d convexes et chacun possède un volume égal à (1/2)^dS car l'homothétie de rapport 1/2 dans un espace de dimension d divise le volume par un facteur 2^d.

Soit δ une borne de C₁, l'ensemble B_m est inclus dans l'image par l'homothétie de rapport m + 2.δ du volume fondamental. Ce qui donne la majoration suivante :

Comme m peut être choisi arbitrairement grand, un passage à la limite montre le résultat voulu.

Si C n'est pas borné, on applique le même raisonnement sur l'intersection de C et de la boule de centre 0 et de rayon n, où n est un entier positif quelconque. Chacune de ces intersections admet un volume inférieur à 2^d.V. Un nouveau passage à la limite montre que C est aussi de volume inférieur à 2^d.V. Comme tout convexe d'intérieur non vide et de volume bornée est borné, ce cas ne peut pas se produire.

Cas du convexe fermé

On suppose ici que C est un convexe fermé de volume exactement égal à 2^d.V. Dans ce paragraphe, C_n, où n est un entier strictement positif, désigne l'image de C par une homothétie de rapport 1 + 1/n. Le paragraphe précédent montre l'existence d'un point α_n non nul du réseau élément de C_n. La suite (α_n) est à valeur dans le compact intersection de C₁ et des points non nuls du réseau, il existe une sous-suite convergente et la limite α est un point non nul du réseau.

Cette limite est élément de la suite des compacts emboités C_n et fait partie de l'adhérence de C. Comme C est fermé, α est élément de C, ce qui termine la démonstration.

Démonstration alternative

La géométrie de l'espace R^d quotienté par le réseau est un tore de dimension d.

La géométrie de l'espace R^d quotienté par le réseau est un tore de dimension d.

Il existe une manière élégante de démontrer le théorème, à l'aide d'un groupe topologique. L'espace R^d peut être vu comme un groupe et le réseau un sous-groupe. Quotienter l'espace par le réseau revient à identifier chaque élément de R^d avec un élément du domaine fondamental. En dimension 2, cela revient à coller les points du domaine fondamental de première coordonnée égale à 1 avec ceux dont la première coordonnée est égale à 0 et agir de même avec la deuxième coordonnée. On obtient un tore de dimension d, illustré en dimension 2 par la figure de gauche. Pour chaque point du tore, il existe un voisinage et un difféomorphisme d'un voisinage de R^d vers ce voisinage. Ces difféomorphismes permettent de définir une mesure sur le tore, tel que tout espace mesurable du domaine fondamental soit mesurable sur le tore et de même mesure. La mesure du tore est celle du volume fondamental V.

Cette mesure est l'outil de la démonstration alternative. La démonstration est cette fois-ci directe. On suppose que le convexe C, illustré en vert dans l'exemple de droite, est de mesure strictement supérieure à 2^d.V. Son image C₁, illustré en jaune, par l'homothétie de rapport 1/2, est de mesure strictement supérieure à V égal au volume fondamental. L'image de C₁ par le morphisme canonique de groupe, définissant le tore, ne peut être injective car la mesure de l'image serait supérieure à celle du tore tout entier. Il existe donc deux éléments de C₁, x et y ayant même image par le morphisme canonique.

La zone de non injectivité est illustrée en gris sur la figure de droite. Dans l'exemple, certains points du tore sont touchés deux fois, la zone est représentée en gris et d'autres une unique fois, représenté en jaune, sur la figure de gauche. La zone grise est composée de deux bandes dont l'une fait le tour d'une section horizontale et l'autre d'une section verticale. Le point x - y est élément non nul du réseau car x et y sont deux représentants différents d'une même classe. Il est aussi élément de C car la convexité et la stabilité par symétrie autour de l'origine de C₁ montre que 1/2(x - y) est élément du convexe.