Identité (mathématiques)

En mathématiques, le mot « identité » est employé dans plusieurs sens : il peut par exemple désigner un objet bien défini jouant un rôle particulier dans une famille d'objets (on parle ainsi de la fonction identité parmi les fonctions, de l'élément identité dans un groupe, de la matrice identité parmi les matrices, etc.).

Cet article est consacré à un autre sens : une identité est une égalité entre deux expressions qui est vraie quelles que soient les valeurs des différentes variables employées ; par abus de langage, on baptise parfois aussi « identité » une égalité entre des termes constants, qu'on considère comme fondamentale ou surprenante. Les identités servent en général à transformer une expression mathématique en une autre, notamment pour résoudre une équation, ou à exprimer une relation importante entre certains éléments d'une théorie.

Exemples

• En trigonométrie, de nombreuses identités permettent d'effectuer des calculs.
  Par exemple, Modèle:Retraitest une identité au sens propre, vraie quelle que soit la valeur du nombre réel (et même complexe) $x$.
• L'identité de Vandermonde, en combinatoire, est vraie pour toutes les valeurs des trois entiers naturels qui y interviennent.
• La célèbre identité d'EulerModèle:Retraitlie d'une façon simple et frappante des constantes fondamentales de l'analyse mathématique : 0 ; 1 ; [[unité imaginaire|Modèle:Math]] ; [[Pi|Modèle:Math]] ; et [[e (nombre)|Modèle:Math]].

Identités remarquables

Modèle:Article détaillé Certaines identités algébriques sont qualifiées de « remarquables » dans l'enseignement secondaire. Elles facilitent le calcul ou la factorisation d'expressions polynomiales.

Par exemple, l'identité remarquable $(a+b{)}^2=a^2+2ab+b^2$, qui est vraie quels que soient éléments $a$ et $b$ d'un anneau commutatif fournit, dans le cas des anneaux de caractéristique nulle ou impaire (comme celui des entiers relatifs ou le corps des nombres réels…), un procédé de calcul pour effectuer une multiplication si on dispose de simples listes de carrés : en utilisant

$ab=\frac{(a+b{)}^2-a^2-b^2}{2}$

$ab=\frac{(a+b{)}^2-(a-b{)}^2}{4}$

le calcul du produit $ab$ se ramène à des calculs de sommes ou de divisions par 2, et à la lecture de la liste de carrés.

Identités définissant des notions mathématiques

Certaines structures mathématiques sont définies à l’aide d’identités.

• Un espace vectoriel $V$ muni d'une application bilinéaire antisymétrique $[\cdot ,\cdot ]:V\times V\to V$ est une algèbre de Lie, par définition, lorsque l’identité de Jacobi est satisfaite :Modèle:Retrait
• Une algèbre sur un corps commutatif est une algèbre de Jordan, par définition, lorsque l'opération de multiplication interne, $(x,y)\to (x\cdot y)$, est commutative et vérifie l’identité de Jordan : $(x\cdot y)\cdot (x\cdot x)=x\cdot (y\cdot (x\cdot x))$.

Liens externes

• Encyclopedia of Equation Online encyclopedia of mathematical identities