Suite majorée, minorée, bornée

icône de pdf
Signaler
Apprends à reconnaître si une suite est bornée, majorée ou minorée, et découvre le théorème de convergence monotone. Tu verras comment certaines suites convergent en fonction de leur sens de variation et de leurs bornes. Mots-clés : suite bornée, suite majorée, suite minorée, convergence monotone, limite d'une suite, suite croissante.

I. Définitions

\circ\quad Une suite (un)(u_n) est majorée par un réel MM lorsque, pour tout entier naturel nn, unMu_n \leq M.
On dit que MM est un majorant de (un)(u_n).

\circ\quad Une suite (un)(u_n) est minorée par un réel mm lorsque, pour tout entier naturel nn, unmu_n \geq m.
On dit que mm est un minorant de (un)(u_n).

Une suite (un)(u_n) est bornée lorsqu’elle est à la fois majorée et minorée.

Attention : une suite majorée (respectivement minorée) admet une infinité de majorants (resp. minorants).

En effet si pour tout nn de N\mathbb N, un4u_n \le 4 alors un6,7u_n\le 6,7 ou un104u_n\le 10^4 ...

II. Pour aller plus loin : le théorème de convergence monotone

\circ\quad Toute suite croissante et majorée converge.

\circ\quad Toute suite décroissante et minorée converge.

Remarque : Ce théorème ne donne pas la valeur de la limite.

Théorème :

\circ\quad Toute suite croissante et non majorée diverge.

\circ\quad Toute suite décroissante et non minorée diverge.

III. Exemple

Soit la suite définie sur N\mathbb N^* par un=21nu_n=2-\dfrac 1n.

Etudier les variations de (un)(u_n). Peut-elle être convergente ?

Solution :

nN\forall n\in \mathbb N^* , un+1un=(21n+1)(21n)u_{n+1}-u_n=\left(2-\dfrac{1}{n+1}\right)-\left(2-\dfrac{1}{n}\right)

nN\forall n\in \mathbb N^* , un+1un=1n1n+1u_{n+1}-u_n=\dfrac 1 n-\dfrac{1}{n+1}

nN\forall n\in \mathbb N^* , un+1un=nn(n+1)=1n+1>0u_{n+1}-u_n=\dfrac{n}{n(n+1)}=\dfrac{1}{n+1}\gt 0 puisque nn est un entier naturel non nul.

La suite (un)(u_n) est donc croissante.

Or, nN\forall n\in \mathbb N^*, un<2u_n\lt 2.

D'après le théorème de convergence monotone, on peut affirmer que la suite (un)(u_n) est convergente.