« Approfondissement sur les suites numériques/Suites extraites » : différence entre les versions
Contenu supprimé Contenu ajouté
m màj n° |
inclure dans la preuve le cas d'une limite infinie |
||
Ligne 8 :
}}
Dans cette leçon, nous allons étudier la notion de suite extraite qui correspond à l'idée intuitive de ne prendre que certains termes au sein d'une suite. L'exemple le plus marquant, pour illustrer cette idée, est de prendre tous les termes de rang pair (ou impair) d'une suite. Cette notion nous permet d'obtenir des informations sur la limite d'une suite, et nous permet d'énoncer l'un des premiers théorèmes fondamentaux de topologie : le théorème de Bolzano-Weierstrass.
== Définitions et premières propriétés ==
Ligne 25 ⟶ 21 :
#On montre par une récurrence directe que pour toute extractrice <math>\phi</math>, on a : <math>\phi(n) \geq n</math>. Ce qui prouve que <math>\phi(n)\to \infty</math>.
#Si <math>\phi,\ \psi</math> sont deux extractrices, alors <math>\phi\circ\phi</math> est également une extractrice.
#L'exemple
=== Limites de suites extraites ===
Ligne 35 ⟶ 31 :
{{Démonstration déroulante
|contenu =
Ce qui implique <math>|u_{\phi(n)}-\ell|<0</math> et donc <math>u_{\phi(n)}\to \ell</math>.▼
Par stricte croissance de <math>\phi</math>, et par la première remarque ci-dessus, on a : <math>\forall n\ge N\quad\phi(n)\ge\phi(N)\ge N</math>,
On démontre de même, pour tout <math>B>\ell</math> :
:<math>\exists N_1\in\N\quad\forall n\ge N_1\quad B>u_{\phi(n)}</math>
et donc <math>u_{\phi(n)}\to\ell</math>.
}}
On affine le résultat à l'aide du corollaire suivant qui va nous permettre,
{{Corollaire|contenu=
Soit <math>(u_n)</math> une suite.<br />
|