ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Exercices de synthèse

Exercice 45

Vrai ou fauxDémonstration

Vrai ou faux ? Justifier chaque réponse par une démonstration ou un contre-exemple.

1. Toute partie non vide et majorée de ℚ\mathbb{Q} admet une borne supérieure dans ℚ\mathbb{Q}.

2. Si une partie non vide et majorée AA de ℝ\mathbb{R} ne contient pas sa borne supérieure, alors AA est infinie.

3. Toute suite bornée est convergente.

4. Toute suite convergente est monotone à partir d'un certain rang.

5. Si un>0u_{n} > 0 pour tout nn et si un→n→+∞ℓu_{n} \xrightarrow[n \to +\infty]{} \ell, alors ℓ>0\ell > 0.

6. Si un+1−un→n→+∞0u_{n+1} - u_{n} \xrightarrow[n \to +\infty]{} 0, alors (un)(u_{n}) converge.

7. Si (un2)(u_{n}^{2}) converge, alors (un)(u_{n}) converge.

8. Une suite croissante qui n'est pas majorée tend vers +∞+\infty.

9. Si un→n→+∞ℓu_{n} \xrightarrow[n \to +\infty]{} \ell et vn→n→+∞ℓv_{n} \xrightarrow[n \to +\infty]{} \ell, avec un<vnu_{n} < v_{n} pour tout nn, alors toute suite (wn)(w_{n}) telle que un⩽wn⩽vnu_{n} \leqslant w_{n} \leqslant v_{n} converge vers ℓ\ell.

10. Toute suite réelle admet une suite extraite qui a une limite dans ℝ‾\overline{\mathbb{R}}.

Corrigé

1. Fausse. La partie {r∈ℚ∣r>0, r2<2}\{r \in \mathbb{Q} \mid r > 0,\ r^{2} < 2\} est majorée par 22, mais n'a pas de borne supérieure rationnelle (exercice 7).

2. Vraie. Une partie finie non vide de ℝ\mathbb{R} a un plus grand élément, qui est sa borne supérieure et lui appartient : par contraposée, si sup⁡A∉A\sup A \notin A, alors AA est infinie.

3. Fausse. La suite ((−1)n)\big((-1)^{n}\big) est bornée et diverge.

4. Fausse. La suite (−1)nn+1\frac{(-1)^{n}}{n + 1} tend vers 00 sans être monotone à partir d'aucun rang.

5. Fausse. La suite 1n+1\frac{1}{n + 1} est strictement positive, de limite nulle : l'inégalité stricte devient large.

6. Fausse. La suite (n)(\sqrt{n}) vérifie n+1−n→n→+∞0\sqrt{n + 1} - \sqrt{n} \xrightarrow[n \to +\infty]{} 0 et tend vers +∞+\infty ; de même (Hn)(H_{n}), exercice 51.

7. Fausse. Avec un=(−1)nu_{n} = (-1)^{n}, la suite (un2)(u_{n}^{2}) est constante.

8. Vraie. C'est le théorème 8 du cours.

9. Vraie. C'est le théorème d'encadrement ; le caractère strict de un<vnu_{n} < v_{n} ne joue aucun rôle.

10. Vraie. Si la suite est bornée, le théorème de Bolzano-Weierstrass fournit une suite extraite convergente ; si elle n'est pas majorée, l'exercice 31 fournit une suite extraite qui tend vers +∞+\infty, et de même vers −∞-\infty si elle n'est pas minorée.

Ouvrir dans l'atlas interactif →