« Topologie générale/Espace métrique » : différence entre les versions

Contenu supprimé Contenu ajouté
→‎Définition et exemples : +distance uniforme
m →‎Topologie : plus général
Ligne 100 :
| contenu=Toute suite de boules ouvertes centrées en <math>x</math> et dont le rayon tend vers <math>0</math> constitue une [[Topologie générale/Bases#Base de voisinages|base de voisinages]] de <math>x</math>.
}}
C'est une conséquence directe du lemme ci-dessus. En l'affinant un peu, on démontre même (exercice) que toute suite de boulesvoisinages ouvertes ''contenant''de <math>x</math> et dont le rayondiamètre tend vers <math>0</math> constitue une base de voisinages de <math>x</math>.
 
Dans un espace topologique, nous avons vu que toute limite d'une sous-suite d'une suite <math>(u_n)</math> est une valeur d'adhérence de <math>(u_n)</math>. Dans un espace métrique, la réciproque est vraie :