24 lines
604 B
Markdown
24 lines
604 B
Markdown
---
|
|
aliases:
|
|
- injective
|
|
- injectif
|
|
up: "[[application]]"
|
|
sibling: "[[surjection]]"
|
|
tags: "#s/maths/analyse"
|
|
---
|
|
|
|
> [!definition] 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'$
|
|
^definition
|
|
|
|
> [!definition] Autrement
|
|
> Une injection est une [[application]] de $E \to F$ pour laquelle tout élément de $F$ possède au maximum 1 antécédent.
|
|
|
|
> [!idea] Intuition
|
|
> Une injection est une [[application]] injective, c'est-à-dire qui ne possède pas de "collision".
|
|
|