Suites numeriques sur R ------------------------- Suites recurrentes non-lineaires d'ordre 1 u_0 donne', u_{n+1} = f(u_n) pour n>=1 section 6.3 dans le poly `suites numeriques' proposition 31, prop. 32, prop. 33, def. 33, corollaire 34, prop. 35, prop. 36, thm. 37 Suites numeriques de Cauchy Prop : Une suite qui converge est de Cauchy La prop ``Une suite de Cauchy converge'' est vraie si et seulement si l'espace d'appartenance de la suite est complet Dans notre cas, R est un espace metrique complet. Symboles de Landau : petit o, grand o, asymptotique ~, meme ordre de grandeur soient (a_n)_n, (b_n)_n deux suites avec (b_n)_n definitivement non nulle petit o a_n = o(b_n) si a_n/b_n --> 0 pour n --> oo eqv s'il existe e_n -->0 pour n-->oo tel que a_n = b_n e_n grand o a_n = O(b_n) si il existe C>0 telle que |a_n| <= C |b_n| asymptotique a_n ~ b_n si a_n/b_n --> 1 pour n --> oo meme ordre de grandeur u s'il existe C_1, C_2 > 0 tels que C_1 |b_n| <= |a_n| <= C_2 |b_n| n la prochaine seance, on commence la limite de fonction f en un point x_0