Inverse
Modèle:Voir homonymes {{#invoke:Bandeau|é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 <math>\R</math>, l'inverse de 3 est <math>\frac13=0{,}333\dots</math>, puisque <math>\frac13\times3=1</math>.
Définition
Soit <math>S</math> un monoïde, Modèle:C.-à-d. un ensemble muni d'une loi de composition interne associative, qu'on note <math>\times</math>, et d'un élément neutre pour <math>\times</math> noté 1.
Un élément <math>x \in S</math> est dit inversible à gauche (respectivement inversible à droite) s'il existe un élément <math>y \in S</math> tel que <math>y \times x = 1</math> (respectivement <math>x \times y=1</math>)<ref>Modèle:Ouvrage.</ref>.
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<ref>Modèle:Harvsp.</ref>.
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 <math>(G,\times)</math>, la loi de composition interne considérée est <math>\times</math> et par définition tous les éléments de <math>G</math> sont inversibles.
Anneau (ou corps)
Dans un anneau <math>(A,+,\times)</math>, la loi de composition interne considérée est <math>\times</math> 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 <math>+</math> (souvent noté <math>0</math>), est par définition un corps.
Exemples
Anneaux et corps
- Dans l'anneau <math>(\Z,+,\times)</math> des entiers relatifs, seuls 1 et –1 ont un inverse : eux-mêmes respectivement.
- Dans le corps <math>(\R,+,\times)</math> des nombres réels et dans le corps <math>(\Q,+,\times)</math> 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 <math>(\Complex,+,\times)</math> 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 <math>z=a+\mathrm{i}b</math> est le nombre <math>\frac1z=\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}</math>
- Dans le corps <math>(\mathbb{H},+,\times)</math> des quaternions, l'inverse d'un quaternion non nul <math>q=a+\mathrm ib + \mathrm jc+ \mathrm kd </math> est le quaternion <math>\frac1{\|q\|^2}\bar q</math>, où <math>\bar q</math> est le conjugué quaternionique de Modèle:Mvar, soit <math>\frac1{\|q\|^2}\bar q=\frac1{a^2+b^2+c^2+d^2}\times(a-\mathrm ib-\mathrm jc-\mathrm kd)</math>. 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 <math>\overline m</math> tels que PGCD<math>(m, n)=1</math>. 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 <math>(\operatorname M_n(\R),+,\times)</math> des matrices carrées réelles, où Modèle:Mvar est un naturel fixé, l'ensemble des matrices inversibles est noté <math>\operatorname{GL}_n(\R)</math>. 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 <math>A \in \operatorname{GL}_n(\R)</math>, son inverse Modèle:Math s'exprime à partir de son déterminant et de sa comatrice : <math>A^{-1} = \frac{1}{\mathrm{det}(A)}\mathrm{com}(A)^T</math>.
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 :
- <math>(f(x))^{-1}\ne f^{-1}(x) </math>.
Exemple pour la fonction cosinus <math>\cos:[0,\pi]\to[-1,1]</math> : <math>(\cos x)^{-1}=\frac1{\cos x},\quad\cos^{-1}(x)=\arccos x</math>.
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
- <math>\sum_{k=1}^n\frac1k\longrightarrow +\infty</math> (série harmonique).
- <math>\sum_{k=1}^{+\infty}\frac{(-1)^k}{k}=1-\frac12+\frac13-\frac14+\dots=\ln(2)</math> (série harmonique alternée).
- <math>\sum_{k=1}^{+\infty}\left(\frac{1}{k}\right)^2 = 1+\frac1{2^2}+\frac{1}{3^2}+\dots=\frac{\pi^2}6</math>, et plus généralement, la fonction zêta de Riemann
- <math>\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}</math>, où <math>|B_{2m}|</math> est la valeur absolue du nombre de Bernoulli.
Seuls deux nombres complexes sont opposés à leur inverse (soit <math>\frac1x=-x</math>) : i et –i (car ce sont les solutions de <math>x^2=-1</math>).
Diviser par un nombre b revient à multiplier par l'inverse de b, <math>\frac{a}{b}=a\frac{1}{b} (b\neq 0)</math>.
