Isometries, Mazur-Ulam theorem and Aleksandrov problem for non-Archimedean normed spaces (Q412666): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
This paper deals with isometries in non-Archimedean normed spaces. Its main purpose is to study the behaviour in the non-Archimedean setting of the classical Mazur-Ulam theorem and the classical Aleksandrov problem, both extensively studied in the Archimedean literature. S. Mazur and S. Ulam proved in 1932 that if \(E,F\) are real normed spaces and \(T: E \rightarrow F\) is a surjective isometry then \(f\) is a linear map up to translation. Now, let us replace the field \(\mathbb{R}\) of real numbers by a complete non-Archimedean non-trivially valued field \(\mathbb{K}\). A non-Archimedean version of this theorem, for normed spaces over \(\mathbb{K}\), was given by \textit{M. S. Moslehian} and \textit{G. A. Sadeghi} [Nonlinear Anal., Theory Methods Appl. 69, No. 10, A, 3405--3408 (2008; Zbl 1160.46049)], showing also that the Marzur-Ulam theorem fails in the non-Archimedean case. In the present paper, the author proves the following stronger result: Let \(E,F\) be normed spaces over \(\mathbb{K}\). Assume that there exists a surjective isometry \(E \rightarrow F\). If every surjective isometry \(E \rightarrow F\) is an additive map up to translation, then \(E= F = \{ 0 \}\). Also, in 1970, A. D. Aleksandrov asked under what conditions a map of a metric space into itself satisfying the strong distance one preserving property (SDOPP) is an isometry (recall that if \(E,F\) are normed spaces, a map \(T: E \rightarrow F\) has the SDOPP if, for all \(x,y \in E\), one verifies \(\| x - y \| = 1\) if and only if \(\| T(x) - T(y )\| = 1\)). \textit{T. M. Rassias} and \textit{P. Šemrl} proved in [Proc. Am. Math. Soc. 118, No. 3, 919--925 (1993; Zbl 0780.51010)] that if \(T: E \rightarrow F\) is a map between real normed spaces \(E,F\) such that one of them has dimension \(>1\) and (1) \(T\) is surjective, (2) \(T\) is a \(1\)-Lipschitz map (i.e., \(\| T(x) - T(y) \| \leq \| x-y \|\) for all \(x,y \in E\)), (3) \(T\) has the SDOPP, \noindent then \(T\) is an isometry. In the present paper, the author shows that the situation in the non-Archimedean case differs substantially. In fact, he gets that the following are equivalent: (i) For every finite-dimensional space \(E\) with norm-one elements, every map \(T: E \rightarrow E\) satisfying (1), (2), (3) and \(T(0)=0\) is an isometry. (ii) \(K\) is locally compact. To finish the paper, the author proves that if \(E\) is a finite-dimensional space having norm-one elements, then every isometry \(E \rightarrow E\) is surjective if and only if \(\mathbb{K}\) is spherically complete and its residue class field is finite. This result extends the one given in 1984 by W. H. Schikhof, for \(E:= \mathbb{K}\). | |||
Property / review text: This paper deals with isometries in non-Archimedean normed spaces. Its main purpose is to study the behaviour in the non-Archimedean setting of the classical Mazur-Ulam theorem and the classical Aleksandrov problem, both extensively studied in the Archimedean literature. S. Mazur and S. Ulam proved in 1932 that if \(E,F\) are real normed spaces and \(T: E \rightarrow F\) is a surjective isometry then \(f\) is a linear map up to translation. Now, let us replace the field \(\mathbb{R}\) of real numbers by a complete non-Archimedean non-trivially valued field \(\mathbb{K}\). A non-Archimedean version of this theorem, for normed spaces over \(\mathbb{K}\), was given by \textit{M. S. Moslehian} and \textit{G. A. Sadeghi} [Nonlinear Anal., Theory Methods Appl. 69, No. 10, A, 3405--3408 (2008; Zbl 1160.46049)], showing also that the Marzur-Ulam theorem fails in the non-Archimedean case. In the present paper, the author proves the following stronger result: Let \(E,F\) be normed spaces over \(\mathbb{K}\). Assume that there exists a surjective isometry \(E \rightarrow F\). If every surjective isometry \(E \rightarrow F\) is an additive map up to translation, then \(E= F = \{ 0 \}\). Also, in 1970, A. D. Aleksandrov asked under what conditions a map of a metric space into itself satisfying the strong distance one preserving property (SDOPP) is an isometry (recall that if \(E,F\) are normed spaces, a map \(T: E \rightarrow F\) has the SDOPP if, for all \(x,y \in E\), one verifies \(\| x - y \| = 1\) if and only if \(\| T(x) - T(y )\| = 1\)). \textit{T. M. Rassias} and \textit{P. Šemrl} proved in [Proc. Am. Math. Soc. 118, No. 3, 919--925 (1993; Zbl 0780.51010)] that if \(T: E \rightarrow F\) is a map between real normed spaces \(E,F\) such that one of them has dimension \(>1\) and (1) \(T\) is surjective, (2) \(T\) is a \(1\)-Lipschitz map (i.e., \(\| T(x) - T(y) \| \leq \| x-y \|\) for all \(x,y \in E\)), (3) \(T\) has the SDOPP, \noindent then \(T\) is an isometry. In the present paper, the author shows that the situation in the non-Archimedean case differs substantially. In fact, he gets that the following are equivalent: (i) For every finite-dimensional space \(E\) with norm-one elements, every map \(T: E \rightarrow E\) satisfying (1), (2), (3) and \(T(0)=0\) is an isometry. (ii) \(K\) is locally compact. To finish the paper, the author proves that if \(E\) is a finite-dimensional space having norm-one elements, then every isometry \(E \rightarrow E\) is surjective if and only if \(\mathbb{K}\) is spherically complete and its residue class field is finite. This result extends the one given in 1984 by W. H. Schikhof, for \(E:= \mathbb{K}\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Cristina Pérez-García / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46S10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47S10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6030594 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
isometry | |||
Property / zbMATH Keywords: isometry / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mazur-Ulam theorem | |||
Property / zbMATH Keywords: Mazur-Ulam theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
non-Archimedean normed space | |||
Property / zbMATH Keywords: non-Archimedean normed space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
conservative distance | |||
Property / zbMATH Keywords: conservative distance / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.na.2011.10.006 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2065626815 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4333558 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Properties of isometric mappings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isometries in Normed Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Mazur--Ulam theorem in non-Archimedean normed spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5615895 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Isometries of Euclidean Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Aleksandrov Problem of Conservative Distances / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Mazur-Ulam Theorem and the Aleksandrov Problem for Unit Distance Preserving Mappings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3184845 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Aleksandrov-Rassias problem and the Hyers-Ulam-Rassias stability problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3322680 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4179411 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3401901 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:09, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Isometries, Mazur-Ulam theorem and Aleksandrov problem for non-Archimedean normed spaces |
scientific article |
Statements
Isometries, Mazur-Ulam theorem and Aleksandrov problem for non-Archimedean normed spaces (English)
0 references
4 May 2012
0 references
This paper deals with isometries in non-Archimedean normed spaces. Its main purpose is to study the behaviour in the non-Archimedean setting of the classical Mazur-Ulam theorem and the classical Aleksandrov problem, both extensively studied in the Archimedean literature. S. Mazur and S. Ulam proved in 1932 that if \(E,F\) are real normed spaces and \(T: E \rightarrow F\) is a surjective isometry then \(f\) is a linear map up to translation. Now, let us replace the field \(\mathbb{R}\) of real numbers by a complete non-Archimedean non-trivially valued field \(\mathbb{K}\). A non-Archimedean version of this theorem, for normed spaces over \(\mathbb{K}\), was given by \textit{M. S. Moslehian} and \textit{G. A. Sadeghi} [Nonlinear Anal., Theory Methods Appl. 69, No. 10, A, 3405--3408 (2008; Zbl 1160.46049)], showing also that the Marzur-Ulam theorem fails in the non-Archimedean case. In the present paper, the author proves the following stronger result: Let \(E,F\) be normed spaces over \(\mathbb{K}\). Assume that there exists a surjective isometry \(E \rightarrow F\). If every surjective isometry \(E \rightarrow F\) is an additive map up to translation, then \(E= F = \{ 0 \}\). Also, in 1970, A. D. Aleksandrov asked under what conditions a map of a metric space into itself satisfying the strong distance one preserving property (SDOPP) is an isometry (recall that if \(E,F\) are normed spaces, a map \(T: E \rightarrow F\) has the SDOPP if, for all \(x,y \in E\), one verifies \(\| x - y \| = 1\) if and only if \(\| T(x) - T(y )\| = 1\)). \textit{T. M. Rassias} and \textit{P. Šemrl} proved in [Proc. Am. Math. Soc. 118, No. 3, 919--925 (1993; Zbl 0780.51010)] that if \(T: E \rightarrow F\) is a map between real normed spaces \(E,F\) such that one of them has dimension \(>1\) and (1) \(T\) is surjective, (2) \(T\) is a \(1\)-Lipschitz map (i.e., \(\| T(x) - T(y) \| \leq \| x-y \|\) for all \(x,y \in E\)), (3) \(T\) has the SDOPP, \noindent then \(T\) is an isometry. In the present paper, the author shows that the situation in the non-Archimedean case differs substantially. In fact, he gets that the following are equivalent: (i) For every finite-dimensional space \(E\) with norm-one elements, every map \(T: E \rightarrow E\) satisfying (1), (2), (3) and \(T(0)=0\) is an isometry. (ii) \(K\) is locally compact. To finish the paper, the author proves that if \(E\) is a finite-dimensional space having norm-one elements, then every isometry \(E \rightarrow E\) is surjective if and only if \(\mathbb{K}\) is spherically complete and its residue class field is finite. This result extends the one given in 1984 by W. H. Schikhof, for \(E:= \mathbb{K}\).
0 references
isometry
0 references
Mazur-Ulam theorem
0 references
non-Archimedean normed space
0 references
conservative distance
0 references
0 references