Research

# A product space with the fixed point property

Helga Fetter Nathansky1* and Enrique Llorens-Fuster2

Author Affiliations

1 Centro de Investigación en Matemáticas (CIMAT), Jalisco s/n, 36240 Guanajuato (Gto.), México

2 Dept. Análisis Matemático, Facultad de Matemáticas, 46100 Burjassot, Valencia, Spain

For all author emails, please log on.

Fixed Point Theory and Applications 2012, 2012:91 doi:10.1186/1687-1812-2012-91

 Received: 2 November 2011 Accepted: 31 May 2012 Published: 31 May 2012

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.

### Abstract

We show that the l1 sum of the van Dulst space with itself possesses the fixed point property, although it fails most of the known conditions that imply (FPP).

Mathematics Subject Classification: Primary, 46B20; 47H09.

##### Keywords:
fixed point; asymptotic normal structure; E-convexity; (PS) condition; property WORTH; orthogonal convexity

### 1. Introduction

Let C be a subset of a Banach space (X, ||·||). A mapping T: C X is called nonexpansive whenever ||Tx - Ty|| ||x - y|| for all x, y C. The space (X, ||·||) has the fixed point property (FPP) if every nonexpansive self-mapping of each nonempty bounded closed convex subset C of X has a fixed point. If the same property holds for every weakly compact convex subset of X we say that (X, ||·||) has the weak fixed point property (WFPP for short).

It has been known from the outset of the study of this property (around the early sixties of last century) that it depends strongly on ¨nice¨ geometrical properties of the space. A seminal work for this theory, due to Kirk [1] established that those Banach spaces with normal structure (NS), have the (WFPP). In particular uniformly convex Banach spaces have normal structure. A long time open major question in metric fixed point theory is: Does every reflexive Banach space have (FPP)? (See [2] for more about this problem). A special case of this question is: Does every superreflexive Banach space have (FPP)? Although superreflexive spaces have the fixed point property for isometries [3] the question for general nonexpansive mappings remains still unsolved.

Since 1965 considerable effort has been made in order to find sufficient conditions for (WFPP). Maybe the most relevant of those geometrical conditions are the following (see definitions below). We indicate along with the name of each property the year it was proved that it implies (WFPP).

(1) Asymptotic normal structure (ANS) (1981).

(2) Orthogonal convexity (OC) (1993).

(3) Prus-Szczepanik condition (PS) (2005).

(4) E-convexity (2008).

(5) Property WORTH (2010).

Each one of these properties is implied by other more or less known geometrical conditions. For instance, uniformly nonsquare Banach spaces satisfy both, (PS) and E-convexity, and uniform convexity implies (1), (2), (3) and (4).

Another seemingly open question in this field is whether (WFPP) is preserved by direct sums. Many partial affirmative answers have been obtained during the last three decades.

The aim of these notes is to give a product Banach space with the following characteristics:

(1) It enjoys (FPP).

(2) It fails all of the above conditions (1)-(5).

(3) It is the l1 product of two Banach spaces with (FPP) but it falls out of the scope of all known results guaranteeing the (FPP) for such products.

### 2. Sufficient conditions for (WFPP)

From here on, we will use the standard notation in Banach space theory, in particular B [x, r] denotes the closed ball with center x X and radius r > 0. BX and SX denote the unit ball and the unit sphere in X. The weak convergence of the sequence (xn) to x will be denoted by .

#### 2.1. Asymptotic normal structure (ANS)

This property was introduced by Baillon and Schöneberg [4].

Definition 1. A Banach space (X, ||·||) has (ANS) if for every nonempty bounded, closed and convex subset K of X consisting of more than one point, and every sequence (xn) ⊂ K with limn (xn - xn+1) = 0, there exists x K such that lim infn ||xn - x|| < diamK.

(ANS) is weaker than normal structure (NS). Among many others, the following geometrical conditions in turn imply (NS):

(a) Uniform convexity (UC), (Belluce, Kirk, 1967).

(b) ε0 (X) < 1. (Goebel, 1970). Here ε0 (X) denotes the characteristic of convexity of X.

(c) Uniform smoothness (Turett, 1982).

(d) Uniform convexity in every direction (Garkavi, 1962).

(e) Opial condition (Gossez and Lami Dozo, 1972).

(f) Near uniform convexity (van Dulst, 1981).

Theorem 1. [4] Every reflexive Banach space with asymptotic normal structure has the (FPP).

#### 2.2. Orthogonal convexity (OC)

This property is independent of (ANS) and weaker than uniform convexity. It was introduced in 1988 (see [5,6]). James space J, c0, c and Banach spaces with the Schur property like l1, are (OC). To define (OC) we need some further notation. For x, y X,

If A is a bounded subset of X, |A| = sup{||x||: x A}.

If (xn) is a bounded sequence in X, D[(xn)] = lim supm(lim supn ||xm - xn||).

Definition 2. A Banach space (X, ||.||) is orthogonally convex (OC) if for every weakly null sequence (xn) with D[(xn)] > 0, there exists β > 0 such that

Theorem 2. Every Banach space satisfying (OC) has (WFPP).

#### 2.3. Prus-Szczepanik condition (PS)

This condition was introduced by Prus and Szczepanik [7]. Given a Banach space X, x X, ε > 0 put

and

where and .

Definition 3. Let X be a non-Schur space. If there exists ε ∈ (0, 1) such that for every x SX it is the case that b1 (1, x) < 1 - ε or d (1, x) > ε we say that (X, ||.||) satisfies the (PS) condition.

Theorem 3. Every non-Schur reflexive Banach space satisfying (PS) condition has (FPP).

Properties stronger than (PS) condition are the following:

(a) Uniform convexity.

(b) Uniform noncreasyness, introduced by Prus (see [8]) and its generalizations (see [9-11]).

(c) Property M (X) > 1 (see [12]). In particular this condition covers the uniformly nonsquare Banach spaces (see [13,14]). Other reflexive Banach spaces with M (X) > 1 are those satisfying R(X) < 2 (see [15]).

#### 2.4. Conditions depending on the dual space

Very recently the authors in [16] deduced that spaces with O-convex dual have the (FPP) from the result proved in [13] that implies that X* has the (FPP). The fact that E-convex spaces have the (FPP) was proved in a different manner in [17].

The geometrical properties of O and E-convexity were coined by Naidu and Sastry [18] who proved several consequences of these properties. For instance they showed that O-convex spaces are superreflexive and that they include uniformly nonsquare Banach spaces.

Definition 4. Let 0 < ε < 2, n ≥ 2. (X, ||·||) is O (n, ε) convex, if for every x1, x2, . . ., xn in BX (SX) there exist i j ∈ {1, . . ., n} such that

X is O (n) convex, if it is O (n, ε) convex for some ε > 0 and O-convex if it is O (n) convex for some n N. A Banach space X is E-convex if and only if its dual space X* is O-convex.

Theorem 4. [17,16]. If X* is O-convex, that is if X is E-convex, then the Banach space X has the fixed point property for nonexpansive mappings.

#### 2.5. Property WORTH

A Banach space has the WORTH property (Rosenthal, 1983; Sims 1988) if limn | ||xn - x|| - ||xn + x|| | = 0 for all x X and all weakly null sequences (xn) in X.

In [19] a coefficient was defined which in some sense quantifies how far a Banach space is from possessing this property. This coefficient is given by .

Clearly μ(X) = 1 if and only if X has WORTH.

Sims raised the question whether reflexive spaces with WORTH property have (FPP). Recently Fetter and Gamboa [20] solved this problem. That is,

Theorem 5. (Fetter Gamboa 2010). If X is reflexive and μ(X) = 1, then X enjoys (FPP).

### 3. The van Dulst space

Let V be the space l2 equipped with the following equivalent norm:

This space was introduced in 1982 by van Dulst. It is (OC) [6] but it fails to have asymptotic normal structure [21]. Moreover, for every x l2,

We enumerate several geometrical properties of this space in the following result.

Proposition 1. For the van Dulst space V, one has

(1) V fails (ANS).

(2) V is (OC).

(3) V fails (PS) condition.

(4) V fails to have O-convex dual.

(5) μ(V) 2 and hence V fails WORTH property.

Proof. See [21] for (1) and [6] to see (2).

To see (3), for every positive integer n put

(3.1)

Note that | ||xn|| | = 1 and that, for m > n,

Then . Moreover, e1 SV and for every n > 1,

(3.2)

Therefore, for every ε ∈ (0, 1),

In the same way, if we consider the sequence (-xn), it is clear that . For n > 1,

(3.3)

and

Thus for every ε ∈ (0, 1) e1 SV, b1 (1, e1) > 1 - ε and d (1, e1) < ε which implies that V fails condition (PS).

(4) To see that V* is not O-convex, consider for any positive integer n the functional fn V* defined on V by fn(x) = x(1) + x(2n) + x(2n + 1).

For every x V

Moreover, | ||e2n|| | = 1 and fn (e2n) = 1. Thus .

Let m > n and take , .

Clearly | ||vm, n|| | = | ||wm, n|| | = 1. Since (fn - fm) (vm, n) = 2, .

Therefore, is a countable 2-separated subset of the unit sphere . Moreover, (fn + fm) (wm, n) = 2 which implies that . Thus is a countable 2-symmetrically separated subset of and hence V* is not O-convex.

Finally, to see (5) take xn as in (3.1). Then (xn) is weakly null and by (3.2) and (3.3), for n > 1, | ||e1 + xn|| | = 2 and | ||e1 - xn|| | = 1. Since e1 SV , it follows that μ(V) ≥ 2. ■

### 4. The space V ⊕1 V

In this section we will be concerned with the space W = V 1 V, that is the product space l2 × l2 endowed with the norm

Now consider the space Z to be l2 with the following norm:

Let (en) be the canonical basis of l2 and and . Then we may write

This implies that

(4.1)

Since and since we have

(4.2)

Clearly the function F: Z W given by

is an isometry between the two spaces. We will work mostly with the space Z.

Proposition 2. Let W = V 1 V. Then

(1) W fails (ANS).

(2) W fails to be (OC).

(3) W fails (PS) condition.

(4) W fails to have O-convex dual.

(5) μ(W) 2 and hence W fails WORTH property.

Proof. Since the van Dulst space V is isometric to a closed subspace of W, and asymptotic normal structure (ANS), Prus-Szczepanik condition (PS) and WORTH are inherited by closed subspaces, W fails (ANS), (PS) and WORTH.

For every n ∈ ℕ let Fn Z* be given by Fn(x) = x(1) + x(2n + 1) + x(2n + 3). Then, since Fn (e1) = 1 and clearly , we have that . If , for n m, then ||vm, n|| = ||wm, n|| = 1 and (Fn - Fm) (vm, n) = (Fm + Fn) (wm, n) = 2; thus .

Hence {Fn : n = 1, 2, . . .} is a symmetrically separated subset of , the space Z* cannot be O-convex and statement (4) is proven.

On the other hand consider the weakly null sequence (ek) in Z. It is obvious that ||ek|| = 1, that ||en - em|| 2 for n m and that ||en - em|| = 2 whenever m and n have different parity. Thus D(en) = lim supm (lim supn ||en - em||) = 2. If β > 0, and m and n have different parity, since

we have that em + en Mβ (en, em). Since ||en + em|| = 2, then

and therefore for every β > 0,

which implies that W fails to be (OC), that is, statement (2) holds. This completes the proof. ■

Remark 1. It seems to be an open problem whether X1 1 X2 has the (WFPP) provided that X1, X2 are two Banach spaces with the (WFPP). There are several affirmative partial answers in the literature. For instance in [22] it was shown that X1 1 X2 enjoys (WFPP) whenever X1 is uniformly convex in every direction and X2 is a Banach space such that ℝ × X2 with the l1-norm has the (WFPP). In the same paper it was pointed out that this last condition holds whenever X2 has either uniformly normal structure or many other well known sufficient conditions for (FPP).

In 2002, A. Wiśnicki proved that X1 1 X2 has the (WFPP) provided that X1 and X2 are uniformly noncreasy Banach spaces. The notion of uniformly noncreasy spaces was introduced by S. Prus to describe a large class of superreflexive Banach spaces with the (WFPP).

In [23] it was shown that X1 1 X2 has the (WFPP) provided that X1 is a Banach space with both, the weak Banach- Saks property and the (WFPP) while X2 has asymptotic (P). Asymptotic (P) is a geometric property which implies normal structure, which in turn implies (ANS) and (WFPP), introduced by B. Sims and M.A. Smyth in 1995. Very recently in [24], A. Wiśnicki proved that the assumption of the Banach- Saks property could be dropped in the above result.

The van Dulst space V which has the weak Banach- Saks property and (WFPP), does not have normal structure. Hence it fails uniform normal structure and asymptotic (P). (In fact it fails (ANS) which is even weaker than (NS)). Moreover, V is not uniformly noncreasy, because it fails (PS) condition which is more general than uniformly noncreasyness.

Thus we can see that for the space W = V 1 V, (WFPP) is preserved beyond the scope of the above theorems regarding the (WFPP) of l1 direct sums.

So we will turn our attention to show that Z and thus W has the (FPP). The proof is rather technical and we first need the following lemma which was first proved by Maurey [25].

We recall that if T: K X where K X, a sequence (xn) in K is called almost fixed point (afp) sequence (afps) for T provided that ||xn - Txn|| → 0.

Lemma 1. Let X be a Banach space and T: K K, where K X is a weakly compact convex set, be a nonexpansive mapping. If and are afp sequences for T, then there exists an afp sequence (zn) ⊂ K such that for i = 1, 2 .

Theorem 6. The space Z enjoys the (FPP).

Proof. We shall argue by contradiction using as our main tool the well known Goebel-Karlovitz lemma [26,27] whose statement is as follows: Let X be a Banach space and T: K K be a nonexpansive mapping, where K is a minimal nonempty T -invariant convex subset of X. If K is weakly compact and (xn) is an afps for T, then for any x K, limn ||xn - x|| = diamK, where diamK is the diameter of K. From this it follows that there exists a subsequence of (xn) such that .

So suppose that Z lacks the (FPP). Then there exists a nonexpansive mapping T: K K where K Z is a nonempty weakly compact convex set and T does not have a fixed point. Let us assume that K is minimal for T. Let (xn) ⊂ K be an afps for T. By standard arguments, we may suppose that 0 ∈ K, , diamK = 1. By passing to an appropriate subsequence of (xn), still called (xn), we may suppose that there is a basic block sequence (un) such that u1 (1) = u1 (2) = 0, limn ||xn - un|| = 0 and, if supp un = {i: un (i) ≠ 0}, then max supp un + 4 < min supp un+1. By taking another appropriate subsequence we may suppose further

i) limn ||Pxn||, limn ||Pxn||2, limn||Qxn||2 exist.

By passing to another subsequence, we also assume, by the Goebel- Karlovitz lemma, that ||xn - xn+1|| → 1.

Let , . By Lemma 1, there exists an afps (zn) such that .

If we take any subsequence , since and , we get that . Hence for i = 1, 2 we must have that . For convenience we call the afps and again (zk) and . By passing to appropriate subsequences of (zn) we finally get afp sequences , and (zn) such that

(a) , , .

(b) .

(c) limn ||Pzn||, limn ||Pzn||2, limn ||Qzn||2 exist.

(d) for i = 1, 2.

(e) , , exist.

(f) , , and exist.

Consequently, again appealing to the Goebel- Karlovitz lemma,

(4.3)

Thus . Hence

(4.4)

Now let , .

By the assumption on the supports of and , for fixed n and for any j ∈ ℕ, there exists r (n, j) ∈ {1, 2} such that 1, 2j + 1, 2j + 3 do not belong to . But then

Thus,

(4.5)

and similarly for any k ∈ ℕ, there exists s (n, k) ∈ {1, 2} such that 1, 2k, 2k + 2 do not belong to and

(4.6)

Therefore,

(4.7)

Observe that, since the have disjoint supports, the inner product , and

(4.8)

The above also implies

(4.9)

By (4.2) and by d), for i = 1, 2 it holds that . From this and (4.8), we obtain for , that if limn an = a, where by (4.4) a > 0,

(4.10)

There are three possible cases: (I) There exists a subsequence of (zn) with , (II) there exists a subsequence such that for some sequence (jk) in ℕ (or for some sequence (jk) in ℕ) or (III) there exist (jn) and (kn) so that

In any of those cases we will call the subsequence (zn) again. Again, by the Goebel- Karlovitz lemma,

(4.11)

(I) By (4.10) . So (zn) cannot be an afps.

(II) Now suppose that for some sequence (jn) in ℕ. By passing to a subsequence if necessary we may suppose that 2jn + 1 and 2jn + 3 are not in the support of (or of ), Define

,

,

If An + Bn = 0; we have and this is only possible if Pzn = 0. Hence, if we had , k = 1, 2, . . ., by (4.7)

and again would not be an afps.

Thus we assume that there exists N0 so that for n > N0, An +Bn ≠ 0, then, since , by (4.9),

We obtain limn ||zn|| = 1 if and only if a) and b) limn 2AnBn + cn = 0. Thus from a) . This means that where vn → 0. From b) limn 2AnBn = - limn cn and since all the quantities involved are nonnegative and limn Bn ≠ 0, then limn An = limn cn = 0. This implies on one hand that where wn → 0 and on the other where τn → 0. Putting all of this together we obtain: where ρn → 0 and . But then and therefore and where σn → 0. Hence

and this is a contradiction. The remaining cases are done similarly.

(III) Last suppose that there exist (jn) and (kn) so that

Then, by (4.7) and also . So, in order for limn ||zn|| = 1, it is necessary that

(4.12)

Assume that for a subsequence called (zn) again, 2jn + 1, 2jn + 3 are not in the support of and suppose first that 2kn and 2kn + 2 do not belong to the support of . Then and since , in this case .

Thus suppose that either 2kn or 2kn + 2 belongs to the support of and hence {2kn, 2kn + 2} is disjoint with the support of . We have by (4.12),

and

Thus and . Hence, since ||·||·and ||·||2 are equivalent, we get , and

By a) and also. Now let

Then and are two afp sequences in K.

By the above, . Also, . Applying Lemma 1 there exists an afps (wn) ⊂ K such that for i = 1, 2 we have . But since , we get that for i = 1, 2

We may assume by passing to a subsequence, that limn||Pwn||, limn||Pwn||2, lim ||Qwn||2 and for i = 1, 2, , , all exist. Then

(4.13)

From , , , we obtain . Similarly . Then

Also, since ,

(4.14)

By a) there exists c such that and since , we get that c > 0. Further,

Hence and

and therefore . Hence by (4.14)

(4.15)

As before, since the supports of and are disjoint, for j there exists i such that 2j + 1, 2j + 3 do not belong to the support of Suppose that ||wn|| = ||Pwn|| + |wn(1) +w(2jn + 1) + wn(2jn + 3)| and that for a subsequence of (wn) we have 2jn + 1, 2jn + 3 do not belong to the support of and limn|wn(1) + w(2jn + 1) + wn(2jn + 3)| exists. As usual call it (wn) again. Then

(4.16)

Thus, if , by (4.13)

(4.17)

If , then by (4.13), and then by (4.16),

(4.18)

By (4.15), (4.17) and (4.18) the only remaining possible case is that

(4.19)

for some sequence (in) in ℕ.

Let and ε > 0 so that .

Let n be fixed and define . Suppose that r(n) is such that

There is M (r (n)) so that for m > M (r (n)), and

Then

(4.20)

By (4.14) for sufficiently large n. Therefore, for such n and m > M (r (n)) we obtain

(4.21)

Using (4.20), (4.21) and (4.19),

Hence, for every n, since is an afps, . Thus lim supn||wn|| < 1.

Therefore, (wn) cannot be an afps. The other case is done similarly and this finishes the proof. ■

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

All authors read and approved the final manuscript.

### Acknowledgements

We thank the referees for their detailed reading of this paper and their helpful suggestions. The first author was partially funded by SEP CONACYT grant 102380 and by a sabbatical grant of CONACYT. She also wants to thank the Department of Mathematical Analysis of the University of Valencia for its warm hospitality.

### References

1. Kirk, WA: A fixed point theorem for mappings which do not increase distances. Am Math Mon. 72, 1004–1006 (1965). Publisher Full Text

2. Kirk, WA: Some questions in metric fixed point theory. Recent Advances on Metric Fixed Point Theory, University of Sevilla, Seville (1996) Ciencias 48

3. Lin, PK: Unconditional bases and fixed points of nonexpansive mappings. Pacific J Math. 116, 69–76 (1985)

4. Baillon, JB, Schöneberg, R: Asymptotic normal structure and fixed points of nonexpansive mappings. Proc Am Math Soc. 81(2), 257–264 (1981). Publisher Full Text

5. Jiménez-Melado, A: Una propiedad geométrica de los espacios de Banach relacionada con la Teoría del Punto Fijo. Doctoral dissertation, Univ. de Málaga (Spain) (1988)

6. Jiménez-Melado, A, Llorens-Fuster, E: A sufficient condition for the fixed point property. Nonlinear Anal Theory Methods Appl. 20, 849–853 (1993). Publisher Full Text

7. Prus, S, Szczepanik, M: Nearly noncreasy Banach spaces. J Math Anal Appl. 307, 255–273 (2005). Publisher Full Text

8. Prus, S: Banach spaces which are uniformly noncreasy. Proceedings of the Second World Congress of Nonlinear Analysts (Athens). Nonlinear Anal Theory Methods Appl. 30, 2317–2324 (1997)

9. García Falset, J, Llorens Fuster, E, Mazcuñán Navarro, E: Banach spaces which are r-uniformly noncreasy. Nonlinear Anal. 53, 957–975 (2003). Publisher Full Text

10. Fetter, H, Gamboa de Buen, B, García Falset, J: Banach spaces which are somewhat uniformly noncreasy. J Math Anal Appl. 285, 444–455 (2003). Publisher Full Text

11. Fetter, H, Gamboa de Buen, B: (r, k, l)-somewhat uniformly noncreasy Banach spaces. International Conference on Fixed Point Theory and Applications, pp. 71–80. Yokohama Publication, Yokohama (2004)

12. Domínguez Benavides, T: A geometrical coefficient implying the fixed point property and stability results. Houst J Math. 22(4), 835–849 (1996)

13. Mazcuñán Navarro, E: Geometría de los Espacios de Banach en Teoría Métrica del Punto Fijo. Doctoral dissertation, University of Valencia (2003)

14. García Falset, J, Llorens Fuster, E, Mazcuñán Navarro, E: Uniformly nonsquare Banach spaces have the fixed point property for nonexpansive mappings. J Funct Anal. 233, 494–514 (2006). Publisher Full Text

15. García Falset, J: The fixed point property in spaces with NUS property. J Math Anal Appl. 215, 532–542 (1997). Publisher Full Text

16. Fetter, H, Llorens Fuster, E: Comparison of P-convexity, O-convexity and other geometrical properties. Preprint

17. Dowling, PN, Randrianantoanina, B, Turett, B: The fixed point property via dual space properties. J Funct Anal. 255, 768–775 (2008). Publisher Full Text

18. Naidu, SVR, Sastry, KPR: Convexity condition in normed spaces. J Reine Angew Math. 297, 35–53 (1978)

19. Jiménez-Melado, A, Llorens-Fuster, E: The fixed point property in uniformly nonsquare Banach spaces. Boll Un Mat Ital. 10(A), 587–595 (1996)

20. Fetter, H, Gamboa de Buen, B: Properties WORTH and WORTH*, (1 + δ)-embeddings in Banach spaces with 1-unconditional basis and wFPP. Fixed Point Theory Appl. 7 Article ID 342691 (2010)

21. van Dulst, D: Some geometric properties related to normal structure. Nonlinear Analysis and Applications. Lecture Notes in Pure and Applied Mathematics, pp. 155–161. Dekker, New York (1982)

22. Kuczumow, T, Reich, S, Schmidt, M: A fixed point property of l1- product spaces. Proc Am Math Soc. 119, 457–463 (1993)

23. Prus, S, Wiśnicki, A: On the fixed point property in direct sums of Banach spaces with strictly monotone norms. Stud Math. 186, 87–99 (2008). Publisher Full Text

24. Wiśnicki, A: On the fixed points of nonexpansive mappings in direct sums of Banach spaces. Stud Math. 207, 75–84 (2011). Publisher Full Text

25. Maurey, B: Points fixes des certain faiblement compacts de L1. Seminaire d Analyse Fonctionelle 1980-1981, Ecole Polytechnique, Palaiseau

26. Goebel, K: On the structure of the minimal invariant sets for nonexpansive mappings. Ann Univ Marie Curie-Sklodowska. 29, 73–77 (1975)

27. Karlovitz, L: Existence of fixed points for nonexpansive mappings in spaces without normal structure. Pacific J Math. 66, 153–156 (1976)