Applications
Exercice
946. Soient $E$, $F$ et $G$ trois ensembles, et $f : E \to F$ et $g : F \to G$ deux applications. Montrer que : \\
- Si $f$ et $g$ sont injectives, alors $g \circ f$ est injective. \\
- Si $f$ et $g$ sont surjectives, alors $g \circ f$ est surjective. \\
- Si $g \circ f$ est injective, alors $f$ est injective (mais pas $g$ forcément). \\
- Si $g \circ f$ est surjective, alors $g$ est surjective (mais pas $f$ forcément).
Exercice
947. Soit $f : E \to F$ une application. \\
- Montrer que, pour toutes parties $A$ et $B$ de $F$, on a $f^{-1}(A\cap B) = f^{-1}(A) \cap f^{-1}(B)$. \\
-
- Montrer que, pour toutes parties $A$ et $B$ de $E$, on a $f(A \cap B) \subset f(A) \cap f(B)$. \\
- On suppose que $f$ est injective. Montrer alors que $f(A\cap B) = f(A) \cap f(B)$.
Exercice
948. Soient $E$ et $F$ deux ensembles et $f,g : E \to F$ deux applications telles que $f \circ g \circ f$ est bijective. Montrer que $f$ et $g$ sont bijectives.
Exercice
949. Soient $f : E \to F$ et $g : F \to G$. \\
- Montrer que si $g \circ f$ est injective et $f$ surjective, alors $g$ est injective. \\
- Montrer que si $g \circ f$ est surjective et $g$ injective, alors $f$ est surjective.
On dit que $A$ est Exercice 950. Ensembles dénombrables dénombrable s'il est en bijection avec une partie de $\N$. \\
- Montrer que $\N^*$ et $\Z$ sont dénombrables. \\
-
- Montrer que $\N^2$ et $\Z \times \N^*$ sont en bijection. \\
- Montrer que l'application $(j,k) \in \N^2 \;:\; \mapsto 2^j(2k+1)$ est une bijection de $\N^2$ dans $\N^*$. \\
- En déduire que $\N^2$ et $\Z \times \N^*$ sont dénombrables. \\
- Soient $A$ et $B$ deux ensembles tels que $B$ est dénombrable. On suppose qu'il existe une injection de $A$ dans $B$. Montrer que $A$ est dénombrable. \\
- Construire une injection de $\Q$ dans une partie infinie de $\Z \times \N^*$. Déduire de la question précédente que $\Q$ est dénombrable.
Exercice
951. Soient $f : E \to F$ et $g : F \to G$. \\
Montrer que : \\
- Si $f$ est bijective alors $f^{-1}$ est bijective et $(f^{-1})^{-1} = f$. \\
- Si $f$ et $g$ sont bijectives alors $g \circ f$ est bijective et $(g \circ f)^{—1} = f^{-1} \circ g^{-1}$.
Exercice
952. Soient $f : E \to F$ et $g : F \to G$. \\
Montrer que si $f \circ g = Id_F$ et $g \circ f = Id_E$ alors $f$ est bijective et $f^{-1} = g$.