Mazur–Ulam theorem
570 VIEWS
Everipedia is now IQ.wiki - Join the IQ Brainlist and our Discord for early access to editing on the new platform and to participate in the beta testing.

Mazur–Ulam theorem
Mazur–Ulam theorem

In mathematics, the Mazur–Ulam theorem states that if
and
arenormed spacesover R and themapping
is a surjectiveisometry, then
isaffine.
It is named afterStanisław MazurandStanisław Ulamin response to an issue raised byStefan Banach.
Forstrictly convex spacesthe result is true, and easy, even for isometries which are not necessarily surjective. In this case, for any
and
in
, and for any
in
, denoting
, one has that
is the unique element of
, so, being
injective,
is the unique element of
, namely
. Therefore
is an affine map. This argument fails in the general case, because in a normed space which is not strictly convex two tangent balls may meet in some flat convex region of their boundary, not just a single point.
References
[7]
Citation Linken.wikipedia.orgThe original version of this page is from Wikipedia, you can edit the page right here on Everipedia.Text is available under the Creative Commons Attribution-ShareAlike License.Additional terms may apply.See everipedia.org/everipedia-termsfor further details.Images/media credited individually (click the icon for details).
Sep 29, 2019, 3:19 AM