Skip to content

Advertisement

Open Access

A Mazur-Ulam problem in non-Archimedean n-normed spaces

Journal of Inequalities and Applications20132013:34

https://doi.org/10.1186/1029-242X-2013-34

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

Mazur-Ulam theoremn-isometrynon-Archimedean n-normed space

1 Introduction

Let X and Y be metric spaces with metrics d X and d Y , respectively. A map f : X Y is called an isometry if d Y ( f ( x ) , f ( y ) ) = d X ( x , y ) for every x , y X . 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 f ( 0 ) = 0 . 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 [312].

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, f ( x ) f ( 0 ) is additive. Firstly, we consider some definitions and lemmas which are needed to prove the theorem.

Recall that a non-Archimedean (or ultrametric) valuation is given by a map | | from a field K into [ 0 , ) such that for all r , s K ,
  1. (i)

    | r | = 0 if and only if r = 0 ;

     
  2. (ii)

    | r s | = | r | | s | ;

     
  3. (iii)

    | r + s | max { | r | , | s | } .

     

If every element of K carries a valuation, then a field K is called a valued field; for convenience, we simply call it a field. It is obvious that | 1 | = | 1 | = 1 and | n | 1 for all n N . A trivial example of a non-Archimedean valuation is the map | | taking everything but 0 into 1 and | 0 | = 0 (see [23]).

Let X be a vector space over a valued field K . A non-Archimedean norm is a function : X [ 0 , ) such that for all r K and x , y X ,
  1. (i)

    x = 0 if and only if x = 0 ;

     
  2. (ii)

    r x = | r | x ;

     
  3. (iii)
    the strong triangle inequality
    x + y max { x , y } .
     

Then we say ( X , ) is a non-Archimedean space.

Definition 2.1 Let X be a vector space with the dimension greater than n 1 over a valued field K with a non-Archimedean valuation | | . A function , , : X × × X [ 0 , ) is said to be a non-Archimedean n-norm if
  1. (i)

    x 1 , , x n = 0 x 1 , , x n are linearly dependent;

     
  2. (ii)

    x 1 , , x n = x j 1 , , x j n for every permutation ( j 1 , , j n ) of ( 1 , , n ) ;

     
  3. (iii)

    α x 1 , , x n = | α | x 1 , , x n ;

     
  4. (iv)

    x + y , x 2 , , x n max { x , x 2 , , x n , y , x 2 , , x n }

     

for all α K and all x , y , x 1 , , x n X . Then ( X , , , ) is called a non-Archimedean n-normed space.

From now on, let X and Y be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field K .

Definition 2.2 Let X and Y be non-Archimedean n-normed spaces and f : X Y be a mapping. We call f an n-isometry if
x 1 x 0 , , x n x 0 = f ( x 1 ) f ( x 0 ) , , f ( x n ) f ( x 0 )

for all x 0 , x 1 , , x n X .

Definition 2.3 The points x 0 , x 1 , , x n of a non-Archimedean n-normed space X are said to be n-collinear if for every i, { x j x i 0 j i n } is linearly dependent.

The points x 0 , x 1 and x 2 of a non-Archimedean n-normed space X are said to be 2-collinear if and only if x 2 x 0 = t ( x 1 x 0 ) for some element t of the non-Archimedean field  K . We denote the set of all elements of K whose valuations are 1 by C , that is, C = { γ K : | γ | = 1 } .

Lemma 2.4 Let x i be an element of a non-Archimedean n-normed space X for every i { 1 , , n } and γ K . Then
x 1 , , x i , , x j , , x n = x 1 , , x i , , x j + γ x i , , x n

for all 1 i j n .

Proof

By Definition 2.1, we have
x 1 , , x i , , x j + γ x i , , x n max { x 1 , , x i , , x j , , x n , | γ | x 1 , , x i , , x i , , x n } = max { x 1 , , x i , , x j , , x n , 0 } = x 1 , , x i , , x j , , x n .

One can easily prove the converse using similar methods. This completes the proof. □

Remark 2.5 Let X , Y be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field K and let f : X Y be an n-isometry. One can show that the n-isometry f from X to Y 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 X is defined by the point x + y 2 .

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 X to a non-Archimedean n-normed space Y preserves the midpoint of a segment, i.e., the f-image of the midpoint of a segment in X is also the midpoint of a corresponding segment in Y .

Lemma 2.6 Let X be a non-Archimedean n-normed space over a linear ordered non-Archimedean field K with C = { 2 n | n Z } and let x 0 , x 1 X with x 0 x 1 . Then u : = x 0 + x 1 2 is the unique member of X satisfying
x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = x 0 u , x 0 x 2 , x 0 x 3 , , x 0 x n = x 1 u , x 1 x 2 , x 1 x 3 , , x 1 x n

for some x 2 , , x n X with x 0 x 1 , x 0 x 2 , , x 0 x n 0 and u, x 0 , x 1 are 2-collinear.

Proof Let u : = x 0 + x 1 2 . From the assumption for the dimension of X , there exist n 1 elements x 2 , , x n in X such that x 0 x 1 , x 0 x 2 , , x 0 x n 0 . One can easily prove that u satisfies the above equations and conditions. It suffices to show the uniqueness for u. Assume that there is another v satisfying
x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = x 0 v , x 0 x 2 , x 0 x 3 , , x 0 x n = x 1 v , x 1 x 2 , x 1 x 3 , , x 1 x n
for some elements x 2 , , x n of X with x 0 x 1 , x 0 x 2 , , x 0 x n 0 and v, x 0 , x 1 are 2-collinear. Since v, x 0 , x 1 are 2-collinear, v = t x 0 + ( 1 t ) x 1 for some t K . Then we have
x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = x 0 v , x 0 x 2 , x 0 x 3 , , x 0 x n = x 0 t x 0 ( 1 t ) x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = | 1 t | x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n , x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = x 1 v , x 1 x 2 , x 1 x 3 , , x 1 x n = x 1 t x 0 ( 1 t ) x 1 , x 1 x 2 , x 1 x 3 , , x 1 x n = | t | x 0 x 1 , x 1 x 2 , x 1 x 3 , , x 1 x n = | t | x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n .

Since x 0 x 1 , x 0 x 2 , , x 0 x n 0 , we have two equations | 1 t | = 1 and | t | = 1 . So, there are two integers k 1 , k 2 such that 1 t = 2 k 1 , t = 2 k 2 . Since 2 k 1 + 2 k 2 = 1 , k i < 0 for all i = 1 , 2 . Thus, we may assume that 1 t = 2 n 1 , t = 2 n 2 and n 1 n 2 N without loss of generality. If n 1 n 2 , then 1 = 2 n 1 + 2 n 2 = 2 n 1 ( 1 + 2 n 1 n 2 ) , that is, 2 n 1 = 1 + 2 n 1 n 2 . 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, n 1 = n 2 = 1 and hence v = 1 2 x 0 + 1 2 x 1 = u . □

Theorem 2.7 Let X , Y be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field K with C = { 2 n | n Z } and f : X Y be an n-isometry. Then the midpoint of a segment is f-invariant, i.e., for every x 0 , x 1 X with x 0 x 1 , f ( x 0 + x 1 2 ) is also the midpoint of a segment with endpoints f ( x 0 ) and f ( x 1 ) in Y .

Proof Let x 0 , x 1 X with x 0 x 1 . Since the dimension of X is greater than n 1 , there exist n 1 elements x 2 , , x n of X satisfying x 0 x 1 , x 0 x 2 , , x 0 x n 0 . Since x 0 , x 1 and their midpoint x 0 + x 1 2 are 2-collinear in X , f ( x 0 ) , f ( x 1 ) , f ( x 0 + x 1 2 ) are also 2-collinear in Y by Remark 2.5. Since f is an n-isometry, we have the following:
f ( x 0 ) f ( x 0 + x 1 2 ) , f ( x 0 ) f ( x 2 ) , , f ( x 0 ) f ( x n ) = x 0 x 0 + x 1 2 , x 0 x 2 , , x 0 x n = | 1 2 | x 0 x 1 , x 0 x 2 , , x 0 x n = f ( x 0 ) f ( x 1 ) , f ( x 0 ) f ( x 2 ) , , f ( x 0 ) f ( x n ) , f ( x 1 ) f ( x 0 + x 1 2 ) , f ( x 1 ) f ( x 2 ) , , f ( x 1 ) f ( x n ) = x 1 x 0 + x 1 2 , x 1 x 2 , , x 1 x n = | 1 2 | x 1 x 0 , x 1 x 2 , , x 1 x n = f ( x 0 ) f ( x 1 ) , f ( x 0 ) f ( x 2 ) , , f ( x 0 ) f ( x n ) .

By Lemma 2.6, we obtain that f ( x 0 + x 1 2 ) = f ( x 0 ) + f ( x 1 ) 2 for all x 0 , x 1 X with x 0 x 1 . This completes the proof. □

Lemma 2.8 Let X and Y be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field K and f : X Y be an n-isometry. Then the following conditions are equivalent.
  1. (i)

    The n-isometry f preserves the midpoint of a segment in X , i.e., f ( x 0 + x 1 2 ) = f ( x 0 ) + f ( x 1 ) 2 for all x 0 , x 1 X with x 0 x 1 ;

     
  2. (ii)

    The n-isometry f preserves the barycenter of a triangle in X , i.e., f ( x 0 + x 1 + x 2 3 ) = f ( x 0 ) + f ( x 1 ) + f ( x 2 ) 3 for all x 0 , x 1 , x 2 X satisfying that x 0 , x 1 , x 2 are not 2-collinear.

     
Proof Assume that the n-isometry f preserves the barycenter of a triangle in X . Let x 0 , x 1 be in X with x 0 x 1 . Since the n-isometry f preserves the 2-collinearity, f ( x 0 ) , f ( x 0 + x 1 2 ) , f ( x 1 ) are 2-collinear. So,
f ( x 0 + x 1 2 ) f ( x 0 ) = s ( f ( x 1 ) f ( x 0 ) )
(2.1)
for some element s of K . By the hypothesis for the dimension of X , we can choose the element x 2 of X satisfying that x 0 , x 1 and x 2 are not 2-collinear. Since x 2 , x 0 + x 1 + x 2 3 , x 0 + x 1 2 are 2-collinear, we have that f ( x 2 ) , f ( x 0 + x 1 + x 2 3 ) , f ( x 0 + x 1 2 ) are also 2-collinear by Remark 2.5. So, we obtain that
f ( x 0 + x 1 + x 2 3 ) f ( x 2 ) = t ( f ( x 0 + x 1 2 ) f ( x 2 ) )
(2.2)
for some element t of the non-Archimedean field K . By the equations (2.1), (2.2) and the barycenter-preserving property for the n-isometry f, we have
f ( x 0 ) + f ( x 1 ) + f ( x 2 ) 3 f ( x 2 ) = t ( f ( x 0 ) + s f ( x 1 ) s f ( x 0 ) f ( x 2 ) ) .
Thus, we get
f ( x 0 ) + f ( x 1 ) 2 f ( x 2 ) 3 = t ( 1 s ) f ( x 0 ) + t s f ( x 1 ) t f ( x 2 ) .
So, we have the following equation:
2 3 ( f ( x 0 ) f ( x 2 ) ) 1 3 ( f ( x 0 ) f ( x 1 ) ) = t ( f ( x 0 ) f ( x 2 ) ) t s ( f ( x 0 ) f ( x 1 ) ) .
By a calculation, we obtain
( 2 3 t ) ( f ( x 0 ) f ( x 2 ) ) + ( 1 3 + t s ) ( f ( x 0 ) f ( x 1 ) ) = 0 .
(2.3)
Since x 0 , x 1 , x 2 are not 2-collinear, x 0 x 1 , x 0 x 2 are linearly independent. Since dim X n , there are x 3 , , x n X such that x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n 0 . Since f is an n-isometry,
f ( x 0 ) f ( x 1 ) , f ( x 0 ) f ( x 2 ) , f ( x 0 ) f ( x 3 ) , , f ( x 0 ) f ( x n ) = x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n 0 .
So, f ( x 0 ) f ( x 1 ) and f ( x 0 ) f ( x 2 ) are linearly independent. Hence, from equation (2.3), we have 2 3 t = 0 and 1 3 + t s = 0 , i.e., we obtain t = 2 3 , s = 1 2 , which imply the equation
f ( x 0 + x 1 2 ) = f ( x 0 ) + f ( x 1 ) 2

for all x 0 , x 1 X with x 0 x 1 .

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 X and Y be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field K with C = { 2 n | n Z } . If f : X Y is an n-isometry, then f ( x ) f ( 0 ) is additive.

Proof Let g ( x ) : = f ( x ) f ( 0 ) . Then it is clear that g ( 0 ) = 0 and g is also an n-isometry.

From Theorem 2.7, for x 0 , x 1 X ( x 0 x 1 ), we have
g ( x 0 + x 1 2 ) = g ( x 0 ) + g ( x 1 ) 2 .

Since g ( 0 ) = 0 , 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 X to a non-Archimedean n-normed space Y 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.

Lemma 3.1 Let X be a non-Archimedean n-normed space over a linear ordered non-Archimedean field K with C = { 3 n | n Z } and let x 0 , x 1 , x 2 be elements of X such that x 0 , x 1 , x 2 are not 2-collinear. Then u : = x 0 + x 1 + x 2 3 is the unique member of X satisfying
x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = x 0 x 1 , x 0 u , x 0 x 3 , , x 0 x n = x 1 x 2 , x 1 u , x 1 x 3 , , x 1 x n = x 2 x 0 , x 2 u , x 2 x 3 , , x 2 x n

for some x 3 , , x n X with x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n 0 and u is an interior point of x 0 x 1 x 2 .

Proof Let u : = x 0 + x 1 + x 2 3 . Thus u is an interior point of x 0 x 1 x 2 . Since dim X > n 1 , there are n 2 elements x 3 , , x n of X such that x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n 0 . Applying Lemma 2.4, we have that
x 0 x 1 , x 0 u , x 0 x 3 , , x 0 x n = x 0 x 1 , x 0 x 0 + x 1 + x 2 3 , x 0 x 3 , , x 0 x n = | 1 3 | x 0 x 1 , x 0 x 1 + x 0 x 2 , x 0 x 3 , , x 0 x n = x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n .
And we can also obtain that
x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = x 1 x 2 , x 1 u , x 1 x 3 , , x 1 x n = x 2 x 0 , x 2 u , x 2 x 3 , , x 2 x n .
For the proof of uniqueness, let v be another interior point of x 0 x 1 x 2 satisfying
x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = x 0 x 1 , x 0 v , x 0 x 3 , , x 0 x n = x 1 x 2 , x 1 v , x 1 x 3 , , x 1 x n = x 2 x 0 , x 2 v , x 2 x 3 , , x 2 x n
with x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n 0 . Since v is an element of the set { t 0 x 0 + t 1 x 1 + t 2 x 2 | t 0 + t 1 + t 2 = 1 , t i K , t i > 0  for all  i } , there are elements s 0 , s 1 , s 2 of K with s 0 + s 1 + s 2 = 1 , s i > 0 such that v = s 0 x 0 + s 1 x 1 + s 2 x 2 . Then we have
x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = x 0 x 1 , x 0 v , x 0 x 3 , , x 0 x n = x 0 x 1 , x 0 s 0 x 0 s 1 x 1 s 2 x 2 , x 0 x 3 , , x 0 x n = x 0 x 1 , ( s 0 1 ) x 0 + s 1 x 1 + ( 1 s 0 s 1 ) x 2 , x 0 x 3 , , x 0 x n = x 0 x 1 , ( s 0 + s 1 1 ) x 0 + ( 1 s 0 s 1 ) x 2 , x 0 x 3 , , x 0 x n = | s 0 + s 1 1 | x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = | s 2 | x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n

and hence | s 2 | = 1 since x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n 0 . Similarly, we obtain | s 0 | = | s 1 | = 1 . By the hypothesis of C , there are integers k 0 , k 1 , k 2 such that s 0 = 3 k 1 , s 1 = 3 k 2 , s 2 = 3 k 2 . Since s 0 + s 1 + s 2 = 1 , every k i is less than 0. So, one may let s 0 = 3 n 0 , s 1 = 3 n 1 , s 2 = 3 n 2 and n 0 n 1 n 2 N . Assume that one of the above inequalities holds. Then 1 = s 0 + s 1 + s 2 = 3 n 0 ( 1 + 3 n 0 n 1 + 3 n 0 n 2 ) , i.e., 3 n 0 = 1 + 3 n 0 n 1 + 3 n 0 n 2 . This is a contradiction, because the left-hand side is a multiple of 3 whereas the right-hand side is not. Thus, n 0 = n 1 = n 2 . Consequently, s 0 = s 1 = s 2 = 1 3 . This means that u is unique. □

Theorem 3.2 Let X , Y be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field K with C = { 3 n | n Z } and f : X Y be an interior-preserving n-isometry. Then the barycenter of a triangle is f-invariant.

Proof Let x 0 , x 1 and x 2 be elements of X satisfying that x 0 , x 1 and x 2 are not 2-collinear. It is obvious that the barycenter x 0 + x 1 + x 2 3 of a triangle x 0 x 1 x 2 is an interior point of the triangle. By the assumption, f ( x 0 + x 1 + x 2 3 ) is also the interior point of a triangle f ( x 0 ) f ( x 1 ) f ( x 2 ) . Since dim X > n 1 , there exist n 2 elements x 3 , , x n in X such that x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n is not zero. Since f is an n-isometry, we have
f ( x 0 ) f ( x 1 ) , f ( x 0 ) f ( x 0 + x 1 + x 2 3 ) , f ( x 0 ) f ( x 3 ) , , f ( x 0 ) f ( x n ) = x 0 x 1 , x 0 x 0 + x 1 + x 2 3 , x 0 x 3 , , x 0 x n = | 1 3 | x 0 x 1 , x 0 x 1 + x 0 x 2 , x 0 x 3 , , x 0 x n = x 0 x 1 , x 0 x 2 , x 0 x 3 , , x 0 x n = f ( x 0 ) f ( x 1 ) , f ( x 0 ) f ( x 2 ) , f ( x 0 ) f ( x 3 ) , , f ( x 0 ) f ( x n ) .
Similarly, we obtain
f ( x 1 ) f ( x 2 ) , f ( x 1 ) f ( x 0 + x 1 + x 2 3 ) , f ( x 1 ) f ( x 3 ) , , f ( x 1 ) f ( x n ) = f ( x 2 ) f ( x 1 ) , f ( x 2 ) f ( x 0 + x 1 + x 2 3 ) , f ( x 2 ) f ( x 3 ) , , f ( x 2 ) f ( x n ) = f ( x 0 ) f ( x 1 ) , f ( x 0 ) f ( x 2 ) , f ( x 0 ) f ( x 3 ) , , f ( x 0 ) f ( x n ) .
From Lemma 3.1, we get
f ( x 0 + x 1 + x 2 3 ) = f ( x 0 ) + f ( x 1 ) + f ( x 2 ) 3

for all x 0 , x 1 , x 2 X satisfying that x 0 , x 1 , x 2 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 K . 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 X and Y be non-Archimedean n-normed spaces over a linear ordered non-Archimedean field K with C = { 3 n | n Z } . If f : X Y is an interior-preserving n-isometry, then f ( x ) f ( 0 ) is additive.

Proof Let g ( x ) : = f ( x ) f ( 0 ) . One can easily check that g ( 0 ) = 0 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.

Now, let x 0 , x 1 , x 2 be elements of X satisfying that x 0 , x 1 , x 2 are not 2-collinear. Since g is an interior-preserving n-isometry, by Theorem 3.2,
g ( x 0 + x 1 + x 2 3 ) = g ( x 0 ) + g ( x 1 ) + g ( x 2 ) 3

for any x 0 , x 1 , x 2 X satisfying that x 0 , x 1 , x 2 are not 2-collinear. Using Lemma 2.8 and the property g ( 0 ) = 0 , 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

(1)
Department of Mathematics, Chungnam National University, Daejeon, Republic of Korea

References

  1. 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
  2. Baker JA: Isometries in normed spaces. Am. Math. Mon. 1971, 78: 655–658. 10.2307/2316577MATHView ArticleGoogle Scholar
  3. Cho YJ, Lin PCS, Kim SS, Misiak A: Theory of 2-Linear Product Spaces. Nova Science Publishers, New York; 2001.Google Scholar
  4. Freese RW, Cho YJ: Isometry conditions in linear 2-normed spaces. Math. Jpn. 1990, 35: 985–990.MATHMathSciNetGoogle Scholar
  5. Freese RW, Cho YJ: Geometry of Linear 2-Normed Spaces. Nova Science Publishers, New York; 2001.MATHGoogle Scholar
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. Väisälä J: A proof of the Mazur-Ulam theorem. Am. Math. Mon. 2003, 110: 633–635. 10.2307/3647749MATHView ArticleGoogle Scholar
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. Misiak A: n -inner product spaces. Math. Nachr. 1989, 140: 299–319. 10.1002/mana.19891400121MATHMathSciNetView ArticleGoogle Scholar
  19. Misiak A: Orthogonality and orthogonormality in n -inner product spaces. Math. Nachr. 1989, 143: 249–261. 10.1002/mana.19891430119MATHMathSciNetView ArticleGoogle Scholar
  20. Park C-K, Rassias TM: The N -isometric isomorphisms in linear N -normed C -algebras. Acta Math. Sin. Engl. Ser. 2006, 22: 1863–1890. 10.1007/s10114-005-0878-9MATHMathSciNetView ArticleGoogle Scholar
  21. 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
  22. 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
  23. Narici L, Beckenstein E: Strange terrain-non-Archimedean spaces. Am. Math. Mon. 1981, 88: 667–676. 10.2307/2320670MATHMathSciNetView ArticleGoogle Scholar

Copyright

© Chu and Ku; licensee Springer 2013

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.

Advertisement