Forme quadratiquethumb|L'annulation d'une forme quadratique donne le cône de lumière de la relativité restreinte, son signe fait la différence entre les événements accessibles ou inaccessibles dans l'espace-temps. En mathématiques, une forme quadratique est un polynôme homogène de degré 2 avec un nombre quelconque de variables. Les formes quadratiques d'une, deux et trois variables sont données respectivement par les formules suivantes (a,b,c,d,e,f désignant des coefficients) : L'archétype de forme quadratique est la forme x + y + z sur R, qui définit la structure euclidienne et dont la racine carrée permet de calculer la norme d'un vecteur.
Groupe affineLes automorphismes d'un espace affine A constituent un groupe appelé groupe affine de A et noté GA(A). En notant E l'espace vectoriel qui dirige A, l'application qui à tout automorphisme u de A fait correspondre l'automorphisme f de E associé à u est un morphisme du groupe affine GA(A) dans le groupe linéaire GL(E). Son noyau forme le groupe des translations. GA(A) est isomorphe au produit semi-direct du groupe additif de E par GL(E). Il est donc engendré par les translations, les transvections et les dilatations.
Principal homogeneous spaceIn mathematics, a principal homogeneous space, or torsor, for a group G is a homogeneous space X for G in which the stabilizer subgroup of every point is trivial. Equivalently, a principal homogeneous space for a group G is a non-empty set X on which G acts freely and transitively (meaning that, for any x, y in X, there exists a unique g in G such that x·g = y, where · denotes the (right) action of G on X).
Connexité simpleEn topologie générale et en topologie algébrique, la notion de simple connexité raffine celle de connexe par arcs. Dans un espace connexe par arcs, deux points quelconques peuvent toujours être reliés par un chemin. Dans un espace simplement connexe, cela est toujours possible d'une et une seule façon, l'unicité étant à comprendre au sens de « à déformation (isotopie) près ». Intuitivement, là où un espace connexe est simplement « d'un seul tenant », un espace simplement connexe est de plus sans « trou » ni « poignée ».
Congruence (géométrie)En géométrie euclidienne, la congruence est une relation sur l'ensemble des parties de l'espace considéré : deux ensembles de points sont dits si l'un est l' de l'autre par une isométrie (une bijection qui conserve les distances). De manière moins formelle, deux figures sont congruentes si elles ont la même forme et la même taille, mais ont des positions respectives différentes. La congruence est une relation d'équivalence plus fine que la similitude : par exemple, deux triangles isométriques sont toujours semblables.
Pin groupIn mathematics, the pin group is a certain subgroup of the Clifford algebra associated to a quadratic space. It maps 2-to-1 to the orthogonal group, just as the spin group maps 2-to-1 to the special orthogonal group. In general the map from the Pin group to the orthogonal group is not surjective or a universal covering space, but if the quadratic form is definite (and dimension is greater than 2), it is both.
Indefinite orthogonal groupIn mathematics, the indefinite orthogonal group, O(p, q) is the Lie group of all linear transformations of an n-dimensional real vector space that leave invariant a nondegenerate, symmetric bilinear form of signature (p, q), where n = p + q. It is also called the pseudo-orthogonal group or generalized orthogonal group. The dimension of the group is n(n − 1)/2. The indefinite special orthogonal group, SO(p, q) is the subgroup of O(p, q) consisting of all elements with determinant 1.
Orientation (vector space)The orientation of a real vector space or simply orientation of a vector space is the arbitrary choice of which ordered bases are "positively" oriented and which are "negatively" oriented. In the three-dimensional Euclidean space, right-handed bases are typically declared to be positively oriented, but the choice is arbitrary, as they may also be assigned a negative orientation. A vector space with an orientation selected is called an oriented vector space, while one not having an orientation selected, is called .
Real form (Lie theory)In mathematics, the notion of a real form relates objects defined over the field of real and complex numbers. A real Lie algebra g0 is called a real form of a complex Lie algebra g if g is the complexification of g0: The notion of a real form can also be defined for complex Lie groups. Real forms of complex semisimple Lie groups and Lie algebras have been completely classified by Élie Cartan. Using the Lie correspondence between Lie groups and Lie algebras, the notion of a real form can be defined for Lie groups.
Variété de StiefelEn mathématiques, les différentes variétés de Stiefel sont les espaces obtenus en considérant comme des points l'ensemble des familles orthonormales de k vecteurs de l'espace euclidien de dimension n. Ils possèdent une structure naturelle de variété ce qui permet de donner leurs propriétés au plan de la topologie globale, de la géométrie ou des aspects algébriques. Ce sont des exemples d'espace homogène sous l'action des groupes classiques de la géométrie.
