« Approfondissement sur les suites numériques/Relations de comparaison » : différence entre les versions
Contenu supprimé Contenu ajouté
→Suites négligeables : Ajout des démonstrations (calque de la partie sur la domination). |
m meftypo + synthèse des exemples de référence pour o |
||
Ligne 16 :
== Suites dominées ==
Une suite sera dite dominée par une autre si son comportement en l'infini est
{{Définition
|contenu =
Soient <math>(u_n)</math> et <math>(v_n)</math> deux suites. On dit que <math>(u_n)</math> est dominée par <math>(v_n)</math>, ce que l'on note <math>u_n
}}
;Remarque :
# La notation utilisée ici est celle de Landau. Il existe une autre notation, la notation de Hardy, moins courante, où l'on note <math>u_n\
# On remarque que deux suites différentes <math>(u_n)</math> et <math>(v_n)</math> peuvent être dominées par la même suite <math>(w_n)</math>. Dans ce cas l'emploi du signe égalité dans la notation de Landau peut prêter à confusion car on écrit : <math>u_n=O(w_n)</math> et <math>v_n=O(w_n)</math> avec malgré tout <math>(u_n)\neq(v_n)</math>. Pour éviter cette confusion, on pourrait écrire <math>u_n\in O(w_n)</math> où <math>O(w_n)</math> désigne l'ensemble des suites dominées par <math>(w_n)</math>, mais nous nous conformerons à la pratique courante de la notation.
Ligne 42 :
|contenu=
Démontrons le premier point, les autres se démontrant de façon similaire.
:Soient <math> (u_n),(v_n),(w_n)</math> trois suites. Si <math>u_n=O(v_n)</math> alors <math>\exists N_0\in \N</math> et
:Alors <math>\forall n>\max(N_0,N_1),\ u_n=\alpha_n \beta_n v_n</math>, et la suite <math>(\alpha_n \beta_n)</math> est bornée.
:Ce qui montre que <math>u_n=O(v_n)</math>.
Ligne 62 :
}}
== Suites négligeables ==
Voyons maintenant la notion de suite négligeable devant une autre. Concrètement, ce phénomène se produit lorsqu'une suite est
{{Définition
|contenu=
Soient <math>(u_n)</math> et <math>(v_n)</math> deux suites. On dit que <math>(u_n)</math> est négligeable devant <math>(v_n)</math>, ou que <math>(v_n)</math> est prépondérante devant <math>(u_n)</math>, ce que l'on note <math>u_n
}}
La même remarque que pour la domination s'applique concernant la notation <math>u_n=o(v_n)</math>. Et l'on conserve une caractérisation plus simple à l'aide d'un quotient comme nous l'indique la proposition suivante :
{{Proposition
| contenu =
Ligne 89 :
:Ce qui montre que <math>u_n=o(v_n)</math>.
}}
Les applications de cette notion se manifestent également dans le comportement
{{Proposition
|titre =Proposition : Comportement en l'infini
Ligne 105 :
}}
{{Exemple
|titre = Exemples de
|contenu =
On a les résultats suivants, obtenus en formant le quotient des deux suites et en montrant qu'il tend vers <math>0</math> :
Ligne 111 :
#<math>\forall \alpha \in \R,\ a>1,\ n^\alpha=o(a^n)</math>.
#<math>\forall a\in \R,\ a^n=o(n!)</math>.
#<math>\forall \alpha
#<math>n!=o(n^n)</math>
}}
Avec la notation de Hardy <math>u_n\prec v_n</math> pour <math>u_n=o(v_n)</math>, on peut mémoriser l'essentiel de ces résultats sous la forme :
:<math>\forall \alpha>0\quad\forall a>1</math> :
<div style="text-align: center;"><math>\ln n\prec n^\alpha\prec a^n\prec n!\prec n^n</math>.
</div>
== Suites équivalentes ==
=== Premiers pas ===
Ligne 120 ⟶ 126 :
{{Définition
|contenu =
On dit que deux suites <math>(u_n)</math> et <math>(v_n)</math> sont équivalentes, ce que l'on note <math>u_n\,\underset{n\to\infty}\sim
}}
Ligne 174 ⟶ 180 :
| contenu =
Soient <math>(u_n),(v_n),(u'_n),(v'_n),(w_n)</math> des suites numériques, et <math>\lambda,\alpha\in \R</math>.
*Si <math>u_n\sim v_n</math> et <math>u'_n\sim v'_n</math> alors <math>u_nu'_n\sim v_nv'
*:En particulier, si <math>u_n\sim v_n</math> alors <math>\lambda u_n\sim\lambda v_n</math> et <math>u_nw_n\sim v_nw_n</math>.
*Si <math>u_n\sim v_n</math> et <math>v_n\ne0</math> pour <math>n</math> assez grand, alors <math>\frac1{u_n}\sim\frac1{v_n}</math>.
Ligne 239 ⟶ 245 :
{{Exemple
|contenu=
Soit <math>x\in\R</math>. Déterminons la limite de la suite définie pour tout <math>n\in \N</math> par <math>u_n=\left(1+\frac
On a : <math>\ln\left(\left(1+\frac
Finalement, par continuité de l'exponentielle, on obtient : <math>u_n\to\mathrm e^x</math>.
}}
== Théorème de comparaison avec une suite géométrique ==
| |||