Soient un espace métrique compact et une application vérifiant On se propose de montrer que est une isométrie surjective. Soient et posons, pour , et .
1
Montrer que pour tout , il existe tel que et (Considérer une valeur d’adhérence de la suite ).
2
En déduire que est dense dans et que (Considérer la suite ).