Mazur–Ulam theorem
In mathematics, the Mazur–Ulam theorem states that if and are normed spaces over R and the mapping
is a surjective isometry, then is affine. It was proved by Stanisław Mazur and Stanisław Ulam in response to a question raised by Stefan Banach.
For strictly convex spaces the result is true, and easy, even for isometries which are not necessarily surjective. In this case, for any and in , and for any in , write and denote the closed ball of radius R around v by . Then is the unique element of , so, since is injective, is the unique element of and therefore is equal to . 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.
See also
References
- Richard J. Fleming; James E. Jamison (2003). Isometries on Banach Spaces: Function Spaces. CRC Press. p. 6. ISBN 1-58488-040-6.
- Stanisław Mazur; Stanisław Ulam (1932). "Sur les transformations isométriques d'espaces vectoriels normés". C. R. Acad. Sci. Paris. 194: 946–948.
- Nica, Bogdan (2012). "The Mazur–Ulam theorem". Expositiones Mathematicae. 30 (4): 397–398. arXiv:1306.2380. doi:10.1016/j.exmath.2012.08.010.
- Jussi Väisälä (2003). "A Proof of the Mazur–Ulam Theorem". The American Mathematical Monthly. 110 (7): 633–635. doi:10.1080/00029890.2003.11920004. JSTOR 3647749. S2CID 43171421.
- v
- t
- e
- Asplund
- Banach
- Banach lattice
- Grothendieck
- Hilbert
- (Polynomially) Reflexive
- Riesz
- L-semi-inner product
- (B
- Strictly
- Uniformly) convex
- Uniformly smooth
- (Injective
- Projective) Tensor product (of Hilbert spaces)
- Anderson–Kadec
- Banach–Alaoglu
- Banach–Mazur
- Banach–Saks
- Banach–Schauder (open mapping)
- Banach–Steinhaus (Uniform boundedness)
- Bessel's inequality
- Cauchy–Schwarz inequality
- Closed graph
- Closed range
- Eberlein–Šmulian
- Freudenthal spectral
- Gelfand–Mazur
- Gelfand–Naimark
- Goldstine
- Hahn–Banach
- Kakutani fixed-point
- Krein–Milman
- Lomonosov's invariant subspace
- Mackey–Arens
- Mazur's lemma
- M. Riesz extension
- Parseval's identity
- Riesz's lemma
- Riesz representation
- Robinson-Ursescu
- Schauder fixed-point
- Abstract Wiener space
- Banach manifold
- Bochner space
- Convex series
- Differentiation in Fréchet spaces
- Derivatives
- Integrals
- Functional calculus
- Measures
- Weakly / Strongly measurable function
- Absolutely convex
- Absorbing
- Affine
- Balanced/Circled
- Bounded
- Convex
- Convex cone (subset)
- Convex series related ((cs, lcs)-closed, (cs, bcs)-complete, (lower) ideally convex, (Hx), and (Hwx))
- Linear cone (subset)
- Radial
- Radially convex/Star-shaped
- Symmetric
- Zonotope
- Absolute continuity AC
- c space
- Banach coordinate BK
- Besov
- Birnbaum–Orlicz
- Bounded variation BV
- Bs space
- Continuous C(K) with K compact Hausdorff
- Hardy Hp
- Hilbert H
- Morrey–Campanato
- ℓp
- Lp
- Schwartz
- Segal–Bargmann F
- Sequence space
- Sobolev Wk,p
- Triebel–Lizorkin
- Wiener amalgam
![]() | This mathematical analysis–related article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e
![]() | This hyperbolic geometry-related article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e