Plongement de Kuratowski

Si (X,d) est un espace métrique, a un point de X et ℓ^∞(X) l'espace de Banach des applications bornées de X dans ℝ, muni de la norme de la convergence uniforme, alors l'application ${\displaystyle \Phi :X\to \ell ^{\infty }(X)}$ définie par ${\displaystyle \forall x,y\in X\quad \Phi (x)(y)=d(x,y)-d(a,y)}$ est une isométrie, dont l'image est fermée dans son enveloppe convexe^[1].

Si (X,d) est borné, on peut définir une telle isométrie plus simplement, en posant Φ(x)(y) = d(x, y)^[2],[3].

On peut bien sûr restreindre l'ensemble d'arrivée au sous-espace vectoriel fermé de ℓ^∞(X) constitué des applications bornées continues^[4].

Ces plongements sont utiles parce que les espaces de Banach ont certaines propriétés que ne possèdent pas tous les espaces métriques : ce sont des espaces vectoriels — ce qui permet d'ajouter des points et de pratiquer de la géométrie élémentaire sur les droites, les plans, etc. — et ils sont complets. Étant donné une application f dont l'ensemble d'arrivée est X, on peut vouloir étendre f à un ensemble de définition plus grand, ce qui nécessite souvent d'agrandir en même temps son ensemble d'arrivée, en un espace de Banach contenant X.