Une application qui envoie des éléments distincts du domaine sur des éléments distincts du codomaine ; équivalemment, f est injective si f(x)=f(y) entraîne x=y.

Principe

L'injection impose l'unicité des images : aucun couple d'éléments distincts du domaine ne coïncide sous l'application, ce qui permet une inversion partielle sur l'image et favorise des plongements fidèles de structures lorsque des conditions de compatibilité supplémentaires sont satisfaites.

Démonstration

L'inclusion i : N → Z définie par i(n)=n est injective : chaque entier naturel a une image distincte. En algèbre linéaire, une application linéaire injective a un noyau trivial ; par exemple une transformation linéaire injective de R^2 dans R^3 plonge R^2 comme sous-espace de dimension deux.

Mauvaise application

Supposer que l'injectivité implique l'inversibilité sur l'ensemble du codomaine ; une application injective peut ne pas être surjective, donc n'admet pas d'inverse bilatéral sur tout le codomaine. Confondre aussi application injective d'ensembles et plongement catégorique qui exige la préservation de structure supplémentaire (plongement topologique, plongement algébrique).

Conséquence

L'injectivité garantit que des éléments distincts du domaine restent distinguables dans le codomaine, permettant des inverses à gauche définis sur l'image et soutenant des constructions reposant sur des représentations fidèles ou des plongements.

Inversion

Une application surjective non injective écrase des éléments distincts du domaine en un même élément du codomaine, perdant de l'information ; ces applications sont multiples-à-un et n'admettent pas d'inverse unique même restreint.

Limite

L'injection est une propriété d'ensemble indépendante de la surjectivité ou d'autres conditions structurelles ; elle ne préserve pas à elle seule opérations, topologie ou différentiabilité sauf si des contraintes supplémentaires sont imposées.

Tension sémantique

L'injection est souvent confondue avec le concept d'inclusion ou de monomorphisme en théorie des catégories ; la tension est de savoir si l'application sépare simplement les points (injective) ou respecte aussi une structure supplémentaire et des propriétés universelles (plongement/monomorphisme).

Synthèse

Une injection est une fonction qui n'envoie jamais deux entrées distinctes sur la même sortie, assurant la distinction un-à-un et permettant un inverse à gauche sur son image.