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 29

Démonstration

1. Soit (un)(u_{n}) une suite telle que, pour tout entier k⩾2k \geqslant 2, la suite extraite (ukn)n∈ℕ(u_{kn})_{n \in \mathbb{N}} converge vers un réel ℓk\ell_{k}. En considérant (ukk′n)(u_{kk'n}), montrer que tous les ℓk\ell_{k} sont égaux.

2. On définit un=1u_{n} = 1 si nn est un nombre premier, et un=0u_{n} = 0 sinon. Montrer que, pour tout k⩾2k \geqslant 2, la suite (ukn)(u_{kn}) converge, mais que (un)(u_{n}) diverge. On utilisera l'existence d'une infinité de nombres premiers (chapitre 1).

3. Conclure : la convergence de toutes les suites (ukn)(u_{kn}), pour k⩾2k \geqslant 2, entraîne-t-elle celle de (un)(u_{n}) ?

Corrigé

1. Pour kk, k′⩾2k' \geqslant 2, la suite (ukk′n)n(u_{kk'n})_{n} est extraite de (ukn)n(u_{kn})_{n}, avec l'extractrice n↦k′nn \mapsto k'n, et de (uk′n)n(u_{k'n})_{n}. Elle tend donc vers ℓk\ell_{k} et vers ℓk′\ell_{k'}. ℓk=ℓk′\boxed{\ell_{k} = \ell_{k'}}

2. Pour k⩾2k \geqslant 2 et n⩾2n \geqslant 2, l'entier knkn n'est pas premier, donc ukn=0u_{kn} = 0 : ukn→n→+∞0\boxed{u_{kn} \xrightarrow[n \to +\infty]{} 0}. En revanche, si p0<p1<⋯p_{0} < p_{1} < \cdots désigne la suite des nombres premiers, infinie d'après le chapitre 1, la suite extraite (upm)(u_{p_{m}}) est constante égale à 11, alors que (u2n)(u_{2n}) tend vers 00. (un) diverge\boxed{(u_{n}) \text{ diverge}}

3. Non\boxed{\text{Non}} : une infinité de suites extraites convergentes, de même limite, ne suffit pas, dès qu'elles laissent échapper une suite d'indices, ici les nombres premiers. La proposition 11 (ii) du cours fonctionne parce que les indices pairs et impairs recouvrent tout ℕ\mathbb{N}.

Ouvrir dans l'atlas interactif →