Outils pour utilisateurs

Outils du site


math:2:demo:cv_borne

Preuve : convergente implique bornée

Notons $\ell$ la limite de la suite $u$. Pour $\varepsilon=1$, la définition de la limite donne :

$$\exists n_0\in\N\;/\;\forall n\geqslant n_0,\;\ell-1\leqslant u_n \leqslant \ell+1$$

Posons alors :

$$m=\min\left\{u_0,u_1,\dots,u_{n_0-1},\ell-1\right\}\qquad\text{et}\qquad M=\max\left\{u_0,u_1,\dots,u_{n_0-1},\ell+1\right\}$$

On obtient immédiatement que :

$$\forall n\in\N,\;m\leqslant u_n \leqslant M$$

ce qui conclut l'affaire.

math/2/demo/cv_borne.txt · Dernière modification : 2023/08/16 15:56 de Alain Guichet