Réseau (géométrie)

Réseau (géométrie)
Page d'aide sur l'homonymie Pour les articles homonymes, voir Réseau.

En mathématiques, un réseau d'un espace euclidien est un maillage correspondant à la figure de gauche.

Un réseau est un ensemble discret de points qui emplissent un espace vectoriel réel de dimension fini et de manière régulière. Le terme « régulier » signifie ici que la somme et la différence de deux points du réseau est encore dans le réseau.

Il remplit l'espace au sens où il existe un rayon R tel que toute boule de rayon R contient au moins un point du réseau. Il est discret au sens où il existe un nombre strictement positif r tel que toute boule de rayon r contient au plus un point du réseau. Il est régulier au sens où la somme et la différence de deux points du réseau est encore élément du réseau.

L'étude des réseaux est à la croisée de différentes branches des mathématiques. Pour un théoricien des groupes, un réseau est avant tout un cas particulier (sans torsion) de groupe abélien de type fini. Pour un algébriste, un réseau ressemble à un espace vectoriel de dimension finie sur le corps des nombres réels, à la différence que ce corps est remplacé par l'anneau des entiers relatifs et que la notion d'espace vectoriel est de ce fait remplacée par celle de module. Si les visions précédentes apportent informations et théorèmes sur la structure d'un réseau, elles ne correspondent ni à l'origine du terme ni aux méthodes mathématiques spécifiques aux réseaux. Ce terme réseau provient initialement d'une question de nature physique, l'étude des cristaux. En cristallographie, un réseau porte le nom de réseau de Bravais et les outils d'analyse sont essentiellement géométriques. Les questions propres à l'analyse d'un réseau portent sur les différentes symétries qui laissent invariant le réseau ou encore la résolution de problèmes d'empaquements de sphères ou de convexes. Cette approche offre des démonstrations parfois plus simples de théorèmes déjà connus et parfois nouvelles, bien difficiles à démontrer sans l'apport de la géométrie.

Si une subdivision en différentes branches des mathématiques est utile, la définition des frontières est nécessairement floue. Un théoricien des groupes, ou un algébriste, utilise avec bonheur des outils géométriques pour parvenir à ses fins. Ainsi, l'usage d'un réseau se trouve dans de nombreux pans des mathématiques. En théorie des groupes, on le retrouve pour l'étude des groupes de Lie et de leurs algèbres, il est aussi présent pour l'étude des représentations d'un groupe fini. En arithmétique, il est l'outil de base d'une branche entière appelée géométrie arithmétique. La physique en fait usage pour étudier la répartition des atomes ou des ions dans un solide cristallin. Le réseau est source d'algorithmes en usage en informatique. Il est à la base de méthodes pour casser des codes secrets ou encore pour en construire d'autres, probablement difficilement violable. Le terme difficile possède ici une définition aussi précise que particulière. Il ne signifie pas que personne ne sait comment déchiffrer le message codé, mais seulement qu'il n'existe pas de méthode qui permette de le faire en un temps raisonnable.

Sommaire

Algèbre linéaire et espace métrique

Articles détaillés : Algèbre linéaire et Espace métrique.

Dans cet article les lettres {}^\C, {}^\R, {}^\Q et {}^\Z désignent respectivement le corps des imaginaires encore appelés complexes, des nombres réels, des rationnels et l'anneau des nombres entiers et n un entier strictement positif. L'espace vectoriel {}^{\R^n} désigne l'ensemble des n-uplets composés de n nombres réels dans un ordre donné. Géométriquement, on les imagine comme les coordonnées d'un point dans un espace muni d'un repère orthonormal. En dimension 2 ou 3, on obtient une représentation du monde physique, à la condition qu'il soit approximé par une géométrie euclidienne.

Définition

Définition[1] —  Un réseau Λ de {}^{\R^n} est un sous-groupe discret de {}^{\R^n} pour l'addition, tel que le sous-espace vectoriel engendré par Λ soit égal à {}^{\R^n}.

L'hexagone est une figure permettant de construire un réseau en dimension 2

Une telle définition mérite quelques explications. Le choix de {}^{\R^n} au lieu d'un espace vectoriel réel de dimension n n'est que de peu d'importance. Tout espace vectoriel réel de dimension n est une copie de {}^{\R^n} et les résultats vrais dans {}^{\R^n} le sont dans un espace réel de dimension n. On parle d'isomorphisme. Le fait que les points forment un groupe implique la régularité du réseau. Un polygone de sommets des points du réseau, translaté par un déplacement d'un point du réseau à un autre, possède toujours pour sommets des points du réseau. L'exemple ci-haut l'illustre. Les points du réseau correspondent à l'intersection du quadrillage, l'hexagone en violet, translaté possède toujours des sommets éléments du réseau. Dans le cadre spécifique d'une partie de {}^{\R^n}, on peut expliquer le sens du mot discret par l'énoncé suivant :

Proposition —  Une partie fermée de {}^{\R^n} est discrète si et seulement si pour tout réel R, elle ne contient qu'un nombre fini de points à distance inférieure ou égale à R de l'origine.

Le groupe {}^{\Q^n}, constitué des points à coordonnées rationnelles, est un exemple de sous-groupe non discret.

La troisième propriété signifie qu'il n'existe pas de sous-espace vectoriel strict contenant le réseau. Si la dimension est égale à 3, alors aucun plan ne contient le réseau. Si un plan entier est couvert et s'il existe un unique point du réseau en dehors d'un plan, la stabilité de l'addition et de la soustraction montre que l'espace entier est couvert. Dire que l'espace est couvert signifie qu'il existe un rayon ρ tel que toute boule de rayon supérieur à ρ contient au moins un point du réseau, et ceci quel que soit son centre.

Tout espace vectoriel E de dimension n sur les nombres complexes est aussi un espace vectoriel réel de dimension 2n. Ainsi, si Λ est un groupe discret qui génère E, en tant qu'espace vectoriel réel, il est un réseau de dimension 2n. De même que {}^{\Z^n} est un réseau de {}^{\R^n}, Gn est un réseau de {}^{\C^n}. La lettre G désigne ici les entiers de Gauss, c'est-à-dire les nombres de la forme a + i.ba et b sont des éléments de {}^\Z.

Base

Article détaillé : Groupe abélien libre.

Existence d'une base —  Soit Λ un réseau de {}^{\R^n}, il existe une famille (bi) de n éléments du réseau, tel que tout élément s'exprime de manière unique comme combinaison linéaire de cette famille, à coefficients dans les nombres entiers. Une telle famille porte le nom de base.

\Lambda = \left\{ \sum_{i=1}^n l_i b_i \; | \; l_i \in\Bbb{Z} \right\}\quad\text{et}\quad \forall \lambda \in \Lambda ,\;\exists ! (l_i) \in\Z^n \quad \lambda = \sum_{i=1}^n l_i b_i
Dans un réseau, il existe une famille, illustrée en rouge sur la figure, telle que tout point s'exprime comme combinaison linéaire de manière unique, des points de la famille

Il existe plusieurs manières de lire et de démontrer ce théorème. En termes de théorie des groupes, un réseau est un groupe abélien de type fini sans torsion, autrement dit un groupe abélien libre de rang fini.

Réseau (géométrie) existence d'une base dim 2.jpg

Une autre manière de voir les choses est de faire usage de l'algèbre linéaire. On considère le réseau comme un quasi espace vectoriel, à la différence que les scalaires ne sont pas tous inversibles. Les scalaires ici sont égaux aux nombres entiers. Une telle structure porte le nom de module. S'il existe une famille génératrice finie, si le {}^\Z-module forme un groupe additif sans torsion, le théorème des facteurs invariants est une manière de montrer le résultat.

Ces démonstrations sont bien peu géométriques et n'utilisent guère les outils associés aux réseaux. On peut imaginer une démonstration directe, guidé par l'intuition géométrique qu'apporte une telle structure. Le principe est illustré en dimension 2 sur la figure de gauche. On considère deux vecteurs libres du réseau, choisis de norme la plus petite possible. La norme est le terme mathématique technique désignant la longueur d'un vecteur. On appelle ces vecteurs α et β. Ils définissent un parallélogramme, en jaune sur la figure. La minimalité des normes de α et β permet de montrer que ce parallélogramme ne contient aucun point du réseau autre que ses sommets.

On considère, un point λ quelconque du réseau, que l'on peut toujours exprimer comme une combinaison linéaire de α et β si la structure considérée est l'espace vectoriel {}^{\R^2}. En retranchant à λ le vecteur de coordonnées les parties entières de celle de λ on obtient un petit vecteur du réseau, à l'intérieur du parallélogramme jaune. Ce principe est un peu analogue à une division euclidienne. Le petit vecteur serait, avec cette analogie, le reste. Le fait qu'il soit dans le parallélogramme et dans le réseau, montre qu'il est nul. Le vecteur λ s'exprime donc comme une combinaison linéaire de α et β avec des coefficients entiers.

Cette démonstration, ainsi que sa généralisation en dimension quelconque est plus simple que les deux citées précédemment. L'usage de la géométrie simplifie l'approche. En revanche, la méthode proposée ici n'est pas effective, à la différence de celle des facteurs invariant, par exemple. Effective signifie que l'on peut, avec cette méthode, construire effectivement une base. Dans le cas général, il est difficile de trouver le vecteur non nul de plus petite norme.


Domaine fondamental

Une zone particulière a été utilisé, dans la démonstration précédente, elle correspond à la zone illustrée en jaune pour la dimension 2. Elle correspond à la définition suivante :

Définition[1] — Le domaine fondamental par rapport à une base B , si B est une base (bi) du réseau est l'ensemble des points P :

P = \left\{ \sum_{i=1}^n \lambda_i b_i \; | \; \lambda_i \in [0,1[ \right\}
Deux domaines fondamentaux ont même volume

La zone rouge de la figure de gauche est un exemple de volume fondamental. La définition d'un domaine fondamental s'obtient à partir d'une base. Pour les réseaux, comme pour les espaces vectoriels, il existe plusieurs bases et, en conséquence plusieurs volumes fondamentaux. À part en dimension 1, où il n'en existe que deux, ayant la même géométrie, il en existe dans tous les autres cas une infinité. Pour s'en rendre compte il suffit de remplacer le deuxième vecteur de la base par la somme de k fois le premier vecteur et le deuxième. Si k désigne un entier, on a là un moyen de construire une infinité de bases aux géométries différentes. Sur la figure de gauche, la zone verte est un autre domaine fondamental.

Il existe un invariant associé au domaine fondamental. Le volume fondamental d'un réseau est la mesure du volume du domaine fondamental et lui est unique. Sur la figure de gauche, les volumes définis par les parallélépipèdes vert et rouge sont égaux.

Invariance des volumes fondamentaux — Le volume fondamental est indépendant de la base qui définit le domaine fondamental.

Théorème de Minkowski tore 2.jpg

Il existe une manière intrinsèque de définir le domaine fondamental, elle fait appel à des concepts plus avancés. Le groupe de Lie {}^{\R^n/\Lambda} dispose d'une mesure canonique. Pour tout point p de {}^{\R^n/\Lambda}, il existe un ouvert de p tel que la projection canonique de {}^{\R^n} dans {}^{\R^n/\Lambda} soit un difféomorphisme.[pas clair] Ces difféomorphismes permettent de définir une mesure. Le groupe de Lie est compact, sa mesure totale peut être choisie égale au volume fondamental du réseau.

Une manière simple de voir les choses est de se limiter à la dimension 2. Les points de première coordonnée égale à un entier sont identifiés avec les points de première coordonnée égale à 0. Cela revient à enrouler l'espace pour obtenir un cylindre où tous les points de première coordonnée entière sont superposés. On identifie alors les points de deuxième coordonnée égale à un entier aux points de deuxième coordonnée égale à 0. Cela revient à enrouler le cylindre pour obtenir un tore, illustré sur la figure de gauche.

La représentation est, en termes de mesure, imparfaite. Les cercles horizontaux du tore correspondent aux points de deuxième coordonnée constante. Tous ces cercles ont une circonférence égale à 1. Dans la représentation, selon que le cercle est plus ou moins choisi à l'intérieur du tore, la circonférence varie. À ce détail près, la représentation par une forme s'approchant d'une bouée est un bon support pour l'intuition de la géométrie du volume fondamental d'un réseau.

Groupe orthogonal

Article détaillé : Groupe orthogonal.
À un pavage régulier de l'espace, correspond nécessairement un réseau. Les figures du pavage respecte le groupe orthogonal.

Le groupe orthogonal d'un espace euclidien est l'ensemble des applications linéaires qui transforment l'espace en lui-même, tout en conservant la distance et les angles. Ces applications sont appelées isométrie. Le groupe orthogonal contient un sous-groupe, appelé groupe spécial orthogonal, composé des transformations de déterminants positifs, nécessairement égaux à 1. En dimension 2, le groupe spécial orthogonal est composé des rotations. Les autres isométries sont les réflexions correspondant à l'image que donne le plan à travers un miroir, qui passe par le point origine. Munis de la loi de composition des applications, le groupe orthogonal est un groupe, ce qui signifie que l'élément neutre, qui laisse les éléments à l'identique, est une isométrie. Si une application est une isométrie, sa réciproque, encore appelé inverse, est encore une isométrie. Enfin, la composition d'isométries est associative.

Définition —  Le groupe orthogonal d'un réseau Λ de {}^{\R^n} est le groupe des applications linéaires du réseau telles que la norme de l'image d'un point λ du réseau soit celle du point λ.

Le terme de norme désigne la norme de la restriction du produit scalaire euclidien au réseau Λ.

Dans le cas d'un réseau, le groupe orthogonal est d'ordre fini, il ne comporte qu'un nombre fini d'éléments. Pour s'en rendre compte, il suffit de considérer l'image d'un vecteur d'une base par une isométrie, c'est un vecteur de même norme et il n'en existe qu'un nombre fini. Pour déterminer le groupe orthogonal d'un réseau, on dispose de trois théories différentes. Comme le groupe recherché est d'ordre fini, la théorie des groupes finis peut aider.

L'algèbre linéaire classique offre d'autres outils, un élément du groupe orthogonal d'un réseau peut en effet, être prolongé en une isométrie de {}^{\R^n}, ce qui ramène l'étude à une situation connue. Enfin, une isométrie respecte les distances et les angles, la géométrie euclidienne offre des théorèmes utilisables.

Une manière de visualiser ce groupe orthogonal est d'étudier un pavage régulier de l'espace. Dire que le pavage est régulier revient à dire, dans l'exemple illustré à gauche, que les points au centre de chaque étoile forment un réseau. Si l'on regarde un bloc composé des étoiles qui se trouvent à la même distance qu'une étoile donnée, on trouve un hexagone. À la couleur près, réaliser une rotation de centre, celui d'une étoile et d'angle un sixième de tour, laisse invariant le motif illustré sur la figure et par conséquence le réseau associé. La rotation d'un sixième de tour est élément du groupe orthogonal du réseau. L'analyse géométrique proposée ici ne tient pas compte de la couleur.

Cristallographie

Article détaillé : Cristallographie.
La matière solide a tendance à s'organiser en cristal. Un cristal est un agencement régulier d'atomes ou d'ions. Il se caractérise par un réseau et un motif.
Comprendre la géométrie d'un flocon de neige impose l'étude d'un groupe orthogonal d'un réseau de dimension 3

Le groupe orthogonal d'un réseau possède des applications dans les sciences de la nature. À l'état solide, il est fréquent que la matière s'organise autour de la structure d'un réseau. Si ce n'est pas le cas, on parle alors de matière amorphe ou de verre, l'étude devient plus complexe et n'est pas l'objet de cet article.

La matière solide se compose de briques élémentaires, qui peuvent être des atomes, des ions ou des molécules. Ces briques élémentaires disposent de points d'accroches à certains endroits tout à fait précis. Ces briques élémentaires sont en général les mêmes, si la matière est regardée à la bonne échelle. Elles ont tendance à s'assembler de manière régulière, un peu à la manière d'une construction en Lego à partir d'une unique pièce[2]. Cet état est modélisé par un réseau et un motif. Le motif correspond à la géométrie de la brique élémentaire, le réseau indique les points où ces différentes briques se positionnent. Une géométrie de cette nature est illustrée sur la figure de gauche. Une molécule, composée de deux atomes forme la brique élémentaire, représentée, en haut à droite, par une association d'une bille bleue et d'une verte. Les mêmes molécules s'assemblent selon une géométrie illustrée en haut à gauche. Les points d'accroches forment un angle orthogonal, on obtient un réseau que les cristallographes appellent cubique à faces centrées.

Le groupe orthogonal est source de nombreuses propriétés de cet état de la matière. Il est responsable, par exemple de la forme si caractéristique d'un flocon de neige. La régularité du réseau est à l'origine de l'existence de plans de symétries privilégiés, ce qui favorise des tailles particulières pour une pierre précieuse. Cette géométrie détermine aussi son indice de réfraction et partiellement sa couleur[3]. Les propriétés électriques d'un cristal s'expliquent en grande partie à l'aide de cette géométrie[4].

Les cristallographes utilisent un vocabulaire différent de celui des mathématiciens. Il s'explique à la fois par des raisons historiques et par une manière de voir qui n'est pas toujours la même. Un mathématicien parle de structure de groupe pour décrire les propriétés de régularité du réseau. Pour lui, la stabilité de l'addition et de la soustraction est la raison même de cette régularité. Le cristallographe voit une répétition d'un motif à intervalles réguliers. Pour décrire la même propriété, il utilise de terme de périodicité. Le vocable réseau devient réseau de Bravais, groupe orthogonal : groupe ponctuel de symétrie, domaine fondamental maille primitive. Les noms des différents groupes sont aussi modifiés, le terme de groupe de Klein devient : groupe ponctuel orthorhombique et le groupe cyclique d'ordre 2 : groupe ponctuel monoclinique.

Dimension 2

Le cas de la dimension 2, reste encore simple, aucun outil sophistiqué n'est nécessaire pour l'analyser. Uniquement quatre groupes orthogonaux existent :

Il n'existe, à une rotation et une homothétie près, qu'un unique réseau à symétrie hexagonale.
Si le réseau est constitué d'un domaine fondamental carré, le groupe orthogonal est une copie du groupe diédral D4.

Classification des réseaux de dimension 2 —  Le groupe orthogonal d'un réseau de dimension 2 est isomorphe à l'un des quatre groupes suivants : un groupe diédral D6, D4, D2 ou le groupe cyclique C2.

Le plus vaste est appelé groupe diédral d'indice 6 et est noté D6, les cristallographes le dénomment groupe ponctuel hexagonal. Il est composé de 6 rotations d'un angle de la forme k.π/3, où k désigne un entier et de 6 réflexions, d'axe passant par l'origine et par, soit un point non nul de norme minimale du réseau, soit par le milieu du segment formé par deux points de cette nature. Il n'existe qu'une géométrie pour un réseau correspondant à ce groupe orthogonal. Cela signifie que si deux réseaux ont ce groupe ponctuel de symétrie, il est possible de passer de l'un à l'autre à l'aide d'une rotation et d'une homothétie. Un réseau de cette nature est illustré sur la figure de gauche. Il correspond à l'ensemble des combinaisons linéaires à coefficients entiers de deux vecteurs, notés α et β sur l'illustration, de même norme et formant un angle de π/3.

Une configuration analogue présente un groupe orthogonal diédral d'indice 4, noté D4 et que les cristallographes appellent groupe ponctuel tétragonal ou bien quadratique. Il est illustré sur la figure de droite. Le groupe orthogonal contient 4 rotations d'un angle de la forme k.π/4, où k désigne un entier et de 4 réflexions. Une fois encore les réflexions ont un axe passant par l'origine et, soit un vecteur du réseau non nul et de norme minimale, soit le milieu de deux points de cette nature. Comme précédemment, le réseau est engendré par deux vecteurs, notés α et β sur l'illustration, de même norme et formant un angle d'un quart de tour.

Réseau orthorombique centré
Réseau orthorombique primitif.

Ces deux groupes orthogonaux sont les seuls à ne pas être commutatifs. Le plus vaste des groupes commutatif contient quatre éléments. Si ce groupe peut être vu comme un groupe diédral d'indice 2, on l'appelle plus souvent le groupe de Klein. Il correspond au groupe à 4 éléments dont chacun est son propre inverse et la somme de deux éléments non nuls est toujours égale au troisième, la table est ainsi facile à bâtir.

Cette fois-ci, il n'existe pas une, mais deux configurations de réseau possibles, illustrés à droite et à gauche. Celle de gauche est obtenue par deux vecteurs, toujours notés α et β, qui sont nécessairement de normes différentes et qui forment un angle d'un quart de tour. L'autre solution, illustrée à droite correspond à deux vecteurs non alignés, de même norme, mais formant un angle nécessairement différent du quart de tour. Les cristallographes remarquent que l'on passe de la configuration de gauche à celle de droite en ajoutant un point au centre du rectangle de côtés α et β. Ils appellent ces réseaux orthorhombique et orthorhombique centré. Le groupe orthogonal est formé des deux réflexions de centre l'origine et d'axe parallèle à l'un des côtés du rectangle, les deux derniers éléments sont l'identité, qui fait partie du réseau et la rotation d'un demi-tour.

Le dernier groupe est celui obtenu si aucune des configurations précédentes n'est présente. Le groupe contient deux symétries, l'identité et le demi-tour. Le demi-tour transforme un point en son opposé, il laisse stable le réseau et fait toujours partie du groupe orthogonal. Ce groupe est appelé cyclique d'indice 2 par les mathématiciens et monoclinique par les cristallographes.

Dimension 3

La dimension 3 est de nature analogue à la dimension 2. On trouve cette fois-ci 7 groupes et 14 réseaux de types différents[6].

Classification des réseaux de dimension 3 —  Le groupe orthogonal d'un réseau de dimension 3 est isomorphe à l'un des sept groupes suivants : le groupe du cube, isomorphe à de S4xC2, le groupe ponctuel hexagonal D6xC2, trigonal D6, tétragonal D4xC2, orthorhombique KxC2, monoclinique K et triclinique C2.

Ici, Dn désigne le groupe diédral d'indice n et d'ordre 2n, Sn désigne le groupe symétrique d'indice n et d'ordre n!, K le groupe de Klein d'ordre 4 et C2 le groupe cyclique d'ordre 2. On trouve quatre groupes non abéliens d'ordres 48, 24, 16 et 12 puis trois groupes abéliens, d'ordres 8, 4 et 2 et qui ne contiennent que des éléments involutifs.

Trois géométries différentes de réseau présentent une symétrie cubique, illustrées par les figures ci-dessous. La première, correspondant à la figure de droite, est isomorphe au réseau {}^{\Z^3}, c'est-à-dire qu'il existe une rotation et une homothétie qui envoie le réseau sur {}^{\Z^3}. On parle, en cristallographie de réseau cubique primitif. Il existe un domaine fondamental cubique, globalement invariant par toute isométrie du groupe orthogonal. Le deuxième cas est illustré au centre. Il possède comme figure caractéristique, en vert, un cube dont les centres des faces sont occupés par un point. On parle de réseau cubique à faces centrées. Le domaine fondamental illustré n'est plus cubique. Le troisième cas est illustré à droite. Une figure répétitive apparaissant dans le réseau est celui d'un cube dont le centre est aussi élément du réseau, les cristallographes parlent de réseau cubique centré.

Il existe trois géométries cubiques pour un réseau. Le cube invariant est illustré en vert, un domaine fondamental en orange.
Il n'existe qu'une unique géométrie pour obtenir une structure de réseau hexagonale.
Ajouter 3 points dessinant un triangle équilatéral bien choisi, forme un réseau de structure trigonale.

Deux géométries contiennent des rotations d'un tiers de tour. La figure de gauche correspond à la réplication du réseau hexagonal bidimensionnelle. L'axe orthogonal à un plan contenant le réseau hexagonal de dimension 2, est un axe de symétrie contenant le troisième vecteur δ d'un domaine fondamental. Les isométries trouvées dans le cas de la dimension 2 prolongés sur δ par l'identité sont toutes dans le groupe orthogonal. La symétrie laissant le plan de l'hexagone invariant et transformant δ en -δ est aussi une isométrie laissant invariant le réseau. Le groupe orthogonal est isomorphe à D6xC2, le produit direct des isométries D6 du réseau hexagonal de dimension deux par le C2, le groupe engendré par la symétrie orthogonal transformant δ en -δ.

La figure de droite illustre un réseau contenant un groupe orthogonal plus petit. Le réseau est obtenu par l'adjonction de 6 points supplémentaires à partir de la figure de gauche. Si δ désigne le plus petit vecteur du réseau orthogonal au plan de l'hexagone, 3 points se trouve à une hauteur de δ/3 et les trois autres à 2.δ/3. Les 3 points à une hauteur de δ/3 forment un triangle équilatéral de même géométrie que ceux qui constituent l'hexagone. Le centre de gravité de ce triangle est à la vertical du centre d'un hexagone et la projection parallèlement à δ, de chaque point du triangle correspond au centre de gravité d'un des triangles de l'hexagone. Les trois derniers points forment un autre triangle, obtenu par rotation d'axe dirigé par δ et d'un demi tour.

Il existe une unique manière de prolonger à tout le réseau une isométrie du groupe orthogonal du réseau hexagonal de dimension 2. Pour la moitié des éléments du groupe, sur δ ce prolongement est l'identité. Pour l'autre moitié, ce prolongement est l'homothétie de rapport -1. Le groupe orthogonal est isomorphe à D6. Avec les rotations du cube, ces deux géométries sont les seules à contenir une rotation d'un tiers de tour. Aucun de ces deux groupes n'est commutatif.

Il existe deux structures de réseaux tétragonaux, le réseau primitif et celui centré.

Les réseaux tétragonaux ont bien des analogies avec le cas précédents. Il correspond au passage à la dimension 3 du groupe du carré. Pour que les symétries du carrés puissent se prolonger en dimension 3, il est nécessaire de placer le dernier point définissant le réseau, sur un axe perpendiculaire au carré et passant, soit par l'un des points du carré soit par son milieu.

Chaque symétrie du carré peut être prolongé par une rotation en dimension 3. Il est possible ensuite de composer l'isométrie par l'homothétie de rapport -1. Ainsi, à chaque isométrie du carré correspond deux prolongement dans la dimension 3. Comme l'homothétie de rapport -1 commute avec toutes les isométries, le nouveau groupe orthogonal est le produit direct de celui de dimension 2 avec C2 qui peut se voir comme l'identité et l'homothétie de rapport -1 dans {}^{\R^3}. Ce groupe est le dernier non commutatif.

Une part de convention entre dans la définition des types de réseaux de Bravais. Ainsi, on identifie, pour les groupes ponctuels tétragonaux, les réseaux centrés et ceux à faces centrées. Si l'on considère un réseau centré et que l'on choisit comme figure du carré horizontal, celui formé par deux diagonales, on obtient une figure à face centrée. Cette remarque est aussi vraie pour les réseaux cubiques.

Les structures orthorombiques sont au nombre de quatre

Les autres groupes orthogonaux sont tous commutatifs. Ils se caractérisent pas le fait de ne comporter que des isométries involutive, c'est-à-dire que si on les applique deux fois, on retrouve l'identité. Le plus vaste des groupes de cette nature contient 8 éléments. Il correspond au groupe parfois noté K4 ou encore au produit du groupe de Klein et du groupe cyclique d'ordre 2.

Il existe 4 types de réseaux différents, même s'ils se ressemblent tous. Ils sont construits à partir de 4 vecteurs orthogonaux dont aucun n'a la même taille. Le réseau primitif est un parallélépipède de cette nature. Il existe ensuite trois manières de centrer des points supplémentaires, soit au milieu du parallélépipède, soit au centre de chaque face, soit au centre de deux faces opposées.

S'il existe un axe orthogonal à un plan du réseau, mais que le plan ne contient pas d'axes de symétries, le groupe ne possède plus 8 mais 4 éléments. On trouve alors une structure analogue à celle de la dimension 2 et le groupe ponctuel est de Klein. Elle est composée de deux réflexions opposées, de l'identité et de l'homothétie de rapport -1. Deux types de réseaux distincts, illustrés à droite possèdent ce groupe orthogonal.

Enfin, si aucune des configurations précédentes n'apparaît, alors il ne reste que deux isométries dans le groupe, l'identité et l'homothétie de rapport -1.

Représentations d'un groupe fini

Article détaillé : Représentations d'un groupe fini.

Si la situation, en dimension 3 est de même nature que celle de la dimension 2, les démonstrations se compliquent un peu. Plusieurs facteurs différenciant la dimension 2 et 3 ne simplifient pas la tache. Le plus important est probablement le fait que le groupe spécial linéaire n'a plus de raison d'être abélien, deux rotations ne commutent pas toujours. Ensuite, les groupes sont plus vastes, le plus gros contient 48 éléments en dimension 3, contre 12 en dimension 2. Il est toujours possible d'utiliser les rudiments de l'algèbre linéaire et de la géométrie. La méthode devient plus longue et surtout plus périlleuse. La première classification[7] de Frankenheim, datant de 1842 était imprécise. Il a fallu six ans pour que les erreurs soient corrigées par Bravais.

Il est possible d'enrichir l'attirail d'outils plus puissants. Une théorie, à cheval sur celle des groupes et de l'algèbre linéaire est particulièrement adaptée[8]. Elle a pour objet l'étude des morphismes d'un groupe G dans le groupe linéaire d'un espace vectoriel E de dimension finie, qui est choisi complexe et équipé d'un produit hermitien tel que l'ensemble d'arrivée ne contienne que des isométries. On utilise ici quatre résultats. Toute représentation se décompose en une somme directe de représentations irréductibles, résultat connu sous le nom de théorème de Maschke. C'est-à-dire qu'il est possible de décomposer E en une somme directe de sous-espaces orthogonaux entre eux et stables par toutes isométries de la représentation. La restriction de la représentation à un sous-espace stable ne contient aucun sous-espace stable pour chaque isométrie de la représentation, à l'exception des sous-espaces triviaux. Une représentation de cette nature est dite irréductible. Le caractère χφ d'une représentation φ est l'application de G dans {}^\C, qui à un élément h de G associe la trace de φ(h). Si g désigne l'ordre du groupe G et φ, ψ deux représentations, on associe aux caractères le produit hermitien suivant :

\langle \chi_{\varphi}, \chi_{\psi} \rangle = \frac 1g \sum_{h \in G} \chi_{\varphi}(h)\cdot \overline \chi_{\psi}(h)\;

Une représentation est irréductible si, et seulement si, la norme de son caractère est égale à 1. Si deux représentations irréductibles ne sont pas isomorphes, alors le produit hermitien de leurs deux caractères est égal à 0, autrement dit les deux caractères sont orthogonaux. Il existe exactement autant de représentations irréductibles que le nombre de classes de conjugaison du groupe. Enfin, il existe une représentation particulière dite représentation régulière. Pour la construire, on considère que la famille (hi) des éléments du groupe est une base orthonormale d'un espace vectoriel. À h un élément du groupe, on associe l'isométrie qui transforme la base (hi) en la base (h.hi). Une représentation régulière contient autant de copies d'une représentation irréductible que la dimension de cette représentation irréductible.

Dimensions supérieures

Plus la dimension grandit, plus la question s'avère délicate. On peut encore traiter le cas de la dimension 4 avec les mêmes outils que ceux de la dimension 3. Ensuite, si les méthodes sont essentiellement issues de la théorie des représentations d'un groupe fini, d'autres théorèmes s'avèrent de plus en plus nécessaire.

Ces groupes orthogonaux sont étudiés car, pour d'autres branches du savoir, ils ne manquent pas d'attraits. Ils permettent de représenter certains groupes finis et offrent de nombreuses méthodes pour les étudier. C'est ainsi que J. H. Conway trouve 3 parmi les derniers groupes manquants pour une classification complètes des groupes finis[11]. Le réseau utilisé est de dimension 24 et porte le nom de Leech. Un autre cas célèbre est celui du groupe Monstre, le plus gros des 26 groupes sporadiques. Son existence était annoncée depuis une dizaine d'années avant sa construction[12]. Elle devait découler d'une représentation de dimension 196 883, conjecturé et explicité sans l'aide d'ordinateur. Elle devrait clore la classification des groupes finis simples. Un réseau est utilisé.

D'autres branches des mathématiques font usage d'un réseau. L'étude des courbes elliptiques, développée au XIXe siècle demande l'analyse de réseau de dimension 2. Cette étude se généralise en dimension supérieure par la théorie des fonctions abéliennes.

Géométrie arithmétique

Article détaillé : Géométrie arithmétique.
Réseau de l'idéal principal du point 2 + i dans l'anneau des entiers de Gauss.

Une illustration de l'intérêt de la notion provient de l'arithmétique, et plus spécifiquement de la théorie algébrique des nombres. Si K est une extension finie de degré n du corps {}^\Q, il est possible d'identifier son anneau des entiers algébriques à un module de dimension n. Une extension finie de {}^\Q est un {}^\Q-espace vectoriel de dimension finie et peut être vue comme un sous-corps de {}^\C. Un entier algébrique est un nombre qui est racine d'un polynôme unitaire à coefficients dans {}^\Z. Un exemple simple est le corps des rationnels de Gauss, c'est-à-dire des nombres de la forme a + i.b, où a et b sont des éléments de {}^\Z et i l'unité imaginaire. Les entiers algébriques, appelés entiers de Gauss, sont les nombres de la forme a + i.b où, cette fois-ci, a et b sont des éléments de {}^\Z. Les points du réseau sont représentés sur la figure de droite par les intersection du quadrillage bleu foncé.

Si {}^\C est identifié à {}^{\R^2} par oubli de la structure multiplicative, les entiers de Gauss forme le réseau des points combinaisons linéaires à coefficients dans {}^\Z de la base (1, i). Cette vision géométrique est la clé de nombreuses démonstrations d'arithmétiques. On peut montrer, par exemple, que le quotient de l'anneau par un idéal est fini. La figure de droite illustre le cas de l'idéal des multiples de 2 + i, c'est-à-dire de l'ensemble des nombres composés de deux facteurs 2 + i et un élément a + i.b quelconque du réseau (a et b sont des éléments de {}^\Z). Les points de l'idéal sont les combinaisons linéaires à coefficients entiers des points du réseau 2 + i et -1 + 2i = (2 + i).i. Ce nouveau réseau est représenté par les points verts sur la figure. Une classe d'équivalence de l'anneau quotient est géométriquement représenté par un décalage du réseau vert et qui contient un point du quadrillage, par exemple une classe est illustré par les points bleus. Chaque classe contient un représentant dans la zone rouge des vecteurs de coordonnées comprises dans l'intervalle [0, 1[ dans la base (2 + i, -1 + 2.i). Cette zone est finie et contient nécessairement qu'un nombre fini de points du réseau des entiers de Gauss (réseau représenté par le quadrillage bleu foncé). Ce raisonnement est décrit de manière détaillé dans l'article entier quadratique. Il est valable pour n'importe quel anneau des entiers d'un corps quadratique ainsi que l'anneau des entiers algébriques d'un corps de nombres de degré fini.

Usages

Volume fondamental

Réseau d'entiers quadratiques 2.jpg
Réseau d'entiers quadratiques 3.jpg

En théorie des nombres, si α est un entier algébrique, sa norme au sens arithmétique, est égal au déterminant de l'application qui à un entier algébrique β associe α.β. Un rapide calcul montre que la norme d'un entier de Gauss a + i.b est égale à a2 + b2. Si la base (1, i) est identifiée avec la base canonique de {}^{\R^2}, la valeur absolue de la norme (toujours positive dans l'exemple des entiers de Gauss, mais parfois négative dans d'autres anneaux d'entiers algébriques) s'interprète comme le volume fondamental du réseau. Dans le premier exemple choisi, la norme de 2 + i est égale à 5, le nombre d'entiers de Gauss qui se trouvent dans le domaine fondamental. Ce résultat s'interprète comme le fait que la norme d'un entier algébrique est égal au cardinal de l'anneau quotienté par l'idéal principal engendré par l'entier. Cette propriété est toujours vraie et se démontre à l'aide de considérations géométriques sur un réseau.

La figure de gauche illustre un domaine fondamental associé à un entier algébrique. Le domaine fondamental correspond à la zone à l'intérieur de la frontière dessinée en noir. À chaque point de l'anneau à l'intérieur du domaine fondamental, est dessiné un carré jaune de centre le point de l'anneau et de côté de longueur 1. L'objectif est de montrer que la mesure de la surface réunion des différents petits carrés est la même que le volume fondamental. Si l'on éloigne les frontières de 1, on obtient la forme en bleu clair, qui contient nécessairement la surface jaune. Si l'on approche les frontières de 1, on obtient la forme en vert, qui est nécessairement incluse dans la surface jaune, d'où l'existence d'un encadrement.

Illustré à droite, on réalise la même opération, mais cette fois sur n2 translatés de volumes fondamentaux. Les petits carrés jaunes, qui représentent tous les points de l'anneau à l'intérieur du grand parallélogramme, forment une partition du parallélogramme, à la précision de la frontière près. L'incertitude relative dû aux phénomènes de frontières devient plus réduite. Si n est choisi suffisamment grand, on obtient l'égalité entre les deux surfaces.

Ce résultat est à rapprocher du théorème de Pick qui indique, en dimension 2 la relation entre le nombre de points du réseau contenu dans un polytope P dont les sommets sont des éléments du réseau et la surface du polytope. La généralisation en dimension n est obtenue à l'aide du polynôme d'Ehrhart (en).

Ensemble convexe

Exemple de convexe traité par le théorème de Minkowski.
Théorème de Minkowski tore 1.jpg
Article détaillé : théorème de Minkowski.

Le théorème de Minkowski indique qu'un convexe symétrique par rapport à l'origine et de volume supérieur à 2n.V de {}^{\R^n} rencontre nécessairement un point non nul du réseau si V est son volume fondamental. La figure de droite représente un convexe symétrique par rapport à l'origine, son volume est donc inférieur à 8 fois le volume fondamental, car il ne rencontre le réseau qu'au point d'origine.

Une démonstration utilise la représentation du volume fondamental sous forme de tore. Supposons que le convexe C, illustré en vert sur la figure de gauche, soit de volume supérieur à 2n.V, l'image du convexe par une homothétie de rapport 1/2 est de volume supérieur à celui du tore. Cette configuration est illustré sur la figure de gauche. La restriction du morphisme canonique de {}^{\R^n} dans {}^{\R^n/\Lambda} ne peut être injective, car sinon {}^{\R^n/\Lambda} contiendrait un volume dont la mesure serait strictement supérieure à la sienne. Il existe donc deux points x et y ayant même image par le morphisme, où encore x - y est élément de Λ. Or x et -y sont éléments de 1/2 C et 1/2(x - y) l'est aussi, donc x - y est élément de C. La zone où le morphisme n'est pas bijectif est indiqué en gris sur la figure de droite. Son image par le morphisme est la zone grise du tore illustré dans le paragraphe sur le Volume fondamental. L'article détaillé propose aussi une autre démonstration, légèrement plus calculatoire, mais utilisant des outils plus simples.

Cette technique est utilisée par exemple pour établir le théorème des unités de Dirichlet, élucidant la structure du groupe des unités d'un anneau d'entiers algébriques.

Problèmes algorithmiques dans les réseaux

Un réseau formant un ensemble discret, il existe dans tout réseau un plus court vecteur non nul. Ce vecteur dépend bien évidemment de la norme dont on munit l'espace. Ce problème (souvent nommé SVP, de l'anglais Shortest Vector Problem) est connu pour être NP-difficile dans le cas de la norme euclidienne. Pour d'autres normes usuelles, rien n'est connu, mais on conjecture que le problème est au moins aussi difficile à résoudre.

Le problème non homogène associé est celui de trouver le vecteur d'un réseau le plus proche d'un vecteur donné dans {}^{\R^n}. Il est souvent nommé CVP (de l'anglais Closest Vector Problem) et est lui aussi NP-difficile pour la norme euclidienne.

Certaines bases sont mieux adaptées que d'autres pour travailler dans un réseau car elles sont formées de vecteurs courts et permettent donc de se promener localement aux alentours d'un point donné du réseau. On les appelle bases réduites et ces méthodes, réductions de réseau. Il existe plusieurs notions différentes de réductions mais la réduction LLL inventée par Lenstra, Lenstra et Lovász présente l'avantage d'être calculable en temps polynomial par l'algorithme LLL. Cet algorithme qui fournit une base de vecteurs assez courts a de multiples applications, notamment en cryptographie à clé publique.

Voir aussi

Références

  1. a et b Cette définition est très générale. Cf par exemple C. Lamy-Bergot, thèse de doctorat de l'ENST (2000), chap. 1 : Les réseaux de points
  2. On trouve une explication détaillée dans : Réseaux cristallins dans l’espace réel et réciproque un cours de physique du solide de l'EPFL
  3. S. Norvez et F. Tournilhac, Phénomènes de couleur dans les minéraux et les pierres précieuses, ESPCI, voir p. 2 la théorie du champ cristallin
  4. J. Huheey, E. Keiter et R. Keiter, Chimie inorganique, De Boeck, 1996 (ISBN 2804121127), p. 266
  5. (en) M. Aroyo, U. Müller et H. Wondratschek, Historical Introduction, International Tables for Crystallography, Vol. A1, Springer, 2006, p. 2-5
  6. Les 7 groupes et 14 réseaux sont illustrés dans le site : (en) S. Rosen et J. Adler, The fourteen Bravais lattices, Technion, 2003
  7. G. Delafosse, Nouveau cours de minéralogie, Roret, 1860
  8. Y. Kosmann-Schwarzbach, Groupes et symétries, École polytechnique (ISBN 978-2-73021257-1)
  9. Le document suivant propose une analyse limitée au groupe du cube : C. Squarcini, Groupe des isométries du cube, document de préparation à l'agrégation interne
  10. On peut vérifier par exemple sur : R. Bédard, Représentations des groupes, UQAM, p. 29
  11. (en) J. H. Conway, A perfect group of order 8,315,553,613,086,720,000 and the sporadic simple groups, Proc. NAS, n° 61, 1968, p. 398-400
  12. Représentations des groupes finis, théorie des caractères, enseignement de l'École polytechnique, p.5

Liens externes

Bibliographie

  • (en) Enrico Bombieri et Walter Gubler, Heights in diophantine geometry, New math. monographs 4, Cambridge University Press, 2006 (ISBN 978-0-52171229-3)
  • M. Fetizon, H.-P. Gervais et A. Guichardet, Théorie des groupes et leurs représentations. Application à la spectroscopie moléculaire, Ellipses, 1987 (ISBN 978-2-72988759-9)

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Réseau (géométrie) de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Réseau (groupe) — Réseau (géométrie) Pour les articles homonymes, voir Réseau. Un réseau est un ensemble discret de points qui emplissent un e …   Wikipédia en Français

  • Reseau de Bravais — Réseau de Bravais Pour les articles homonymes, voir Réseau. En cristallographie, un réseau de Bravais est une distribution régulière de points – appelés nœuds – dans l’espace qui représente la périodicité de la distribution atomique d’un cristal …   Wikipédia en Français

  • Réseau de bravais — Pour les articles homonymes, voir Réseau. En cristallographie, un réseau de Bravais est une distribution régulière de points – appelés nœuds – dans l’espace qui représente la périodicité de la distribution atomique d’un cristal. Les nœuds peuvent …   Wikipédia en Français

  • Réseau de Bravais — Pour les articles homonymes, voir Réseau. En cristallographie, un réseau de Bravais est une distribution régulière de points – appelés nœuds – dans l’espace qui représente la périodicité de la distribution atomique d’un cristal. Les nœuds peuvent …   Wikipédia en Français

  • Geometrie de construction de solides — Géométrie de construction de solides Réseau sémantique de la construction CSG d un solide booléen 3D. En infographie, la géométrie de construction de solides (CSG en anglais: Constructive Solid Geometry ) est une branche de la modélisation des… …   Wikipédia en Français

  • Géométrie De Construction De Solides — Réseau sémantique de la construction CSG d un solide booléen 3D. En infographie, la géométrie de construction de solides (CSG en anglais: Constructive Solid Geometry ) est une branche de la modélisation des solides (ou modélisation 3D). Cette… …   Wikipédia en Français

  • Géométrie différentielle des surfaces — En mathématiques, la géométrie différentielle des surfaces est la branche de la géométrie différentielle qui traite des surfaces (les objets géométriques de l espace usuel E3, ou leur généralisation que sont les variétés de dimension 2), munies… …   Wikipédia en Français

  • Réseau d'échanges réciproques de savoirs — Un Réseau d Échanges Réciproques de Savoirs (RERS), est une association fonctionnant à l échelle d une agglomération, d une zone rurale, d un établissement scolaire, d une classe, ou d une entreprise et dont les membres donnent et reçoivent des… …   Wikipédia en Français

  • Réseau d'antennes phasées — Un réseau d antennes phasées est un ensemble d antennes émettant des ondes, généralement identiques, dont la phase est décalée. Cette technologie permet de créer des champs électromagnétiques de géométrie complexe et peut être utile dans des… …   Wikipédia en Français

  • K3 (géométrie) — Pour les articles homonymes, voir K3. En géométrie différentielle ou algébrique, l espace K3, ou encore la surface K3, est la variété de Calabi Yau de plus petite dimension différent d un tore. C est une variété complexe de dimension complexe… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”