Niemeier latticeIn mathematics, a Niemeier lattice is one of the 24 positive definite even unimodular lattices of rank 24, which were classified by . gave a simplified proof of the classification. In the 1970s, has a sentence mentioning that he found more than 10 such lattices in the 1940s, but gives no further details. One example of a Niemeier lattice is the Leech lattice found in 1967. Niemeier lattices are usually labelled by the Dynkin diagram of their root systems.
E8 latticeIn mathematics, the E_8 lattice is a special lattice in R^8. It can be characterized as the unique positive-definite, even, unimodular lattice of rank 8. The name derives from the fact that it is the root lattice of the E_8 root system. The norm of the E_8 lattice (divided by 2) is a positive definite even unimodular quadratic form in 8 variables, and conversely such a quadratic form can be used to construct a positive-definite, even, unimodular lattice of rank 8. The existence of such a form was first shown by H.
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.
Réseau de LeechLe réseau de Leech est un réseau remarquable dans l'espace euclidien de dimension 24. Il est relié au code de Golay. Ernst Witt le découvre en 1940 mais ne publie pas cette découverte qui sera finalement attribuée à John Leech en 1965. Le réseau de Leech est caractérisé comme étant le seul pair en dimension 24 qui ne contient pas de racines, c'est-à-dire de vecteur v tel que (v,v)=2. Il a été construit par John Leech. Le groupe des automorphismes du réseau de Leech est le groupe de Conway Co0. Il y a exactement 24 .
Empilement compactUn empilement compact d'une collection d'objets est un agencement de ces objets de telle sorte qu'ils occupent le moins d'espace possible (donc qu'ils laissent le moins de vide possible). Le problème peut se poser dans un espace (euclidien ou non) de dimension n quelconque, les objets étant eux-mêmes de dimension n. Les applications pratiques sont concernées par les cas (plan et autres surfaces) et (espace ordinaire).
Unimodular latticeIn geometry and mathematical group theory, a unimodular lattice is an integral lattice of determinant 1 or −1. For a lattice in n-dimensional Euclidean space, this is equivalent to requiring that the volume of any fundamental domain for the lattice be 1. The E8 lattice and the Leech lattice are two famous examples. A lattice is a free abelian group of finite rank with a symmetric bilinear form (·, ·). The lattice is integral if (·,·) takes integer values. The dimension of a lattice is the same as its rank (as a Z-module).
N-sphèreEn géométrie, la sphère de dimension n, l'hypersphère ou n-sphère est une généralisation de la sphère à un espace euclidien de dimension quelconque. L'hypersphère constitue un des exemples les plus simples de variété, elle est plus précisément une hypersurface de l'espace euclidien , notée en général . Soient E un espace euclidien de dimension n + 1, A un point de E, et R un nombre réel strictement positif. On appelle hypersphère de centre A et de rayon R l'ensemble des points M dont la distance à A vaut R.
Réseau de BravaisEn 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 être imaginés comme les sommets des mailles, c'est-à-dire des portions de l'espace dans lesquelles la structure cristalline peut être divisée. La structure est alors reconstruite par simple translation de la maille.
Sphèrevignette|Rendu en fil de fer d'une sphère dans un espace euclidien. En géométrie dans l'espace, une sphère est une surface constituée de tous les points situés à une même distance d'un point appelé centre. La valeur de cette distance au centre est le rayon de la sphère. La géométrie sphérique est la science qui étudie les propriétés des sphères. La surface de la Terre peut, en première approximation, être modélisée par une sphère dont le rayon est d'environ .
Distributive latticeIn mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to isomorphism—given as such a lattice of sets. As in the case of arbitrary lattices, one can choose to consider a distributive lattice L either as a structure of order theory or of universal algebra.
DimensionLe terme dimension, du latin dimensio « action de mesurer », désigne d’abord chacune des grandeurs d’un objet : longueur, largeur et profondeur, épaisseur ou hauteur, ou encore son diamètre si c'est une pièce de révolution. L’acception a dérivé de deux façons différentes en physique et en mathématiques. En physique, la dimension qualifie une grandeur indépendamment de son unité de mesure, tandis qu’en mathématiques, la notion de dimension correspond au nombre de grandeurs nécessaires pour identifier un objet, avec des définitions spécifiques selon le type d’objet (algébrique, topologique ou combinatoire notamment).
Treillis (ensemble ordonné)En mathématiques, un treillis () est une des structures algébriques utilisées en algèbre générale. C'est un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure et une borne inférieure. Un treillis peut être vu comme le treillis de Galois d'une relation binaire. Il existe en réalité deux définitions équivalentes du treillis, une concernant la relation d'ordre citée précédemment, l'autre algébrique. Tout ensemble muni d'une relation d'ordre total est un treillis.
Ideal latticeIn discrete mathematics, ideal lattices are a special class of lattices and a generalization of cyclic lattices. Ideal lattices naturally occur in many parts of number theory, but also in other areas. In particular, they have a significant place in cryptography. Micciancio defined a generalization of cyclic lattices as ideal lattices. They can be used in cryptosystems to decrease by a square root the number of parameters necessary to describe a lattice, making them more efficient.
Sphère de RiemannEn mathématiques, la sphère de Riemann est une manière de prolonger le plan des nombres complexes avec un point additionnel à l'infini, de manière que certaines expressions mathématiques deviennent convergentes et élégantes, du moins dans certains contextes. Déjà envisagée par le mathématicien Carl Friedrich Gauss, elle est baptisée du nom de son élève Bernhard Riemann. Ce plan s'appelle également la droite projective complexe, dénoté .
Complete latticeIn mathematics, a complete lattice is a partially ordered set in which all subsets have both a supremum (join) and an infimum (meet). A lattice which satisfies at least one of these properties is known as a conditionally complete lattice. Specifically, every non-empty finite lattice is complete. Complete lattices appear in many applications in mathematics and computer science. Being a special instance of lattices, they are studied both in order theory and universal algebra.
Réseau réciproqueEn cristallographie, le réseau réciproque d'un réseau de Bravais est l'ensemble des vecteurs tels que : pour tous les vecteurs position du réseau de Bravais. Ce réseau réciproque est lui-même un réseau de Bravais, et son réseau réciproque est le réseau de Bravais de départ. Un cristal peut se décrire comme un réseau aux nœuds duquel se trouvent des motifs : atome, ion, molécule. Si l'on appelle les vecteurs définissant la maille élémentaire, ces vecteurs définissent une base de l'espace.
Sphère d'homologieEn topologie algébrique, une sphère d'homologie (ou encore, sphère d'homologie entière) est une variété X de dimension n ≥ 1 qui a les mêmes groupes d'homologie que la n-sphère standard S, à savoir : H0(X,Z) = Z = Hn(X,Z) et Hi(X,Z) = {0} pour tout autre entier i. Une telle variété X est donc connexe, fermée (i.e. compacte et sans bord), orientable, et avec (à part b0 = 1) un seul nombre de Betti non nul : bn. Les sphères d'homologie rationnelle sont définies de façon analogue, avec l'homologie à coefficients rationnels.
3-sphèrevignette|300 px|La 3-sphère en rotation, projetée dans R3. En mathématiques, et plus précisément en géométrie, une 3-sphère est l'analogue d'une sphère en dimension quatre. C'est l'ensemble des points équidistants d'un point central fixé dans un espace euclidien à 4 dimensions. Tout comme une sphère ordinaire (ou 2-sphère) est une surface bidimensionnelle formant la frontière d'une boule en trois dimensions, une 3-sphère est un objet à trois dimensions formant la frontière d'une boule à quatre dimensions.
Inductive dimensionIn the mathematical field of topology, the inductive dimension of a topological space X is either of two values, the small inductive dimension ind(X) or the large inductive dimension Ind(X). These are based on the observation that, in n-dimensional Euclidean space Rn, (n − 1)-dimensional spheres (that is, the boundaries of n-dimensional balls) have dimension n − 1. Therefore it should be possible to define the dimension of a space inductively in terms of the dimensions of the boundaries of suitable open sets.
Réseau (sous-groupe discret)En théorie des groupes le terme réseau désigne un sous-groupe d'un groupe topologique localement compact vérifiant les conditions suivantes : est discret dans , ce qui est équivalent à la condition qu'il existe un voisinage ouvert de l'identité de tel que ; est de covolume fini dans , c'est-à-dire qu'il existe sur l'espace quotient une mesure Borélienne de masse totale finie et invariante par (agissant par translations à droite). Un réseau est dit uniforme quand le quotient est compact. On dit alors que est un réseau de .
