Tautological bundleIn mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of -dimensional subspaces of , given a point in the Grassmannian corresponding to a -dimensional vector subspace , the fiber over is the subspace itself. In the case of projective space the tautological bundle is known as the tautological line bundle. The tautological bundle is also called the universal bundle since any vector bundle (over a compact space) is a pullback of the tautological bundle; this is to say a Grassmannian is a classifying space for vector bundles.
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).
Bott periodicity theoremIn mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by , which proved to be of foundational significance for much further research, in particular in K-theory of stable complex vector bundles, as well as the stable homotopy groups of spheres. Bott periodicity can be formulated in numerous ways, with the periodicity in question always appearing as a period-2 phenomenon, with respect to dimension, for the theory associated to the unitary group.
Espace classifiantEn mathématiques, un espace classifiant pour un groupe topologique G est la base d’un fibré principal particulier EG → BG appelé fibré universel, induisant tous les fibrés ayant ce groupe de structure sur n’importe quel CW-complexe X par (pullback). Dans le cas d’un groupe discret, la définition d’espace classifiant correspond à celle d’un espace d'Eilenberg-MacLane K(G, 1), c’est-à-dire un espace connexe par arcs dont tous les groupes d'homotopie sont triviaux en dehors du groupe fondamental (lequel est isomorphe à G).
Variété (géométrie)En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
Base orthonorméeEn géométrie vectorielle, une base orthonormale ou base orthonormée (BON) d'un espace euclidien ou hermitien est une base de cet espace vectoriel constituée de vecteurs de norme 1 et orthogonaux deux à deux. Dans une telle base, les coordonnées d'un vecteur quelconque de l'espace sont égales aux produits scalaires respectifs de ce vecteur par chacun des vecteurs de base, et le produit scalaire de deux vecteurs quelconques a une expression canonique en fonction de leurs coordonnées.
Groupe orthogonalEn mathématiques, le groupe orthogonal réel de degré n, noté O(n), est le groupe des transformations géométriques d'un espace Euclidien de dimension n qui préservent les distances (isométries) et le point origine de l'espace. Formellement, on introduit le groupe orthogonal d'une forme quadratique q sur E, espace vectoriel sur un corps commutatif K, comme le sous-groupe du groupe linéaire GL(E) constitué des automorphismes f de E qui laissent q invariante : pour tout vecteur x de E.
Espace homogèneEn géométrie, un espace homogène est un espace sur lequel un groupe agit de façon transitive. Dans l'optique du programme d'Erlangen, le groupe représente des symétries préservant la géométrie de l'espace, et le caractère homogène se manifeste par l'indiscernabilité des points, et exprime une notion disotropie. Les éléments de l'espace forment une seule orbite selon G. Les espaces des géométries classiques (en dimension finie quelconque) de points sont des espaces homogènes pour leur groupe de symétries.
Matrice orthogonaleUne matrice carrée A (n lignes, n colonnes) à coefficients réels est dite orthogonale si A A = I, où A est la matrice transposée de A et I est la matrice identité. Des exemples de matrices orthogonales sont les matrices de rotation, comme la matrice de rotation plane d'angle θ ou les matrices de permutation, comme Une matrice réelle A est orthogonale si et seulement si elle est inversible et son inverse est égale à sa transposée : A = A. Une matrice carrée est orthogonale si et seulement si ses vecteurs colonnes sont orthogonaux deux à deux et de norme 1.