Soit un espace métrique et une partie de ; on considère une application surjective de sur , et on pose pour et dans
1
Montrer que pour et dans , ; que et ; vérifie-t-elle l’inégalité triangulaire ?
2
On suppose que pour dans , est un fermé de , et que pour et dans pour tous et dans . Montrer alors que est une distance.
3
On suppose les conditions de 2. vérifiées. Montrer que est complet si est complet.