Théorème des suites adjacentes

Théorème des suites adjacentes

En mathématiques, le théorème des suites adjacentes concerne les suites réelles et précise que deux suites adjacentes convergent vers la même limite.

Définition

Deux suites réelles (an) et (bn) sont dites adjacentes si l'une des suites est croissante (au sens large), l'autre suite décroissante au sens large et si la différence des deux tend vers 0.

On supposera par la suite que (an) est croissante et (bn) est décroissante.

On trouve souvent la condition supplémentaire : pour tout entier n, a_n \leqslant b_n.

Cette condition permet de mieux visualiser ce que représentent deux suites adjacentes, elle n'est cependant qu'une conséquence des deux autres conditions. En effet, si (an) est croissante et (bn) décroissante alors (bnan) est décroissante. Si la suite (bnan) est décroissante et converge vers 0 alors (bnan) est une suite à termes positifs. Donc, pour tout n, b_n - a_n \geqslant 0 donc b_n \geqslant a_n.

On peut même observer que pour tous entiers p, q (non nécessairement égaux), a_p \leqslant b_q.

En effet, si p\leqslant q alors a_p\leqslant a_q\leqslant b_q, et si p\geqslant q alors a_p\leqslant b_p\leqslant b_q.

Énoncé

Théorème des suites adjacentes — Soient (an) et (bn) deux suites adjacentes (où (an) est croissante et (bn) est décroissante). Alors ces deux suites sont convergentes, et ont la même limite \ell\in \R. De plus, pour tout entier naturel n, a_n \leqslant \ell \leqslant b_n.

Ce théorème est une conséquence de la propriété de la borne supérieure : tout ensemble de réels non vide et majoré possède une borne supérieure. Ce théorème n'est donc pas valable si on travaille dans l'ensemble des rationnels et que l'on cherche une limite rationnelle.

On démontre même que cette propriété est équivalente à celle de la borne supérieure (voir l'article Construction des nombres réels). Elle offre l'avantage, par rapport à la propriété des suites croissantes majorées, de faire plus que prouver la convergence d'une suite. Elle en donne un encadrement aussi fin qu'on le souhaite.

Utilisation

On rencontre le théorème des suites adjacentes dans tous les problèmes utilisant la méthode de la dichotomie, dans le développement décimal d'un réel, dans l'écriture en fraction continue ainsi que dans de nombreux problèmes de quadrature (quadrature du cercle, de la parabole).

On retrouve une variante des suites adjacentes dans le critère de Leibniz sur les séries alternées : si (un) est une suite à termes positifs décroissante et convergeant vers 0, la série S_n= \sum_0^n (-1)^ku_k converge.

En effet, les suites (an) et (bn) définies par bn = S2n et an = S2n + 1 sont des suites adjacentes qui convergent donc vers la même limite \ell.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème des suites adjacentes de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Theoreme des suites adjacentes — Théorème des suites adjacentes En mathématiques, le théorème des suites adjacentes concerne les suites réelles et précise que deux suites adjacentes convergent vers la même limite. Définition Deux suites réelles (an) et (bn) sont dites adjacentes …   Wikipédia en Français

  • Suites adjacentes — Théorème des suites adjacentes En mathématiques, le théorème des suites adjacentes concerne les suites réelles et précise que deux suites adjacentes convergent vers la même limite. Définition Deux suites réelles (an) et (bn) sont dites adjacentes …   Wikipédia en Français

  • Théorème des séries alternées — Critère de convergence des séries alternées En analyse, il existe un critère de convergence spécifique aux séries alternées de réels, c est à dire aux séries dont les termes généraux prennent alternativement les signes positif et négatif. Ce… …   Wikipédia en Français

  • Theoreme des valeurs intermediaires — Théorème des valeurs intermédiaires Pour les articles homonymes, voir TVI. Le théorème des valeurs intermédiaires (TVI) est un théorème important en analyse et concerne des fonctions continues sur un intervalle. Il indique que si une fonction… …   Wikipédia en Français

  • Théorème des valeurs intermédiaires — Pour les articles homonymes, voir TVI. Le théorème des valeurs intermédiaires (TVI) est un théorème important en analyse et concerne des fonctions continues sur un intervalle. Il indique que si une fonction continue sur un intervalle prend deux… …   Wikipédia en Français

  • Théorème des fermés emboités — En mathématiques, plus précisément en topologie, le théorème des fermés emboîtés affirme que si un espace métrique (E,d) est complet alors, pour toute suite décroissante de fermés non vides Fn de E dont le diamètre tend vers zéro, l intersection… …   Wikipédia en Français

  • Corps des réels — Nombre réel Les nombres réels (dont l ensemble est noté ℝ) peuvent très informellement être conçus en mathématiques comme tous les nombres associés à des longueurs ou des grandeurs physiques. Ce sont les nombres, qu ils soient positifs, négatifs… …   Wikipédia en Français

  • Construction des nombres réels — En mathématiques, il existe différentes constructions des nombres réels, dont les deux plus connues sont les coupures de Dedekind, les suites de Cauchy. Sommaire 1 Construction intuitive à partir des nombres décimaux 2 Construction par les… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”