- Research Article
- Open Access

# On Uniformly Generalized Lipschitzian Mappings

- M Imdad
^{1}Email author and - AhmedH Soliman
^{2}

**2010**:692401

https://doi.org/10.1155/2010/692401

© M. Imdad and A. H. Soliman. 2010

**Received:**30 November 2009**Accepted:**11 April 2010**Published:**17 May 2010

## Abstract

We consider another class of generalized Lipschitzian type mappings and utilize the same to prove fixed point theorems for asymptotically regular and uniformly generalized Lipschitzian one-parameter semigroups of self-mappings defined on bounded metric spaces equipped with uniform normal structure which yield corresponding results in respect of semigroup of iterates of a self-mapping as corollaries. Our results also generalize some relevant results due to the work of Lim and Xu (1995), Yao and Zeng (2007), and Soliman (2009).

## Keywords

- Fixed Point Theorem
- Nonexpansive Mapping
- Lipschitzian Mapping
- Regular Semigroup
- Bounded Subset

## 1. Introduction

In 1989, Khamsi [1] defined normal structure and uniform normal structure for metric spaces and utilized the same to prove that nonexpansive mappings on a complete bounded metric space equipped with uniform normal structure have fixed point property and further satisfy a kind of intersection property which extends results of Maluta [2] to metric spaces. In 1995, Lim and Xu [3] proved a fixed point theorem for uniformly Lipschitzian mappings in metric spaces equipped with both property and uniform normal structure which, in turn, extends a result of Khamsi [1]. This result is indeed the metric space version of a result contained in the work of Casini and Maluta [4]. Recently, Yao and Zeng [5] established a fixed point theorem for an asymptotically regular semigroup of uniformly Lipschitzian mappings in a complete bounded metric space equipped with uniform normal structure and the property which is an improvement over certain relevant results contained in Lim and Xu [3]. Here, it may be pointed out that there exists extensive literature on weak and strong convergence theorems via iterative procedures in respect of semigroups of nonexpansive operators in Banach spaces (e.g., [6–8]).

In this paper, we introduce yet another class of uniformly generalized Lipschitzian one-parameter semigroups of self mappings defined on bounded metric spaces equipped with uniform normal structure and utilize the same to prove our results. Our results are generalizations of certain results due to Yao and Zeng [5] and also Soliman [9].

## 2. Preliminaries

Throughout this paper, (also ) stands for a metric space. In what follows, we recall some relevant definitions and results in respect of uniformly Lipschitzian mappings and uniformly generalized Lipschitzian mappings in metric spaces.

Definition 2.1 (see [4]).

If , then is called uniformly Lipschitzian, and if , then is called nonexpansive.

In 2001, Jung and Thakur [10] introduced and studied the following class of mappings.

Definition 2.2 (see [10]).

for each
and
, where
are nonnegative constants such that there exists an integer
such that
for all
. Here it may be pointed out that this class of generalized Lipschitzian mappings is relatively larger than the classes of nonexpansive, asymptotically nonexpansive, Lipschitzian, and uniformly *k*-Lipschitzian mappings. The earlier mentioned facts can be realized by choosing constants
,
, and
suitably.

Recently, in 2009, Soliman [9] defined another class of generalized Lipschitzian mappings on metric spaces as follows.

Definition 2.3.

for every If , then is called uniformly G2-Lipschitzian.

In the following (motivated by Khan and Imdad [11]), we define yet another class of generalized Lipschitzian mappings on metric spaces.

Definition 2.4.

for every If , then is called uniformly G3-Lipschitzian.

Definition 2.5 (see [12]).

Notice that the foregoing condition is satisfied if we take or , the set of nonnegative integers.

Let be a family of self mappings on Then is called a (one-parameter) semigroup on if the following conditions are satisfied:

(iii) a mapping from into is continuous when has the relative topology of

If is asymptotically regular at each , then is called an asymptotically regular semigroup on

Definition 2.6.

for each , where are nonnegative constants, , and with

The simplest uniformly G1-Lipschitzian semigroup is a semigroup of iterates of a mapping whenever and with

The following definition is introduced by Soliman [9].

Definition 2.7.

Definition 2.8.

The simplest uniformly G3-Lipschitzian semigroup is a semigroup of iterates of a mapping with

Here it may be pointed out that the different terms, namely, uniformly *k*-Lipschitzian semigroups of self mappings, uniformly G1-Lipschitzian semigroups of self mappings, uniformly G2-Lipschitzian semigroups of self mappings, uniformly G3-Lipschitzian semigroups of self mappings, and uniformly *k*-Lipschitzian semigroups of self mappings are adopted to facilitate the statements of our results.

Remark 2.9.

Notice that the class of uniformly G3-Lipschitzian semigroups is relatively larger than the other classes, namely, uniformly G1-Lipschitzian semigroups, uniformly G2-Lipschitzian semigroups, and also uniformly *k*-Lipschitzian semigroups.

*Property (R)*if any decreasing sequence of closed bounded nonempty subsets of with has a nonvoid intersection. Recall that a subset of is said to be admissible (cf. [13]) if it can be expressed as an intersection of closed balls. We denote by the family of all admissible subsets of It is obvious that defines a convexity structure on Throughout this paper any other convexity structure on is always assumed to contain Let be a bounded subset of whereas stands for the closed ball centered at with radius Following Lim and Xu [3], we will adopt the following conventions and notations:

Proposition 2.10 (see [3]).

Definition 2.11 (see [1]).

A metric space is said to have normal (resp., uniform normal) structure if there exists a convexity structure on such that (resp., for some constant for all which is bounded and consists of more than one point. In this case is said to be normal (resp., uniformly normal) in

where the supremum is taken over all bounded with It is said that has uniform normal structure if and only if

Khamsi [1] proved the following result which will be very handy in the proof of our main theorem.

Proposition 2.12 (see [1]).

Let be a complete bounded metric space and let be a convexity structure of with uniform normal structure. Then has the property

Definition 2.13 . (see [3]).

A metric space is said to have property if given any two bounded sequences and in , one can find some such that .

The following lemma due to Lim and Xu [3] will be utilized in proving our results.

Lemma 2.14 (see [3]).

Let be a complete bounded metric space equipped with uniform normal structure and the property (P). Then for any sequence and constant , the normal structure coefficient with respect to a given convexity structure , there exists some satisfying the following properties:

Definition 2.15 (see [5]).

Definition 2.16 (see [5]).

Let be a complete bounded metric space and a semigroup of self mappings defined on Then is said to have the property if for each and each , the following conditions are satisfied:

Yao and Zeng [5] proved the following result which will be used in the proof of our results.

Lemma 2.17.

Let be a complete bounded metric space with uniform normal structure and a semigroup of self mappings defined on equipped with property (*). Then for each , each , and any constant (where stands for the normal structure coefficient with respect to the given convexity structure ), there exists some satisfying the following properties:

## 3. Common Fixed Point Theorems

Our first result is a fixed point theorem for uniformly G1-Lipschitzian semigroups of self mappings defined on bounded metric spaces with uniform normal structure.

Theorem 3.1.

Let be a complete bounded metric space equipped with uniform normal structure. If is an asymptotically regular and uniformly G1-Lipschitzian semigroup of self mappings on which satisfies the property (*) with , then there exists some such that for all

Proof.

Now fix an Then by Lemma 2.17, we can inductively construct a sequence such that for each integer

yielding thereby , that is, for each This concludes the proof.

Our second result is a fixed point theorem for uniformly G3-Lipschitzian semigroups of self mappings defined on bounded metric spaces equipped with uniform normal structure.

Theorem 3.2.

Let be a complete bounded metric space equipped with uniform normal structure. If is an asymptotically regular and uniformly G3-Lipschitzian semigroup of self mappings defined on with which also satisfies the property (*), then there exists some such that for all

Proof.

Now fix an Then by Lemma 2.17, we can inductively construct a sequence such that for each integer

Then we have , that is, for each

Since the class of uniformly -Lipschitzian semigroups of self mappings is contained in the class of uniformly G2-Lipschitzian semigroups of self mappings, therefore Theorem 3.1 yields the following.

Corollary 3.3 (see [5]).

then there exists some such that for all

Again, as the class of uniformly G3-Lipschitzian semigroups is larger than the class of uniformly G2-Lipschitzian semigroups, therefore using Theorem 3.2, one immediately derives the following result due to Soliman [9].

Corollary 3.4 (see [9]).

Let be a complete bounded metric space with uniform normal structure. If is an asymptotically regular and uniformly G2-Lipschitzian semigroup of self mappings defined on with which also satisfies the property (*). Then there exists some such that for all

If one replaces the respective one parameter semigroups of generalized Lipschitzian mappings in Theorems 3.1 and 3.2 with respective semigroups of iterates of generalized Lipschitzian mappings, then one can immediately derive the following two corollaries.

Corollary 3.5.

Let be a complete bounded metric space equipped with uniform normal structure and the property (P). If is a self-mapping whose set of iterates is an asymptotically regular semigroup of G1-Lipschitzian mappings satisfying the condition (2.2), then there exists some such that .

Corollary 3.6.

Let be a complete bounded metric space equipped with uniform normal structure and the property . If is a self-mapping whose set of iterates is an asymptotically regular semigroup of G3-Lipschitzian mappings satisfying the condition (2.4), then there exists some such that .

Remark 3.7.

It will be interesting to establish Theorems 3.1 and 3.2 for left reversible semigroup of self mappings defined on a complete bounded metric space equipped with uniform normal structure following the lines of Holmes and Lau [14], Lau and Takahashi [15], and Lau [16].

## Declarations

### Acknowledgments

The second author is very grateful to Professor Dr. Anthony To-Ming Lau (University of Alberta, Edmonton, Alberta, Canada) with whom he had fruitful discussions on the theme of this work. Thanks are also due to an anonymous referee for his fruitful comments.

## Authors’ Affiliations

## References

- Khamsi MA:
**On metric spaces with uniform normal structure.***Proceedings of the American Mathematical Society*1989,**106**(3):723–726. 10.1090/S0002-9939-1989-0972234-4MathSciNetView ArticleMATHGoogle Scholar - Maluta E:
**Uniformly normal structure and related coefficients.***Pacific Journal of Mathematics*1984,**111**(2):357–369.MathSciNetView ArticleMATHGoogle Scholar - Lim T-C, Xu HK:
**Uniformly Lipschitzian mappings in metric spaces with uniform normal structure.***Nonlinear Analysis: Theory, Methods & Applications*1995,**25**(11):1231–1235. 10.1016/0362-546X(94)00243-BMathSciNetView ArticleMATHGoogle Scholar - Casini E, Maluta E:
**Fixed points of uniformly Lipschitzian mappings in spaces with uniformly normal structure.***Nonlinear Analysis: Theory, Methods & Applications*1985,**9**(1):103–108. 10.1016/0362-546X(85)90055-0MathSciNetView ArticleMATHGoogle Scholar - Yao J-C, Zeng L-C:
**Fixed point theorem for asymptotically regular semigroups in metric spaces with uniform normal structure.***Journal of Nonlinear and Convex Analysis*2007,**8**(1):153–163.MathSciNetMATHGoogle Scholar - Atsushiba S, Takahashi W:
**Weak and strong convergence theorems for nonexpansive semigroups in Banach spaces.***Fixed Point Theory and Applications*2005,**2005**(3):343–354. 10.1155/FPTA.2005.343MathSciNetView ArticleMATHGoogle Scholar - He H, Chen R:
**Strong convergence theorems of the CQ method for nonexpansive semigroups.***Fixed Point Theory and Applications*2007,**2007:**-8.Google Scholar - Saejung S:
**Strong convergence theorems for nonexpansive semigroups without Bochner integrals.***Fixed Point Theory and Applications*2008,**2008:**-7.Google Scholar - Soliman AH:
**A fixed point theorem for semigroups on metric spaces with uniform normal structure.***Scientiae Mathematicae Japonicae*2009,**69**(3):323–328.MathSciNetMATHGoogle Scholar - Jung JS, Thakur BS:
**Fixed point theorems for generalized Lipschitzian semigroups.***International Journal of Mathematics and Mathematical Sciences*2001,**28**(1):41–50. 10.1155/S0161171201007426MathSciNetView ArticleMATHGoogle Scholar - Khan MS, Imdad M:
**Fixed points of certain involutions in Banach spaces.***Journal of the Australian Mathematical Society. Series A*1984,**37**(2):169–177. 10.1017/S144678870002200XMathSciNetView ArticleMATHGoogle Scholar - Kirk WA:
**A fixed point theorem for mappings which do not increase distances.***The American Mathematical Monthly*1965,**72:**1004–1006. 10.2307/2313345MathSciNetView ArticleMATHGoogle Scholar - Dunford N, Schwartz JT:
*Linear Operators. I. General Theory, Pure and Applied Mathematics*.*Volume 7*. Interscience, New York, NY, USA; 1958:xiv+858.MATHGoogle Scholar - Holmes RD, Lau AT:
**Non-expansive actions of topological semigroups and fixed points.***Journal of the London Mathematical Society*1972,**5:**330–336. 10.1112/jlms/s2-5.2.330MathSciNetView ArticleMATHGoogle Scholar - Lau AT, Takahashi W:
**Invariant submeans and semigroups of nonexpansive mappings on Banach spaces with normal structure.***Journal of Functional Analysis*1996,**142**(1):79–88. 10.1006/jfan.1996.0144MathSciNetView ArticleMATHGoogle Scholar - Lau AT:
**Invariant means on almost periodic functions and fixed point properties.***The Rocky Mountain Journal of Mathematics*1973,**3**(1):69–75. 10.1216/RMJ-1973-3-1-69MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.