Savoirs fondamentaux du programme de MPSI/Mathématiques/Fonctions usuelles

Généralités

Notions d'injection, de surjection et de bijection

• On dit que la fonction $f$ est injective si : $\forall (x,y)\in E^{2},f(x)=f(y)\Rightarrow x=y$
• On dit que la fonction $f$ est surjective si : $\forall y\in F,\exists x\in E,y=f(x)$
• On dit que la fonction $f$ est dite bijective si elle est à la fois injective et surjective, donc si : $\forall y\in F,\exists !x\in E,y=f(x)$

Bijection réciproque

• Si $\scriptstyle f:E\rightarrow F$ est bijective, on appelle bijection réciproque de $f$ l'application $f^{-1}:{\begin{array}{llll}_{F\rightarrow E}\\^{y\rightarrow x}\end{array}}$
  où $x$ est l'unique antécédent de $y$ par $f$.

Propriétés utiles sur les variations

Variations de fonctions

• On dit que $f$ est croissante si : $\forall (x,y)\in I^{2},x\leqslant y\Rightarrow f(x)\leqslant f(y)$
• On dit que $f$ est strictement croissante si : $\forall (x,y)\in I^{2},x<y\Rightarrow f(x)<f(y)$
• On dit que $f$ est décroissante si : $\forall (x,y)\in I^{2},x\leqslant y\Rightarrow f(x)\geqslant f(y)$
• On dit que $f$ est strictement décroissante si : $\forall (x,y)\in I^{2},x<y\Rightarrow f(x)>f(y)$

Cas de stricte monotonie

• Si $\scriptstyle f:I\rightarrow \mathbb {R}$ est strictement monotone, alors $f$ est injective.
• En particulier, si elle est continue, $\scriptstyle f:I\rightarrow f(I)$ est bijective.
• De plus, $\scriptstyle f^{-1}:f(I)\rightarrow I$ est strictement monotone de même sens que $f$.

Théorème

• Soit $\scriptstyle f:I\rightarrow \mathbb {R}$ une fonction continue strictement monotone. Alors :
  • $f(I)$ est un intervalle,
  • $f$ est une bijection de $I$ sur $f(I)$,
  • $f^{-1}$ est continue et strictement monotone de même sens que $f$.

Continuité

• Soit $\scriptstyle x_{0}\in I$ et $f$ une fonction. On dit que $f$ est continue en $x_{0}$ si $\lim _{x\to x_{0}}f(x)=f(x_{0})$
• De manière équivalente, $f$ est continue en $x_{0}$ si et seulement si, pour toute suite $(u_{n})_{n>0}$ qui converge, la suite $\scriptstyle (f(u_{n}))_{n\geqslant 0}$ converge vers $f(x_{0})$.