- Research Article
- Open access
- Published:

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

*Fixed Point Theory and Applications*
**volumeÂ 2010**, ArticleÂ number:Â 181650 (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]).

Let be the usual metric space. Define by

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

Example 2.10 (see [1]).

Let . Define on by

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.

Let be a complete -metric space. Suppose the map satisfies

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

Proof.

Choose . Let , . Assume , for each . Claim is a -Cauchy sequence in : for , we have

given , since and , there is an integer such that

Hence

For with , we claim that

We prove Inequality (3.5) by induction on . Inequality (3.5) holds for by using Inequality (3.4) and the fact that . Assume Inequality (3.5) holds for . For , we have

By induction on , we conclude that Inequality (3.5) holds for all . So is -Cauchy and hence is -convergent to some . For , we have

Letting , and using the fact that is continuous on its variable, we get that . Hence . So is a fixed point of . Now, let be another fixed point of with . Since is a -map, we have

which is a contradiction. So , and hence has a unique fixed point. To Show that is -continuous at , let be any sequence in such that is -convergent to . For , we have

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.

Let be a complete -metric space. Suppose that the map satisfies for :

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

Proof.

From Theorem 3.1, we conclude that has a unique fixed point say . Since

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

Corollary 3.3.

Let be a complete -metric space. Suppose that the map satisfies

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

Proof.

follows from Theorem 3.1 by taking .

Corollary 3.4.

Let be a complete -metric space. Suppose there is such that the map satisfies

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

Proof.

Define by . Then it is clear that is a nondecreasing function with for all . Since

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.

Let be a complete -metric space. Suppose the map satisfies

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

Proof.

Define by . Then it is clear that is a nondecreasing function with for all . Since

the result follows from Theorem 3.1.

Theorem 3.6.

Let be a complete -metric space. Suppose that the map satisfies

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

Proof.

Choose . Let , . Assume , for each . Thus for , we have

If

then

which is impossible. So it must be the case that

and hence

Thus for , we have

The same argument is similar to that in proof of Theorem 3.1; one can show that is a -Cauchy sequence. Since is -complete, we conclude that is -convergent to some . For , we have

Case 1.

then we have

Letting , we conclude that , and hence .

Case 2.

then we have

Letting , we conclude that , and hence .

Case 3.

then we have

Letting , we conclude that , and hence . In all cases, we conclude that is a fixed point of . Let be any other fixed point of such that . Then

which is a contradiction since . Therefore, and hence . To show that is -continuous at , let be any sequence in such that is -convergent to . Then

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.

Let be a complete -metric space. Suppose there is such that the map satisfies

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

Proof.

Define by . Then it is clear that is a nondecreasing function with for all . Since

for all the result follows from Theorem 3.6.

Corollary 3.8.

Let be a complete -metric space. Suppose that the map satisfies:

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

Proof.

It follows from Theorem 3.6 by replacing .

## References

Mustafa Z, Sims B:

**A new approach to generalized metric spaces.***Journal of Nonlinear and Convex Analysis*2006,**7**(2):289â€“297.Mustafa Z, Obiedat H, Awawdeh F: Some fixed point theorem for mapping on complete -metric spaces

*Fixed Point Theory and Applications*2008,**2008:**-12.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.Mustafa Z, Shatanawi W, Bataineh M: Existence of fixed point results in -metric spaces

*International Journal of Mathematics and Mathematical Sciences*2009,**2009:**-10.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-5Mustafa Z:

*A new structure for generalized metric spaces with applications to fixed point theory, Ph.D. thesis*. University of Newcastle, Newcastle, UK; 2005.

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

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

Shatanawi, W. Fixed Point Theory for Contractive Mappings Satisfying -Maps in -Metric Spaces.
*Fixed Point Theory Appl* **2010**, 181650 (2010). https://doi.org/10.1155/2010/181650

Received:

Revised:

Accepted:

Published:

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