Dimension d'un espace vectorielvignette|espace à zéro dimension. En algèbre linéaire, la dimension de Hamel ou simplement la dimension est un invariant associé à tout espace vectoriel E sur un corps K. La dimension de E est le cardinal commun à toutes ses bases. Ce nombre est noté dimK(E) (lire « dimension de E sur K ») ou dim(E) (s'il n'y a aucune confusion sur le corps K des scalaires). Si E admet une partie génératrice finie, alors sa dimension est finie et elle vaut le nombre de vecteurs constituant une base de E.
Base (algèbre linéaire)vignette|Le même vecteur peut être représenté dans deux bases différentes (flèches violettes et rouges). En mathématiques, une base d'un espace vectoriel V est une famille de vecteurs de V linéairement indépendants et dont tout vecteur de V est combinaison linéaire. En d'autres termes, une base de V est une famille libre de vecteurs de V qui engendre V. alt=|vignette|upright=2|. La géométrie plane, celle d'Euclide, peut comporter une approche algébrique, celle de Descartes.
Produit tensoriel d'algèbresEn mathématique, le produit tensoriel de deux algèbres est une nouvelle algèbre. Soit un anneau commutatif. Soient deux -algèbres (non nécessairement commutatives). Leur structure de -algèbres est donnée par deux morphismes et . On peut les considérer comme des -modules et construire le produit tensoriel . Lorsque et commutent à , c'est-à-dire lorsque pour tout , on a et , on montre qu'il existe une loi de composition interne sur ce produit tensoriel uniquement déterminée par la règle pour tous et .
Verma moduleVerma modules, named after Daya-Nand Verma, are objects in the representation theory of Lie algebras, a branch of mathematics. Verma modules can be used in the classification of irreducible representations of a complex semisimple Lie algebra. Specifically, although Verma modules themselves are infinite dimensional, quotients of them can be used to construct finite-dimensional representations with highest weight , where is dominant and integral. Their homomorphisms correspond to invariant differential operators over flag manifolds.
Vecteur de KillingEn mathématiques, un vecteur de Killing, ou champ de Killing, est un champ vectoriel sur une variété (pseudo-)riemannienne qui conserve la métrique de cette variété et met en évidence les symétries continues de celle-ci. Intuitivement un vecteur de Killing peut être vu comme un « champ de déplacement » , c'est-à-dire associant à un point M de la variété le point M' défini par le déplacement de M le long de la courbe passant par M dont est le vecteur tangent.
Caractère d'une représentation d'un groupe finiEn mathématiques le caractère d'une représentation d'un groupe fini est un outil utilisé pour analyser les représentations d'un groupe fini. Le caractère d'une représentation (V, ρ) d'un groupe G correspond à l'application de G dans le corps de l'espace de la représentation qui à un élément s associe la trace de l'image de s par ρ. Cette définition n'est pas compatible avec celle des caractères d'un groupe en général qui ne prend ses valeurs que dans l'ensemble des complexes non nuls.
Formule des caractères de WeylEn théorie des représentations, la formule des caractères de Weyl est une description des caractères des représentations irréductibles des groupes de Lie compacts en fonction de leurs plus haut poids. Elle a été prouvée par Hermann Weyl. Il existe une formule étroitement liée pour le caractère d'une représentation irréductible d'une algèbre de Lie semi-simple. Dans l'approche de Weyl de la théorie des représentations des groupes de Lie compacts connexes, la preuve de la formule des caractères est une étape clé pour prouver que chaque élément entier dominant apparaît effectivement comme le plus haut poids d'une représentation irréductible.
Groupe quantiqueIn mathematics and theoretical physics, the term quantum group denotes one of a few different kinds of noncommutative algebras with additional structure. These include Drinfeld–Jimbo type quantum groups (which are quasitriangular Hopf algebras), compact matrix quantum groups (which are structures on unital separable C*-algebras), and bicrossproduct quantum groups. Despite their name, they do not themselves have a natural group structure, though they are in some sense 'close' to a group.
Topological tensor productIn mathematics, there are usually many different ways to construct a topological tensor product of two topological vector spaces. For Hilbert spaces or nuclear spaces there is a simple well-behaved theory of tensor products (see Tensor product of Hilbert spaces), but for general Banach spaces or locally convex topological vector spaces the theory is notoriously subtle. One of the original motivations for topological tensor products is the fact that tensor products of the spaces of smooth functions on do not behave as expected.
Théorème de la dimension pour les espaces vectorielsEn mathématiques, le théorème de la dimension pour les espaces vectoriels énonce que deux bases quelconques d'un même espace vectoriel ont même cardinalité. Joint au théorème de la base incomplète qui assure l'existence de bases, il permet de définir la dimension d'un espace vectoriel comme le cardinal (fini ou infini) commun à toutes ses bases. (Donc par symétrie, deux bases quelconques ont même cardinal.) Soient L libre et G génératrice de E, montrons que |L| ≤ |G|. Notons n = |G|.
