Variété différentielleEn mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s'agit de variétés, « espaces courbes » localement modelés sur l'espace euclidien de dimension n, sur lesquelles il est possible de généraliser une bonne part des opérations du calcul différentiel et intégral. Une variété différentielle se définit donc d'abord par la donnée d'une variété topologique, espace topologique localement homéomorphe à l'espace R.
Groupe de LieEn mathématiques, un groupe de Lie est un groupe qui est aussi une variété différentielle. D'une part, un groupe est une structure algébrique munie d'une opération binaire, typiquement une multiplication et son inverse la division, ou alors une addition et son inverse la soustraction. D'autre part, une variété est un espace qui localement ressemble à un espace euclidien. Ici, on s'intéresse à un ensemble qui est à la fois un groupe et une variété : nous pouvons multiplier les éléments entre eux, calculer l'inverse d'un élément.
Fibré cotangentEn géométrie différentielle, le fibré cotangent associé à une variété différentielle M est le fibré vectoriel T*M de son fibré tangent TM : en tout point m de M, l' est défini comme l'espace dual de l'espace tangent : Les sections lisses du fibré cotangent sont les 1-formes différentielles, l'une d'entre elles étant remarquable et appelée 1-forme tautologique (ou 1-forme de Poincaré, ou 1-forme de Liouville, ou 1-forme canonique, ou potentiel symplectique). Sa dérivée extérieure donne une 2-forme symplectique canonique.
Espace vectorielvignette|Dans un espace vectoriel, on peut additionner deux vecteurs. Par exemple, la somme du vecteur v (en bleu) et w (en rouge) est v + w. On peut aussi multiplier un vecteur, comme le vecteur w que l'on peut multiplier par 2, on obtient alors 2w et la somme devient v + 2w. En mathématiques, plus précisément en algèbre linéaire, un espace vectoriel est un ensemble d'objets, appelés vecteurs, que l'on peut additionner entre eux, et que l'on peut multiplier par un scalaire (pour les étirer ou les rétrécir, les tourner, etc.
Fibré tangentEn mathématiques, et plus précisément en géométrie différentielle, le fibré tangent TM associé à une variété différentielle M est la somme disjointe de tous les espaces tangents en tous les points de la variété, soit : où est l'espace tangent de M en x. Un élément de TM est donc un couple (x, v) constitué d'un point x de M et d'un vecteur v tangent à M en x. Le fibré tangent peut être muni d'une topologie découlant naturellement de celle de M.
Variété de PoissonEn géométrie, une structure de Poisson sur une variété différentielle est un crochet de Lie (appelé crochet de Poisson dans ce cas) sur l'algèbre des fonctions lisses de à valeurs réelles, vérifiant formule de Leibniz En d'autres termes, une structure de Poisson est structure d'algèbre de Lie sur l'espace vectoriel des fonctions lisses sur de sorte que est un champ de vecteurs pour toute fonction lisse , appelé champ de vecteurs hamiltonien associé à . Soit une variété différentielle.
Action de groupe (mathématiques)En mathématiques, une action d'un groupe sur un ensemble est une loi de composition externe du groupe sur l'ensemble, vérifiant des conditions supplémentaires. Plus précisément, c'est la donnée, pour chaque élément du groupe, d'une permutation de l'ensemble, de telle manière que toutes ces bijections se composent de façon compatible avec la loi du groupe. Étant donné un ensemble E et un groupe G, dont la loi est notée multiplicativement et dont l'élément neutre est noté e, une action (ou opération) de G sur E est une application : vérifiant chacune des 2 propriétés suivantes : On dit également que G opère (ou agit) sur l'ensemble E.
Application linéaireEn mathématiques, une application linéaire (aussi appelée opérateur linéaire ou transformation linéaire) est une application entre deux espaces vectoriels qui respecte l'addition des vecteurs et la multiplication scalaire, et préserve ainsi plus généralement les combinaisons linéaires. L’expression peut s’utiliser aussi pour un morphisme entre deux modules sur un anneau, avec une présentation semblable en dehors des notions de base et de dimension. Cette notion étend celle de fonction linéaire en analyse réelle à des espaces vectoriels plus généraux.
Simple Lie groupIn mathematics, a simple Lie group is a connected non-abelian Lie group G which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces. Together with the commutative Lie group of the real numbers, , and that of the unit-magnitude complex numbers, U(1) (the unit circle), simple Lie groups give the atomic "blocks" that make up all (finite-dimensional) connected Lie groups via the operation of group extension.
Direct sumThe direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups and is another abelian group consisting of the ordered pairs where and . To add ordered pairs, we define the sum to be ; in other words addition is defined coordinate-wise.
Cotangent spaceIn differential geometry, the cotangent space is a vector space associated with a point on a smooth (or differentiable) manifold ; one can define a cotangent space for every point on a smooth manifold. Typically, the cotangent space, is defined as the dual space of the tangent space at , , although there are more direct definitions (see below). The elements of the cotangent space are called cotangent vectors or tangent covectors. All cotangent spaces at points on a connected manifold have the same dimension, equal to the dimension of the manifold.
HolonomieEn mathématiques, et plus précisément en géométrie différentielle, l'holonomie d'une connexion sur une variété différentielle est une mesure de la façon dont le transport parallèle le long de boucles fermées modifie les informations géométriques transportées. Cette modification est une conséquence de la courbure de la connexion (ou plus généralement de sa "forme"). Pour des connexions plates, l'holonomie associée est un type de monodromie, et c'est dans ce cas une notion uniquement globale.
Sous-espace vectoriel engendréDans un espace vectoriel E, le sous-espace vectoriel engendré par une partie A de E est le plus petit sous-espace vectoriel de E contenant A. C'est aussi l'ensemble des combinaisons linéaires de vecteurs de A. Le sous-espace vectoriel engendré par une famille de vecteurs est le plus petit sous-espace contenant tous les vecteurs de cette famille. Une famille de vecteurs ou une partie est dite génératrice de E si le sous-espace qu'elle engendre est l'espace entier E.
Tenseur de RicciDans le cadre de la relativité générale, le champ de gravitation est interprété comme une déformation de l'espace-temps. Celle-ci est exprimée à l'aide du tenseur de Ricci. Le tenseur de Ricci est un champ tensoriel d'ordre 2, obtenu comme la trace du tenseur de courbure complet. On peut le considérer comme le laplacien du tenseur métrique riemannien dans le cas des variétés riemaniennes. Le tenseur de Ricci occupe une place importante notamment dans l'équation d'Einstein, équation principale de la relativité générale.
Forme volumeEn géométrie différentielle, une forme volume généralise la notion de déterminant aux variétés différentielles. Elle définit une mesure sur la variété, permet le calcul des volumes généralisés, et la définition générale des orientations. Une forme volume se définit comme une forme différentielle de degré maximal, nulle en aucun point. Pour qu'une variété admette une forme volume, il faut et il suffit qu'elle soit orientable. Dans ce cas, il en existe une infinité.
Lie group–Lie algebra correspondenceIn mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is and (see real coordinate space and the circle group respectively) which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other.
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.
Fibré normalEn géométrie différentielle, le fibré normal d’une sous-variété différentielle est un fibré vectoriel orthogonal au fibré tangent de la sous-variété dans celui de la variété ambiante. La définition s’étend au cas d’une immersion d’une variété différentielle dans une autre. Elle s’étend aussi plus généralement en topologie différentielle comme un fibré supplémentaire au fibré tangent de la sous-variété.
Programme de HamiltonLe programme de Hamilton est un « plan d'attaque », proposé par Richard S. Hamilton, de certains problèmes en topologie des variétés, notamment la célèbre conjecture de Poincaré. Cet article tente de décrire les raisons d'être de ce programme sans entrer dans les détails. Dans son article fondateur de 1982, Three-manifolds with positive Ricci curvature, Richard S. Hamilton introduit le flot de Ricci nommé d'après le mathématicien Gregorio Ricci-Curbastro.
Groupe de type de LieEn mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d'un groupe algébrique linéaire réductif G à valeur dans le corps commutatif k. La classification des groupes simples finis montre que les groupes de types de Lie finis forment l'essentiel des groupes finis simples. Des cas particuliers incluent les groupes classiques, les groupes de Chevalley, les groupes de Steinberg et les groupes de Suzuki-Ree.