# Fixed Point Theory for Contractive Mappings Satisfying -Maps in -Metric Spaces

- W Shatanawi
^{1}Email author

**2010**:181650

**DOI: **10.1155/2010/181650

© W. Shatanawi. 2010

**Received: **23 March 2010

**Accepted: **1 June 2010

**Published: **14 June 2010

## Abstract

We prove some fixed point results for self-mapping in a complete -metric space under some contractive conditions related to a nondecreasing map with for all . Also, we prove the uniqueness of such fixed point, as well as studying the -continuity of such fixed point.

## 1. Introduction

The fixed point theorems in metric spaces are playing a major role to construct methods in mathematics to solve problems in applied mathematics and sciences. So the attraction of metric spaces to a large numbers of mathematicians is understandable. Some generalizations of the notion of a metric space have been proposed by some authors. In 2006, Mustafa in collaboration with Sims introduced a new notion of generalized metric space called -metric space [1]. In fact, Mustafa et al. studied many fixed point results for a self-mapping in -metric space under certain conditions; see[1–5]. In the present work, we study some fixed point results for self-mapping in a complete -metric space under some contractive conditions related to a nondecreasing map with for all .

## 2. Basic Concepts

In this section, we present the necessary definitions and theorems in -metric spaces.

Definition 2.1 (see [1]).

Let be a nonempty set and let be a function satisfying the following properties:

(1) if ;

(2) , for all with ;

(3) for all with ;

(4) , symmetry in all three variables;

(5) for all .

Then the function is called a generalized metric, or, more specifically, a -metric on , and the pair is called a -metric space.

Definition 2.2 (see [1]).

Let be a -metric space, and let be a sequence of points of , a point is said to be the limit of the sequence , if , and we say that the sequence is -convergent to or -converges to .

Thus, in a -metric space if for any , there exists such that for all .

Proposition 2.3 (see [1]).

Let be a -metric space. Then the following are equivalent.

(1) is -convergent to .

(2) as .

(3) as .

(4) as .

Definition 2.4 (see [1]).

Let be a -metric space; a sequence is called -Cauchy if for every , there is such that , for all ; that is, as

Proposition 2.5 (see [3]).

Let be a -metric space. Then the following are equivalent.

(1)The sequence is -Cauchy.

(2)For every , there is such that , for all .

Definition 2.6 (see [1]).

Let and be -metric spaces, and let be a function. Then is said to be -continuous at a point if and only if for every , there is such that and implies . A function is -continuous at if and only if it is -continuous at all .

Proposition 2.7 (see [1]).

Let and be -metric spaces. Then is -continuous at if and only if it is -sequentially continuous at ; that is, whenever is -convergent to , is -convergent to .

Proposition 2.8 (see [1]).

Let be a -metric space. Then the function is jointly continuous in all three of its variables.

The following are examples of -metric spaces.

Example 2.9 (see [1]).

for all . Then it is clear that is a -metric space.

Example 2.10 (see [1]).

and extend to by using the symmetry in the variables. Then it is clear that is a -metric space.

Definition 2.11 (see [1]).

A -metric space is called -complete if every -Cauchy sequence in is -convergent in .

## 3. Main Results

Following to Matkowski [6], let be the set of all functions such that be a nondecreasing function with for all . If , then is called -map. If is -map, then it is an easy matter to show that

(1) for all ;

(2) .

From now unless otherwise stated we mean by the -map. Now, we introduce and prove our first result.

Theorem 3.1.

for all . Then has a unique fixed point (say ) and is -continuous at .

Proof.

Letting
, we get
. Hence
is
-convergent to
. So
is
-continuous at *u*.

As an application of Theorem 3.1, we have the following results.

Corollary 3.2.

for all . Then has a unique fixed point (say ).

Proof.

we have that is also a fixed point to . By uniqueness of , we get .

Corollary 3.3.

for all . Then has a unique fixed point (say ) and is -continuous at .

Proof.

follows from Theorem 3.1 by taking .

Corollary 3.4.

for all . Then has a unique fixed point (say ) and is -continuous at .

Proof.

the result follows from Theorem 3.1.

The above corollary has been stated in [7, Theorem 5.1.7], and proved by a different way.

Corollary 3.5.

for all . Then has a unique fixed point (say ) and is -continuous at .

Proof.

the result follows from Theorem 3.1.

Theorem 3.6.

for all . Then has a unique fixed point (say ) and is -continuous at .

Proof.

Case 1.

Letting , we conclude that , and hence .

Case 2.

Letting , we conclude that , and hence .

Case 3.

Let , we get that is -convergent to . Hence is -continuous at .

As an application to Theorem 3.6, we have the following results.

Corollary 3.7.

for all . Then has a unique fixed point (say ) and is -continuous at .

Proof.

for all the result follows from Theorem 3.6.

Corollary 3.8.

for all . Then has a unique fixed point (say ) and is -continuous at .

Proof.

It follows from Theorem 3.6 by replacing .

## Declarations

### Acknowledgments

The author would like to thank the editor of the paper and the referees for their precise remarks to improve the presentation of the paper. This paper is financially supported by the Deanship of the Academic Research at the Hashemite University, Zarqa, Jordan.

## Authors’ Affiliations

## References

- Mustafa Z, Sims B:
**A new approach to generalized metric spaces.***Journal of Nonlinear and Convex Analysis*2006,**7**(2):289–297.MathSciNetMATHGoogle Scholar - Mustafa Z, Obiedat H, Awawdeh F: Some fixed point theorem for mapping on complete
-metric spaces
*Fixed Point Theory and Applications*2008,**2008:**-12.Google Scholar - Mustafa Z, Sims B:
**Some remarks concerning -metric spaces.**In*Proceedings of the International Conference on Fixed Point Theory and Applications, 2004, Yokohama, Japan*. Yokohama; 189–198. - Mustafa Z, Sims B: Fixed point theorems for contractive mappings in complete
-metric spaces
*Fixed Point Theory and Applications*2009,**2009:**-10.Google Scholar - Mustafa Z, Shatanawi W, Bataineh M: Existence of fixed point results in
-metric spaces
*International Journal of Mathematics and Mathematical Sciences*2009,**2009:**-10.Google Scholar - Matkowski J:
**Fixed point theorems for mappings with a contractive iterate at a point.***Proceedings of the American Mathematical Society*1977,**62**(2):344–348. 10.1090/S0002-9939-1977-0436113-5MathSciNetView ArticleMATHGoogle Scholar - Mustafa Z:
*A new structure for generalized metric spaces with applications to fixed point theory, Ph.D. thesis*. University of Newcastle, Newcastle, UK; 2005.Google 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.