Développement : Lemme de la grenouille

Détails/Enoncé :

Lemme 1: L'ensemble des valeurs d'adhérence d'une suite à valeurs dans un evn compact tq ||Un+1-Un||-->0 est connexe
Lemme 2 (grenouille): f : [0,1]--> [0,1] continue et une suite Xn+1=f(Xn), X0 ds [0,1].
Alors Xn CV ssi |Xn+1-Xn|-->0

Autres années :

Versions :

Pas de version pour ce développement.