Bonjour tout le monde
je me permets de vous demander un peu d'aide (des indications pas la solution) pour le petit exo suivant :
Soit (E, || ||) un evn
montrer que E est complet ssi toute suite de E vérifiant : (P) pour tt n ||Un+1-Un||<= 1/2^n converge
Donc le sens direct est trivial et pour la réciproque j'ai eu plusieurs idées : je pense qu'il faut prendre une suite de Cauchy (Xn) et écrire (Xn) de sorte qu'elle vérifie la propriété (P). J'ai pensé à introduire une suite auxilliaire (Yn) fabriquée à partir de (Xn) pour qu'elle vérifie de façon évidente (P) et qu'après on puisse conclure pour (Xn) mais ça n'a pas abouti... Le 1/2^n m'a fait penser à une somme de série géométrique mais je vois pas bien d'où elle pourrait sortir...
Auriez-vous une petite suggestion... ?
++ Cyp
-----