Unit sphereIn mathematics, a unit sphere is simply a sphere of radius one around a given center. More generally, it is the set of points of distance 1 from a fixed central point, where different norms can be used as general notions of "distance". A unit ball is the closed set of points of distance less than or equal to 1 from a fixed central point. Usually the center is at the origin of the space, so one speaks of "the unit ball" or "the unit sphere". Special cases are the unit circle and the unit disk.
Théorème des quatre carrés de LagrangeLe théorème des quatre carrés de Lagrange, également connu sous le nom de conjecture de Bachet, s'énonce de la façon suivante : Tout entier positif peut s'exprimer comme la somme de quatre carrés. Plus formellement, pour tout entier positif n, il existe des entiers a, b, c, d tels que : n = a + b + c + d. Il correspond à une équation diophantienne qui se résout avec les techniques de l'arithmétique modulaire.
Domaine fondamentalGiven a topological space and a group acting on it, the images of a single point under the group action form an orbit of the action. A fundamental domain or fundamental region is a subset of the space which contains exactly one point from each of these orbits. It serves as a geometric realization for the abstract set of representatives of the orbits. There are many ways to choose a fundamental domain. Typically, a fundamental domain is required to be a connected subset with some restrictions on its boundary, for example, smooth or polyhedral.
Groupe de WittEn mathématiques, un groupe de Witt sur un corps commutatif, nommé d'après Ernst Witt, est un groupe abélien dont les éléments sont représentés par des formes bilinéaires symétriques sur ce corps. Considérons un corps commutatif k. Tous les espaces vectoriels considérés ici seront implicitement supposés de dimension finie. On dit que deux formes bilinéaires symétriques sont équivalentes si on peut obtenir l'une à partir de l'autre en additionnant 0 ou plusieurs copies d'un (forme bilinéaire symétrique non dégénérée en dimension 2 avec un vecteur de norme nulle).
Ernst KummerErnst Eduard Kummer (1810-1893) est un mathématicien allemand. À l'âge de 3 ans, Kummer perd son père, un médecin. Il fait des études à l'université de Halle, d'abord en théologie puis en mathématiques. Il devient docteur en mathématique en 1831. Il enseigne pendant 10 ans au lycée de Liegnitz, où il a Leopold Kronecker et Ferdinand Joachimsthal comme élèves. Nommé en 1840 professeur à l'université de Breslau grâce à l'appui de Jacobi et de Dirichlet, il reprend la chaire de ce dernier à l'université de Berlin en 1855.
Fundamental discriminantIn mathematics, a fundamental discriminant D is an integer invariant in the theory of integral binary quadratic forms. If Q(x, y) = ax2 + bxy + cy2 is a quadratic form with integer coefficients, then D = b2 − 4ac is the discriminant of Q(x, y). Conversely, every integer D with D ≡ 0, 1 (mod 4) is the discriminant of some binary quadratic form with integer coefficients. Thus, all such integers are referred to as discriminants in this theory. There are explicit congruence conditions that give the set of fundamental discriminants.
Vecteur isotropeEn mathématiques, un vecteur isotrope pour une forme bilinéaire f est un vecteur x tel que f(x, x) = 0. Soient E un espace vectoriel et f une forme bilinéaire symétrique sur E. On dit qu'un vecteur x de E est isotrope (pour f, ou pour la forme quadratique associée) si f(x, x) = 0. L'ensemble des vecteurs isotropes est appelé le cône isotrope. Il contient le noyau de f. Au cône isotrope, on associe une quadrique projective. La forme bilinéaire est dite définie — et la forme quadratique est dite anisotrope — si 0 est son seul vecteur isotrope.
Théorème des deux carrés de Fermatthumb|Pierre de Fermat (1601-1665). En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c'est-à-dire de deux carrés d’entiers) et précise de combien de façons différentes il peut l’être. Par exemple, selon ce théorème, un nombre premier impair (c'est-à-dire tous les nombres premiers sauf 2) est une somme de deux carrés parfaits si et seulement si le reste de sa division euclidienne par 4 est 1 ; dans ce cas, les carrés sont déterminés de manière unique.
Forme quadratique binaireEn mathématiques, une forme quadratique binaire est une forme quadratique — c'est-à-dire un polynôme homogène de degré 2 — en deux variables : Les propriétés d'une telle forme dépendent de façon essentielle de la nature des coefficients a, b, c, qui peuvent être par exemple des nombres réels ou rationnels ou, ce qui rend l'étude plus délicate, entiers. Fermat considérait déjà des formes quadratiques binaires entières, en particulier pour son théorème des deux carrés.
Théorème de WittEn algèbre, le théorème de Witt est un résultat sur lequel s'appuie toute la théorie des formes quadratiques. Il permet en effet de classifier les formes quadratiques sur un corps K donné et fonde la définition du groupe de Witt de K. À proprement parler il existe plusieurs énoncés qui sont qualifiés de théorèmes de Witt : pour préciser, on les appelle théorèmes de décomposition, d'extension et d'annulation de Witt. Dans ce faisceau de résultats, obtenus par Ernst Witt en 1937, c'est le théorème d'annulation qui est le plus souvent appelé le théorème de Witt.
