# On normed spaces with the Wigner Property

## Abstract

The aim of this paper is to generalize the Wigner Theorem to real normed spaces. A normed space is said to have the Wigner Property if the Wigner Theorem holds for it. We prove that every two-dimensional real normed space has the Wigner Property. We also study the Wigner Property of real normed spaces of dimension at least three. It is also shown that strictly convex real normed spaces possess the Wigner Property.

## Keywords

Isometry Phase equivalence Phase isometry The Wigner Property The Wigner Theorem## Mathematics Subject Classification

46B03 46B04## 1 Introduction

The well-known Wigner Theorem, which plays an important role in quantum mechanics, states that any transformations of the states of a physical system which preserve the transition probability associated to any pair of states are induced either by a unitary or by an anti-unitary operator on the Hilbert space associated with the physical system (see [5, 23]). Since Wigner’s proof was incomplete from the mathematical point of view, many papers have appeared to prove the Wigner Theorem (see [4, 10, 12, 14, 18, 19, 21]).

The Wigner Theorem describes those transformations of \(P_1({\mathcal {H}})\) (all rank-one projections on the Hilbert space \({\mathcal {H}}\)), which preserve the transition probability. Gehér and Šemrl [11] described the surjective isometries on the Grassmann space \(P_n({\mathcal {H}})\) of all rank *n* projections with respect to the gap metric (\(n\in {\mathbb {N}}\)), which generalize the Wigner Theorem to the Grassmann space \(P_n({\mathcal {H}})\). We would also like to draw the readers’ attention to the very recent paper [16] in which the author establishes a Wigner’s type theorem for linear operators which map projections of a fixed rank to projections of other fixed rank.

Bargmann [3] proved the Wigner Theorem which is very close to Wigner’s original statement.

### Theorem 1

*A*on \({\mathcal {H}}\) and a phase function \(\varepsilon : {\mathcal {H}} \rightarrow {\mathbb {C}}\) with \(|\varepsilon (x)|=1\) such that \(T(x)=\varepsilon (x) A(x)\) for any \(x\in {\mathcal {H}}\). Moreover, if

*T*is surjective and \({\mathcal {H}}\) is a Hilbert space, then

*A*is a unitary or an anti-unitary operator.

*T*between two normed spaces a

*phase isometry*if

*T*satisfies the equality (2). If

*E*and

*F*are both normed spaces over the field \({\mathbb {K}}\), two mappings \(T_1: E \rightarrow F\) and \(T_2: E \rightarrow F\) are said to be

*differ by a phase factor*or to be

*phase equivalent*if there exists \(\varepsilon : E \rightarrow {\mathbb {K}}\) with \(|\varepsilon (x)|=1\) such that \(T_1(x)=\varepsilon (x) T_2(x)\) for any \(x\in E\).

### Problem 1

Let *E* and *F* be normed spaces over the field \({\mathbb {K}}\) and let \(T: E \rightarrow F\) be a surjective phase isometry. Is *T* phase equivalent to a linear isometry *L* from *E* to *F*?

Recall that in 1932, Mazur and Ulam [15] showed that any surjective isometry between two real normed spaces is an affine map, that is it is a translation of a linear isometry. Bourgain [2] gave an example which shows that the complex version of the Mazur–Ulam Theorem is not valid.

In this paper we are going to consider the above problem in the case when \({\mathbb {K}}={\mathbb {R}}\). Notice that by the Wigner Theorem, this problem is solved when both *E* and *F* are real inner product spaces.

Now, we are going to recall the following

### Definition 1

Let *E* be a real normed space. *E* is said to have the Wigner Property if for any real normed space *F*, and any surjective phase isometry \(T: E \rightarrow F\), *T* is phase equivalent to a linear isometry from *E* to *F*.

Recently, Tan and Huang [20] proved that smooth real normed spaces have the Wigner Property. They also proved that some classical real Banach spaces, such as \({\mathcal {L}}^{\infty }(\Gamma )\)-type space and an \(\ell ^1(\Gamma )\)-space for some index set \(\Gamma \), have the Wigner Property.

Let us briefly summarize the contents of this paper. In Sect. 2, we will study the property of a surjective phase isometry between two real normed spaces and will give some properties of a surjective phase isometry operator, which will be used in the sequel. In Sect. 3, we will show that any two-dimensional real normed space has the Wigner Property. Section 4 deals with the Wigner Property in real finite dimensional normed spaces of dimension at least three. In particular, we will prove that any strictly convex real normed space has the Wigner Property.

In this paper, we will use the standard notations. \(E^*\) denotes the dual space of the normed space *E*. \(S_E\) and \(B_E\) denote the unit sphere and the closed unit ball of the normed space *E*, respectively. \(w^*-\hbox {exp}(B_{E^*})\) denotes the set of \(w^*\) exposed points of the unit ball \(B_{E^*}\) while ext\((B_{E^*})\) denotes the set of extremal points of that ball. sm\((S_E)\) denotes the set of smooth points of the sphere \(S_E\). \([x,y]:=\{\lambda x+(1-\lambda )y:\lambda \in [0,1]\}\) for any \(x,y\in E\). Finally, by |*A*| we will denote the cardinality of the set *A* and \(\mathrm{span}\{A\}\) will denote the linear subspace generated by the set *A*.

## 2 Preliminary results

In this section, we will study the general properties of surjective phase isometries between two real normed spaces. Lemmas 1 and 2 were given by Tan and Huang in the unpublished paper [20], so we include also their proofs for the readers’ convenience.

### Lemma 1

[20] Let *E* and *F* be real normed spaces and let \(T: E \rightarrow F\) be a phase isometry. Then \(\Vert T(x)\Vert =\Vert x\Vert \) and \(T(-x)\in \{T(x),-T(x)\}\) for all \(x\in E\). Moreover, if *T* is surjective, then *T* is injective and \(T(-x)=-T(x)\) for all \(x\in E\).

### Proof

*T*preserves the norm. Next, putting \(y=-x\) in the equality (2), we get

*T*is surjective, there exists \(z\in E\) such that \(T(z)=-T(x)\). Using the equality (2) for

*x*,

*y*,

*z*, we obtain

### Lemma 2

[20] Let *E* and *F* be real normed spaces and let \(T: E \rightarrow F\) be a phase isometry (that is not necessarily surjective). Then for every \(w^*\) exposed point \(x^*\) of \(B_{E^*}\), there exists a linear functional \(\varphi \in F^*\) of the norm one such that \(x^*(x)\in \{\varphi (T(x)),-\varphi (T(x))\}\) for all \(x\in E\).

### Proof

*n*, using the norm preserving property from Lemma 1, we have \(\Vert T(n)\Vert =n\). The Hahn-Banach theorem guarantees the existence of a linear functional \(\varphi _n\in S_{F^*}\) such that \(\Vert \varphi _n\Vert =1\) and \(\varphi _n(T(n))= n\). For every \(t\in [-n, n]\), we get

*G*is a phase isometry. By the proof above, there exists \(\varphi \in F^*\) with \(\Vert \varphi \Vert =1\) such that

*u*is a smooth point, it follows that \(x^*\) is the only one supporting functional at

*u*. Therefore, for every \(x\in X\),

### Lemma 3

Let *E* and *F* be real normed spaces, \(T: E \rightarrow F\) be a surjective phase isometry. For all \(x,y\in E\) and \(a,b\in {\mathbb {R}}\), if \(T(x_1)=aT(x)+bT(y)\), \(T(x_2)=aT(x)-bT(y)\) and \(T(x_3)=aT(x)\) for some \(x_1,x_2,x_3\in E\), then \(x^*(ax\pm by)\in \{\pm x^*(x_1), \pm x^*(x_2)\}\) and \(x^*(ax)\in \{\pm x^*(x_3)\}\), for all \(x^*\in w^*-\hbox {exp}(B_{E^*})\).

### Proof

### Lemma 4

Let *E* be a real normed space with \(dim(E)=2\). If \(|w^*-\hbox {exp}(B_{E^*})|=4\), then *E* is isometric to \(l_1^{(2)}\), that is \({\mathbb {R}}^2\) with the \(l_1-\)norm.

### Proof

*V*is a linear isometry. Therefore

*E*is isometric to \(l_1^{(2)}\). \(\square \)

The following lemma is a simple case in dimension two of the fact that two linear functionals are linearly dependent if and only if they have the same kernel space.

### Lemma 5

Let *E* be a real normed space with \(dim(E)=2\), *x*, *y* be linearly independent elements of *E* and \(x_1^*,x_2^*\in S_{E^*}\). If \(x_1^*(x)=x_1^*(y)\) and \(x_2^*(x)=x_2^*(y)\), then \(x_1^*=x_2^*\) or \(x_1^*=-x_2^*\).

### Proof

Since dim\((E)=2\), *x*, *y* are linearly independent elements of *E* and \(x_1^*(x-y)=x_2^*(x-y)=0\), it follows that \(\mathrm{ker}(x_1^*)=\mathrm{ker}(x_2^*)\), where \(\mathrm{ker}(x_i^*)\) denotes the kernel (null-space) of \(x_i^*\) for \(i=1,2\). Thus there exists \(k\in {\mathbb {R}}\) such that \(x_1^*=k x_2^*\) (see [13], the corollary on p.5). Because \(x_1^*,x_2^*\in S_{E^*}\), we infer that \(k=1\) or \(k=-1\). \(\square \)

### Theorem 2

Let *E* and *F* be real normed spaces and let \(T: E \rightarrow F\) be a surjective phase isometry. If for any two linear independent elements \(x,y\in E\), \(T(\mathrm{span}\{x,y\})\subset \mathrm{span}\{T(x),T(y)\}\), then \(T(tx)\in \{tT(x),-tT(x)\}\) for all \(x\in E\) and \(t\in {\mathbb {R}}\). Moreover, *T* is phase equivalent to a homogeneous surjective phase isometry.

### Proof

By Lemma 1, we only have to show that \(T(tx)=tT(x)\) or \(T(tx)=-tT(x)\) for all \(x\in S_E\) and \(t>0\). If not, there would exist \(x_0\in S_E\) and \(t_0>0\) such that neither \(T(t_0x_0)=t_0T(x_0)\) nor \(T(t_0x_0)=-t_0T(x_0)\). Because *T* is surjective, there exists \(x_1\in E\) with \(\Vert x_1\Vert =t_0\) such that \(T(x_1)=t_0T(x_0)\). Since *T* is injective and odd, it follows that neither \(x_1=t_0x_0\) nor \(x_1=-t_0x_0\), so \(x_0\) and \(x_1\) are linearly independent. Let \(E_0=\mathrm{span}\{x_0,x_1\}\). By Lemma 3, we have \(x^*(t_0x_0)\in \{\pm x^*(x_1)\}\) for any \(x^*\in w^*-\hbox {exp}(B_{E_0^*})\).

If \(|w^*-\hbox {exp}(B_{E_0^*})|>4\), because dim\((E_0)=2\), by Lemma 5, there exists \(x_0^*\in w^*-\) exp\((B_{E_0^*})\) such that \(x_0^*(tx_0)\not \in \{\pm x_0^*(x_1)\}\), which contradicts to the fact that \(x^*(tx)\in \{\pm x^*(x_1)\}\) for any \(x^*\in w^*-\hbox {exp}(B_{E_0^*})\).

*L*such that for every \(0\ne x\in E\) there exists a unique element \(y\in E\) such that \(x=s y\) for some \(s \in {\mathbb {R}}\). Define \(H: E \rightarrow F\) by

*H*is well defined, homogeneous and phase equivalent to

*T*. \(\square \)

Next result shows that a surjective phase isometry preserves the strong convexity of its domain.

### Theorem 3

Let *E* and *F* be two real normed spaces, and let *E* be strictly convex. If there exists a surjective phase isometry \(T: E \rightarrow F\), then *F* is also a strictly convex real normed space.

### Proof

If *F* is not strictly convex, then there exist \(x,y\in S_F\) such that \([x,y]\subset S_F\). Since *T* is surjective, there exist \(x',y'\in S_E\) such that \(T(x')=x\) and \(T(y')=y\).

*T*is a phase isometry, we have

*E*. \(\square \)

## 3 Two-dimensional normed spaces with the Wigner Property

In this section, we will show that any two-dimensional real normed spaces have the Wigner Property. First, we recall some definitions and notations.

### Definition 2

*E*be a real normed space. For any \(x,y\in S_E\), \(x\ne -y\), we define the arc of

*x*and

*y*to be the set

Freese et al. [8, Theorem 2.1, Theorem 2.2] gave the following important theorem describing a certain property of a unit sphere of a two-dimensional real normed space.

### Theorem 4

[8] Let *E* be a two-dimensional real normed space and let *x*, *y* be linearly independent elements of \(S_E\). If \(z\in A(x,y)\setminus \{x,y\}\), then \(\Vert x-z\Vert \le \Vert x-y\Vert \), and either \(\Vert z-x\Vert <\Vert y-x\Vert \) or \(\Vert y+x\Vert <\Vert z+x\Vert \). Moreover, if \(w\in A(x,y)\) is such that \(\Vert x-z\Vert =\Vert x-w\Vert \) and \(\Vert y-z\Vert =\Vert y-w\Vert \), then \(w=z\).

Let *E* be a normed space. Suppose that \(x,y\in E\). Then *x* is said to be *isosceles**orthogonal* to *y*, denoted by \(x\bot _I y\), if \(\Vert x+y\Vert =\Vert x-y\Vert \). Alonso [1] proved the existence and uniqueness of an isosceles orthogonal element of a unit sphere to any element of the unit sphere under consideration.

### Lemma 6

[1] Let *E* be a two dimensional normed space, Suppose that \(x\in S_E\). Then there exists a unique (up to the sign) element \(y\in S_E\) such that \(x\bot _I y\).

### Lemma 7

Let *E* and *F* be real normed spaces, \(dim(E)=2\) and let \(T: E \rightarrow F\) be a surjective phase isometry. Then \(dim(F)=2\).

### Proof

Suppose that dim\((F)>2\). Fix an arbitrary element \(x\in S_E\), and set \(I_x:=\{y\in S_E: y\bot _I x\}\) and \(I_{T(x)}:=\{w\in S_F: w\bot _I T(x)\}\). Since \(T: E \rightarrow F\) is a surjective phase isometry, it follows that \(T(I_x)=I_{T(x)}\).

Since dim\((E)=2\), by Lemma 6, we know that \(|I_x|=2\). Because dim\((F)>2\), so there exist \(x_1,x_2\in S_F\) such that \(\{T(x),x_1,x_2\}\) is a linearly independent set of *F*. For any \(\alpha \in [0,\pi )\), let \(F_\alpha =\mathrm{span}\{T(x), (cos\alpha ) x_1+(sin\alpha ) x_2\}\). By Lemma 6, there exists \(x_\alpha \in S_{F_\alpha }\subset S_F\) such that \(x_\alpha \in I_{T(x)}\). Since \(S_{F_{\alpha _1}}\bigcap S_{F_{\alpha _2}}=\{T(x),-T(x)\}\), it follows that \(x_{\alpha _1}\not = x_{\alpha _2}\), if \(\alpha _1\not = \alpha _2\). Thus \(|I_{T(x)}|=+\infty \), which contradicts to \(T(I_x)=I_{T(x)}\). \(\square \)

### Theorem 5

Let *E* and *F* be real normed spaces, \(dim(E)=2\) and let \(T: E \rightarrow F\) be a surjective phase isometry. Then *T* is phase equivalent to a homogeneous surjective phase isometry.

### Proof

By Lemma 7, we infer that dim\((F)=2\). Using Theorem 2 we deduce that *T* is phase equivalent to a homogeneous surjective phase isometry. \(\square \)

### Theorem 6

*E*and

*F*be real normed spaces, \(dim(E)=2\) and let \(T: E \rightarrow F\) be a surjective phase isometry. If there exist two linearly independent vectors \(x_0,y_0 \in S_E\) such that the following conditions holds for any \(a,b\in {\mathbb {R}}\):

- (i)
there are two real numbers \(\alpha (a,b),\beta (a,b)\) with \(|\alpha (a,b)|=|\beta (a,b)|=1\) such that \(T(a x_0+b y_0)=\alpha (a,b) T(a x_0)+\beta (a,b) T(b y_0)\);

- (ii)
\(\Vert a x_0+b y_0\Vert \ge \max \{a,b\}\) for \(a\ge 0\) and \(b\ge 0\).

*T*is phase equivalent to a linear isometry.

### Proof

Since phase equivalence is an equivalence relationship between all surjective phase isometries, by Theorem 5, we may assume that *T* is a homogeneous surjective phase isometry.

*T*is homogeneous, it follows that

*L*is a homogeneous phase isometry and it is phase equivalent to

*T*. Now, we will show that \(\alpha (a,1)\beta (a,1)=\alpha (1,1)\beta (1,1)\) for all \(a\not =0\).

*L*show that

*L*is a linear isometry from

*E*onto

*F*. The proof is complete. \(\square \)

Theorem 6 is important in the study of surjective phase isometry operators between two dimensional real normed spaces. We will use it to show first that any two dimensional strictly convex real normed space and next to show that any two dimensional non-strictly convex real normed space has the Wigner Property.

### Theorem 7

Let *E* be a two dimensional strictly convex real normed space and *F* be a real normed space, and let \(T: E \rightarrow F\) be a surjective phase isometry. Then *T* is phase equivalent to a linear isometry.

### Proof

*F*is strictly convex, so we obtain \(T(\lambda x_0+(1-\lambda )y_0)=-\lambda T(x_0)-(1-\lambda )T(y_0).\)

Since *T* is surjective, let \(x_1, x_2\in E\) such that \(T(x_1)=\lambda T(x_0)+(1-\lambda )T(y_0)\) and \(T(x_2)=\lambda T(x_0)-(1-\lambda )T(y_0)\).

By Lemma 1, we have \(-x_1=\lambda x_0+(1-\lambda )y_0\). Since \(x^*(x)>0\) for all \(x^*\in \{x_0^*,y_0^*,z_0^*\}\) and all \(x\in \{x_0,y_0\}\). It is obvious that \(x^*(\lambda x_0-(1-\lambda )y_0)\not \in \{\pm x^*(x_1)\}\) for all \(x^*\in \{x_0^*,y_0^*,z_0^*\}\). By Lemma 3, we infer that \(x^*(\lambda x_0-(1-\lambda )y_0)\in \{\pm x^*(x_2)\}\). Thus Lemma 5 shows that \(\lambda x_0-(1-\lambda )y_0\in \{\pm x_2\}\).

By Theorem 6, we infer that *T* is phase equivalent to a linear isometry. \(\square \)

### Lemma 8

Let *E* be a two-dimensional non-strictly convex real normed space, \(T: E \rightarrow F\) be a surjective phase-isometry. If a segment \([x,y]\subset S_E\), then for any \(0<\lambda <1\), there are two real numbers \(\alpha (\lambda ),\beta (\lambda )\) with \(|\alpha (\lambda )|=|\beta (\lambda )|=1\) such that \(T(\lambda x+(1-\lambda )y)=\alpha (\lambda ) \lambda T(x)+\beta (\lambda ) (1-\lambda )T(y)\).

### Proof

For any \(0<\lambda <1\), because \([x,y]\subset S_E\), by Lemma 1, we have \(\Vert T(\lambda x+(1-\lambda )y)\Vert =1.\)

If \(\Vert x-y\Vert =\Vert x+y\Vert =2\), then \(\Vert T(x)+T(y)\Vert =\Vert T(x)-T(y)\Vert =2\). Without loss of generality, we assume that \(\Vert T(\lambda x+(1-\lambda )y)+T(x) \Vert =2(1-\lambda )\) and \(\Vert T(\lambda x+(1-\lambda )y)+T(y)\Vert =2\lambda \). Then \(T(\lambda x+(1-\lambda )y)\in [-T(x),-T(y)]\) and \(T(\lambda x+(1-\lambda )y)=-\lambda T(x)-(1-\lambda )T(y).\) This completes the proof. \(\square \)

### Theorem 8

Let *E* be a two-dimensional non-strictly convex real normed space and *F* be a real normed space, let \(T: E \rightarrow F\) be a surjective phase isometry. Then *T* is a phase equivalent to a linear isometry.

### Proof

We will divide the proof into two cases. Case one, if *E* is isometric to \(l_1^{(2)}\). Let \(x_0=e_1=(1,0)\) and \(y_0=e_2=(0,1)\). Then, by Lemma 8 and Theorem 6, we infer that *T* is a phase equivalent to a linear isometry.

*E*is not isometric to \(l_1^{(2)}\), then there exist \(x_1^*,x_2^*,x_3^*\in \hbox {exp}(B_{E^*})\) such that \(x_i^*\not =\pm x_j^*\) for \(i\not =j\). Since

*E*is non-strictly convex, there exist \(x_0,y_0\in S_E\) such that \([x_0,y_0]\subset S_E\cap \)sm\((S_E)\) and \(\Vert x_0-y_0\Vert <1\). \(x_i^*(x_0)\not = 0\), and \(x_i^*(y_0)\not = 0\) for \(i=1,2,3\). For any \(0<\lambda <1\), Since

*T*is surjective, let \(x_1, x_2\in E\) be such that \(T(x_1)=\lambda T(x_0)+(1-\lambda )T(y_0)\) and \(T(x_2)=\lambda T(x_0)-(1-\lambda )T(y_0)\). By Lemma 8, we get \(\lambda x_0+(1-\lambda )y_0\in \{\pm x_1, \pm x_2\}\). Without loss of generality, we assume that \(\lambda x_0+(1-\lambda )y_0\in \{\pm x_1\}\). Since \(x_i^*(x_0)\not = 0\) and \(x_i^*(y_0)\not = 0\), it follows that

Lemma 3 implies that \(x_i^*(\lambda x_0-(1-\lambda )y_0)\in \{\pm x_i^*(x_2)\}\), for \(i=1,2,3.\) By Lemma 5, we obtain that \(\lambda x_0-(1-\lambda )y_0\in \{\pm x_2\}\). Then, by Lemma 8 and Theorem 6, we infer that *T* is a phase equivalent to a linear isometry. This completes the proof. \(\square \)

Now, we can obtain the main result of this section using Theorems 7 and 8.

### Theorem 9

If *E* is a two-dimensional real normed space, then *E* has the Wigner Property.

## 4 Wigner Property on real Banach spaces of dimension at least three

In the proof of the Wigner Theorem from [22], Uhlhorn highlights the connection between the Wigner Theorem and the First Fundamental Theorem of projective geometry. The First Fundamental Theorem of projective geometry says that an abstract automorphism of the set of lines in vector spaces which preserves “incidence relations” must have a simple algebraic form (see [7]). In this section, we will show that the First Fundamental Theorem of projective geometry also plays an important role in the study of real normed spaces with the Wigner Property.

Let *f* be a mapping from a set *X* into a set *Y* and let *D* be a subset of \(2^X\) - the power set of *X*. A mapping \(F: D\rightarrow 2^Y\) is said to be *induced* or *generated* by *f* if for every \(M\in D\), \(F(M)=\{f(m): m\in M\}\). As usual, this last set is also noted *f*(*M*). If *X* is a real vector space, we denote the *projectivised**space* (that is the set of all one-deminsional subspaces) by *P*(*X*). The element of *P*(*X*) generated by \(0\not =x\in X\) will be denoted by \([x]:={\mathbb {R}}\cdot x\).

Gehér [9, Theorem 3] proved the following special case of the First Fundamental Theorem of projective geometry for real vector spaces, which will be used later.

### Proposition 1

- (i)
the range of

*g*is not contained in a two-dimensional subspace of*Y*; - (ii)
\(0\not =z\in \mathrm{span}\{x,y\}\)\((x\not =0\not =y)\) implies \(g([z])\subset \mathrm{span}\{g([x]),g([y])\}\);

*g*.

### Theorem 10

Let *E* and *F* be real normed spaces, \(dim(E)\ge 3\) and let \(T: E\rightarrow F\) be a surjective phase isometry. If for any two linearly independent elements \(x,y\in E\), \(T(\mathrm{span}\{x,y\})= \mathrm{span}\{T(x),T(y)\}\), then *T* is a phase equivalent to a linear isometry.

### Proof

Since *T* is a surjective phase isometry and \(T(\mathrm{span}\{x,y\})= \mathrm{span}\{T(x),T(y)\}\), by Lemmas 1, 7 and Theorem 9, we deduce that *T* is injective, \(T([x])=[T(x)]\) and \(T(x+y)=\alpha T(x)+\beta T(y)\) for any \(x, y\in E\) with \(|\alpha |=|\beta |=1\). Hence the function \(g:P(E)\rightarrow P(F)\), \(g([x])=T([x])\) is well defined. Similarly to the proof of Lemma 7, we infer that the range of *g* is not contained in a two-dimensional subspace of *F*. For any \(0\not =z\in \mathrm{span}\{x,y\}\)\((x\not =0\not =y)\), because \(T(\mathrm{span}\{x,y\})= \mathrm{span}\{T(x),T(y)\}\), so by the definition of the function *g*, we deduce that \(g([z])\subset \mathrm{span}\{g([x]),g([y])\}\).

*T*is homogeneous, \(\lambda (tx)=\lambda (x)\) for every \(x\in E\) and \(0\ne t\in {\mathbb {R}}\). Moreover, suppose that \(x, y\in E\) are two linearly independent vectors. Let us write \(T(x+y)=\alpha T(x)+\beta T(y)\) for some real numbers \(\alpha \) and \(\beta \) with \(|\alpha |=|\beta |=1\). We immediately obtain

*T*is phase equivalent to the linear isometry \(\lambda A\). \(\square \)

Using the above result we can prove the following

### Theorem 11

Let *E* be a real strictly convex normed space. Then *E* has the Wigner Property.

### Proof

If dim\((E)=2\), then *E* has the Wigner Property by Theorem 9. Let us assume that dim\((E)\ge 3\), *F* is any real normed space and \(T: E \rightarrow F\) is a surjective phase isometry. We will show that *T* is a phase equivalent to a linear isometry. By Theorem 10, we need only to prove that \(T(\mathrm{span}\{x,y\})=\mathrm{span}\{T(x),T(y)\}\) for any two linear independent elements \(x,y\in E\).

Since *E* is a real strictly convex normed space, we can prove that \(T(tx)=tT(x)\) or \(T(tx)=-tT(x)\) for any \(x\in E\) and \(t\in {\mathbb {R}}\) in the same way as in the proof of Theorem 2. For any two linear independent elements \(x,y\in E\), let \(E_0=\mathrm{span}\{x,y\}\). Then there exist \(x_0,y_0\in S_{E_0}\) such that \(\Vert x_0-y_0\Vert =\Vert x_0+y_0\Vert \) and \(E_0=\mathrm{span}\{x_0,y_0\}\). To show that \(T(\mathrm{span}\{x_0,y_0\})= \mathrm{span}\{T(x_0),T(y_0)\}\), we only have to show that for any \(0<\lambda <1\), \(T(\lambda x_0\pm (1-\lambda )y_0)=\alpha \lambda T(x_0)+\beta (1-\lambda ) T(y_0)\) with \(|\alpha |=|\beta |=1\).

*F*is a strictly convex normed space and we get \(T(\lambda x_0+(1-\lambda )y_0)=-\lambda T(x_0)-(1-\lambda )T(y_0).\)

Similarly, we can prove that \(T(\lambda x_0-(1-\lambda )y_0)=\alpha \lambda T(x_0)+\beta (1-\lambda ) T(y_0)\) with \(|\alpha |=|\beta |=1\). This completes the proof. \(\square \)

Since every inner product space is a strictly convex normed space, by Theorem 11, one can easily get the following

### Corollary 1

Let *E* be a real inner product space and *F* be a real normed space. Let \(T: E\rightarrow F\) be a surjective phase isometry. Then *F* is a real inner product space.

### Theorem 12

Let *E* be a real normed space. If for any three different points \(x,y,z\in E\) with \(\Vert x\Vert \in \{\Vert y\Vert ,\Vert z\Vert \}\) there exists \(x^*\in w^*-exp(B_{E_0^*})\) such that \(x^*(x)\not \in \{\pm x^*(y),\pm x^*(z)\}\), where \(E_0=\mathrm{span}\{x,y,z\}\), then *E* has the Wigner Property.

### Proof

*F*be any real normed space and \(T: E \rightarrow F\) be a surjective phase isometry. By Theorem 10, we need only to prove that for any two linearly independent elements \(x,y\in E\) there exist \(\alpha ,\beta \in {\mathbb {R}}\) with \(|\alpha |=|\beta |=1\) such that \(T(x+y)= \alpha T(x)+\beta T(y)\). If not, there would exist \(x_0,y_0\in E\) such that \(T(x_0+y_0)\not \in \{\pm (T(x_0)+ T(y_0)), \pm (T(x_0)- T(y_0))\}\). Since

*T*is surjective, there exist \(x_1,x_2\in E\) such that \(T(x_1)=T(x_0)+ T(y_0)\) and \(T(x_2)=T(x_0)- T(y_0)\). Because

It is obvious that the dimension of the subspace \(E_0\) in Theorem 12 is less or equal to three. Thus a three-dimensional subspace plays a very important role in the study of real normed spaces with the Wigner Property. Hence it seems to be natural to rise the following two problems.

### Problem 2

Does every real normed space have the Wigner Property if and only if its every subspace of the dimension three has the Wigner Property?

### Problem 3

Does every real normed space of the dimensional three has the Wigner Property?

## Notes

### Acknowledgements

The authors would like to thank the anonymous referee for all his/her valuable comments which allowed us to improve the quality of this paper. The first author is grateful to the Department of Mathematics and Computer Science, Adam Mickiewicz University, Poznań, for the excellent working conditions during the visit in February 2018 to August 2018. Moreover, he wishes also to express his appreciation to Prof. Guanggui Ding for many very helpful comments regarding the isometries theory in Banach spaces. Ruidong Wang is supported by the Natural Science Foundation of China (Grant nos. 11371201.11201337, 11201338, 11301384).

## References

- 1.Alonso, J.: Uniqueness properties of isosceles orthogonality in normed linear spaces. Ann. Sci. Math. Qué.
**18**, 25–38 (1994)MathSciNetzbMATHGoogle Scholar - 2.Bourgain, J.: Real isomorphic complex Banach spaces need not be complex isomorphic. Proc. Am. Math. Soc.
**96**, 221–226 (1986)MathSciNetzbMATHCrossRefGoogle Scholar - 3.Bargmann, V.: Note on Wigner’s theorem on symmetry operations. J. Math. Phys.
**5**, 862–868 (1964)MathSciNetzbMATHCrossRefGoogle Scholar - 4.Bracci, L., Morchio, G., Strocchi, F.: Wigner’s theorem on symmetries in indefinite metric spaces. Commun. Math. Phys.
**41**, 289–299 (1975)MathSciNetzbMATHCrossRefGoogle Scholar - 5.Chevalier, G.: Wigner’s theorem and its generalizations. In: Engesser, K., Gabbay, D.M., Lehmann, D. (eds.) Handbook of Quantum Logic and Quantum Structure: Quantum Structures, pp. 429–475. Elsevier, Amsterdam (2007)CrossRefGoogle Scholar
- 6.Chmieliński, J., Ilišević, D., Moslehian, M.S., Sadeghi, G.: Perturbation of the Wigner equation in inner product \(C^*\)-modules. J. Math. Phys.
**49**, 033519 (2008)MathSciNetzbMATHCrossRefGoogle Scholar - 7.Faure, C.A.: An elementary proof of the fundamental theorem of projective geometry. Geometriae Dedicata
**90**, 145–151 (2002)MathSciNetzbMATHCrossRefGoogle Scholar - 8.Freese, R.W., Diminnie, C.R., Andalafte, E.Z.: Angle bisectors in normed linear spaces. Math. Nachr.
**131**(1), 167–173 (1987)MathSciNetzbMATHCrossRefGoogle Scholar - 9.Gehér, Gy.P.: On n-norm presevers and the Aleksandrov conservative \(n\)-distance problem. Aequat. Math.
**91**(5), 933–943 (2017)MathSciNetzbMATHCrossRefGoogle Scholar - 10.Gehér, Gy.P.: An elementary proof for the non-bijective version of Wigner’s theorem. Phys. Lett. A.
**378**, 2054–2057 (2014)MathSciNetzbMATHCrossRefGoogle Scholar - 11.Gehér, Gy.P., Šemrl, P.: Isometries of Grassmann spaces. J. Funct. Anal.
**270**, 1585–1601 (2016)MathSciNetzbMATHCrossRefGoogle Scholar - 12.Györy, M.: A new proof of Wigner’s theorem. Rep. Math. Phys.
**54**, 159–167 (2004)MathSciNetzbMATHCrossRefGoogle Scholar - 13.Holmes, R.B.: Geometric Functional Analysis and Its Applications. Springer, Berlin (1975)zbMATHCrossRefGoogle Scholar
- 14.Molnár, L.: Orthogonality preserving transformations on indefinite inner product spaces: generalization of Uhlhorn’s version of Wigner’s theorem. J. Funct. Anal.
**194**(2), 248–262 (2002)MathSciNetzbMATHCrossRefGoogle Scholar - 15.Mazur, S., Ulam, S.: Sur les transformationes isométriques despaces vectoriels normés. C. R. Math. Acad. Sci. Paris.
**194**, 946–948 (1932)zbMATHGoogle Scholar - 16.Pankov, M.: Wigner’s type theorem in terms of linear operators which send projections of a fixed rank to projections of other fixed rank. J. Math. Anal. Appl.
**474**(2), 1238–1249 (2019)MathSciNetzbMATHCrossRefGoogle Scholar - 17.Rockafellar, R.T.: Convex Analysis. Princeton University Press, Princeton (1972)Google Scholar
- 18.Sharma, C.S., Almeida, D.L.: A direct proof of Wigner’s theorem on maps which preserve transition probabilities between pure states of quantum systems. Ann. Phys.
**197**(2), 300–309 (1990)MathSciNetzbMATHCrossRefGoogle Scholar - 19.Simon, R., Mukunda, N., Chaturvedi, S., Srinivasan, V.: Two elementary proofs of the Wigner theorem on symmetry in quantum mechanics. Phys. Lett. A.
**372**(46), 6847–6852 (2008)MathSciNetzbMATHCrossRefGoogle Scholar - 20.Tan, D., Huang, X.: Phase-isometries on real normed spaces. (
**Preprint**) Google Scholar - 21.Turnšek, A.: A variant of Wigner’s functional equation. Aequat. Math.
**89**(4), 949–956 (2015)MathSciNetzbMATHCrossRefGoogle Scholar - 22.Uhlhorn, U.: Representation of symmetry transformations in quantum mechanics. Arkiv for Fysik
**23**(30), 307–340 (1962)zbMATHGoogle Scholar - 23.Wigner, E.: Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren. Vieweg, Brunswick (1931)zbMATHCrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.