Inverse

Apparence déplacer vers la barre latérale masquer

Cet article est une ébauche concernant l’algèbre.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, l'inverse d'un élément x (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 x, donne 1. On le note x−1 ou 1/x.

Par exemple, dans R {\displaystyle \mathbb {R} } $\mathbb {R}$ , l'inverse de 3 est 1 3 = 0,333 … {\displaystyle {\frac {1}{3}}=0{,}333\dots } ${\frac {1}{3}}=0{,}333\dots$ , puisque 1 3 × 3 = 1 {\displaystyle {\frac {1}{3}}\times 3=1} ${\frac {1}{3}}\times 3=1$ .

Définition

Soit S {\displaystyle S} $S$ un monoïde, c.-à-d. un ensemble muni d'une loi de composition interne associative, qu'on note × {\displaystyle \times } $\times$ , et d'un élément neutre pour × {\displaystyle \times } $\times$ noté 1.

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

Il est dit inversible s'il est à la fois inversible à gauche et inversible à droite. L'élément y, qui est alors unique, est appelé l'inverse de x, et est noté x−1.

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 , × ) {\displaystyle (G,\times )} $(G,\times )$ , la loi de composition interne considérée est × {\displaystyle \times } $\times$ et par définition tous les éléments de G {\displaystyle G} $G$ sont inversibles.

Anneau (ou corps)

Dans un anneau ( A , + , × ) {\displaystyle (A,+,\times )} $(A,+,\times )$ , la loi de composition interne considérée est × {\displaystyle \times } $\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 A×.

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

Exemples

Anneaux et corps

Dans l'anneau ( Z , + , × ) {\displaystyle (\mathbb {Z} ,+,\times )} $(\mathbb {Z} ,+,\times )$ des entiers relatifs, seuls 1 et –1 ont un inverse : eux-mêmes respectivement.
Dans le corps ( R , + , × ) {\displaystyle (\mathbb {R} ,+,\times )} $(\mathbb {R} ,+,\times )$ des nombres réels et dans le corps ( Q , + , × ) {\displaystyle (\mathbb {Q} ,+,\times )} $(\mathbb {Q} ,+,\times )$ des rationnels, l'inverse de 2 est 1⁄2 = 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 ( C , + , × ) {\displaystyle (\mathbb {C} ,+,\times )} $(\mathbb {C} ,+,\times )$ des nombres complexes, l'inverse de l'unité imaginaire i est –i car i × (–i) = 1. Plus généralement, l'inverse d'un nombre complexe non nul z = a + i b {\displaystyle z=a+\mathrm {i} b} $z=a+\mathrm {i} b$ est le nombre 1 z = z ¯ z z ¯ = z ¯ ‖ z ‖ 2 = a − i b a 2 + b 2 = a a 2 + b 2 − b a 2 + b 2 i {\displaystyle {\frac {1}{z}}={\frac {\bar {z}}{z{\bar {z}}}}={\frac {\bar {z}}{\|z\|^{2}}}={\frac {a-\mathrm {i} b}{a^{2}+b^{2}}}={\frac {a}{a^{2}+b^{2}}}-{\frac {b}{a^{2}+b^{2}}}\mathrm {i} } ${\frac {1}{z}}={\frac {\bar {z}}{z{\bar {z}}}}={\frac {\bar {z}}{\|z\|^{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 ( H , + , × ) {\displaystyle (\mathbb {H} ,+,\times )} $(\mathbb {H} ,+,\times )$ des quaternions, l'inverse d'un quaternion non nul q = a + i b + j c + k d {\displaystyle q=a+\mathrm {i} b+\mathrm {j} c+\mathrm {k} d} $q=a+\mathrm {i} b+\mathrm {j} c+\mathrm {k} d$ est le quaternion 1 ‖ q ‖ 2 q ¯ {\displaystyle {\frac {1}{\|q\|^{2}}}{\bar {q}}} ${\frac {1}{\|q\|^{2}}}{\bar {q}}$ , où q ¯ {\displaystyle {\bar {q}}} ${\bar {q}}$ est le conjugué quaternionique de q, soit 1 ‖ q ‖ 2 q ¯ = 1 a 2 + b 2 + c 2 + d 2 × ( a − i b − j c − k d ) {\displaystyle {\frac {1}{\|q\|^{2}}}{\bar {q}}={\frac {1}{a^{2}+b^{2}+c^{2}+d^{2}}}\times (a-\mathrm {i} b-\mathrm {j} c-\mathrm {k} d)} ${\frac {1}{\|q\|^{2}}}{\bar {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ℤ, +, ×), où n ≥ 2, les inversibles sont exactement les éléments m ¯ {\displaystyle {\overline {m}}} ${\overline {m}}$ tels que PGCD ( m , n ) = 1 {\displaystyle (m,n)=1} $(m,n)=1$ . En particulier, si n est premier, alors cet anneau est un corps. Par exemple, dans l'anneau ℤ/10ℤ, l'inverse de 3 est 7 (car 3 × 7 = 21 est congru à 1 modulo 10), mais 2 n'a pas d'inverse.
Dans l'anneau ( M n ⁡ ( R ) , + , × ) {\displaystyle (\operatorname {M} _{n}(\mathbb {R} ),+,\times )} $(\operatorname {M} _{n}(\mathbb {R} ),+,\times )$ des matrices carrées réelles, où n est un naturel fixé, l'ensemble des matrices inversibles est noté GL n ⁡ ( R ) {\displaystyle \operatorname {GL} _{n}(\mathbb {R} )} $\operatorname {GL} _{n}(\mathbb {R} )$ . Par exemple, dans l'anneau des matrices 2×2, la matrice A = ( 1 1 1 0 ) {\displaystyle A={\begin{pmatrix}1&1\\1&0\end{pmatrix}}} $A={\begin{pmatrix}1&1\\1&0\end{pmatrix}}$ a pour matrice inverse B = ( 0 1 1 − 1 ) {\displaystyle B={\begin{pmatrix}0&1\\1&-1\end{pmatrix}}} $B={\begin{pmatrix}0&1\\1&-1\end{pmatrix}}$ car A×B est égal à la matrice identité d'ordre 2.

Plus généralement, pour une matrice A ∈ GL n ⁡ ( R ) {\displaystyle A\in \operatorname {GL} _{n}(\mathbb {R} )} $A\in \operatorname {GL} _{n}(\mathbb {R} )$ , son inverse A-1 s'exprime à partir de son déterminant et de sa comatrice : A − 1 = 1 d e t ( A ) c o m ( A ) T {\displaystyle A^{-1}={\frac {1}{\mathrm {det} (A)}}\mathrm {com} (A)^{T}} $A^{-1}={\frac {1}{\mathrm {det} (A)}}\mathrm {com} (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 f 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 f −1 :

( f ( x ) ) − 1 ≠ f − 1 ( x ) {\displaystyle (f(x))^{-1}\neq f^{-1}(x)}

(f(x))^{-1}\neq f^{-1}(x)

Exemple pour la fonction cosinus cos : → {\displaystyle \cos :\to } $\cos :\to$ : ( cos ⁡ x ) − 1 = 1 cos ⁡ x , cos − 1 ⁡ ( x ) = arccos ⁡ x {\displaystyle (\cos x)^{-1}={\frac {1}{\cos x}},\quad \cos ^{-1}(x)=\arccos x} $(\cos x)^{-1}={\frac {1}{\cos x}},\quad \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

∑ k = 1 n 1 k ⟶ + ∞ {\displaystyle \sum _{k=1}^{n}{\frac {1}{k}}\longrightarrow +\infty }

\sum _{k=1}^{n}{\frac {1}{k}}\longrightarrow +\infty

(série harmonique). ∑ k = 1 + ∞ ( − 1 ) k k = 1 − 1 2 + 1 3 − 1 4 + ⋯ = ln ⁡ ( 2 ) {\displaystyle \sum _{k=1}^{+\infty }{\frac {(-1)^{k}}{k}}=1-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+\dots =\ln(2)}

\sum _{k=1}^{+\infty }{\frac {(-1)^{k}}{k}}=1-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+\dots =\ln(2)

(série harmonique alternée). ∑ k = 1 + ∞ ( 1 k ) 2 = 1 + 1 2 2 + 1 3 2 + ⋯ = π 2 6 {\displaystyle \sum _{k=1}^{+\infty }\left({\frac {1}{k}}\right)^{2}=1+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\dots ={\frac {\pi ^{2}}{6}}}

\sum _{k=1}^{+\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 ζ ( 2 m ) = ∑ k = 1 + ∞ 1 k 2 m = 1 + 1 2 2 k + 1 3 2 k + ⋯ = | B 2 m | ( 2 π ) 2 m 2 ( 2 m ) ! , m ∈ Z {\displaystyle \zeta (2m)=\sum _{k=1}^{+\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} }

\zeta (2m)=\sum _{k=1}^{+\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 2 m | {\displaystyle |B_{2m}|}

|B_{2m}|

est la valeur absolue du nombre de Bernoulli.

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

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

Voir aussi

inverse modulaire

Notes et références

N. Bourbaki, Algèbre (lire en ligne), I.15.
Bourbaki, p. I.16.

Liens externes

(en) Eric W. Weisstein, « Multiplicative Inverse », sur MathWorld
(en) Eric W. Weisstein, « Invertible Element », sur MathWorld

Portail de l’algèbre