In mathematics, the Mazur–Ulam theorem states that if formula_1 and formula_2 are normed spaces over R and the mapping:formula_3is a surjective isometry, then formula_4 is affine.
То есть, если formula_1 и formula_2 являются нормированными пространствами над formula_3, а formula_4 — изометрический изоморфизм, тогда formula_5 — аффинное преобразование.