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

- 850 Downloads
- 4 Citations

## 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 Open image in new window has a unique fixed point Open image in new window in Open image in new window and Open image in new window , for each Open image in new window .

Guseman [2] extended Sehgal's result by removing the condition of continuity of Open image in new window and weakening (1.1) to hold on some subset Open image in new window of Open image in new window such that Open image in new window , where, for some Open image in new window , Open image in new window contains the closure of the iterates of Open image in new window . 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 Open image in new window -metric spaces was incorrect. Finally, Mustafa and Sims [6] introduced correct definition of generalized metric space as follows.

Definition 1.2 (see [6]).

Let Open image in new window be a nonempty set, and let Open image in new window be a function satisfying the following properties:

Open image in new window if Open image in new window ;

Open image in new window ; for all Open image in new window , with Open image in new window ;

Open image in new window , for all Open image in new window , with Open image in new window ;

Open image in new window , (symmetry in all three variables);

Open image in new window , for all Open image in new window .

Then the function Open image in new window is called a generalized metric, or, more specifically, a Open image in new window -metric on Open image in new window , and the pair Open image in new window is called a Open image in new window -metric space.

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

Example 1.3.

Let Open image in new window be an ordinary metric apace, then Open image in new window can define Open image in new window -metrics on Open image in new window by

Example 1.4 (see [6]).

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

Definition 1.5 (see [6]).

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

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

Definition 1.6 (see [6]).

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

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

Proposition 1.7 (see [6]).

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

Definition 1.8 (see [6]).

A Open image in new window -metric space Open image in new window is called symmetric Open image in new window -metric space if Open image in new window , for all Open image in new window .

Proposition 1.9 (see [6]).

and that in general these inequalities cannot be improved.

Proposition 1.10 (see [6]).

A Open image in new window -metric space Open image in new window is Open image in new window -complete if and only if Open image in new window is a complete metric space.

In recent years a lot of interesting papers were published with fixed point results in Open image in new window -metric spaces, see [7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18]. This paper is our contribution to the fixed point theory in Open image in new window -metric spaces.

## 2. Fixed Point Results

for all Open image in new window , we write Open image in new window .

Theorem 2.1.

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

Proof.

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

Let Open image in new window . Uniqueness follows from (2.1), since for Open image in new window , it follows that Open image in new window . Now Open image in new window implies that Open image in new window .

so Open image in new window , Open image in new window .

Therefore, Open image in new window , where Open image in new window . For Open image in new window , Open image in new window , Open image in new window .

For Open image in new window the set Open image in new window is called the orbit for Open image in new window .

Theorem 2.2.

for all Open image in new window .

If inequality in (2.14) holds for all Open image in new window , then Open image in new window and Open image in new window , Open image in new window .

Moreover, if Open image in new window , then Open image in new window is the fixed point of Open image in new window .

Proof.

so Open image in new window is Cauchy sequence and there exists Open image in new window , for some Open image in new window , and inequality (2.15) is proved.

implies that Open image in new window .

Hence Open image in new window .

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

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

Corollary 2.3.

If (2.24) holds, for all Open image in new window or Open image in new window is orbitally continuous at Open image in new window , then Open image in new window is a fixed point of Open image in new window .

Proof.

and result follows from Theorem 2 in [19].

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

The fact that Open image in new window is orbitally continuous at Open image in new window , and that Open image in new window , implies that Open image in new window , and therefore Open image in new window .

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 Open image in new window does not have to be continuous.

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

Theorem 2.6.

holds for some Open image in new window and all Open image in new window . Then Open image in new window has a unique fixed point Open image in new window . Moreover, for every Open image in new window , Open image in new window .

Proof.

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

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

Thus by induction we obtain (2.32).

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

For Open image in new window we have Open image in new window .

Since Open image in new window , it follows that Open image in new window , which implies that Open image in new window is a fixed point of Open image in new window .

implies that Open image in new window and thus Open image in new window is the unique fixed point in Open image in new window .

If we suppose that Open image in new window is continuous, then we may prove the following theorem.

Theorem 2.7.

for some Open image in new window and all Open image in new window . Then Open image in new window has a unique fixed point Open image in new window and Open image in new window , for every Open image in new window .

Proof.

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

Remark 2.8.

The condition that Open image in new window is a continuous mapping can be relaxed by the following condition: Open image in new window is continuous at a point Open image in new window .

## 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 Open image in new window -metric spaces.

Theorem 3.1.

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

(e.g., there exists a unique common fixed point for Open image in new window , and Open image in new window )

Proof.

It obvious that Open image in new window .

Now, since that Open image in new window and Open image in new window are continuous we have that Open image in new window so Open image in new window .

which is contradiction!

So, the common fixed point for Open image in new window , and Open image in new window is unique, and proof is completed.

Remark 3.2.

For Open image in new window 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 Open image in new window is continuous.

## Notes

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

### References

- 1.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-XMathSciNetCrossRefMATHGoogle Scholar - 2.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-3MathSciNetCrossRefMATHGoogle Scholar - 3.Rhoades BE:
**A comparison of various definitions of contractive mappings.***Transactions of the American Mathematical Society*1977,**226:**257–290.MathSciNetCrossRefMATHGoogle Scholar - 4.Ć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 - 5.Dhage BC:
**Generalised metric spaces and mappings with fixed point.***Bulletin of the Calcutta Mathematical Society*1992,**84**(4):329–336.MathSciNetMATHGoogle Scholar - 6.Mustafa Z, Sims B:
**A new approach to generalized metric spaces.***Journal of Nonlinear and Convex Analysis*2006,**7**(2):289–297.MathSciNetMATHGoogle Scholar - 7.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 - 8.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.085MathSciNetCrossRefMATHGoogle Scholar - 9.Mustafa Z, Shatanawi W, Bataineh M:
**Fixed point theorem on uncomplete -metric spaces.***Journal of Matehematics and Statistics*2008,**4**(4):196–210.CrossRefGoogle Scholar - 10.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 - 11.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 - 12.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-8MathSciNetCrossRefMATHGoogle Scholar - 13.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.009MathSciNetCrossRefMATHGoogle Scholar - 14.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 - 15.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 - 16.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 - 17.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 - 18.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.026MathSciNetCrossRefMATHGoogle Scholar - 19.Park S:
**A unified approach to fixed points of contractive maps.***Journal of the Korean Mathematical Society*1980,**16**(2):95–105.MATHMathSciNetGoogle Scholar - 20.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 information

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.