APPLICATIONS Définition 1 : Soient :→ 

On appelle image réciproque de par , l’ensemble des

Définitions : antécédents des éléments de ,
Soient et deux ensembles non vides . noté
Toute relation qui associe chaque (tout) élément de par
un et un seul (unique) élément de est appelée application 
Formellement on a :
de vers , on la note par
Remarques :
 est appelé image de et est un antécédent de .
 On représente l’application de dans par :→ .
est appelé ensemble de départ et l’ensemble d’arrivée
de l’application .
 Toute fonction est une application de son ensemble de
définition vers .
 Si on dit que est une application dans
 Soient et deux applications tel que :

Sont égales
Formellement, une correspondance f entre deux ensembles non
vides est une application si et seulement si :
x; x′ E (x =x′) ⇒ (f(x)=f(x′))

Exemple : 1. L’application :→ telle que

 ()=
est appelée application identité sur .

2. soit : f :→ → ()=a

est une application dite application constante.

Images Directe et images réciproques

Définition 1 : Soient :→  ⊂ .
On appelle image directe de par , l’ensemble des images
des éléments de noté : f(A) =

On pratique

Proprieté :


Exercice :

 On considère l’application :

1. Déterminer les images de 0et-2 et 3 .

2. Déterminer les antécédents de 1et 0 et 3 .

3. Est-ce que l’implication est vraie ?

 On considère l’application :

Application réciproque
1. Déterminer les images de(1,0) et (2,-3) et (-6,1).
Définition
2. Déterminer les antécédents de 1 et 6 et 0.
3. Est-ce que pour tout et de , l’implication

est
vraie ?

 On considère les deux applications

:

1. Est-ce que ?

Exemple

3) Propriétés des Applications

A. Injectivité
Une application f de E vers F est injective si et seulement si
tout élément de F possède au plus un antécédent dans E.

c-àd pour tout y F, l'équation y=f(x) admet au plus une

solution x E; On formalise:

Composition d’applications :
En prenant la contraposée Définition : Soient :→ et :→ ,
On note ◦ l’application de dans définie par :
 ()=(())
B. Surjectivité
Une application f de E vers F est surjective si et seulement si
tout élément de F possède au moins un antécédent dans E.

c-àd pour tout y F, l'équation y=f(x) admet au moins une

solution x E; On formalise Cette application est appelée composée des applications et .

C. Bijectivité

Une application f de E vers F est bijective si et seulement si

tout élément de F possède exactement un antécédent dans E (ce
qui équivaut à dire que f est à la fois injective et surjective).

c-àd pour tout y F, l'équation y=f(x) admet exactement une

solution x E. On formalise