$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Résumé de cours : limites et continuité

Limites de fonctions
  • Soit $f:I\to\mathbb R$ une fonction, $a$ un point de $I$ ou une extrémité de $I$, et $\ell\in\mathbb R$. On dit que $f$ tend vers $\ell$ en $a$ si $$\forall\veps>0,\ \exists\eta>0,\ \forall x\in I,\ |x-a|<\eta\implies |f(x)-\ell|<\veps.$$
  • Soit $f:I\to\mathbb R$ une fonction, $a$ une extrémité de $I$. On dit que $f$ tend vers $+\infty$ en $a$ si $$\forall A>0,\ \exists\eta>0,\ \forall x\in I,\ |x-a|<\eta\implies f(x)>A.$$
  • Soit $f:[a,+\infty[\to\mathbb R$ et $\ell\in\mathbb R$. On dit que $f$ tend vers $\ell$ en $+\infty$ si $$\forall\veps>0,\ \exists A>0,\ \forall x\in [a,+\infty[,\ x\geq A\implies |f(x)-\ell|<\veps.$$
  • Proposition : Si $f$ est définie en $a$ et admet une limite en $a$, alors $f(a)=\lim_{x\to a}f(x).$
  • Soit $f:I\to\mathbb R$ et $a\in I$. On dit que $f$ admet $\ell\in\mathbb R$ comme limite à droite en $a$ si $$\forall\veps>0,\ \exists\eta>0,\ \forall x\in I,\ a\leq x<a+\eta\implies |f(x)-\ell|<\veps.$$
  • Soit $f:I\to\mathbb R$ et $a\in I$. On dit que $f$ admet $\ell\in\mathbb R$ comme limite à gauche en $a$ si $$\forall\veps>0,\ \exists\eta>0,\ \forall x\in I,\ a-\eta<x\leq a\implies |f(x)-\ell|<\veps.$$
  • Proposition : Soit $f:I\to\mathbb R$ et $a$ un point à l'intérieur de $I$. Alors $f$ admet une limite en $a$ si et seulement si $f$ admet une limite à droite et une limite à gauche en $a$.
  • Théorème (caractérisation séquentielle de la limite) : $f$ admet pour limite $\ell$ en $a$ si et seulement si, pour toute suite $(x_n)$ qui converge vers $a$, alors $(f(x_n))$ converge vers $\ell$.
  • Toutes les opérations usuelles sur les limites (somme, produit, quotients), valables pour les suites, se transposent avec une preuve identique pour les fonctions.
  • Proposition (composition des limites) : Si $f:I\to J$ et $g:J\to\mathbb R$ sont telles que $\lim_{x\to a}f(x)=b$ et $\lim_{y\to b}g(y)=\ell$, alors $\lim_{x\to a}g\circ f(x)=\ell$.
  • Théorème (encadrement) : Si $f,u,v:I\to\mathbb R$ sont trois fonctions telles que, pour tout $x\in I$, $u(x)\leq f(x)\leq v(x)$, si $\lim_{x\to a}u(x)=\lim_{x\to a}v(x)=\ell$, alors $\lim_{x\to a}f(x)=\ell$.
  • Proposition (passage à la limite dans une inégalité) : Soient $f,g:I\to\mathbb R$ deux fonctions admettant des limites finies en $a$. Si pour tout $x\in I$, $f(x)\leq g(x)$, alors $\lim_{x\to a}f(x)\leq \lim_{x\to a}g(x)$.
  • Théorème (limite monotone) : Soit $f:[a,b[\to\mathbb R$ une fonction croissante et majorée. Alors $f$ admet une limite (à gauche) en $b$.
Continuité
Soit $f:I\to\mathbb R$ une fonction et $a\in I$.
  • On dit que $f$ est continue en $a$ si $f$ admet pour limite $f(a)$ en $a$ : $$\forall\veps>0,\ \exists\eta>0,\ \forall x\in I,\ |x-a|<\eta\implies |f(x)-f(a)|<\veps.$$
  • Théorème (caractérisation séquentielle de la limite) : $f$ admet pour limite $\ell$ en $a$ si et seulement si, pour toute suite $(x_n)$ qui converge vers $a$, alors $(f(x_n))$ converge vers $f(a)$.
  • On parle de continuité à droite ou de continuité à gauche lorsqu'on utilise les notions de limite à droite et de limite à gauche.
  • On dit que $f$ est continue sur $I$ si $f$ est continue en tout point de $I$.
  • Toute combinaison linéaire, tout produit, toute composée, tout quotient dont le dénominateur ne s'annule pas de fonctions continues est une fonction continue.
Grands théorèmes sur la continuité
  • Théorème des valeurs intermédiaires : Soit $f:[a,b]\to\mathbb R$ une fonction continue. Soit $\gamma\in \mathbb R$ tel que $\gamma$ est compris entre $f(a)$ et $f(b)$. Alors il existe $c\in [a,b]$ tel que $f(c)=\gamma$.
  • En particulier, l'image d'un intervalle par une fonction continue est un intervalle.
  • Théorème (image d'un segment) : Si $f:[a,b]\to\mathbb R$ est continue, alors $f$ est bornée et atteint ses bornes.
  • En particulier, l'image d'un segment par une application continue est un segment.
Continuité, monotonie et injectivité
  • Théorème : Soit $I$ un intervalle et $f:I\to\mathbb R$ continue. Alors $f$ est injective si et seulement si $f$ est strictement monotone.
  • Théorème : Soit $I$ un intervalle et $f:I\to J$ une bijection continue. Alors la fonction réciproque $f^{-1}$ est continue.