Applications

Les fonctions et les applications sont des correspondances entre ensembles. Pour définir une fonction

, il faut d'abord un ensemble de départ

(la source) et un ensemble d'arrivée

(le but). Il faut ensuite un sous-ensemble $\Gamma$ du produit cartésien de $E\times F$ , c'est-à-dire un ensemble de couples

où $x\in E$ et $y\in F$ . L'ensemble $\Gamma$ s'appelle le graphe de la fonction. La règle de base est qu'un élément de

ne peut pas correspondre à deux éléments de

. Ceci s'écrit :

$\displaystyle \Big(((x,y)\in\Gamma)\wedge((x,z)\in \Gamma)\Big) \;\Longrightarrow\; y=z\;.$

La donnée de l'ensemble de départ, de l'ensemble d'arrivée et du graphe définit la fonction

. Si $(x,y)\in \Gamma$ , on dit que

est l'image de

. La notation standard pour une fonction est la suivante.

$\begin{displaymath} \begin{array}{rcl} &f&\\ E&\longrightarrow&F\\ x& \longmapsto& f(x) \end{array}\end{displaymath}$

Elle se lit «fonction

vers

qui à

associe

».

On utilise le plus souvent fonction et application comme des synonymes. En toute rigueur une application est une fonction telle que tout élément de l'ensemble de départ admet une image (et une seule). Pour une fonction, le sous-ensemble de l'ensemble de départ formé des éléments qui ont effectivement une image s'appelle le domaine de définition. Dans ce chapitre, nous nous limiterons aux applications.

Définition 3 Soient et deux ensembles et une application de dans .

Soit un sous-ensemble de . On appelle image de par et on note l'ensemble des images des éléments de .

$\displaystyle f(A) = \{ y\in F\;;\quad \exists x\in A ,\;f(x)=y \}\;.$
Soit un sous-ensemble de . On appelle image réciproque de par et on note $f^{-1}(B)$ l'ensemble des éléments de dont l'image appartient à .

$\displaystyle f^{-1}(B) = \{ x\in E\;;\quad f(x)\in B \}\;.$

Attention à la notation $f^{-1}$ : elle ne signifie pas que

est inversée. C'est une convention pour désigner un sous-ensemble de l'espace de départ. Un élément

tel que

s'appelle un antécédent de

. D'après la définition 3, l'ensemble des antécédents de

est $f^{-1}(\{y\})$ .

Soit $E=\{0,1,2,3\}$ et $F=\{0,1,2\}$ . Considérons l'application qui à un nombre associe le reste de sa division euclidienne par 2 : 0 s'il est pair, 1 s'il est impair. Le graphe de cette application est :

$\displaystyle \Gamma = \{ (0,0),(1,1),(2,0),(3,1) \}\;.$

Il est parfois commode de représenter un graphe par un ensemble de flèches entre deux diagrammes de Venn (figure 2). L'image de $\{0,2\}$ est le singleton $\{0\}$ . L'image réciproque de $\{1\}$ est $\{1,3\}$ . L'image réciproque de $\{2\}$ est l'ensemble vide.

**Figure 2:** Représentation graphique d'une application de $\{0,1,2,3\}$ vers $\{0,1,2\}$ .
$\includegraphics[width=7cm]{appl}$

Soient

, et

trois ensembles,

une application de

vers

une application de

vers

. On définit la composée de

par

, notée $g\circ f$ , comme l'application de

vers

qui à

associe $g\circ f(x)=g(f(x))$ . Attention à l'ordre des applications dans l'écriture $g\circ f$ : c'est l'ordre inverse des flèches dans le schéma ci-dessous.

$\begin{displaymath} \begin{array}{ccccl} &f&&g&\\ E&\longrightarrow&F&\longrigh... ...\longmapsto&f(x)&\longmapsto&g\circ f(x)=g(f(x))\;. \end{array}\end{displaymath}$

Définition 4 Soient et deux ensembles et une application de vers . On dit que est :

injective si tout élément de l'ensemble d'arrivée possède au plus un antécédent dans l'ensemble de départ.

$\displaystyle \forall x_1,x_2\in E\;,\quad \Big(f(x_1)=f(x_2)\Big)\;\Longrightarrow\; x_1=x_2\;.$
surjective si tout élément de l'ensemble d'arrivée possède au moins un antécédent dans l'ensemble de départ.

$\displaystyle \forall y\in F ,\;\exists x\in E \;;\quad\; f(x)=y\;.$
bijective si tout élément de l'ensemble d'arrivée possède exactement un antécédent dans l'ensemble de départ.

Une application bijective, ou bijection, est donc à la fois injective et surjective (voir figure 3).

Figure 3: Représentations graphiques d'une injection, d'une surjection et d'une bijection.

$\includegraphics[width=5cm, height=4cm]{injsurj1}$

$\includegraphics[width=5cm, height=4cm]{injsurj2}$

$\includegraphics[width=5cm, height=4cm]{injsurj3}$

Voici comment les applications injectives, surjectives et bijectives se comportent vis-à-vis de la composition. La démonstration de cette assertion est laissée au lecteur à titre d'exercice.

Proposition 3 Soient , , et trois ensembles, une application de vers et une application de vers .

Si et sont injectives alors $g\circ f$ est injective.
Si et sont surjectives alors $g\circ f$ est surjective.
Si et sont bijectives alors $g\circ f$ est bijective.
Si $g\circ f$ est injective alors est injective.
Si $g\circ f$ est surjective alors est surjective.

Si une application de

vers

est bijective, tout élément de

a un antécédent et un seul. On peut alors définir l'application réciproque de

, notée $f^{-1}$ :

$\displaystyle f(x) = y \;\Longleftrightarrow\; x=f^{-1}(y)\;.$

Si est bijective, la composée de par son application réciproque $f^{-1}$ est l'application qui à associe , de vers . On l'appelle application identique, ou identité.

$\begin{displaymath} \begin{array}{ccccl} &f&&f^{-1}&\\ E&\longrightarrow&F&\lon... ...f(x)&\longmapsto&f^{-1}\circ f(x)=f^{-1}(f(x))=x\;. \end{array}\end{displaymath}$

Les notations pour l'application réciproque et pour l'image réciproque d'une partie de l'ensemble d'arrivée

sont liées par la relation :

$\displaystyle f^{-1}(\{y\})=\{f^{-1}(y)\}\;.$

On prendra garde au fait que si l'image réciproque d'une partie est définie pour toute application, l'application réciproque, quant à elle, n'est définie que pour une application bijective.