Skip to main content

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

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.

1 Introduction

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

  1. (i)

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

  2. (ii)

    |rs|=|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 nN. 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 rK and x,yX,

  1. (i)

    x=0 if and only if x=0;

  2. (ii)

    rx=|r|x;

  3. (iii)

    the strong triangle inequality

    x+ymax { 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 n1 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:XY 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 0jin} 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 1ijn.

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:XY 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 |nZ} 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 n1 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 +(1t) x 1 for some tK. 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 |1t|=1 and |t|=1. So, there are two integers k 1 , k 2 such that 1t= 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 1t= 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 |nZ} and f:XY 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 n1, there exist n1 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:XY 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(1s)f( x 0 )+tsf( x 1 )tf( 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 ) ) ts ( 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 dimXn, 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 +ts=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 |nZ}. If f:XY 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 |nZ} 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 dimX>n1, there are n2 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 |nZ} and f:XY 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 dimX>n1, there exist n2 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 |nZ}. If f:XY 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. □

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/2316577

    Article  MATH  Google 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.

    MATH  MathSciNet  Google Scholar 

  5. Freese RW, Cho YJ: Geometry of Linear 2-Normed Spaces. Nova Science Publishers, New York; 2001.

    MATH  Google 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.7627

    Article  MATH  MathSciNet  Google 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.023

    Article  MATH  MathSciNet  Google 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-9

    Article  MATH  MathSciNet  Google 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-6

    Article  MATH  Google 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-7

    Article  MATH  MathSciNet  Google Scholar 

  11. Väisälä J: A proof of the Mazur-Ulam theorem. Am. Math. Mon. 2003, 110: 633–635. 10.2307/3647749

    Article  MATH  Google 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.7276

    Article  MATH  MathSciNet  Google 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.009

    Article  MATH  MathSciNet  Google 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.053

    Article  MATH  MathSciNet  Google 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.036

    Article  MATH  MathSciNet  Google 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.017

    Article  MATH  MathSciNet  Google Scholar 

  18. Misiak A: n -inner product spaces. Math. Nachr. 1989, 140: 299–319. 10.1002/mana.19891400121

    Article  MATH  MathSciNet  Google Scholar 

  19. Misiak A: Orthogonality and orthogonormality in n -inner product spaces. Math. Nachr. 1989, 143: 249–261. 10.1002/mana.19891430119

    Article  MATH  MathSciNet  Google 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-9

    Article  MATH  MathSciNet  Google 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.

    MATH  MathSciNet  Google 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.002

    Article  MATH  MathSciNet  Google Scholar 

  23. Narici L, Beckenstein E: Strange terrain-non-Archimedean spaces. Am. Math. Mon. 1981, 88: 667–676. 10.2307/2320670

    Article  MATH  MathSciNet  Google Scholar 

Download references

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).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Se-Hyun Ku.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors conceived of the study, participated in design and coordination of the manuscript. They drafted the manuscript and participated in the sequence alignment. They also read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Chu, HY., Ku, SH. A Mazur-Ulam problem in non-Archimedean n-normed spaces. J Inequal Appl 2013, 34 (2013). https://doi.org/10.1186/1029-242X-2013-34

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords

  • Mazur-Ulam theorem
  • n-isometry
  • non-Archimedean n-normed space