Fonction distance à un ensemble

Le document traite de la fonction distance associée à un ensemble non vide dans l'espace euclidien. Il démontre que la fonction distance est nulle si et seulement si un point appartient à cet ensemble, et que cette fonction est lipshitzienne de rapport 1 sur cet espace. Des propositions et des démonstrations sont fournies pour étayer ces affirmations.