Injection (mathématiques)

Exemple concret

On prend le cas d'une station de vacances où un groupe de touristes doit être logé dans un hôtel. Chaque façon de répartir ces touristes dans les chambres de l'hôtel peut être représentée par une application de l'ensemble des touristes, X, vers l'ensemble des chambres, Y (à chaque touriste est associée une chambre).

• L'hôtelier souhaite que l'application soit surjective, c'est-à-dire que chaque chambre soit occupée. Cela n'est possible que s'il y a au moins autant de touristes que de chambres.
• Les touristes souhaitent que l'application soit injective, c'est-à-dire que chacun d'entre eux ait une chambre individuelle. Cela n'est possible que si le nombre de touristes ne dépasse pas le nombre de chambres.
• Ces contraintes ne sont compatibles que si le nombre de touristes est égal au nombre de chambres. Dans ce cas, il sera possible de répartir les touristes de telle sorte qu'il y en ait un seul par chambre, et que toutes les chambres soient occupées : l'application sera alors à la fois injective et surjective ; on dira qu'elle est bijective.

La situation est nettement différente dans le cas d'un ensemble infini, ce qu'illustre bien l'hôtel de Hilbert.

Autres exemples

On considère l'application ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$ définie par ${\displaystyle f(x)=2x+1}$. Cette application est injective (et même bijective), puisque pour tous nombres réels arbitraires ${\displaystyle x}$ et ${\displaystyle x'}$, si ${\displaystyle 2x+1=2x'+1}$ alors ${\displaystyle 2x=2x'}$, soit ${\displaystyle x=x'}$.

En revanche, l'application ${\displaystyle g:\mathbb {R} \to \mathbb {R} }$ définie par ${\displaystyle g(x)=x^{2}}$ n'est pas injective, parce que (par exemple) ${\displaystyle g(1)=1=g(-1)}$.

D'autre part, si on définit l'application ${\displaystyle h:\mathbb {R} _{+}\to \mathbb {R} }$ par la même relation que ${\displaystyle g}$, mais avec l'ensemble de définition restreint à l'ensemble des réels positifs, alors l'application ${\displaystyle h}$ est injective. Une explication est que, pour des réels positifs arbitraires donnés ${\displaystyle x}$ et ${\displaystyle x'}$, si ${\displaystyle x^{2}=x'^{2}}$, alors ${\displaystyle |x|=|x'|}$, ainsi ${\displaystyle x=x'}$.

Composition

Une application ${\displaystyle f:X\to Y}$ avec ${\displaystyle X}$ non-vide est injective (si et) seulement s'il existe une application ${\displaystyle g:Y\to X}$ telle que ${\displaystyle g\circ f}$ soit égale à l'application identité sur ${\displaystyle X}$ c.-à-d. ${\displaystyle f}$ est inversible à gauche. L'application ${\displaystyle g}$ est appelé rétraction et est surjective.

Par conséquent, ${\displaystyle f}$ est injective si (et seulement si) elle est simplifiable à gauche, c.-à-d. que pour toutes applications ${\displaystyle g,h:Z\to X}$, ${\displaystyle f\circ g=f\circ h}$ entraîne ${\displaystyle g=h}$. En d'autres termes, les applications injectives sont précisément les monomorphismes de la catégorie des ensembles.

De plus, toute application ${\displaystyle h:Z\to Y}$ peut être décomposée comme ${\displaystyle h=f\circ g}$ pour une injection ${\displaystyle f}$ et une surjection ${\displaystyle g}$ convenables. Cette décomposition est unique à un unique isomorphisme près, et ${\displaystyle f}$ peut être choisie égale à l'injection canonique, de l'image ${\displaystyle h(Z)}$ de ${\displaystyle h}$, dans l'ensemble d'arrivée ${\displaystyle Y}$ de ${\displaystyle h}$.

Pour toute application ${\displaystyle g}$ de ${\displaystyle Y}$ dans ${\displaystyle Z}$ :

1. si l'application composée ${\displaystyle g\circ f}$ est injective alors ${\displaystyle f}$ est injective ;
2. si ${\displaystyle f}$ et ${\displaystyle g}$ sont injectives alors ${\displaystyle g\circ f}$ est injective ;
3. si ${\displaystyle f}$ est surjective et si ${\displaystyle g\circ f}$ est injective alors ${\displaystyle g}$ est injective.

Image

Soit ${\displaystyle f}$ une application de ${\displaystyle X}$ dans ${\displaystyle Y}$. Les quatre propriétés suivantes sont équivalentes :

• ${\displaystyle f}$ est injective ;
• toute partie ${\displaystyle A}$ de ${\displaystyle X}$ est l'image réciproque de son image directe : ${\displaystyle f^{-1}(f(A))=A}$ ;
• pour toutes parties ${\displaystyle A}$ et ${\displaystyle B}$ de ${\displaystyle X}$, on a ${\displaystyle f(A\cap B)=f(A)\cap f(B)}$ ;
• pour toute partie ${\displaystyle A}$ de ${\displaystyle X}$, l'image directe du complémentaire de ${\displaystyle A}$ est incluse dans le complémentaire de l'image directe de ${\displaystyle A}$, c.-à-d. ${\displaystyle f(X\setminus A)\subset Y\setminus f(A)}$.

Morphisme de groupes

Un morphisme d'un groupe X dans un groupe Y est injectif si et seulement si son noyau est réduit au sous-groupe trivial du groupe X.

Cardinaux

Si ${\displaystyle f:X\to Y}$ est injective, alors ${\displaystyle Y}$ a au moins autant d'éléments que ${\displaystyle X}$, au sens des cardinaux. La relation « il existe une injection de l'ensemble ${\displaystyle X}$ dans l'ensemble ${\displaystyle Y}$ » est un « préordre » (au sens large, c.-à-d. sur une classe propre : celle de tous les ensembles), qui induit un « ordre » sur la classe des cardinaux. La réflexivité et la transitivité vient des propriétés des injections (voir supra), et l'antisymétrie est l'objet du théorème de Cantor-Bernstein.

Par ailleurs, le théorème de comparabilité cardinale (conséquence du lemme de Zorn) affirme que pour deux ensembles ${\displaystyle X}$ et ${\displaystyle Y}$, il existe une injection dans au moins un sens, ce qui rend l’ordre des cardinaux total.

Articles connexes

• Surjection
• Bijection

Bibliographie

• N. Bourbaki, Éléments de mathématique : Théorie des ensembles [détail des éditions]

Liens externes

• (en) Eric W. Weisstein, « Injection », sur MathWorld

• Portail des mathématiques