A Set-Valued Extension of the Mazur–Ulam Theorem

Lixin Cheng,Zheming Zheng
DOI: https://doi.org/10.4064/sm200120-9-2
2022-01-01
Studia Mathematica
Abstract:The Mazur-Ulam theorem states that every surjective isometry from a Banach space X to a Banach space Y is necessarily affine. Let K(X) (resp. K(Y)) be the cone of all compact convex subsets of X (resp. Y) endowed with the Hausdorff metric. We extend the Mazur-Ulam theorem in the following manner: The restriction T vertical bar(x) of a surjective isometry T : K(X) -> K(Y) is an affine isometry from X onto Y; if, in addition, one of X and Y is either strictly convex, or Gateaux smooth, then T(C) = U{T vertical bar(x) (x) : x is an element of C} for every C is an element of K(X); and this is equivalent to "every surjective isometry K(X) -> K(Y) is fully order preserving".
What problem does this paper attempt to address?