On mappings preserving equilateral triangles in normed spaces (Q860234)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On mappings preserving equilateral triangles in normed spaces |
scientific article |
Statements
On mappings preserving equilateral triangles in normed spaces (English)
0 references
24 January 2007
0 references
Let \(\left(X, \| \cdot \| \right)\) and \(\left(Y, \| \cdot \| \right)\) be normed linear spaces with dimensions \(\geq 2\) and let \(f : X \longrightarrow Y\). We say that \(f\) preserves equilateral triangles if the condition \(\| x-y\| =\| y-z\| =\| z-x\| \) implies that \(\| f(x) - f(y)\| =\| f(y) - f(z) \| =\| f(z) - f(x)\| \), that \(f\) preserves isosceles triangles if the condition \(\| x-y\| =\| x-z\| \) implies that \(\| f(x) - f(y)\| =\| f(x) - f(z) \| \), and that \(f\) is a similarity if there exists \(k > 0\) such that \(\| f(x) - f(y)\| = k \| x - y \| \) for all \(x\) and \(y\). If one denotes these properties of \(f\) by (E), (I) and (S), respectively, then it is obvious that (S) \(\Longrightarrow\) (I) \(\Longrightarrow\) (E). The paper under review addresses the question whether the reverse implications hold, i.e., the question whether preserving a certain shape would imply preserving all shapes. This puts the paper in the category of the classical Beckman--Quarles theorem (with an elementary proof by \textit{W.\,Benz} in [Elem.\ Math.\ 42, 4--9 (1987; Zbl 0701.51013)]) and \textit{J.\,A.\,Lester}'s generalization in [J.~Geom.\ 27, 29--35 (1986; Zbl 0595.51021)], where the questions of whether preserving certain distances (respectively, areas, perimeters) would imply preserving all distances (respectively, areas, perimeters) are addressed. The paper under review proves that (i) if dim(\(X\)) \(\geq\) 3, then (E) \(\Longrightarrow\) (I), (ii) if dim(\(X\)), dim(\(Y\)) \(\geq\) 3, and if \(f\) is surjective, then (E) \(\Longrightarrow\) (S), and (iii) if \(X = Y\) is Euclidean with dim(\(X\)) = 2, and if \(f\) is non-constant and measurable, then (E) \(\Longrightarrow\) (S). The results above strengthen results proved earlier by the same authors in [J.~Geom.\ 80, 209--218 (2004; Zbl 1053.51012)], where they have treated the case when \(X = Y\) is Euclidean.
0 references
isometry
0 references
similarity transformation
0 references
Jensen functional equation
0 references
Beckman-Quarles theorem
0 references