ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Suites extraites et théorème de Bolzano-Weierstrass

Exercice 27

Démonstration

Soit (un)(u_{n}) une suite croissante.

1. On suppose que (un)(u_{n}) admet une suite extraite majorée. Montrer que (un)(u_{n}) converge.

2. On suppose que (un)(u_{n}) admet une suite extraite convergente, de limite ℓ\ell. Montrer que un→n→+∞ℓu_{n} \xrightarrow[n \to +\infty]{} \ell.

3. Une suite croissante dont aucune suite extraite ne converge tend-elle vers +∞+\infty ?

Corrigé

1. Soit (uφ(n))(u_{\varphi(n)}) majorée par MM. Pour tout nn, on a φ(n)⩾n\varphi(n) \geqslant n, donc un⩽uφ(n)⩽Mu_{n} \leqslant u_{\varphi(n)} \leqslant M par croissance : (un)(u_{n}) est majorée, et elle converge (théorème 8). (un) converge\boxed{(u_{n}) \text{ converge}}

2. Une suite convergente est bornée : la question 1 montre que (un)(u_{n}) converge vers un réel ℓ′\ell', et la suite extraite converge vers ℓ′\ell' et vers ℓ\ell, d'où ℓ′=ℓ\ell' = \ell. un→n→+∞ℓ\boxed{u_{n} \xrightarrow[n \to +\infty]{} \ell}

3. Oui : si (un)(u_{n}) était majorée, elle convergerait et toutes ses suites extraites aussi ; elle n'est donc pas majorée, et le théorème 8 donne un→n→+∞+∞\boxed{u_{n} \xrightarrow[n \to +\infty]{} +\infty}.

Pour une suite monotone, une seule suite extraite suffit donc à connaître le comportement de toute la suite.

Ouvrir dans l'atlas interactif →