Séance Contact 02, Lundi 15 sept

Communications:
Aujourd'hui:
Pour vos questions:
Exercice 1: Donner un exemple explicite de fonction \(f:[0,1]\to[0,1]\) qui soit
  1. à la fois injective et surjective
  2. à la fois injective, surjective et décroissante
  3. à la fois injective, surjective, ni croissante ni décroissante
  4. injective mais pas surjective
  5. surjective mais pas injective
  6. ni injective ni surjective

Attention: il s'agira de s'assurer que chacun de vos exemples soit bien une fonction, c.à.d. que chaque \(f(x)\) soit bien défini et qu'en plus \(f(x)\in [0,1]\) pour tout \(x\in [0,1]\)!

  1. Exemples: \(f(x)=x\), \(f(x)=x^2\) (ou d'autres choses plus compliquées si on le désire).
  2. Par exemple \(f(x)=1-x\) ou \(f(x)=1-x^2\)
  3. Par exemple: \[ f(x)= \begin{cases} 1-x& 0\leqslant x\lt \frac12\,,\\ x-\frac12&\frac12\leqslant x\leqslant 1\,. \end{cases} \]
  4. Pour ne pas être surjective, il doit exister au moins un \(y\in [0,1]\) qui ne possède pas de préimage. Par exemple: \(f(x)=\frac{x}{2}\).
  5. Pour que \(f\) ne soit pas injective, il faut qu'il existe au moins deux points distincts \(x,x'\in[0,1]\) tels que \(f(x)=f(x')\). Exemple: \(f(x)=(2x-1)^2\).
  6. Exemple: \(f(x)=0\) (pour tout \(x\in[0,1]\))


Exercice 2: Comment choisir \(B\subset \mathbb{R}\) pour que \(f:\mathbb{R}^*\to B\), définie par \[ f(x)=x+\frac1x \qquad x\neq 0\,, \] soit surjective?

On rend cette fonction surjective en ne gardant que les \(y\in\mathbb{R}\) qui possèdent au moins une préimage, c'est-à-dire en prenant \(B=\mathrm{Im} (f)\).

Donc calculons l'ensemble image. On fixe \(y\in \mathbb{R}\), et on considère l'équation \(y=f(x)\) (\(x\neq 0\)), qui est \[y=x+\frac1x \quad \Longleftrightarrow \quad x^2-yx+1=0 \] Cette équation possède une solution \(x\) si et seulement si le discriminant \(\Delta=y^2-4\geqslant 0\). Or cette condition est vérifiée lorsque \(y^2\geqslant 4\). On a donc: \[ \mathrm{Im} (f)=]-\infty,-2]\cup[2,+\infty[\,. \]


Exercice 3: (2023) Montrer par récurrence que pour tout \(n\geqslant 1\), \[ \sum_{k=1}^n \frac{2^k(k-1)}{(k+1)!}=2-\frac{2^{n+1}}{(n+1)!} \] Rappelons que \(k!=k\cdot(k-1)\cdots 3\cdot 2\cdot 1\).

Définissons, pour tout \(n\geqslant 1\), \[ a_n=\sum_{k=1}^n \frac{2^k(k-1)}{(k+1)!}\,, \qquad b_n=2-\frac{2^{n+1}}{(n+1)!} \] Si \(n=1\), on a \(a_1=\frac{2^1(1-1)}{2!}=0\), et \(b_1=1-\frac{2^2}{2!}=0\), donc \(a_1=b_1\).

Supposons maintenant que l'on ait \(a_n=b_n\) pour un certain \(n\). On peut alors calculer \[\begin{aligned} a_{n+1} &=\sum_{k=1}^{n+1} \frac{2^k(k-1)}{(k+1)!}\\ &=\left(\sum_{k=1}^{n} \frac{2^k(k-1)}{(k+1)!}\right) +\frac{2^{n+1}(n+1-1)}{((n+1)+1)!}\\ &=a_n +\frac{2^{n+1}n}{(n+2)!}\\ &=b_n +\frac{2^{n+1}n}{(n+2)!}\quad \text{(hypoth. récurrence)}\\ &=\left(2-\frac{2^{n+1}}{(n+1)!}\right) +\frac{2^{n+1}n}{(n+2)!}\\ &=2-\frac{2^{n+1}(n+2)}{(n+2)!} +\frac{2^{n+1}n}{(n+2)!}\\ &=2-\frac{2^{n+1}2}{(n+2)!}\\ &=2-\frac{2^{(n+1)+1}}{((n+1)+1)!}\\ &=b_{n+1} \end{aligned}\] Donc \(a_n=b_n\) pour tout \(n\geqslant 1\).


Exercice 4: Vrai ou faux? Si \(|x|\leqslant \varepsilon\) pour tout \(\varepsilon\gt 0\), alors \(x=0\).

C'est vrai (cette remarque a déjà été faite ici).

Le seul réel \(x\) qui appartient à tous les intervalles \([-\varepsilon,+\varepsilon]\), c'est \(x=0\).

En effet, si on prend n'importe quel \(x\neq 0\), alors \(|x|\gt 0\), et donc en prenant \(\varepsilon=\frac{|x|}{2}\) (qui est bien \(\gt 0\)), on a que \(|x|\gt \varepsilon\), et donc \(x\not\in[-\varepsilon,\varepsilon]\).

Quiz : (2017) Soit \(A\subset \mathbb{R}\) un ensemble borné et soit \(s=\sup A\). Alors pour tout \(\varepsilon \gt 0\), il existe un \(x\in A\) tel que \(x+\varepsilon \geqslant s\). Vrai ou faux?
  1. VRAI
  2. FAUX

Comme \(s\) est le plus petit majorant, on sait que tout nombre \(s'\lt s\) ne majore pas \(A\), c'est-à-dire qu'il existe \(x\in A\) avec \(x\gt s'\). Comme on peut toujours prendre \(s'\) de la forme \(s'=s-\varepsilon\), avec \(\varepsilon\gt 0\), cela entraîne bien qu'il existe un \(x\in A\) avec \(x\gt s-\varepsilon\), en particulier \(x+\varepsilon\geqslant s\).


Exercice 5: Considérer l'ensemble \[ A=\{x\in\mathbb{R}\,:\,3x+1\gt 0\} \] Montrer que pour tout \(x\in A\), il existe \(n\in\mathbb{N}^*\) tel que \(x-\frac1n\in A\).

Fixons \(x\in A\), c'est-à-dire que \(3x+1\gt 0\). Considérons \(x'\lt x\), de la forme \(x'=x-\frac1n\). Si on suppose que \(n\gt \frac{3}{3x+1}\), alors \[ 3x'+1 =3\left(x-\frac1n\right) \gt 3\left(x-\frac{1}{\frac{3}{3x+1}}\right)+1=0\,, \] et donc \(x'\in A\). Comme ceci peut se faire pour tout \(x\in A\), c'est que \(A\) n'a pas de minimum.


Exercice 6: Soit \(A=]-1,0[\cup ]1,2[\). Calculer \(\sup A\) (en justifiant).

Montrons que \(s=\sup A=2\).
En effet, \(x\leqslant 2\) pour tout \(x\in A\), donc \(2\) majore \(A\).
Ensuite, montrons que \(2\) est le plus petit majorant. Pour ce faire, fixons \(\varepsilon\gt 0\) et considérons \(s'=2-\varepsilon\).

On conclut que \(s'\) n'est pas un majorant.

Quiz : (2020) Soit \(A\subset \mathbb{R}\) un ensemble contenant une infinité de points. Si \(\inf A\in A\) et \(\sup A\in A\), alors \(A\) est un intervalle fermé.
  1. VRAI
  2. FAUX
Quiz : Si \(D=\{x\in [0,2\pi]\,:\,2\sin(x)\lt -1\}\), alors
  1. \(\inf D=0\)
  2. \(\inf D=\pi\)
  3. \(\inf D=\frac{7\pi}{6}\)
  4. \(\inf D=\frac{3\pi}{2}\)
  5. \(\inf D=-2\)
Quiz : (2018) Soit \(\displaystyle A=\left\{x\in\mathbb{R}_+^*\,:\,\cos\left(\frac{1}{x}\right)\gt 0\right\}\). Alors
  1. \(\sup A=0\)
  2. \(\sup A=\frac{\pi}{2}\)
  3. \(\inf A=0\)
  4. \(\inf A=\frac{2}{\pi}\)
Extras

Exercice 7: Calculer l'ensemble image de la fonction \[\begin{aligned} f:\mathbb{R}&\to \mathbb{R}\\ x&\mapsto 4x-x^2+3\,. \end{aligned}\]
Exercice 8: Soit \(f:[0,2]\to [0,2]\) définie par \[ f(x)= \begin{cases} x+1&\text{ si }0\leqslant x\leqslant 1\,,\\ 2-x&\text{ si }1\lt x\leqslant 2\,. \end{cases} \]
  1. Tracer le graphe de \(f\), puis expliquer graphiquement pourquoi cette fonction est bijective.
  2. Calculer la réciproque \(f^{-1}\), et esquisser son graphe.