Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Propriétés de la carte exponentielle

Concepts associés (24)

Derivative of the exponential map

In the theory of Lie groups, the exponential map is a map from the Lie algebra g of a Lie group G into G. In case G is a matrix Lie group, the exponential map reduces to the matrix exponential. The exponential map, denoted exp:g → G, is analytic and has as such a derivative d/dtexp(X(t)):Tg → TG, where X(t) is a C1 path in the Lie algebra, and a closely related differential dexp:Tg → TG. The formula for dexp was first proved by Friedrich Schur (1891).

Exponentielle d'une matrice

En mathématiques, et plus particulièrement en analyse, l'exponentielle d'une matrice est une fonction généralisant la fonction exponentielle aux matrices et aux endomorphismes par le calcul fonctionnel. Elle fait en particulier le pont entre un groupe de Lie et son algèbre de Lie. Pour n = 1, on retrouve la définition de l'exponentielle complexe. Sauf indication contraire, X, Y désignent des matrices n × n complexes (à coefficients complexes).

Lie bracket of vector fields

In the mathematical field of differential topology, the Lie bracket of vector fields, also known as the Jacobi–Lie bracket or the commutator of vector fields, is an operator that assigns to any two vector fields X and Y on a smooth manifold M a third vector field denoted [X, Y]. Conceptually, the Lie bracket [X, Y] is the derivative of Y along the flow generated by X, and is sometimes denoted ("Lie derivative of Y along X"). This generalizes to the Lie derivative of any tensor field along the flow generated by X.

Exponentielle de base a

En analyse réelle, l'exponentielle de base est la fonction notée exp qui, à tout réel x, associe le réel a. Elle n'a de sens que pour un réel a strictement positif. Elle étend à l'ensemble des réels la fonction, définie sur l'ensemble des entiers naturels, qui à l'entier n associe a. C'est donc la version continue d'une suite géométrique. Elle s'exprime à l'aide des fonctions usuelles exponentielle et logarithme népérien sous la forme Elle peut être définie comme la seule fonction continue sur R, prenant la valeur a en 1 et transformant une somme en produit.

Concepts associés (24)

Derivative of the exponential map

Exponentielle d'une matrice

Lie bracket of vector fields

Exponentielle de base a