Bonjour !
J'ai un espace métrique (X,d), et r un réel strictement positid. Je dois montrer que si toute boule fermée de rayon r est complète, alors (X,d) est complet.
Voilà ce que j'ai fait :
Soit (Un)n une suite de Cauchy dans X.
Alors il existe un N0 € N (l'espace des nombres entiers) tel que
pour tous p,q € N², ((p>=N0, q>=N0) => (d(Up, Uq)<=r)).
(Un)n est de Cauchy et à termes dans la boule fermée B(UN+1,r), donc elle converge.
D'où (X,d) est complet.
Penez-vous que ce raisonnement est correct ?
Ca me paraît un peu court et simple quand même, sachant que cet exercice est censé représenter un DM ! Mais je ne vois pas ce qui pourrait ne pas aller !
Merci de votre aide
-----