Exercice 03-08
Soit (an)(a_n) une suite réelle. Vrai ou faux?
  1. Si (an)(a_n) est croissante, alors (an2)(a_n^2) est croissante.
  2. Si (an)(a_n) est bornée, alors (an)(a_n) converge.
  3. Si limnan=0\displaystyle\lim_{n\to\infty}a_n=0, alors anε|a_n|\leqslant \varepsilon pour tout ε>0\varepsilon\gt 0.
  4. limnan=0\displaystyle\lim_{n\to\infty}a_n=0 si et seulement si limnan=0\displaystyle\lim_{n\to\infty}|a_n|=0.
  5. Si limnan=0\displaystyle\lim_{n\to\infty} a_n=0, alors limn(ansin(n))=0\displaystyle\lim_{n \to\infty}\big(a_n\sin(n)\big)=0.
  6. Si (an)(a_n) converge, il existe ε>0\varepsilon \gt 0 tel que anε|a_n|\leqslant \varepsilon pour tout nNn\in\mathbb{N}.
  7. Si limnan=a\displaystyle\lim_{n\rightarrow \infty}a_n=a, alors il existe δ>0\delta\gt 0 tel que anaδ|a_n-a|\leqslant \delta pour tout nNn\in\mathbb{N}.
  8. Si limnan=M>0\displaystyle\lim_{n\to\infty}|a_n|=M\gt 0, alors limnan=+M\displaystyle\lim_{n\to\infty}a_n=+M ou limnan=M\lim_{n\to\infty}a_n=-M.
  9. Si anbna_n\leqslant b_n pour tout nn, et si limnbn=L\displaystyle\lim_{n\to\infty}b_n=L, alors anLa_n\leqslant L pour tout nn.
  10. Si ana_n est décroissante et bn0b_n\to 0, alors anbna_nb_n est décroissante.
Rappelons que si l'affirmation est VRAIE, on doit pouvoir la démontrer à l'aide de ce qui a été vu au cours. Si elle est FAUSSE, on doit pouvoir exhiber un contre-exemple.
  1. FAUX. Par exemple, an=1na_n=-\frac1n est croissante, mais an2=1n2a_n^2=\frac{1}{n^2} est décroissante. On a par contre le résultat suivant: si (an)(a_n) est croissante et si tous ses termes sont an0a_n\geqslant 0, alors (an2)(a_n^2) est aussi croissante. (Pouvez-vous le prouver?)
  2. FAUX. Prendre par exemple an=(1)na_n=(-1)^n pour tout n0n \geqslant 0, qui est bornée mais divergente.
  3. FAUX. Le sens précis de ''limnan=0\lim_{n\to\infty}a_n=0'' est que pour tout ε>0\varepsilon\gt 0, on a anε|a_n|\leqslant \varepsilon pour tous les nn suffisamment grands, dans le sens suivant: il existe un entier NN (qui dépend de ε\varepsilon) tel que anε|a_n|\leqslant \varepsilon pour tous les nNn\geqslant N. (Par contre, on ne sait pas si anε|a_n|\leqslant \varepsilon pour les n<Nn\lt N!) (Rappelons aussi que si anε|a_n|\leqslant \varepsilon pour tout ε>0\varepsilon\gt 0, alors an=0a_n=0.)
  4. VRAI. En effet, si limnan=0\lim_{n\to\infty}a_n=0 alors pour tout ε>0\varepsilon\gt 0 il existe NN tel que an0=anε|a_n-0|=|a_n|\leqslant \varepsilon pour tout nNn\geqslant N. Ceci est équivalent à dire que la suite (an)n(|a_n|)_n tend vers zéro. Inversément, si (an)n(|a_n|)_n tend vers zéro, comme on peut toujours écrire que ananan, -|a_n|\leqslant a_n\leqslant |a_n|\,, le Théorème des deux gendarmes implique que (an)n(a_n)_n tend aussi vers zéro.
  5. VRAI. Comme sin(n)1|\sin(n)| \leqslant 1 pour tout nNn\in \mathbb{N}, on sait que le produit d'une suite qui tend vers zéro par une suite bornée tend vers zéro, donc limn(ansin(n))=0\lim_{n \to\infty}(a_n \sin(n))=0.
  6. VRAI. Comme (an)(a_n) converge, elle est bornée, donc il existe MM tel que anM|a_n|\leqslant M pour tout nn. On peut donc prendre ε=M\varepsilon=M.
  7. VRAI. Si limnan=a\lim_{n\to\infty}a_n=a, alors limn(ana)=0\lim_{n\to\infty}(a_n-a)=0. Ainsi la suite bn=anab_n=a_n-a est bornée.
  8. FAUX. En effet, si limnan\lim_{n\to\infty}|a_n| existe et vaut M>0M\gt 0, cela n'implique même pas l'existence de limnan\lim_{n\to\infty}a_n. Par exemple, avec an=(1)na_n=(-1)^n, on a que limnan=1\lim_{n\to\infty}|a_n|=1, alors que ana_n n'a pas de limite.
  9. FAUX. Comme contre-exemple, prenons an=1n2a_n=\frac{1}{n^2}, bn=1nb_n=\frac1n. On a bien anbna_n\leqslant b_n pour tout n1n\geqslant 1, mais bn0b_n\to 0, alors que an>0a_n\gt 0 pour tout n1n\geqslant 1.
  10. FAUX. Contre-exemple: an=na_n=-n (décroissante), bn=1nb_n=-\frac{1}{\sqrt{n}} (tend vers zéro), mais anbn=na_nb_n=\sqrt{n}, qui est croissante. On peut également construire des contre-exemples pour lesquels anbna_nb_n n'est pas monotone.