cours/injection.md

sr-due, sr-interval, sr-ease, alias

sr-due	sr-interval	sr-ease	alias
2022-11-28	74	317	injective

up::application sibling::surjection title::"$\forall(x,x') \in \mathscr{D}_{f}^{2}, f(x)=f(x') \implies x=x'$" description::"sans collision : toute valeur a au maximum un antécédent" #maths/analyse

---

Une injection est une application injective, c'est-à-dire qui ne possède pas de "collision".

Définition

Soit f une application de E dans F : f: E \rightarrow F

f est une injection si et seulement si : \forall (x, x')\in E^2, f(x) = f(x') \implies x = x'

Une injection est une application pour laquelle tout élément de F possède au maximum 1 antécédent.