Soit un espace métrique, et un sous-espace non vide de . On va montrer que toute fonction , -lipschitzienne, admet un prolongement qui est aussi -lipschitzien. Soit donc ainsi; pour tout et , on pose
1
Montrer que pour fixé, l’ensemble lorsque parcourt est minoré. On pose .
2
Montrer que l’application ainsi définie sur , réalise un prolongement -lipschitzien de .
3
Donner une condition suffisante pour que ce prolongement soit unique.