Inverse

Modèle:Voir homonymes Modèle:Ébauche En mathématiques, l'inverse d'un élément Modèle:Mvar (s'il existe) est le nom donné à l'élément symétrique, lorsque la loi est notée multiplicativement. Dans le cas réel, il s'agit du nombre qui, multiplié par Modèle:Mvar, donne 1. On le note Modèle:Math ou Modèle:Sfrac.

Par exemple, dans $ℝ$, l'inverse de 3 est $\frac{1}{3}=0,333\dots$, puisque $\frac{1}{3}\times 3=1$.

Définition

Soit $S$ un monoïde, Modèle:C.-à-d. un ensemble muni d'une loi de composition interne associative, qu'on note $\times$, et d'un élément neutre pour $\times$ noté 1.

Un élément $x\in S$ est dit inversible à gauche (respectivement inversible à droite) s'il existe un élément $y\in S$ tel que $y\times x=1$ (respectivement $x\times y=1$).

Il est dit inversible s'il est à la fois inversible à gauche et inversible à droite. L'élément Modèle:Mvar, qui est alors unique, est appelé l'inverse de Modèle:Mvar, et est noté Modèle:Math.

Principaux cas

Le plus souvent, quand on parle d'éléments inversibles, on se place dans un groupe ou dans un anneau.

Groupe

Dans un groupe $(G,\times )$, la loi de composition interne considérée est $\times$ et par définition tous les éléments de $G$ sont inversibles.

Anneau (ou corps)

Dans un anneau $(A,+,\times )$, la loi de composition interne considérée est $\times$ et tous les éléments ne sont pas forcément inversibles.

Les éléments inversibles de l'anneau forment un groupe pour la multiplication de l'anneau, appelé groupe des inversibles de cet anneau, et souvent noté U(A) ou AModèle:Exp.

Un anneau dont tous les éléments sont inversibles, mis à la part le neutre de la loi $+$ (souvent noté $0$), est par définition un corps.

Exemples

Anneaux et corps

• Dans l'anneau $(\mathbb{Z},+,\times )$ des entiers relatifs, seuls 1 et –1 ont un inverse : eux-mêmes respectivement.
• Dans le corps $(ℝ,+,\times )$ des nombres réels et dans le corps $(\mathbb{Q},+,\times )$ des rationnels, l'inverse de 2 est Modèle:Frac = 0,5 et l'inverse de 4 est 0,25. La fonction inverse est l'application qui à tout réel non nul associe son inverse.
• Dans le corps $(ℂ,+,\times )$ des nombres complexes, l'inverse de l'unité imaginaire Modèle:Math est Modèle:Math car Modèle:Math. Plus généralement, l'inverse d'un nombre complexe non nul $z=a+\mathrm{i}b$ est le nombre $\frac{1}{z}=\frac{\overline{z}}{z\overline{z}}=\frac{\overline{z}}{\Vert z{\Vert }^2}=\frac{a-\mathrm{i}b}{a^2+b^2}=\frac{a}{a^2+b^2}-\frac{b}{a^2+b^2}\mathrm{i}$
• Dans le corps $(ℍ,+,\times )$ des quaternions, l'inverse d'un quaternion non nul $q=a+\mathrm{i}b+\mathrm{j}c+\mathrm{k}d$ est le quaternion $\frac{1}{\Vert q{\Vert }^2}\overline{q}$, où $\overline{q}$ est le conjugué quaternionique de Modèle:Mvar, soit $\frac{1}{\Vert q{\Vert }^2}\overline{q}=\frac{1}{a^2+b^2+c^2+d^2}\times (a-\mathrm{i}b-\mathrm{j}c-\mathrm{k}d)$. Attention, la multiplication des quaternions n'est pas commutative.
• Dans l'[[Anneau ℤ/nℤ|anneau (ℤ/Modèle:Mvarℤ, +, ×)]], où Modèle:Math, les inversibles sont exactement les éléments $\bar{m}$ tels que PGCD$(m,n)=1$. En particulier, si Modèle:Mvar est premier, alors cet anneau est un corps. Par exemple, dans l'anneau ℤ/10ℤ, l'inverse de Modèle:Surligner est Modèle:Surligner (car 3 × 7 = 21 est congru à 1 modulo 10), mais [[Inverse modulaire|Modèle:Surligner n'a pas d'inverse]].
• Dans l'anneau $({\mathrm{M}}_n(ℝ),+,\times )$ des matrices carrées réelles, où Modèle:Mvar est un naturel fixé, l'ensemble des matrices inversibles est noté ${\mathrm{GL}}_n(ℝ)$. Par exemple, dans l'anneau des matrices 2×2, la matriceModèle:Retraita pour matrice inverseModèle:Retraitcar A×B est égal à la matrice identité d'ordre 2.

Plus généralement, pour une matrice $A\in {\mathrm{GL}}_n(ℝ)$, son inverse Modèle:Math s'exprime à partir de son déterminant et de sa comatrice : $A^{-1}=\frac{1}{\mathrm{d}\mathrm{e}\mathrm{t}(A)}\mathrm{c}\mathrm{o}\mathrm{m}(A{)}^T$.

Autres

Dans le monoïde (pour la composition) des applications d'un ensemble fixé dans lui-même, les applications qui possèdent des inverses à gauche sont les injections et celles qui possèdent des inverses à droite sont les surjections. Il en est de même dans l'anneau des endomorphismes d'un espace vectoriel.

Remarques

Attention, lorsque Modèle:Mvar est à la fois une fonction numérique et une bijection, il ne faut pas confondre l'inverse avec sa bijection réciproque, dont la notation courante est Modèle:Mvar Modèle:-1 :

$(f(x){)}^{-1}\ne f^{-1}(x)$.

Exemple pour la fonction cosinus $\cos :[0,\pi ]\to [-1,1]$ : $(\cos x{)}^{-1}=\frac{1}{\cos x},{\cos }^{-1}(x)=\arccos x$.

Somme infinies d'inverses et propriétés intéressantes

Les séries numériques impliquant les inverses des nombres sont des cas d'école

$\sum _{k=1}^n\frac{1}{k}⟶+\mathrm{\infty }$ (série harmonique).

$\sum _{k=1}^{+\mathrm{\infty }}\frac{(-1{)}^k}{k}=1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\dots =\ln (2)$ (série harmonique alternée).

$\sum _{k=1}^{+\mathrm{\infty }}{\left(\frac{1}{k}\right)}^2=1+\frac{1}{2^2}+\frac{1}{3^2}+\dots =\frac{{\pi }^2}{6}$, et plus généralement, la fonction zêta de Riemann

$\zeta (2m)=\sum _{k=1}^{+\mathrm{\infty }}\frac{1}{k^{2m}}=1+\frac{1}{2^{2k}}+\frac{1}{3^{2k}}+\cdots =\frac{|B_{2m}|(2\pi {)}^{2m}}{2(2m)!},m\in \mathbb{Z}$, où $|B_{2m}|$ est la valeur absolue du nombre de Bernoulli.

Seuls deux nombres complexes sont opposés à leur inverse (soit $\frac{1}{x}=-x$) : i et –i (car ce sont les solutions de $x^2=-1$).

Diviser par un nombre b revient à multiplier par l'inverse de b, $\frac{a}{b}=a\frac{1}{b}(b\ne 0)$.

Voir aussi

• inverse modulaire

Liens externes

• Modèle:Mathworld
• Modèle:Mathworld