# Common Fixed Point Theorems for Commutating Mappings in Fuzzy Metric Spaces

Authors: Famei Zheng; Xiuguo Lian
Journal: Abstract and Applied Analysis
 (2012)

---

## Abstract

We generalize Jungck's theorem in Jungck (1976) to fuzzy metric spaces and prove common fixed point theorems for commutative mappings in fuzzy metric spaces.


---

## Body

## 1. Introduction

In 1965, Zadeh introduced initially the concept of fuzzy sets in [1]. Since then, many authors have expansively developed the theory of fuzzy sets. They applied the concept of fuzzy sets to topology and analysis theory and introduced the concept of fuzzy metric spaces in different ways. See [2–5].In [5], Kramosil and Michálek provided a tool for developing a smoothing machinery in the field of fixed point theorems, in particular, for the study of contractive type maps. Many authors have studied the fixed point theory in fuzzy metric spaces. In [6], Grabiec followed Kramosil and Michálek [5] and obtained the fuzzy version of Banach contraction principle. Fang [7] proved some fixed point theorems in fuzzy metric spaces, which improve, generalize, unify, and extend some main results in [8–11]. The most interesting references in this direction are [6, 7, 12, 13] and fuzzy mappings [14–17].In this paper, we generalize Jungck’s theorem in [18] to fuzzy metric spaces and prove common fixed point theorems for commutative mappings satisfying some conditions in fuzzy metric spaces in the sense of Kramosil and Michálek [5]. We also give an example to illustrate our main theorem.To set up our results in the next section we recall some definitions and facts.Definition 1.1 (see [19]).
A binary operation*:[0,1]×[0,1]→[0,1] is called a continuous t-norm if ([0,1],*) is an Abelian topological monoid with unit 1 such that a*b≤c*d whenever a≤c and b≤d for all a,b,c,d∈[0,1].Definition 1.2 (see [5]).
The 3-tuple(X,M,*) is called a fuzzy metric space if X is an arbitrary nonempty set, * is a continuous t-norm, and M is a fuzzy set in X2×[0,∞) satisfying the following conditions:(FM-1)M(x,y,0)=0 for all x,y∈X;(FM-2) forx,y∈X, M(x,y,t)=1 for all t>0 if and only if x=y;(FM-3)M(x,y,t)=M(y,x,t) for all x,y∈X and t>0;(FM-4)M(x,y,t)*M(y,z,s)≤M(x,z,t+s) for all x,y,z∈X and t,s>0;(FM-5)M(x,y,·):[0,∞)→[0,1] is left continuous for all x,y∈X;(FM-6)limt→∞M(x,y,t)=1 for all x,y∈X.Definition 1.3 (see [6]).
Let(X,M,*) be a fuzzy metric space then we have the following:(1)
A sequence{xn} in X is said to be convergent to a point x∈X (denoted by limn→∞xn=x) if limn→∞M(xn,x,t)=1 for any t>0.(2)
A sequence{xn} in X is called a cauchy sequence if limn→∞M(xn+p,xn,t)=1 for any t>0 and positive integer p.(3)
(X,M,*) is said to be complete if every Cauchy sequence in X is convergent.(4)
A mapf:X→X is called continuous at x0∈X if {f(xn)} converges to f(x0) for each {xn} converging to x0.(5)
A mapf:X→X is called a continuous mapping on X if f is continuous at each point x∈X.


## 2. Main Results

Now, we begin with the following theorem, which is Jungck’s generalization of the contraction principle for metric spaces.Theorem 2.1 (see [18]).
Letf be a continuous mapping of a complete metric space (X,d) into itself and let g:X→X be a map. If(i)
g(X)⊆f(X),(ii)
g commutes with f,(iii)
d(g(x),g(y))≤αd(f(x),f(y)) for some α∈(0,1) and all x,y∈X,then f and g have a unique common fixed point.The above result can be generalized into the following theorem in fuzzy metric spaces.Theorem 2.2.
Let(X,M,*) be a complete fuzzy metric space and let f:X→X be a continuous map and g:X→X a map. If(i)
g(X)⊆f(X),(ii)
g commutes with f,(iii)
M(g(x),g(y),t)≥M(f(x),f(y),ψ(t)) for all x,y∈X and t>0, where ψ:[0,+∞)→(0,+∞) is an increasing and left-continuous function with ψ(t)>t for all t>0,then f and g have a unique common fixed point.Proof.
Letψk be the kth iteration of ψ, k=1,2,…, that is, ψ2(t)=ψ(ψ(t)), and so forth.
We first prove that(2.1)lim⁡n→∞ψn(t)=+∞
for any  t≥0. Take any t≥0. It follows by the properties of ψ in (iii) that the sequence {ψn(t)} is monotone increasing. Then limn→∞ψn(t) exists or is +∞. Suppose that limn→∞ψn(t)=b≠+∞. It is clear that b>0. Since ψ(b)>b and ψ(t) is left-continuous, there exists δ>0 such that ψ(t)>b for any t∈(b-δ,b). And since limn→∞ψn(t)=b, there exists N>0 such that ψn(t)>b-δ/2 for any n>N, hence by the increasing property of ψ, it follows that ψn+1(t)=ψ(ψn(t))>ψ(b-δ/2)>b. Since the sequence {ψn(t)} is monotone increasing, ψn+p(t)>b for any positive integer p, which is contrary to limn→∞ψn(t)=b.
Letx0∈X. By (i) we can find x1 such that f(x1)=g(x0). By induction, we can find a sequence {xn} in X such that f(xn)=g(xn-1). Take any t>0. For any positive integers n and p, by induction again, we have(2.2)M(f(xn),f(xn+p),t)=M(g(xn-1),g(xn+p-1),t)≥M(f(xn-1),f(xn+p-1),ψ(t))≥⋯≥M(f(x0),f(xp),ψn(t)).
Because limn→∞ψn(t)=+∞, it follows by (FM-6) that limn→∞M(f(x0),f(xp),ψn(t))=1, hence limn→∞M(f(xn),f(xn+p),t)=1. Thus {f(xn)} is a Cauchy sequence and by the completeness of X, {f(xn} is a convergent sequence in X. Suppose that limn→∞f(xn)=y. So limn→∞g(xn)=limn→∞f(xn+1)=y.
It can be seen from (iii) that the continuity off implies that of g. So limn→∞g(f(xn))=g(y). By the commutativity of f and g, it follows that limn→∞f(g(xn))=limn→∞g(f(xn))=g(y). Because of the uniqueness of limits, we have f(y)=g(y). So f(f(y))=f(g(y))=g(f(y))=g(g(y)) by commutativity of f and g. So we have(2.3)M(g(y),g(g(y)),t)≥M(f(y),f(g(y)),ψ(t))≥M(g(y),g(g(y)),ψ(t))≥⋯≥M(g(y),g(g(y)),ψn(t)).
Since limn→∞ψn(t)=+∞,limn→∞M(g(y),g(g(y)),ψn(t))=1 hence, M(g(y),g(g(y)),t)=1. So by (FM-2), we have g(y)=g(g(y)). Thus g(y)=g(g(y))=f(g(y)), that is, g(y) is a common fixed point of f and g.
Ifx and z are two common fixed points of f and g, that is, f(x)=g(x)=x,f(z)=g(z)=z, then for any t>0,(2.4)M(x,z,t)=M(g(x),g(z),t)≥M(f(x),f(z),ψ(t))=M(x,z,ψ(t))≥⋯≥M(x,z,ψn(t)).
Since limn→∞ψn(t)=+∞, by (FM-6), limn→∞M(x,z,ψn(t))=1 hence, M(x,z,t)=1. So x=z by (FM-2).Remark 2.3.
Our result is an extension of Grabiec’s contraction principle in fuzzy metric spaces from [6].Remark 2.4.
Jungck introduced the notion of compatibility of a pair of mappings in [20]. We can weaken the commutability of f and g in Theorem 2.2 to compatibility.Remark 2.5.
We now give an example that illustrates Theorem2.2. Let X be the subset [0,+∞) of the real number set. Define
(2.5)M(x,y,t)={0,t=0,e-|x-y|/t,t>0,x,y∈X.
Clearly M(x,y,*) is a fuzzy metric on X, where * is defined by a*b=ab. It is easy to see that (X,M,*) is a complete fuzzy metric space. Define g(x)=ln(1+Ax) and f(x)=A-1(ex-1) on X, where A∈(0,1) is a constant. It is evident that g(X)⊆f(X). Also, for t>0,
(2.6)M(g(x),g(y),t)=e-|ln⁡(1+Ax)-ln⁡(1+Ay)|/t≥e-A|x-y|/t≥e-|A-1(ex-1)-A-1(ey-1)|/A-2t=M(f(x),f(y),A-2t).
Take ψ(t)=A-2t>t. Thus all the conditions of Theorem 2.2 are satisfied and f and g have the common fixed point 0.



---

*Source: 729758-2012-05-09.xml*