[formule], [formule], [formule]
[formule] pour tout [formule], avec égalité pour tout [formule]. La projection de [formule] sur [formule] n'est pas unique : tout [formule] avec [formule] réalise la distance. Dans un Hilbert, la projection sur un convexe fermé est toujours unique grâce à la stricte convexité de [formule]. L'unicité échoue dès que la boule unité n'est pas strictement convexe.