- Research Article
- Open Access
- Published:

# On the Fixed-Point Set of a Family of Relatively Nonexpansive and Generalized Nonexpansive Mappings

*Fixed Point Theory and Applications*
**volume 2010**, Article number: 414232 (2010)

## Abstract

We prove that the set of common fixed points of a given countable family of relatively nonexpansive mappings is identical to the fixed-point set of a single strongly relatively nonexpansive mapping. This answers Kohsaka and Takahashi's question in positive. We also introduce the concept of strongly generalized nonexpansive mappings and prove the analogue version of the result above for Ibaraki-Takahashi's generalized nonexpansive mappings. The duality theorem for two classes of strongly relatively nonexpansive mappings and of strongly generalized nonexpansive mappings is proved.

## 1. Introduction

Let be a subset of a Banach space . A mapping is *nonexpansive* if for all In this paper, the fixed-point set of the mapping is denoted by , that is, In 1973, Bruck [1] proved that for a given countable family of nonexpansive mappings in a strictly convex Banach space there exists a single nonexpansive mapping whose fixed-point set is identical to the set of common fixed points of the family. More precisely, the following is obtained.

Theorem 1.1.

Let be a closed convex subset of a strictly convex Banach space and let be a sequence of nonexpansive mappings such that Suppose that is a sequence in such that and is defined by

Then is nonexpansive and

Recall that is *strictly convex* if whenever and are norm-one elements in satisfying it follows that It is worth mentioning that Bruck's result above remains true for the class of quasi-nonexpansive mappings, that is, the set of common fixed points of a countable family of quasi-nonexpansive mappings is identical to the fixed-point set of a single quasi-nonexpansive mapping. A mapping : is *quasi-nonexpansive* if and for all and

In 2004, Matsushita and Takahashi [2–4] introduced the so-called relatively nonexpansive mappings in Banach spaces. This class of mappings includes the resolvent of a maximal monotone operator and Alber's generalized projection. For more examples, we refer to [2–6]. Recently, Kohsaka and Takahashi [7] proved an analogue version of Bruck's result for a family of relatively nonexpansive mappings and they asked the following question.

Question 1.

For a given countable family of relatively nonexpansive mappings, is there a single *strongly relatively nonexpansive mapping* such that its fixed-point set is identical to the set of common fixed points of the family?

A positive answer to this question is given in [7] for a finite family of mappings. The purpose of this paper is to give the answer of Kohsaka and Takahashi's question in positive. We also introduce a concept of strongly generalized nonexpansive mappings and present the analogue version of the result above for Ibaraki-Takahashi's generalized nonexpansive mappings. Finally, inspired by [8], we prove the duality theorem for two classes of strongly relatively nonexpansive mappings and of strongly generalized nonexpansive mappings.

## 2. Preliminaries

We collect together some definitions and preliminaries which are needed in this paper. The strong and weak convergences of a sequence in a Banach space to an element are denoted by and , respectively. A Banach space is *uniformly convex* if whenever and are sequences in satisfying and it follows that It is known that if is uniformly convex, then it is reflexive and strictly convex. We say that is *uniformly smooth* if the dual space of is uniformly convex. A Banach space is *smooth* if the limit exists for all norm-one elements and in . It is not hard to show that if is reflexive, then is smooth if and only if is strictly convex. The value of at is denoted by The *duality mapping* is defined by

for all The following facts are known (e.g., see [9, 10]).

(a)If is smooth, then is single valued.

(b)If is strictly convex, then is one-to-one, that is, implies that .

(c)If is reflexive, then is onto.

(d) If is uniformly smooth, then is uniformly norm-to-norm continuous on each bounded subset of .

For a smooth Banach space , Alber [5] considered the functional defined by

Using this functional, Matsushita and Takahashi [2–4] studied and investigated the following mappings in Banach spaces. Suppose that is a subset of a smooth Banach space . A mapping is *relatively nonexpansive* if the following properties are satisfied.

(R1)

(R2) for all and

(R3) is demiclosed at zero, that is; whenever a sequence in converges weakly to and converges strongly to it follows that

In a Hilbert space , the duality mapping is an identity mapping and for all . Hence, if is relatively nonexpansive, then it is quasi-nonexpansive and is demiclosed at zero.

Recently, Kohsaka and Takahashi [7] proved an analogue version of Bruck's result for a family of relatively nonexpansive mappings. More precisely, they obtained the following.

Theorem 2.1 (see [7, Theorem 3.4]).

Let be a closed convex subset of a uniformly convex and uniformly smooth Banach space and let be a finite family of relatively nonexpansive mappings such that . Suppose that and are finite sequences such that and is defined by

Then is strongly relatively nonexpansive and

Recall that a relatively nonexpansive mapping [6] is *strongly relatively nonexpansive* if whenever is a bounded sequence in such that for some it follows that

To obtain the result for a countable family of relatively nonexpansive mappings, the same authors proved the following result.

Theorem 2.2 (see [7, Theorem 3.3]).

Let and be as in Theorem 2.1 and let be a sequence of relatively nonexpansive mappings such that . Suppose that and are sequences such that and is defined by

Then is relatively nonexpansive and .

Remark 2.3.

They also asked the question of whether the mapping in Theorem 2.2 is strongly relatively nonexpansive (see [7, Problem 3.5]).

The following lemmas are needed in proving the result.

Lemma 2.4 (see [11, Theorem 2]).

Let be a uniformly convex Banach space and let Then there exists a strictly increasing, continuous and convex function such that and

for all and

Lemma 2.5.

Let be a uniformly convex Banach space and let . Then there exists a strictly increasing, continuous and convex function such that and

for all with and .

Proof.

We note that both series and converge. For let be a function satisfying the properties of Lemma 2.4. Using the convexity of , we have

This completes the proof.

Lemma 2.6 (see [12, Lemma 2.10]).

Let be a strictly convex Banach space and let with If is a sequence in such that both series and converge, and

then is a constant sequence.

Lemma 2.7 (see [13, Proposition 2]).

Let be a smooth and uniformly convex Banach space. Suppose that either or is a bounded sequence in and Then

## 3. Relatively Nonexpansive Mappings and Quasi-Nonexpansive Mappings

We first start with some observation which is a tool for proving Theorem 3.2.

Theorem 3.1.

Let be a closed convex subset of a uniformly convex and uniformly smooth Banach space and let be a sequence of mappings such that and

Suppose that is a sequence in such that and is defined by

Let be a bounded sequence in Then the following are equivalent.

(a)

(b) for each .

In particular,

Proof.

For fixed and we have

In particular, for all and Hence, for each the series converges (absolutely). This implies that the mapping is well defined.

Let be a bounded sequence in Suppose that

By the boundedness of we put

Then for all We now consider the following estimates for each such that and for any :

where is the function given in Lemma 2.5 associated with the uniform convexity of and the number . Notice that . Consequently, for ,

This implies that

We next prove that

Let be given. We choose an integer such that Since as for all , we now choose an integer such that

for all and Then, if

This implies that (3.9) holds. In particular, since is uniformly norm-to-norm continuous on each bounded set, we can conclude from (3.8) that

and from (3.9) that

This together with (3.4) gives

Assertion follows immediately from (3.12) and (3.14).

Conversely, we assume that for each Since is uniformly norm-to-norm continuous on each bounded set,

We show that

Let Then there exist positive integers such that and

for all and If , then

By the uniform norm-to-norm continuity of on each bounded set, we can conclude assertion from (3.16). This completes the proof.

Theorem 3.2.

Let be a closed convex subset of a uniformly convex and uniformly smooth Banach space and let be a countable family of relatively nonexpansive mappings such that Suppose that is a sequence in such that and is defined by

Then is relatively nonexpansive and

Proof.

To show that is relatively nonexpansive, we prove only that is demiclosed at zero. Suppose that is a sequence in such that and . From Theorem 3.1, we have for each . Since each is demiclosed at zero, . Consequently, as desired.

We now give an answer of Kohsaka and Takahashi's question in positive.

Theorem 3.3.

The mapping in Theorem 2.2 is strongly relatively nonexpansive.

Proof.

The mapping can be rewritten as

where is the identity mapping, for all , and It follows from Theorem 3.2 that is relatively nonexpansive, where Consequently, by Theorem 2.1 with the mapping

is strongly relatively nonexpansive.

Using the same idea as in Theorem 3.1, we also have the following result whose proof is left to the reader to verify.

Theorem 3.4.

Let be a closed convex subset of a uniformly convex Banach space and let be a sequence of quasi-nonexpansive mappings such that . Suppose that is a sequence in such that and is defined by

Then is demi-closed at zero if and only if each mapping is demi-closed at zero.

## 4. Ibaraki-Takahashi's Generalized Nonexpansive Mappings

Let be a subset of a smooth Banach space . In 2007, Ibaraki and Takahashi [14] introduced the following mapping. A mapping is *generalized nonexpansive* if the following properties are satisfied:

(G1)

(G2) for all and .

A mapping satisfies *property (G3)* if whenever is a sequence in such that and it follows that Here denotes the convergence in the dual space.

The generalized resolvent of the maximal monotone operator where is a smooth and uniformly convex Banach space, and the sunny generalized nonexpansive retraction from a strictly convex, smooth, and reflexive Banach space onto its closed subset are examples of generalized nonexpansive mappings satisfying property (G3) (see [15]). The relation between two classes of relatively nonexpansive mappings and of generalized nonexpansive mappings is recently obtained in [8].

The property of the mapping and the demiclosedness of are related as shown in the following remark.

Remark 4.1.

Let be a subset of a smooth Banach space and Then the following assertions hold true.

If is uniformly smooth, the duality mapping is weakly sequentially continuous, and satisfies property then is demiclosed at zero.

If is uniformly convex, is weakly sequentially continuous, and is demi-closed at zero, then satisfies property

Theorem 4.2.

Let be a closed convex subset of a smooth Banach space and let be a sequence of generalized nonexpansive mappings such that Suppose that is a sequence in such that and is defined by

Then the mapping is well defined and the following assertions hold true.

If is strictly convex, then and is generalized nonexpansive.

If is uniformly convex and is a bounded sequence in then the following statements are equivalent:

(a)

(b) for each

The mapping is demi-closed at zero if and only if each mapping is demi-closed at zero.

Suppose that is uniformly convex and uniformly smooth. Then the mapping satisfies property if and only if each mapping satisfies property

Proof.

Using some basic properties of the functional , we have for all , Since the sequence is bounded for each and, hence the series converges (absolutely). This implies that is well defined. For fixed and we have the following expressions:

(i)The inclusion is obvious. To see the reverse inclusion, let By the convexity of and the expressions of (4.2), we have

It follows from Lemma 2.6 that is a constant sequence, and hence for all This implies that , that is, . Now Again, using the convexity of we can show that satisfies property and hence it is generalized nonexpansive, as desired.

(ii)Since the proof of this assertion is very similar to that of Theorem 3.1, it is omitted.

(iii) and (iv) follow directly from .

Remark 4.3.

Theorem 4.2 generalizes [16, Theorem 3.3] from a finite family to a countable one.

Following Reich [6], we introduced the following concept. A generalized nonexpansive mapping is *strongly generalized nonexpansive* if whenever is a bounded sequence in such that for some it follows that .

Lemma 4.4.

Let be a closed convex subset of a strictly convex and smooth Banach space . Suppose that is a generalized nonexpansive mapping and a strongly generalized nonexpansive mapping, respectively, and suppose that For let the mapping be defined by

Then . If, in addition, is uniformly convex, then is strongly generalized nonexpansive.

Proof.

The first assertion follows from Theorem 4.2 We now assume that is uniformly convex. Suppose that is a bounded sequence in such that for some It is clear that the sequences and are both bounded. By the uniform convexity of , we have

where is a function given by Lemma 2.4. Since and are generalized nonexpansive,

Consequently, and hence . This implies that . Since is strongly generalized nonexpansive, It follows from Lemma 2.7 that and hence This implies that and is strongly generalized nonexpansive, as desired.

The following is an analogue version of Kohsaka and Takahashi's question for a countable family of generalized nonexpansive mappings.

Theorem 4.5.

Let be a closed convex subset of a smooth and uniformly convex Banach space and let be a countable family of generalized nonexpansive mappings such that Then there exists a strongly generalized nonexpansive mapping such that

Proof.

Suppose that is a sequence in such that and We define by

Notice that is generalized nonexpansive and by Theorem 4.2 Moreover, by Lemma 4.4 and the fact that the identity is strongly generalized nonexpansive, the conclusion is satisfied by the mapping

## 5. Duality between Strongly Relatively Nonexpansive Mappings and Strongly Generalized Nonexpansive Mappings

Let be a subset of a smooth, strictly convex and reflexive Banach space and let be a mapping. We can define the *duality* of by (see [8])

We now consider a functional from into still denoted by , by

where is the duality mapping from onto It is clear that Then, whenever are elements in and are elements in satisfying and it follows that

Remark 5.1.

The following assertions hold (see [8]).

If and then In particular, Moreover, if is a sequence in and then

(i) if and only if

(ii) if and only if

If and then

The following duality theorem is proved in [8].

Theorem 5.2.

Let be a subset of a smooth, strictly convex and reflexive Banach space and let be a mapping. Suppose that is the duality of . Then the following assertions hold true.

(1)If is relatively nonexpansive, then is generalized nonexpansive with property

(2) If is generalized nonexpansive with property then is relatively nonexpansive.

We now prove the duality theorem for strongly relatively nonexpansive mappings and strongly generalized nonexpansive mappings.

Theorem 5.3.

Let be a subset of a smooth, strictly convex and reflexive Banach space and let : be a mapping. Suppose that : is the duality of . Then the following assertions hold true.

(1)If is strongly relatively nonexpansive, then is strongly generalized nonexpansive with property

(2)If is strongly generalized nonexpansive with property then is strongly relatively nonexpansive.

Proof.

We prove only and leave for the reader to verify. Suppose that is a bounded sequence in such that for some We assume that is a sequence in such that and is a point in such that Clearly, is bounded. Moreover, by Remark 5.1, we have and Consequently, It follows from the strongly relative nonexpansiveness that This completes the proof.

## References

Bruck RE Jr.:

**Properties of fixed-point sets of nonexpansive mappings in Banach spaces.***Transactions of the American Mathematical Society*1973,**179:**251–262.Matsushita S-Y, Takahashi W:

**An iterative algorithm for relatively nonexpansive mappings by a hybrid method and applications.**In*Nonlinear Analysis and Convex Analysis*. Yokohama Publishers, Yokohama, Japan; 2004:305–313.Matsushita S-Y, Takahashi W:

**Weak and strong convergence theorems for relatively nonexpansive mappings in Banach spaces.***Fixed Point Theory and Applications*2004,**2004**(1):37–47.Matsushita S-Y, Takahashi W:

**A strong convergence theorem for relatively nonexpansive mappings in a Banach space.***Journal of Approximation Theory*2005,**134**(2):257–266. 10.1016/j.jat.2005.02.007Alber YI:

**Metric and generalized projection operators in Banach spaces: properties and applications.**In*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, Lecture Notes in Pure and Applied Mathematics*.*Volume 178*. Marcel Dekker, New York, NY, USA; 1996:15–50.Reich S:

**A weak convergence theorem for the alternating method with Bregman distances.**In*Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, Lecture Notes in Pure and Applied Mathematics*.*Volume 178*. Marcel Dekker, New York, NY, USA; 1996:313–318.Kohsaka F, Takahashi W:

**The set of common fixed points of an infinite family of relatively nonexpansive mappings.**In*Banach and Function Spaces II*. Yokohama Publishers, Yokohama, Japan; 2008:361–373.Honda T, Ibaraki T, Takahashi W:

**Duality theorems and convergence theorems for nonlinear mappings in Banach spaces and applications.***International Journal of Mathematics and Statistics*2010,**6**(10):46–64.Cioranescu I:

*Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems, Mathematics and Its Applications*.*Volume 62*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1990:xiv+260.Takahashi W:

*Nonlinear Functional Analysis. Fixed Point Theory and Its Applications*. Yokohama Publishers, Yokohama, Japan; 2000:iv+276.Xu HK:

**Inequalities in Banach spaces with applications.***Nonlinear Analysis: Theory, Methods & Applications*1991,**16**(12):1127–1138. 10.1016/0362-546X(91)90200-KNilsrakoo W, Saejung S:

**Strong convergence to common fixed points of countable relatively quasi-nonexpansive mappings.***Fixed Point Theory and Applications*2008, Article ID 312454**2008:**-19 Pages.Kamimura S, Takahashi W:

**Strong convergence of a proximal-type algorithm in a Banach space.***SIAM Journal on Optimization*2002,**13**(3):938–945. 10.1137/S105262340139611XIbaraki T, Takahashi W:

**A new projection and convergence theorems for the projections in Banach spaces.***Journal of Approximation Theory*2007,**149**(1):1–14. 10.1016/j.jat.2007.04.003Ibaraki T, Takahashi W:

**Generalized nonexpansive mappings and a proximal-type algorithm in Banach spaces.**to appear in*Nonlinear Analysis and Optimization*Ibaraki T, Takahashi W:

**Block iterative methods for a finite family of generalized nonexpansive mappings in Banach spaces.***Numerical Functional Analysis and Optimization*2008,**29**(3–4):362–375. 10.1080/01630560802000835

## Acknowledgment

The corresponding author was supported by the Centre of Excellence in Mathematics, the Commission on Higher Education of Thailand.

## Author information

### Authors and Affiliations

### Corresponding author

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

## About this article

### Cite this article

Nilsrakoo, W., Saejung, S. On the Fixed-Point Set of a Family of Relatively Nonexpansive and Generalized Nonexpansive Mappings.
*Fixed Point Theory Appl* **2010**, 414232 (2010). https://doi.org/10.1155/2010/414232

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/414232

### Keywords

- Banach Space
- Convex Function
- Nonexpansive Mapping
- Bounded Sequence
- Duality Theorem