Application (mathématiques)/Exercices/Injection, surjection, bijection

Exercice 1

Soit $f:E\to F$ une application. Montrer que les propriétés suivantes sont équivalentes :

1. $f$ est injective ;
2. $\forall A\in {\mathcal {P}}(E)\quad f^{-1}(f(A))=A$ ;
3. $\forall A,A'\in {\mathcal {P}}(E)\quad f(A\cap A')=f(A)\cap f(A')$ ;
4. $\forall A\in {\mathcal {P}}(E)\quad f\left(\complement _{E}A\right)\subset \complement _{F}{f(A)}$.

Solution

• $1\Leftrightarrow 2$ : voir la solution de Images directes et réciproques, ex. 8 (y compris la question 2, qui démontre la contraposée de $2\Rightarrow 1$).
• $1\Leftrightarrow 3$ : voir la solution de Images directes et réciproques, ex. 3 (y compris la question 2, qui démontre la contraposée de $3\Rightarrow 1$).
• $2\Leftrightarrow 4$ : rappelons (ex. 8 déjà cité) que $A\subset f^{-1}(f(A))$ est toujours vrai. Par ailleurs, pour tout $A\subset E$, on a les équivalences :

  $f^{-1}(f(A))\subset A\Leftrightarrow [\forall x\in E\quad f(x)\in f(A)\Rightarrow x\in A]\Leftrightarrow [\forall x\in E\quad x\notin A\Rightarrow f(x)\notin f(A)]\Leftrightarrow f\left(\complement _{E}A\right)\subset \complement _{F}{f(A)}$.

 

Exercice 2

Soit $f:E\to F$ une application. Montrer que les propriétés suivantes sont équivalentes :

1. $f$ est surjective ;
2. $\forall B\in {\mathcal {P}}(F)\quad f(f^{-1}(B))=B$ ;
3. $\forall A\in {\mathcal {P}}(E)\quad f\left(\complement _{E}A\right)\supset \complement _{F}{f(A)}$.

Solution

• $1\Leftrightarrow 2$ : on sait que $f(f^{-1}(B))=B\cap \operatorname {Im} (f)$. Donc $2\Leftrightarrow \forall B\in {\mathcal {P}}(F)\;B\cap \operatorname {Im} (f)=B\Leftrightarrow \forall B\in {\mathcal {P}}(F)\;B\subset \operatorname {Im} (f)\Leftrightarrow F\subset \operatorname {Im} (f)\Leftrightarrow f$ surjective.
• $1\Rightarrow 3$ : soit $y\in \complement _{F}{f(A)}$. Si $f$ est surjective, il existe $x\in E$ tel que $y=f(x)$. Puisque $y\notin f(A)$, on a $x\notin A$, c'est-à-dire $x\in \complement _{E}A$, donc $y=f(x)\in f\left(\complement _{E}A\right)$.
• $3\Rightarrow 1$ : $\complement _{F}{f(\varnothing )}\subset f\left(\complement _{E}\varnothing \right)\Leftrightarrow \complement _{F}\varnothing \subset f\left(E\right)\Leftrightarrow F\subset \operatorname {Im} (f)\Leftrightarrow f$ surjective.

 

Exercice 3

Soient $f:E\to F$ et $g:F\to G$ deux applications. Démontrer que :

1. si $f$ et $g$ sont injectives alors $g\circ f$ est injective ;
2. si $f$ et $g$ sont surjectives alors $g\circ f$ est surjective ;
3. si $g\circ f$ est injective alors $f$ est injective ;
4. si $g\circ f$ est surjective alors $g$ est surjective ;
5. si $g\circ f$ est injective et si $f$ est surjective alors $g$ est injective ;
6. si $g\circ f$ est surjective et si $g$ est injective alors $f$ est surjective.

Solution

1. Supposons $(g\circ f)(x)=(g\circ f)(y)$. Si $g$ est injective, on en déduit que $f(x)=f(y)$ donc si de plus $f$ est injective, $x=y$.
2. Supposons $f$ et $g$ surjectives, c'est-à-dire $f(E)=F$ et $g(F)=G$. Alors, $(g\circ f)(E)=g(f(E))=g(F)=G$.
3. Supposons $f(x)=f(y)$. Alors, $(g\circ f)(x)=(g\circ f)(y)$ donc, si $g\circ f$ est injective, $x=y$.
4. Supposons $g\circ f$ surjective. Alors, $G=g(f(E))\subset g(F)$.
5. Supposons $g\circ f$ injective et $f$ surjective. Alors, $f$ est bijective (d'après le point 3) donc $f^{-1}$ existe, ce qui permet d'écrire $g=(g\circ f)\circ f^{-1}$, composée de deux injections donc injective (d'après le point 1).
6. Supposons $g\circ f$ surjective et $g$ injective. Alors, $g$ est bijective (d'après le point 4) donc $g^{-1}$ existe, ce qui permet d'écrire $f=g^{-1}\circ (g\circ f)$, composée de deux surjections donc surjective (d'après le point 2).

 

Exercice 4

Soit $i:A\to B$ une injection. On suppose $A\neq \varnothing$.

1. Montrer qu'il existe une application $s:B\to A$ telle que $s\circ i=\operatorname {id} _{A}$.
2. En déduire que :
   1. pour toute application $f:A\to C$, il existe une application $g:B\to C$ telle $f=g\circ i$ ;
   2. $i$ est simplifiable à gauche, c'est-à-dire

      $\forall C\quad \forall h,h':C\to A\quad (i\circ h=i\circ h'\Rightarrow h=h')$ ;

   3. si $A\neq \varnothing$ et s'il existe une injection de $A$ dans $B$, alors il existe une surjection de $B$ dans $A$.
3. Qu'en est-il si $A=\varnothing$ ?
4. Montrer que réciproquement, toute application simplifiable à gauche est injective.

Solution

1. La condition $s\circ i=\operatorname {id} _{A}$ équivaut à : pour tout $y\in i(A)$, $s(y)$ est égal à l'unique antécédent de $y$ par $i$. On peut donc définir $s$ ainsi sur $i(A)$, et compléter arbitrairement sur $\complement _{B}\,i(A)$, en posant par exemple, pour un élément fixé $a\in A$ (il en existe puisque $A\neq \varnothing$) : $\forall y\in \complement _{B}\,i(A)\quad s(y)=a$.
2.  
   1. $g:=f\circ s$ convient.
   2. $i\circ h=i\circ h'\Rightarrow s\circ i\circ h=s\circ i\circ h'\Leftrightarrow h=h'$.
   3. L'application $s$ construite ci-dessus est surjective car $s\circ i$ l'est (cf. exercice précédent).
3. Si $A=\varnothing$ alors, pour tout ensemble $B$, l'unique application $i:A\to B$ (de graphe $\varnothing$) est injective, mais il n'existe aucune application (et a fortiori, aucune surjection) $s:B\to A$, sauf si $B=\varnothing$ (dans ce cas, on aura bien $s\circ i=\operatorname {id} _{A}$). Cependant, même si $B\neq \varnothing$, $i$ est simplifiable à gauche car pour tout $C$, il existe au plus une application $h:C\to A$ (une si $C=\varnothing$ et aucune si $C\neq \varnothing$).
4. Soit $i:A\to B$ une application simplifiable à gauche. Pour tous $x,x'\in A$ tels que $i(x)=i(x')$, notons $C=\{c\}$ un singleton arbitraire (par exemple $c=\varnothing$) et définissons $h,h':C\to A$ par : $h(c)=x$ et $h'(c)=x'$. Alors, $i\circ h=i\circ h'$ donc $h=h'$, c'est-à-dire $x=x'$.

 

Exercice 5

Montrer qu'une application $s:B\to A$ est surjective si et seulement si elle est simplifiable à droite, c'est-à-dire

$\forall C\quad \forall f,f':A\to C\quad (f\circ s=f'\circ s\Rightarrow f=f')$.

Solution

$f\circ s=f'\circ s$ si et seulement si $f$ et $f'$ coïncident sur $s(B)$, qui est une partie de $A$. La simplifiabilité à droite de $s$ signifie donc que dès que deux applications définies sur $A$ coïncident sur $s(B)$, elles coïncident sur $A$ tout entier.

La surjectivité de $s$ équivaut à $s(B)=A$, qui implique donc la simplifiabilité à droite.

Réciproquement, si $s(B)\neq A$, on définit facilement sur $A$ deux applications $f$ et $f'$ qui coïncident sur $s(B)$ mais pas sur $A$ tout entier, en posant par exemple : sur $s(B)$, $f$ et $f'$ constamment égales à 1 mais sur $A\setminus s(B)$, l'une égale à 1 et l'autre à 0.

 

Exercice 6

Étant données deux applications $f:A\to C,g:B\to D$, soit $f\times g:A\times B\to C\times D,\left(a,b\right)\to \left(f(a),g(b)\right)$. Montrer que :

1. si $f$ et $g$ sont injectives alors $f\times g$ l'est ;
2. la réciproque est vraie si $A$ et $B$ sont non vides ;
3. si $f$ et $g$ sont surjectives alors $f\times g$ l'est ;
4. la réciproque est vraie si $C$ et $D$ sont non vides.

Solution

1. Supposons que $f$ et $g$ sont injectives et montrons que $f\times g$ l'est.
   • Première méthode. Si $\left(f\times g\right)\left(a,b\right)=\left(f\times g\right)\left(a',b'\right)$, c'est-à-dire si $\left(f\left(a\right),g\left(b\right)\right)=\left(f\left(a'\right),g\left(b'\right)\right)$, ou encore $f\left(a\right)=f\left(a'\right)$ et $g\left(b\right)=g\left(b'\right)$ alors $a=a'$ et $b=b'$ donc $\left(a,b\right)=\left(a',b'\right)$.
   • Seconde méthode (utilisant l'exercice 4). Si $A$ ou $B$ est vide alors $f\times g$ est évidemment injective (c'est l'application de $\varnothing$ dans $C\times D$, de graphe vide). Sinon, il existe $f':C\to A,g':D\to B$ telles que $f'\circ f=\operatorname {id} _{A}$ et $g'\circ g=\operatorname {id} _{B}$, d'où $\left(f'\times g'\right)\circ \left(f\times g\right)=\left(f'\circ f\right)\times \left(g'\circ g\right)=\operatorname {id} _{A}\times \operatorname {id} _{B}=\operatorname {id} _{A\times B}$.
2. Supposons $f\times g$ injective et $B\neq \varnothing$ et montrons que $f$ est injective. Par hypothèse, il existe $b\in B$. Si $f\left(a\right)=f\left(a'\right)$ alors $\left(f\times g\right)\left(a,b\right)=\left(f\times g\right)\left(a',b\right)$ donc $\left(a,b\right)=\left(a',b\right)$ donc $a=a'$. On montre de même que si $f\times g$ est injective et $A\neq \varnothing$ alors $g$ est injective.
3. Supposons que $f$ et $g$ sont surjectives et montrons que $f\times g$ l'est. Soit $\left(c,d\right)\in C\times D$. Puisque $c\in C$, il existe (par surjectivité de $f$) au moins un $a\in A$ tel que $c=f\left(a\right)$. De même, il existe $b\in B$ tel que $d=g\left(b\right)$. Alors, $\left(c,d\right)=\left(f\times g\right)\left(a,b\right)$.
4. Supposons $f\times g$ surjective et $D\neq \varnothing$ et montrons que $f$ est surjective. Par hypothèse, il existe $d\in D$. Pour tout $c\in C$, il existe alors (par surjectivité de $f\times g$) au moins un $\left(a,b\right)\in A\times B$ tel que $\left(c,d\right)=\left(f\times g\right)\left(a,b\right)$, d'où $c=f\left(a\right)$. On montre de même que si $f\times g$ est surjective et $C\neq \varnothing$ alors $g$ est surjective.

 

Exercice 7

Soient $X$, $Y$ et $Z$ trois ensembles.

1. Montrer que si $Y\neq \varnothing$ alors l'application $e:Y\times X^{Y}\to X,\,\left(y,g\right)\mapsto g\left(y\right)$ est surjective, mais non injective en général.
2. Qu'en est-il si $Y=\varnothing$ ?
3. Soit une application $f:Y\times Z\to X$. On lui associe une application $F:Z\to X^{Y}$ en posant : $\forall \left(y,z\right)\in Y\times Z\quad F\left(z\right)\left(y\right)=f\left(y,z\right)$. Vérifier que $e\circ \left(\operatorname {id} _{Y}\times F\right)=f$ (pour la notation $\operatorname {id} _{Y}\times F$, cf. exercice précédent).
4. A-t-on :
   1. $F$ surjective $\Rightarrow f$ surjective ?
   2. $f$ surjective $\Rightarrow F$ surjective ?
   3. $f$ injective $\Rightarrow F$ surjective ?
   4. $F$ injective $\Rightarrow f$ injective ?

Solution

1. Supposons $Y\neq \varnothing$ et montrons que $e$ est surjective. Par hypothèse, il existe au moins un $y_{0}\in Y$. Pour tout $x\in X$, notons $c_{x}$ l'application constante $Y\to X,\,y\mapsto x$. Alors, $x=e\left(y_{0},c_{x}\right)$.
   En général, $e$ n'est pas injective et même : il n'existe aucune injection de $Y\times X^{Y}$ dans $X$ si $\operatorname {card} \left(Y\right)\times \operatorname {card} \left(X\right)^{\operatorname {card} \left(Y\right)}>\operatorname {card} \left(X\right)$ — par exemple si $\operatorname {card} \left(X\right)=1<\operatorname {card} \left(Y\right)$.
2. Si $Y=\varnothing$ alors $e$ est l'application de $\varnothing$ dans $X$, de graphe vide. Elle est toujours injective, mais n'est surjective que si $X=\varnothing$.
3. $\forall \left(y,z\right)\in Y\times Z\quad \left(e\circ \left(\operatorname {id} _{Y}\times F\right)\right)\left(y,z\right)=e\left(y,F\left(z\right)\right)=F\left(z\right)\left(y\right)=f\left(y,z\right)$.
4. 1. On déduit des questions précédentes que si $Y\neq \varnothing$ et si $F$ est surjective (donc $\operatorname {id} _{Y}\times F$ aussi d'après l'exercice précédent), alors $f$ aussi.
      (Lorsque $Y=\varnothing$, $F$ est surjective si et seulement si $Z\neq \varnothing$, et $f$ est surjective si et seulement si $X=\varnothing$.)
   2. La réciproque est fausse et même : dès que $\operatorname {card} \left(Y\right)\times \operatorname {card} \left(Z\right)\geq \operatorname {card} \left(X\right)$, il existe des surjections $f:Y\times Z\to X$ mais aucune de $Z$ dans $X^{Y}$ si $\operatorname {card} \left(Z\right)<\operatorname {card} \left(X\right)^{\operatorname {card} \left(Y\right)}$ — par exemple si $\operatorname {card} \left(Z\right)=1<\operatorname {card} \left(X\right)\leq \operatorname {card} \left(Y\right)$.
   3. On déduit de la question 3 que si $f$ est injective alors $\operatorname {id} _{Y}\times F$ aussi, donc $F$ aussi si $Y\neq \varnothing$.
      (Lorsque $Y=\varnothing$, $f$ est toujours injective, mais $F$ ne l'est que si $\operatorname {card} \left(Z\right)\leq 1$.)
   4. La réciproque est fausse en général, à cause de la non-injectivité de $e$. Par exemple lorsque $\operatorname {card} \left(Z\right)=1$, $F$ est toujours injective, mais $f$ ne peut pas l'être si $\operatorname {card} \left(Y\right)>\operatorname {card} \left(X\right)$.

 

Exercice 8

Soient $A$ et $B$ deux parties d'un ensemble $E$ et

$f:{\mathcal {P}}(E)\to {\mathcal {P}}(A)\times {\mathcal {P}}(B),\quad X\mapsto (X\cap A,X\cap B)$.

Donner une condition nécessaire et suffisante sur $A$ et $B$ pour que $f$ soit :

1. injective ;
2. surjective ;
3. bijective.

Solution

1. $f(E)=(A,B)=f(A\cup B)$ donc si $f$ est injective alors $A\cup B=E$. Réciproquement, si $A\cup B=E$ alors $f$ est injective car pour tout $X\in {\mathcal {P}}(E)$, $(X\cap A)\cup (X\cap B)=X\cap (A\cup B)=X\cap E=X$ donc la donnée de $f(X)$ détermine complètement $X$.
2. Si $f$ est surjective, soit $X\in {\mathcal {P}}(E)$ tel que $f(X)=(A,\varnothing )$. Alors, $A\subset X\subset E\setminus B$ donc $A\cap B=\varnothing$. Réciproquement, si $A\cap B=\varnothing$ alors, pour tout $(C,D)\in {\mathcal {P}}(A)\times {\mathcal {P}}(B)$, on a $D\cap A=C\cap B=\varnothing$ donc $f(C\cup D)=(C,D)$, ce qui prouve que $f$ est surjective.
3. D'après les deux questions précédentes, $f$ est bijective si et seulement si $A$ et $B$ sont complémentaires dans $E$.