Ivan Shishkin, Birch Grove

Application injective

Concept history

A revision trail for this concept page.

4 revisions

Revision 3232

8/31/2026, 7:06:46 PM · T.W

Added exercise "Étude de l’injectivité d’une application selon des paramètres."

linked exercisesNoneÉtude de l’injectivité d’une application selon des paramètres.

Revision 2661

8/29/2026, 3:50:11 PM · Catalpa

Concept saved without content changes

No content or metadata changes were recorded.

Revision 2660

8/29/2026, 3:48:58 PM · Catalpa

Updated text

Compare with revision 26505 changed lines
1Une application injective est une application qui admet au plus un unique antécédent pour chaque image.
1Une application injective est une application qui admet au plus un unique antécédent pour chaque élément de son ensemble d'arrivée.
2
3##### Définition formelle
4Soit $f: E \rightarrow F$, pour tout $y \in F$, il existe au plus un unique $x \in E$ tel que $f(x)=y$.
4Pour deux ensembles $A$ et $B$, l'application $f: A \rightarrow B$ est injective si et seulement si, elle vérifie :
5$\forall y \in B$, il existe au plus un unique $x \in A$ tel que $f(x)=y$.

Revision 2650

8/29/2026, 3:31:52 PM · Catalpa

Concept translation created

Une application injective est une application qui admet au plus un unique antécédent pour chaque image.

##### Définition formelle
Soit $f: E \rightarrow F$, pour tout $y \in F$, il existe au plus un unique $x \in E$ tel que $f(x)=y$.