Réseau (géométrie)

En mathématiques, un réseau d'un espace (vectoriel) euclidien est un sous-groupe discret de l’espace, de rang fini n. Par exemple, les vecteurs de Rn à coordonnées entières dans une base forment un réseau de Rn. Cette notion permet de décrire mathématiquement des maillages, comme celui correspondant à la figure 1. thumb|Fig. 1. Un réseau est un ensemble discret disposé dans un espace vectoriel réel de dimension finie de manière régulière, au sens où la différence de deux éléments du réseau est encore élément du réseau. En fixant un point origine, on peut lui associer un réseau de points de Rn (plusieurs réseaux pouvant définir le même réseau de points). Ce réseau de points 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. L'étude des réseaux est à la croisée de différentes branches des mathématiques, la théorie des groupes, l’algèbre linéaire, la théorie des groupes de Lie la géométrie des nombres, la géométrie convexe, mais aussi d’autres domaines comme l’algorithmique ou la cristallographie (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, la résolution de problèmes d'empilements de sphères ou de convexes. Algèbre linéaire 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 Rn 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.