$$\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 : suites de nombres réels ou complexes

Vocabulaire sur les suites
  • Une suite $(u_n)$ est majorée lorsqu'il existe un réel $M\in\mathbb R$ tel que, pour tout $n\in\mathbb N$, $u_n\leq M$.
  • Une suite $(u_n)$ est minorée lorsqu'il existe un réel $m\in\mathbb R$ tel que, pour tout $n\in\mathbb N$, $u_n\geq m$.
  • Une suite $(u_n)$ est bornée lorsqu'elle est majorée et minorée, autrement dit, lorsqu'il existe un réel $M\in\mathbb R$ tel que, pour tout $n\in\mathbb N$, $|u_n|\leq M$.
  • Une suite $(u_n)$ est croissante si, pour tout $n\in\mathbb N$, $u_n\leq u_{n+1}$.
  • Une suite $(u_n)$ est décroissante si, pour tout $n\in\mathbb N$, $u_n\geq u_{n+1}$.
  • Une suite $(u_n)$ est monotone si elle est croissante ou décroissante.
  • Une suite $(u_n)$ est strictement croissante si, pour tout $n\in\mathbb N$, $u_n< u_{n+1}$.
  • Une suite $(u_n)$ est stationnaire s'il existe un entier $n_0\in\mathbb N$ tel que, pour tout $n\geq n_0$, $u_n=u_{n_0}$.
Limites de suite
  • On dit qu'une suite $(u_n)$ converge vers le réel $\ell$ (ou tend vers le réel $\ell$) si : $$\forall \veps>0,\ \exists n_0\in\mathbb N\ \forall n\geq n_0,\ |u_n-\ell|\leq\veps.$$ Si $(u_n)$ converge vers $\ell\in\mathbb R$, ce réel est unique et s'appelle la limite de $(u_n)$. On note alors $$\lim_{n\to+\infty}u_n=\ell.$$
  • Une suite qui ne converge pas s'appelle suite divergente.
  • Proposition : toute suite convergente est bornée.
  • On dit qu'une suite $(u_n)$ diverge vers $+\infty$ lorsque : $$\forall M\in\mathbb R,\ \exists n_0\in\mathbb N\ \forall n\geq n_0,\ u_n\geq M.$$ On note $\lim_{n\to+\infty}u_n=+\infty$.
  • On dit qu'une suite $(u_n)$ diverge vers $-\infty$ lorsque : $$\forall m\in\mathbb R,\ \exists n_0\in\mathbb N\ \forall n\geq n_0,\ u_n\leq m.$$ On note $\lim_{n\to+\infty}u_n=-\infty$.
  • Théorème d'encadrement : Si $(u_n),\ (v_n)$ et $(w_n)$ sont trois suites telles que, à partir d'un certain rang, $$u_n\leq v_n\leq w_n$$ et $(u_n),\ (w_n)$ convergent vers la même limite $\ell$, alors $(v_n)$ est convergente de limite $\ell$.
  • Théorème de divergence par minoration : Si $(u_n),\ (v_n)$ sont deux suites telles que, à partir d'un certain rang, $$u_n\leq v_n$$ et $(u_n)$ diverge vers $+\infty$, alors $(v_n)$ diverge vers $+\infty$.
Opérations sur les limites
  • Multiplication par une constante :
    $\lim_{n\to+\infty} u_n$ $\ell$ $+\infty$ $-\infty$
    $\lim_{n\to+\infty} \lambda u_n,\ \lambda>0$ $\lambda \ell$ $+\infty$ $-\infty$
    $\lim_{n\to+\infty} \lambda u_n,\ \lambda<0$ $\lambda \ell$ $-\infty$ $+\infty$
  • Somme :
    $\lim_{n\to+\infty} u_n$ $\ell_1$ $\ell_1$ $\ell_1$ $+\infty$ $-\infty$ $+\infty$
    $\lim_{n\to+\infty} v_n$ $\ell_2$ $+\infty$ $-\infty$ $+\infty$ $-\infty$ $-\infty$
    $\lim_{n\to+\infty} u_n+ v_n$ $\ell_1+\ell_2$ $+\infty$ $-\infty$ $+\infty$ $-\infty$ F.I.
  • Produit :
    Proposition : Si $(u_n)$ est une suite bornée et si $(v_n)$ est une suite tendant vers 0, alors le produit $(u_n\times v_n)$ est une suite tendant vers 0.
    $\lim_{n\to+\infty} u_n$ $\ell_1$ $\ell_1>0$ $\ell_1<0$ $+\infty$ $-\infty$ $0$
    $\lim_{n\to+\infty} v_n$ $\ell_2$ $+\infty$ $+\infty$ $+\infty$ $-\infty$ $+\infty$
    $\lim_{n\to+\infty} u_n\times v_n$ $\ell_1\times \ell_2$ $+\infty$ $-\infty$ $+\infty$ $+\infty$ F.I.
  • Quotient :
    $\lim_{n\to+\infty} u_n$ $\ell_1$ $\ell_1>0$ $\ell_1<0$ $+\infty$ $+\infty$ $0$ $\infty$
    $\lim_{n\to+\infty} v_n$ $\ell_2\neq 0$ $0^+$ $0^+$ $l>0$ $0^+$ $0$ $\infty$
    $\lim_{n\to+\infty} \frac{u_n}{v_n}$ $\frac{\ell_1}{\ell_2}$ $+\infty$ $-\infty$ $+\infty$ $+\infty$ F.I. F.I.
  • Composition :
    Proposition : Si $\lim_{n\to +\infty}u_n=a$ et si $\lim_{x\to a}f(x)=b$, alors $(f(u_n))$ tend vers $b$.
Limites et ordre
  • Proposition (conservation des inégalités par passage à la limite) : Si $(u_n),\ (v_n)$ sont deux suites convergeant respectivement vers $\ell_1$ et $\ell_2$ et si, à partir d'un certain rang, $u_n\leq v_n,$ alors $\ell_1\leq \ell_2$.
  • Proposition : Si $(u_n)$ est une suite convergeant vers $\ell>0$, alors à partir d'un certain rang, $u_n>0$.
  • Théorème (comportement des suites monotones) : Une suite croissante converge si et seulement si elle est majorée. Si elle n'est pas majorée, alors elle tend vers $+\infty$.
  • Deux suites de nombres réels $(u_n)$ et $(v_n)$ sont dites adjacentes si $(u_n)$ est croissante, $(v_n)$ est décroissante et $(v_n-u_n)$ tend vers 0.
  • Théorème (convergence des suites adjacentes) : Deux suites adjacentes convergent vers la même limite.
Suites extraites
  • Si $(u_n)$ est une suite, on appelle suite extraite de $(u_n)$ (ou sous-suite de $(u_n)$) toute suite de la forme $(u_{\phi(n)})$, où $\phi:\mathbb N\to\mathbb N$ est strictement croissante.
  • Proposition : Si $(u_n)$ est une suite convergeant vers $\ell$, alors toute suite extraite de $(u_n)$ converge également vers $\ell$.
  • Réciproquement, si $(u_{2n})$ et $(u_{2n+1})$ convergent vers la même limite $\ell$, alors $(u_n)$ converge vers $\ell$.
  • Théorème de Bolzano-Weierstrass : De toute suite de réels ou de complexes bornée on peut extraire une sous-suite convergente.
Suites arithmético-géométriques
  Une suite $(u_n)$ est une suite arithmético-géométrique s'il existe deux nombres $a$ et $b$ tels que $u_{n+1}=a u_n+b$ pour tout entier $n$. En général, on demande $a\neq 1$ et $b\neq 0$ pour ne pas avoir une suite arithmétique ou une suite géométrique.

  On cherche alors $\ell$ la solution de l'équation $$\ell=a\ell+b,$$ puis on étudie la suite $(v_n)$ définie par $$v_n=u_n-\ell.$$ On prouve facilement que la suite $(v_n)$ est une suite géométrique de raison $a$. On étudie alors $(v_n)$ pour obtenir le comportement de $(u_n)$.
Suites récurrentes linéaires d'ordre 2
  Une suite $(u_n)$ est une suite récurrente linéaire d'ordre 2 s'il existe deux nombres $a$ et $b$ tels que, pour tout entier $n$, on a $$u_{n+2}=au_{n+1}+bu_n.$$ On étudie ces suites en introduisant l'équation caractéristique $$r^2=ar+b$$ et on étudie les suites vérifiant une telle relation de récurrence en fonction des racines de cette équation caractéristique.
  • Premier cas : l'équation caractéristique admet deux racines réelles distinctes, $r_1$ et $r_2$. Il existe alors deux réels $\lambda$ et $\mu$ tels que, pour tout entier $n$, on a $$u_n=\lambda r_1^n+\mu r_2^n.$$ Les réels $\lambda$ et $\mu$ peuvent être déterminés à partir de la valeur de $u_0$ et $u_1$.
  • Deuxième cas : l'équation caractéristique admet une racine double $r$. Il existe alors deux réels $\lambda$ et $\mu$ tels que, pour tout entier $n$, on a $$u_n=\lambda r^n+\mu nr^n.$$
  • Troisième cas : l'équation caractéristique admet deux racines complexes conjuguées, de la forme $re^{i\alpha}$ et $re^{-i\alpha}$. Il existe alors deux réels $\lambda$ et $\mu$ tels que, pour tout entier $n$, on a $$u_n=\lambda r^n\cos(n\alpha)+\mu r^n \sin(n\alpha).$$
Suites récurrentes
  • Si $f:I\to I$ est une fonction définie sur $I$, on appelle suite récurrente associée à $f$ toute suite définie par $u_0\in I$ et par la relation de récurrence $u_{n+1}=f(u_n)$.
  • Avec les notations précédentes, si $(u_n)$ converge vers $\ell$ et si $f$ est continue en $\ell$, alors $f(\ell)=\ell$.
Densité
  • Soit $A$ une partie de $\mathbb R$. On dit que $A$ est dense dans $\mathbb R$ si tout intervalle ouvert non vide rencontre $A$.
  • Théorème : $A$ est dense dans $\mathbb R$ si et seulement si, pour tout $x\in\mathbb R$, il existe une suite $(a_n)$ d'éléments de $A$ qui converge vers $x$.