- Research Article
- Open Access

# On Mappings with Contractive Iterate at a Point in Generalized Metric Spaces

- Ljiljana Gajić
^{1}Email author and - Zagorka Lozanov-Crvenković
^{1}

**2010**:458086

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

© Gajić and and Z. Lozanov-Crvenković. 2010

**Received:**7 September 2010**Accepted:**29 December 2010**Published:**4 January 2011

## Abstract

Using the setting of generalized metric space, the so-called *G*-metric space, fixed point theorems for mappings with a contractive and a generalized contractive iterate at a point are proved. These results generalize some comparable results in the literature. A common fixed point result is also proved.

## Keywords

- Positive Integer
- Continuous Mapping
- Differential Geometry
- Symmetric Space
- Arbitrary Point

## 1. Introduction

Sehgal in [1] proved fixed point theorem for mappings with a contractive iterate at a point and therefore generalized a well-known Banach theorem.

Theorem 1.1.

Then has a unique fixed point in and , for each .

Guseman [2] extended Sehgal's result by removing the condition of continuity of and weakening (1.1) to hold on some subset of such that , where, for some , contains the closure of the iterates of . Further extensions appear in [3, 4]. Our aim in this study is to show that these results are valid in more general class of spaces.

In 1963, S. Gähler introduced the notion of 2-metric spaces but different authors proved that there is no relation between these two function and there is no easy relationship between results obtained in the two settings. Because of that, Dhage [5] introduced a new concept of the measure of nearness between three or more object. But topological structure of so called -metric spaces was incorrect. Finally, Mustafa and Sims [6] introduced correct definition of generalized metric space as follows.

Definition 1.2 (see [6]).

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

if ;

; for all , with ;

, for all , with ;

, (symmetry in all three variables);

, for all .

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

Clearly these properties are satisfied when is the perimeter of triangle with vertices at , , and , moreover taking in the interior of the triangle shows that is the best possible.

Example 1.3.

Let be an ordinary metric apace, then can define -metrics on by

,

.

Example 1.4 (see [6]).

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

Definition 1.5 (see [6]).

Let be a -metric space, and let be sequence of points of , a point is said to be the limit of the sequence , if , and one says that the sequence is -convergent to

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

Definition 1.6 (see [6]).

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

A -metric space is said to be -complete (or complete -metric) if every -Cauchy sequence in is -convergent in .

Proposition 1.7 (see [6]).

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

Definition 1.8 (see [6]).

A -metric space is called symmetric -metric space if , for all .

Proposition 1.9 (see [6]).

and that in general these inequalities cannot be improved.

Proposition 1.10 (see [6]).

A -metric space is -complete if and only if is a complete metric space.

In recent years a lot of interesting papers were published with fixed point results in -metric spaces, see [7–18]. This paper is our contribution to the fixed point theory in -metric spaces.

## 2. Fixed Point Results

for all , we write .

Theorem 2.1.

Let or . Let , with . If there exists such that for , , then is the unique fixed point of in . Moreover, , , for any for , and for if .

Proof.

Since need not be less then 1 we can use metric fixed point results only for . On the other side, using the concept of -metric space, we are going to prove the result, if the first case for any , and in the second one for . This means that our results are real generalization in the case of nonsymmetric -metric spaces.

Let . Uniqueness follows from (2.1), since for , it follows that . Now implies that .

so , .

Therefore, , where . For , , .

For the set is called the orbit for .

Theorem 2.2.

for all .

If inequality in (2.14) holds for all , then and , .

Moreover, if , then is the fixed point of .

Proof.

so is Cauchy sequence and there exists , for some , and inequality (2.15) is proved.

so .

implies that .

Hence .

Now, let us suppose that . Since by Theorem 2.1 is the fixed point of in and .

For , in inequality (2.14) independently on , we are going to simplify the proof and to relax the condition in (2.14).

Corollary 2.3.

If (2.24) holds, for all or is orbitally continuous at , then is a fixed point of .

Proof.

and result follows from Theorem 2 in [19].

and there exists . If (2.24) holds for all , then by Theorem 2.2, since , it follows that .

The fact that is orbitally continuous at , and that , implies that , and therefore .

Remark 2.4.

Let us note that this result is very close to Theorem 2.1 in [8].

Remark 2.5.

In the statements above does not have to be continuous.

The next theorems are generalizations of Ćirić fixed point results in [4].

Theorem 2.6.

holds for some and all . Then has a unique fixed point . Moreover, for every , .

Proof.

for all . Then the result follows from Theorem 2.1 in [4] and it is true for all .

But need not to be less than 1, so we will prove the statement by using -metric.

Thus by induction we obtain (2.32).

Let us prove that is a Cauchy sequence. Let , , , and we define inductively a sequence of integers and a sequence of points in as follows: , and , . Evidently, is a subsequence of the orbit . Using this sequence we will prove that is a Cauchy sequence.

For we have .

Since , it follows that , which implies that is a fixed point of .

implies that and thus is the unique fixed point in .

If we suppose that is continuous, then we may prove the following theorem.

Theorem 2.7.

for some and all . Then has a unique fixed point and , for every .

Proof.

Therefore, is a fixed point of . By the same argument as in the proof of Theorem 2.6, it follows that is a unique fixed point of .

Remark 2.8.

The condition that is a continuous mapping can be relaxed by the following condition: is continuous at a point .

## 3. A Common Fixed Point Result

Now, we are going to prove Hadžić [20] fixed point theorem in 2-metric space, in a manner of -metric spaces.

Theorem 3.1.

Let be a complete -metric space, and one to one continuous mappings, continuous mapping commutative with and . Suppose that there exists a point such that is complete and that the following conditions are satisfied:

(e.g., there exists a unique common fixed point for , and )

Proof.

It obvious that .

so .

Now, since that and are continuous we have that so .

which is contradiction!

So, the common fixed point for , and is unique, and proof is completed.

Remark 3.2.

For condition (2.14) is satisfied but the Theorem 2.2 is not just a consequence of Theorem 3.1 since in Theorem 2.2 we do not suppose that is continuous.

## Declarations

### Acknowledgments

The authors are thankful to professor B. E. Rhoades, for his advice which helped in improving the results. This work was supported by grants approved by the Ministry of Science and Technological Development, Republic of Serbia, for the first author by Grant no. 144016, and for the second author by Grant no. 144025.

## Authors’ Affiliations

## References

- Sehgal VM:
**A fixed point theorem for mappings with a contractive iterate.***Proceedings of the American Mathematical Society*1969,**23:**631–634. 10.1090/S0002-9939-1969-0250292-XMathSciNetView ArticleMATHGoogle Scholar - Guseman LF Jr.:
**Fixed point theorems for mappings with a contractive iterate at a point.***Proceedings of the American Mathematical Society*1970,**26:**615–618. 10.1090/S0002-9939-1970-0266010-3MathSciNetView ArticleMATHGoogle Scholar - Rhoades BE:
**A comparison of various definitions of contractive mappings.***Transactions of the American Mathematical Society*1977,**226:**257–290.MathSciNetView ArticleMATHGoogle Scholar - Ćirić L:
**On Sehgal's maps with a contractive iterate at a point.***Publications de l'Institut Mathématique*1983,**33**(47):59–62.MATHGoogle Scholar - Dhage BC:
**Generalised metric spaces and mappings with fixed point.***Bulletin of the Calcutta Mathematical Society*1992,**84**(4):329–336.MathSciNetMATHGoogle Scholar - 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, Article ID 189870**2008:**-12 Pages.Google Scholar - Abbas M, Rhoades BE:
**Common fixed point results for noncommuting mappings without continuity in generalized metric spaces.***Applied Mathematics and Computation*2009,**215**(1):262–269. 10.1016/j.amc.2009.04.085MathSciNetView ArticleMATHGoogle Scholar - Mustafa Z, Shatanawi W, Bataineh M:
**Fixed point theorem on uncomplete -metric spaces.***Journal of Matehematics and Statistics*2008,**4**(4):196–210.View ArticleGoogle Scholar - Shatanawi W:
**Fixed point theory for contractive mappings satisfying -maps in -metric spaces.***Fixed Point Theory and Applications*2010, Article ID 181650**2010:**-9 Pages.Google Scholar - Mustafa Z, Sims B:
**Fixed point theorems for contractive mappings in complete -metric spaces.***Fixed Point Theory and Applications*2009, Article ID 917175**2009:**-10 Pages.Google Scholar - Dehghan Nezhad A, Mazaheri H:
**New results in -best approximation in -metric spaces.***Ukrainian Mathematical Journal*2010,**62**(4):648–654. 10.1007/s11253-010-0377-8MathSciNetView ArticleMATHGoogle Scholar - Saadati R, Vaezpour SM, Vetro P, Rhoades BE:
**Fixed point theorems in generalized partially ordered -metric spaces.***Mathematical and Computer Modelling*2010,**52**(5–6):797–801. 10.1016/j.mcm.2010.05.009MathSciNetView ArticleMATHGoogle Scholar - Mustafa Z, Shatanawi W, Bataineh M:
**Existence of fixed point results in -metric spaces.***International Journal of Mathematics and Mathematical Sciences*2009, Article ID 283028**2009:**-10 Pages.Google Scholar - Manro S, Bhatia SS, Kumar S:
**Expansion mapping theorems in -metric spaces.***International Journal of Contemporary Mathematical Sciences*2010,**5**(51):2529–2535.MathSciNetMATHGoogle Scholar - Chugh R, Kadian T, Rani A, Rhoades BE:
**Property P in -metric spaces.***Fixed Point Theory and Applications*2010, Article ID 401684**2010:**-12 Pages.Google Scholar - Mustafa Z, Awawdeh F, Shatanawi W:
**Fixed point theorem for expansive mappings in -metric spaces.***International Journal of Contemporary Mathematical Sciences*2010,**5**(50):2463–2472.MathSciNetMATHGoogle Scholar - Abbas M, Nazir T, Radenović S:
**Some periodic point results in generalized metric spaces.***Applied Mathematics and Computation*2010,**217**(8):4094–4099. 10.1016/j.amc.2010.10.026MathSciNetView ArticleMATHGoogle Scholar - Park S:
**A unified approach to fixed points of contractive maps.***Journal of the Korean Mathematical Society*1980,**16**(2):95–105.MATHMathSciNetGoogle Scholar - Hadžić O:
**On common fixed point theorems in 2-metric spaces.***Zbornik Radova Prirodno-Matematičkog Fakulteta. Serija za Matemati*1982,**12:**7–18.MATHMathSciNetGoogle 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.