Accueil🇫🇷Chercher

Théorie des invariants

En mathématiques, la théorie des invariants, initiée et développée en particulier par Arthur Cayley, James Joseph Sylvester, Charles Hermite, Paul Gordan et de nombreux autres mathématiciens, est l'étude des invariants des formes algébriques (de façon équivalente, des tenseurs symétriques) pour les actions de groupe lors des transformations linéaires. À la fin du XIXe siècle, elle est au centre d'un important effort de recherche lorsqu'il apparaît qu'elle pourrait être la clé de voûte en algorithmique (en compétition avec d'autres formulations mathématiques de l'invariance de la symétrie). Malgré un travail acharné, elle n'a pas tenu ses promesses, mais a permis de développer plusieurs autres disciplines. Au XXIe siècle, les groupes symétriques et les fonctions symétriques, l'algèbre commutative, les espaces de modules et les représentations des groupes de Lie en sont les descendants les plus féconds.

Invariants en géométrie classique

La plupart des invariants des géométries classiques (distances, angles, birapport, volume) sont, à un paramètre près, des fonctions polynomiales invariantes pour un groupe classique et ont des analogues sur des corps commutatifs plus généraux. Par exemple, dans un espace affine euclidien, la fonction qui associe à deux points le carré de leur distance est polynomiale, invariante par le groupe des isométries. La théorie des invariants consiste, pour une action de groupe donnée, à dresser une liste de fonctions polynomiales élémentaires invariantes pour le groupe considéré, desquelles toute autre fonction polynomiale invariante se déduit.

On peut citer les exemples suivants :

  • Pour le groupe symĂ©trique permutant n nombres , les polynĂ´mes symĂ©triques Ă©lĂ©mentaires sont invariants, et tout polynĂ´me en invariant par le groupe symĂ©trique est une expression algĂ©brique de ces fonctions Ă©lĂ©mentaires.
  • Pour le groupe orthogonal agissant dans un espace euclidien, le produit scalaire est invariant, et toute fonction de plusieurs vecteurs polynomiale en les composantes de ces vecteurs et invariante par le groupe est une expression algĂ©brique du produit scalaire de ces vecteurs.
  • Pour le groupe spĂ©cial orthogonal agissant dans un espace euclidien orientĂ©, le produit scalaire et le produit mixte sont invariants, et toute fonction de plusieurs vecteurs polynomiale en les composantes de ces vecteurs et invariante par le groupe est une expression algĂ©brique du produit scalaire et du produit mixte de ces vecteurs.
  • Pour le groupe spĂ©cial linĂ©aire agissant sur un espace vectoriel de dimension finie n et sur son dual, le dĂ©terminant de n vecteurs ou de n formes linĂ©aires, ainsi que le produit d'une forme linĂ©aire appliquĂ©e Ă  un vecteur sont des invariants du groupe, et toute fonction de vecteurs ou de formes linĂ©aires polynomiale en les composantes de ces vecteurs ou de ces formes linĂ©aires est une expression algĂ©brique de ces dĂ©terminants et de ces produits.

Mêlant action de groupe et expression algébrique, cette théorie est directement basée sur celle des groupes algébriques classiques.

Voir aussi

Article connexe

Théorie géométrique des invariants (en)

Liens externes et bibliographie

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.