A Mazur-Ulam problem in non-Archimedean n-normed spaces
- Hahng-Yun Chu1 and
- Se-Hyun Ku1Email author
https://doi.org/10.1186/1029-242X-2013-34
© Chu and Ku; licensee Springer 2013
Received: 26 August 2012
Accepted: 11 January 2013
Published: 29 January 2013
Abstract
In this article, we study the notions of n-isometries in non-Archimedean n-normed spaces over linear ordered non-Archimedean fields and prove the Mazur-Ulam theorem in the spaces. Furthermore, we obtain some properties for n-isometries in non-Archimedean n-normed spaces.
MSC:46B20, 51M25, 46S10.
Keywords
1 Introduction
Let X and Y be metric spaces with metrics and , respectively. A map is called an isometry if for every . Mazur and Ulam [1] treated the theory of isometry for the first time. They have proved the following theorem.
Mazur-Ulam theorem Let f be an isometric transformation from a real normed vector space X onto a real normed vector space Y with . Then f is linear.
It was natural to ask if the result holds without the onto assumption. Having asked this natural question, Baker [2] answered that every isometry of a real normed linear space into a strictly convex real normed linear space is affine. The Mazur-Ulam theorem has been widely studied by [3–12].
Chu et al. [13] have defined the notion of a 2-isometry which is suitable to represent the concept of an area-preserving mapping in linear 2-normed spaces. In [14], Chu proved that the Mazur-Ulam theorem holds in linear 2-normed spaces under the condition that a 2-isometry preserves collinearity. Chu et al. [15] discussed characteristics of 2-isometries. In [16], Amyari and Sadeghi proved the Mazur-Ulam theorem in non-Archimedean 2-normed spaces under the condition of strict convexity. Recently, Choy et al. [17] proved the theorem on non-Archimedean 2-normed spaces over linear ordered non-Archimedean fields without the strict convexity assumption.
Misiak [18, 19] defined the concept of an n-normed space and investigated the space. Park and Rassias [20] investigated the stability of linear n-isometries in a linear n-normed Banach module. Chu et al. [21], in linear n-normed spaces, defined the concept of an n-isometry that is suitable to represent the notion of a volume-preserving mapping. In [22], Chu et al. generalized the Mazur-Ulam theorem to n-normed spaces.
In this paper, without the condition of strict convexity, we prove the (additive) Mazur-Ulam theorem on non-Archimedean n-normed spaces. Firstly, we assert that an n-isometry f from a non-Archimedean space to a non-Archimedean space preserves the midpoint of a segment under some condition about the set of all elements of a valued field whose valuations are 1. Using the above result, we show the Mazur-Ulam theorem on non-Archimedean n-normed spaces over linear ordered non-Archimedean fields. In addition, we prove that the barycenter of a triangle in the non-Archimedean n-normed spaces is f-invariant under different conditions from those referred in previous statements. And then we also prove the (second type) Mazur-Ulam theorem in non-Archimedean n-normed spaces under some different conditions.
2 The Mazur-Ulam theorem I in non-Archimedean n-normed spaces
In this section, we introduce a non-Archimedean n-normed space which is a kind of generalization of a non-Archimedean 2-normed space, and we show the (additive) Mazur-Ulam theorem for an n-isometry f defined on a non-Archimedean n-normed space, that is, is additive. Firstly, we consider some definitions and lemmas which are needed to prove the theorem.
- (i)
if and only if ;
- (ii)
;
- (iii)
.
If every element of carries a valuation, then a field is called a valued field; for convenience, we simply call it a field. It is obvious that and for all . A trivial example of a non-Archimedean valuation is the map taking everything but 0 into 1 and (see [23]).
- (i)
if and only if ;
- (ii)
;
- (iii)the strong triangle inequality
Then we say is a non-Archimedean space.
- (i)
are linearly dependent;
- (ii)
for every permutation of ;
- (iii)
;
- (iv)
for all and all . Then is called a non-Archimedean n-normed space.
From now on, let and be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field .
for all .
Definition 2.3 The points of a non-Archimedean n-normed space are said to be n-collinear if for every i, is linearly dependent.
The points , and of a non-Archimedean n-normed space are said to be 2-collinear if and only if for some element t of the non-Archimedean field . We denote the set of all elements of whose valuations are 1 by , that is, .
for all .
Proof
One can easily prove the converse using similar methods. This completes the proof. □
Remark 2.5 Let , be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field and let be an n-isometry. One can show that the n-isometry f from to preserves the 2-collinearity using a similar method to that in [[22], Lemma 3.2].
The midpoint of a segment with endpoints x and y in the non-Archimedean n-normed space is defined by the point .
Now, we prove the Mazur-Ulam theorem on non-Archimedean n-normed spaces. In the first step, we prove the following lemma. And then, using the lemma, we show that an n-isometry f from a non-Archimedean n-normed space to a non-Archimedean n-normed space preserves the midpoint of a segment, i.e., the f-image of the midpoint of a segment in is also the midpoint of a corresponding segment in .
for some with and u, , are 2-collinear.
Since , we have two equations and . So, there are two integers , such that , . Since , for all . Thus, we may assume that , and without loss of generality. If , then , that is, . This is a contradiction because the left-hand side of the equation is a multiple of 2 but the right-hand side of the equation is not. Thus, and hence . □
Theorem 2.7 Let , be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field with and be an n-isometry. Then the midpoint of a segment is f-invariant, i.e., for every with , is also the midpoint of a segment with endpoints and in .
By Lemma 2.6, we obtain that for all with . This completes the proof. □
- (i)
The n-isometry f preserves the midpoint of a segment in , i.e., for all with ;
- (ii)
The n-isometry f preserves the barycenter of a triangle in , i.e., for all satisfying that , , are not 2-collinear.
for all with .
Conversely, (i) trivially implies (ii). This completes the proof of this lemma. □
Remark 2.9 One can prove that the above lemma also holds in the case of linear n-normed spaces.
Theorem 2.10 Let and be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field with . If is an n-isometry, then is additive.
Proof Let . Then it is clear that and g is also an n-isometry.
Since , we obtain that g is additive which completes the proof. □
3 The Mazur-Ulam theorem II in non-Archimedean n-normed spaces
In this section, under different conditions from those previously referred in Theorem 2.10, we also prove the (second type) Mazur-Ulam theorem on a non-Archimedean n-normed space. Firstly, we show that an n-isometry f from a non-Archimedean n-normed space to a non-Archimedean n-normed space preserves the barycenter of a triangle, i.e., the f-image of the barycenter of a triangle is also the barycenter of a corresponding triangle. Then, using Lemma 2.8, we also prove the Mazur-Ulam theorem (a non-Archimedean n-normed space version) under some different conditions.
for some with and u is an interior point of .
and hence since . Similarly, we obtain . By the hypothesis of , there are integers , , such that , , . Since , every is less than 0. So, one may let , , and . Assume that one of the above inequalities holds. Then , i.e., . This is a contradiction, because the left-hand side is a multiple of 3 whereas the right-hand side is not. Thus, . Consequently, . This means that u is unique. □
Theorem 3.2 Let , be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field with and be an interior-preserving n-isometry. Then the barycenter of a triangle is f-invariant.
for all satisfying that , , are not 2-collinear. □
The next theorem is the Mazur-Ulam theorem II in non-Archimedean n-normed spaces over a linear ordered non-Archimedean field . The assumptions of this theorem are different from that of Theorem 2.10. In particular, in the proof of the theorem, we use the f-preserving property for the barycenter of a triangle.
Theorem 3.3 Let and be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field with . If is an interior-preserving n-isometry, then is additive.
Proof Let . One can easily check that and g is also an n-isometry. Using a similar method in [[17], Theorem 2.4], we can easily prove that g is also an interior-preserving mapping.
for any satisfying that , , are not 2-collinear. Using Lemma 2.8 and the property , we obtain that the interior-preserving n-isometry g is additive, which completes the proof. □
Declarations
Acknowledgements
The authors are deeply grateful to the referees whose helped to improve our manuscript. This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2010-0013784).
Authors’ Affiliations
References
- Mazur S, Ulam S: Sur les transformationes isométriques d’espaces vectoriels normés. C. R. Math. Acad. Sci. Paris 1932, 194: 946–948.Google Scholar
- Baker JA: Isometries in normed spaces. Am. Math. Mon. 1971, 78: 655–658. 10.2307/2316577MATHView ArticleGoogle Scholar
- Cho YJ, Lin PCS, Kim SS, Misiak A: Theory of 2-Linear Product Spaces. Nova Science Publishers, New York; 2001.Google Scholar
- Freese RW, Cho YJ: Isometry conditions in linear 2-normed spaces. Math. Jpn. 1990, 35: 985–990.MATHMathSciNetGoogle Scholar
- Freese RW, Cho YJ: Geometry of Linear 2-Normed Spaces. Nova Science Publishers, New York; 2001.MATHGoogle Scholar
- Jian W: On the generalizations of the Mazur-Ulam isometric theorem. J. Math. Anal. Appl. 2001, 263: 510–521. 10.1006/jmaa.2001.7627MATHMathSciNetView ArticleGoogle Scholar
- Moslehian MS, Sadeghi Gh: A Mazur-Ulam theorem in non-Archimedean normed spaces. Nonlinear Anal. 2008, 69: 3405–3408. 10.1016/j.na.2007.09.023MATHMathSciNetView ArticleGoogle Scholar
- Rassias TM: On the A.D. Aleksandrov problem of conservative distances and the Mazur-Ulam theorem. Nonlinear Anal. 2001, 47: 2597–2608. 10.1016/S0362-546X(01)00381-9MATHMathSciNetView ArticleGoogle Scholar
- Rassias TM, Šemrl P: On the Mazur-Ulam theorem and the Aleksandrov problem for unit distance preserving mappings. Proc. Am. Math. Soc. 1993, 118: 919–925. 10.1090/S0002-9939-1993-1111437-6MATHView ArticleGoogle Scholar
- Rassias TM, Wagner P: Volume preserving mappings in the spirit of the Mazur-Ulam theorem. Aequ. Math. 2003, 66: 85–89. 10.1007/s00010-003-2669-7MATHMathSciNetView ArticleGoogle Scholar
- Väisälä J: A proof of the Mazur-Ulam theorem. Am. Math. Mon. 2003, 110: 633–635. 10.2307/3647749MATHView ArticleGoogle Scholar
- Xiang S: Mappings of conservative distances and the Mazur-Ulam theorem. J. Math. Anal. Appl. 2001, 254: 262–274. 10.1006/jmaa.2000.7276MATHMathSciNetView ArticleGoogle Scholar
- Chu H-Y, Park C-K, Park W-K: The Aleksandrov problem in linear 2-normed spaces. J. Math. Anal. Appl. 2004, 289: 666–672. 10.1016/j.jmaa.2003.09.009MATHMathSciNetView ArticleGoogle Scholar
- Chu H-Y: On the Mazur-Ulam problem in linear 2-normed spaces. J. Math. Anal. Appl. 2007, 327: 1041–1045. 10.1016/j.jmaa.2006.04.053MATHMathSciNetView ArticleGoogle Scholar
- Chu H-Y, Ku S-H, Kang DS: Characterizations on 2-isometries. J. Math. Anal. Appl. 2008, 340: 621–628. 10.1016/j.jmaa.2007.08.036MATHMathSciNetView ArticleGoogle Scholar
- Amyari M, Sadeghi G: Isometries in non-Archimedean strictly convex and strictly 2-convex 2-normed spaces. In Nonlinear Analysis and Variational Problems. Springer, Berlin; 2009:13–22.Google Scholar
- Choy J, Chu H-Y, Ku S-H: Characterizations on Mazur-Ulam theorem. Nonlinear Anal. 2010, 72: 1291–1297. 10.1016/j.na.2009.08.017MATHMathSciNetView ArticleGoogle Scholar
- Misiak A: n -inner product spaces. Math. Nachr. 1989, 140: 299–319. 10.1002/mana.19891400121MATHMathSciNetView ArticleGoogle Scholar
- Misiak A: Orthogonality and orthogonormality in n -inner product spaces. Math. Nachr. 1989, 143: 249–261. 10.1002/mana.19891430119MATHMathSciNetView ArticleGoogle Scholar
- Park C-K, Rassias TM: The N -isometric isomorphisms in linear N -normed -algebras. Acta Math. Sin. Engl. Ser. 2006, 22: 1863–1890. 10.1007/s10114-005-0878-9MATHMathSciNetView ArticleGoogle Scholar
- Chu H-Y, Lee K, Park C-K: On the Aleksandrov problem in linear n -normed spaces. Nonlinear Anal. 2004, 59: 1001–1011.MATHMathSciNetGoogle Scholar
- Chu H-Y, Choi SK, Kang DS: Mappings of conservative distances in linear n -normed spaces. Nonlinear Anal. 2009, 70: 1168–1174. 10.1016/j.na.2008.02.002MATHMathSciNetView ArticleGoogle Scholar
- Narici L, Beckenstein E: Strange terrain-non-Archimedean spaces. Am. Math. Mon. 1981, 88: 667–676. 10.2307/2320670MATHMathSciNetView ArticleGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.