O artykule
Data publikacji: 26 kwi 2012
Zakres stron: 127 - 130
DOI: https://doi.org/10.2478/v10037-011-0020-7
This content is open access.
The Mazur-Ulam theorem [15] has been formulated as two registrations: cluster bijective isometric -> midpoints-preserving Function of E, F; and cluster isometric midpoints-preserving -> Affine Function of E, F; A proof given by Jussi Väisälä [23] has been formalized.