##
On Some Well Known Fixed Point Theorems in *b*-Metric Spaces

**Mehmet Kir**^{1,}, **Hükmi Kiziltunc**^{1}

^{1}Department of Mathematics, Faculty of Science, Ataturk University, Erzurum-Turkey

### Abstract

In this paper, our purpose is to show that Kannan Type and Chatterjea type contractive mappings have unique fixed point in b-metric spaces. Also, we see surprisingly a way that contrary to the known (usual) metric spaces, any contraction mapping is not need to be a weak conraction mapping in b-metric spaces.

**Keywords:** ** **fixed point, b-metric spaces, contraction mappings

*Turkish Journal of Analysis and Number Theory*, 2013 1 (1),
pp 13-16.

DOI: 10.12691/tjant-1-1-4

Received September 14, 2013; Revised September 21, 2013; Accepted September 23, 2013

**Copyright:**© 2013 Science and Education Publishing. All Rights Reserved.

### Cite this article:

- Kir, Mehmet, and Hükmi Kiziltunc. "On Some Well Known Fixed Point Theorems in
*b*-Metric Spaces."*Turkish Journal of Analysis and Number Theory*1.1 (2013): 13-16.

- Kir, M. , & Kiziltunc, H. (2013). On Some Well Known Fixed Point Theorems in
*b*-Metric Spaces.*Turkish Journal of Analysis and Number Theory*,*1*(1), 13-16.

- Kir, Mehmet, and Hükmi Kiziltunc. "On Some Well Known Fixed Point Theorems in
*b*-Metric Spaces."*Turkish Journal of Analysis and Number Theory*1, no. 1 (2013): 13-16.

Import into BibTeX | Import into EndNote | Import into RefMan | Import into RefWorks |

### 1. Introduction and Prelimnaries

Fixed point theory is one of the most important topic in development of nonlinear analysis. Also, fixed point theory has been used effectively in many other branch of science, such as chemistry, biology, economics, computer science, engineering, and many others.

It is well known that Banach’s contraction mapping theorem is one of the pivotal results of functional analysis. A mapping where (X, d) is a metric space, is said to be a contraction if there exists such that for all ;

(1.1) |

If the metric space (X, d) is complete then the mapping satisfying (1.1) has a unique fixed point. Inequalty (1.1) implies continuity of T. A natural question is that whether we can find contractive conditions which will imply existence of fixed point in a complete metric space but will not imply continuity.

Kannan in ^{[2]} established the following result in which the above question has been answered in the affirmative.

If where (X, d) is a complete metric space, satisfies the inequlity

(1.2) |

where and then T has a unique fixed point. The mappings satisfying (1.2) are called Kannan type mappings.

A similar contractive condition has been introduced by Chatterjea ^{[3]} as following.

If where (X, d) is a complete metric space, satisfies the inequality

(1.3) |

where and then T has a unique fixed point. The mappings satisfying (1.3) are called Chatterjea type mappings.

Some problems, particularly the problem of the convergence of measurable functions with respect to a measure, lead to a generalization of notation of metric. Using this idea, Czerwik in ^{[4]} and ^{[5]} presented a generalization of the well known Banach’s fixed point theorem in so called *b*-metric spaces.

Our purpose is to show that some well-known fixed point theorems are valid in *b*-metric spaces. It is interesting that we see some properties in (usual) metric space is not valid in *b*-metric space.

**De****fi****nition 1. **^{[7]} *Let X be a nonempty set and let s** **≥** **1 be a given real number. A** **function ** is called a b-metric provided that, for all *,

1. * if and only if **,*

*2. **,*

*3. **,*

*A pair (X, d) is called a **b**-**metric space*.

It is clear that the definiton of *b*-metric space is a extension of usual metric space. Also, if we consider s = 1 in Definition 1, then we obtain definition of usual metric space. By this reason, our results are more general than the same results in (usual) metric space.

We can give some example of *b*-metric space as following:

**Example 1.** ^{[6]} *The space **,*

*together** with the function *

*where ** is a b-metric space. By an elementary calculation we obtain that*

**Example 2.*** *^{[6]}* The space ** of all real functions ** such that*

*is b**-**metric space if we take*

*for each **,*

**Remark 1.*** Note that a (usual) metric space is evidently a b-metric space. However,** **Czerwik *^{[4, 5]}* has shown that a b-metric on X need not be a metric on X**.*

Now, we illüstrate Remark 1 as follows:

**Example 3. **^{[7]} *Let X = **{0, 1, 2}**and d (2**, **0) = d (0** **; 2) = m** **≥** **2**,** d (0** **1) = d (1**, **2) =** **d (0**,** 1) = d (2**,** 1) = 1 and d (0**,** 0) = d (1**,** 1) = d (2**,** 2) = 0**. **Then,*

*for all **.** If m > 2, the ordinary triangle inequality does not hold*.

We continue by presenting definition of Cauchy sequence, convergent sequence and complete *b*-metric space.

**De****fi****nition 2. **^{[6]} *Let (X**,** d) be a b**-**metric space. Then a sequence (x*_{n}*) in X is called** **Cauchy sequence if and only if for all** ** there exists ** such that for each** ** we have *.

**De****fi****nition 3. **^{[6]} *Let (X**,** d) be a b**-**metric space. Then a sequence (x*_{n}*) in X is called** **convergent sequence if and **only if there exists ** **such that for all there exists** ** such that for all ** we have **.** In this case we write *.

**De****fi****nition 4.** ^{[6]} *The b**-**metric space is complete if every Cauchy sequence convergent.*

**De****fi****nition 5**. ^{[8]} *Let E be a nonempty set and ** a selfmap. We say that ** **is a **fi**xed point of T if T (x) = x and denote by FT or Fix (T) the set of all **fi**xed points** **of T.*

*Let E be any set and ** a selfmap. For any given **, we de**fi**ne T*^{n}* (x)** **inductively by T*^{0}* (x) = x and **; we recall T*_{n}*(x) the nth iterative** **of x under T**.*

*For any** **, the sequence ** given by*

(1.4) |

*is called the sequence of successive approximations with the initial value x*_{0}*. It is also** **known as the Picard iteration starting at x*_{0}*.*

**De****fi****nition 6.** ^{[8]} *Let (X**,** d) be a metric space. A mapping ** is called weak** **contraction if there exists a constant ** and some ** such that*

(1.5) |

*fall** all *.

**Remark 2.** ^{[8]} *Due to the symmetry of the **distance**, the weak contractive condition (1.5)** **implicitly includes the following dual one*

(1.6) |

*fall** all* .

Consequently, in order to check the weak contractiveness of T; it is necessary to check both (1.5) and (1.6).

**Remark 3. ***It is clear that any contraction mapping is also weak contraction mapping in** **a (usual) metric space.*

### 2. Main Results

In this section, we give some fixed point theorems arising from *b*-metric spaces. Also, we find an intersting comparison between (usual) metric spaces and *b*-metric spaces. Our first theorem about Banach’s contraction princible in *b*-metric spaces.

**Theorem 1.** *Let (X**,** d) be a complete b**-**metric space with constant s** **≥** **1 and de**fi**ne the** **sequence ** by the **r**ecursion (1.4). Let ** **be a contraction with the** **restrictions ** and **.** **Then, there exists ** such that ** and ** is** **unique **fi**xed point of T*.

*Proof*. *Let ** and ** **be a sequence in X de**fi**ned as following*

Since T is a contraction with constant then, we obtain

*Continuing this process*, *we eas**i**ly arrive at*

(2.1) |

*Now,* *we show that ** is a Cauchy sequence in X**.** Let m**,** n > 0 with m > n,*

(2.2) |

(2.3) |

*When we take * *in (2.3), we arrive at*

*Hence, ** **is a Cauchy sequence in X**.** In view of completeness of X; we consider** **that ** **convergent to *.

*Now, we show that** ** **is the unique **fi**xed point of T**.** Indeed*

*Therefore*, *is a **fi**xed point of T**.** T*_{o}* **is **complete the proof** **fi**naly, we have to show that the** fi**xed point is unique. Assume that ** is an other **fi**xed point of T**. **Then, **.*

(2.4) |

*The (2.4) implies that **; but this case is a contradiction to **. So the **fi**xed** **point is unique. This completes the proof.*

Our next theorem about Kannan type fixed point theorem in *b*-metric spaces.

**The****orem 2.** *Let (X**,** d) be a complete b**-**metric space with constant ** and de**fi**ne the** **sequence ** by the **r**ecursion (1.4). Let ** be a mapping for which** **there exists** ** **such that*

(2.5) |

*for all *.

*Then, there exists ** such that ** **and ** **is unique** fi**xed point of T*.

*Proof. Let ** and ** **be a sequence in X de**fi**ned as **,** **. **By using (2.5) and (1.4) we obtain that*

*and** we obtain*

(2.6) |

*Similarly, we have*

(2.7) |

*Note that ** then **. Thus, T is a contraction mapping. We deduce,** **in similar manner to that in the proof of Theorem 1 that ** **is a Cauchy sequence** **and hence, a convergent sequence, too. We consider that ** **convergent to** ** then we have*

*and we arrive at*

(2.8) |

*Also, thanks to (2.7), we obtain that*

(2.9) |

*Letting ** in (2.9),*

*Therefore, **and implies that ** **is a **fi**xed point of T**.** It is easy to see the **fi**xed** **point is unique.*

**Remark 4. ***In proof of Theorem 2, **it** is clear that we have not heard of any restriction to actualize the Kannan**’**s **fi**xed point theorem in b**-**metric spaces*.

**Proposition 1.** *Contrary to the known (usual) metric spaces, any mapping satisfying the** **contractive condition (2.5) need not be a weak contraction **i**n a b**-**metric spaces unless** **under the terms* .

*Proof.* *Let ** be a mapping satisfying (2.5), we have*

*and we **obtain*

(2.10) |

*According to the inequalty (2.10), T is not a weak contraction** **unless the terms *

**Remark 5. ***In Theorem 2, we see that **a** mapping satisfying the contractive condition** **(2.5) is also a contraction mapping in b**-**metric space. Also, in Proposition 1, we see that** **a** mapping satisfying the contractive condition (2.5) **is not need to be a weak conrac**tion. Consequently, **i**t is interesting that contrary to the known (usual) metric spaces, any** **contraction mapping is not need to be a weak conraction mapping in b**-**metric spaces.*

Our next theorem is about Chatterjea type fixed point theorem in *b*-metric spaces.

**Theorem 3.** *(X**,** d) be a complete b**-**metric space and de**fi**ne the sequence ** **by the Recursion **(1.4). Let ** be a mapping under the terms ** **such** **that*

(2.11) |

*fall** all *.

*Then,* *there exists ** such that ** and ** is unique **fi**xed point of T**.*

*Proof. Let ** and ** **be a sequence in X de**fi**ned as **,** **.** By using (2.11) and (1.4**)** we obtain that*

(2.12) |

(2.13) |

*thus, we have*

(2.14) |

*Note that ** then**.Thus, T is a contraction mapping. By using** **similar method in the proof of Theorem 1 and Theorem 2, we see that** ** **is a Cauchy** **sequence and hence a convergent sequence, too. we consider that** ** **convergent to** **.*

*Now, we show that** * *is a **fi**xed point of T**.** We have*

(2.15) |

*T**hus,** **we **obtain that*

(2.16) |

*Letting ** in (2.**16**),*

(2.17) |

*The inequalty (2.17) is false unless** **.** Thus, we arrive at* .

Now, we show that is the unique fixed point of T. Assume that is an other fixed point of T. Then, we have .. and

(2.18) |

*From (2.18), we obtain** **. **This implies that** **. **This completes** **the proof.*

**Remark 6.**** ***The headlights from Theorem 2, we needed a restriction to valid Chatterjea**’**s** fi**xed point theorem in b**-**metric space.*

### References

[1] | Choudhury, B. S., Unique fixed point theorem for weakly c-contractive mappings, Kathmandu Univ. J. Sci, Eng and Tech, 5 (1),2009, 6-13. | ||

In article | |||

[2] | Kannan, R, Some results on fixed points, Bull. Calcutta Math. Soc., 60, 1968, 71-76. | ||

In article | |||

[3] | Chatterjea, S. K, Fixed point theorems, C.R. Acad. Bulgare Sci. 25, 1972, 727-730. | ||

In article | |||

[4] | Czerwik, S., Contraction mappings in b-metric spaces, Acta Math inf Univ Ostraviensis. 1 (1993), 5-11. | ||

In article | |||

[5] | Czerwik, S., Nonlinear set-valued contration mappings in b-metric spaces, Atti Sem Math Fis Univ Modena. 46(2), (1998), 263-276. | ||

In article | |||

[6] | Boriceanu, M., Fixed point theory for multivalued generalized contraction on a set with two b-metrics, Studia Univ Babes-Bolyai Math. LIV (3), (2009),1-14. | ||

In article | |||

[7] | Aydi et al., A fixed point theorem for set valued quasi-contractions in b-metric spaces, Fixed Point Theory and Applications, 2012 2012:88. | ||

In article | |||

[8] | Berinde, V., Iterative Approximation of Fixed Points, Springer, (2006). | ||

In article | |||