- Open Access
Common coupled fixed point theorems for weakly compatible mappings in fuzzy metric spaces
© Hu et al.; licensee Springer. 2013
- Received: 1 March 2013
- Accepted: 1 August 2013
- Published: 19 August 2013
In this paper, we prove a common fixed point theorem for weakly compatible mappings under ϕ-contractive conditions in fuzzy metric spaces. We also give an example to illustrate the theorem. The result is a genuine generalization of the corresponding result of Hu (Fixed Point Theory Appl. 2011:363716, 2011, doi:10.1155/2011/363716). We also indicate a minor mistake in Hu (Fixed Point Theory Appl. 2011:363716, 2011, doi:10.1155/2011/363716).
- Fixed Point Theorem
- Cauchy Sequence
- Common Fixed Point
- Unique Fixed Point
- Compatible Mapping
In 1965, Zadeh  introduced the concept of fuzzy sets. Then many authors gave the important contribution to development of the theory of fuzzy sets and applications. George and Veeramani [2, 3] gave the concept of a fuzzy metric space and defined a Hausdorff topology on this fuzzy metric space, which have very important applications in quantum particle physics, particularly, in connection with both string and E-infinity theory.
Bhaskar and Lakshmikantham , Lakshmikantham and Ćirić  discussed the mixed monotone mappings and gave some coupled fixed point theorems, which can be used to discuss the existence and uniqueness of solution for a periodic boundary value problem. Sedghi et al.  gave a coupled fixed point theorem for contractions in fuzzy metric spaces, and Jin-xuan Fang  gave some common fixed point theorems for compatible and weakly compatible ϕ-contractions mappings in Menger probabilistic metric spaces. Xin-Qi Hu  proved a common fixed point theorem for mappings under φ-contractive conditions in fuzzy metric spaces. Many authors [9–26] proved fixed point theorems in (intuitionistic) fuzzy metric spaces or probabilistic metric spaces.
In this paper, we give a new coupled fixed point theorem under weaker conditions than in  and give an example, which shows that the result is a genuine generalization of the corresponding result in .
First, we give some definitions.
Definition 2.1 (see )
∗ is commutative and associative,
∗ is continuous,
for all ,
whenever and for all .
Definition 2.2 (see )
The t-norm is an example of t-norm of H-type, but there are some other t-norms Δ of H-type .
Obviously, Δ is a t-norm of H-type if and only if for any , there exists such that for all , when .
Definition 2.3 (see )
A 3-tuple is said to be a fuzzy metric space if X is an arbitrary nonempty set, ∗ is a continuous t-norm and M is a fuzzy set on satisfying the following conditions for each and ,
(FM-2) if and only if ,
(FM-5) is continuous.
A subset is called open if for each , there exist and such that . Let τ denote the family of all open subsets of X. Then τ is called the topology on X, induced by the fuzzy metric M. This topology is Hausdorff and first countable.
Example 2.4 Let be a metric space. Define t-norm or and for all and , . Then is a fuzzy metric space.
Definition 2.5 (see )
- (1)a sequence in X is said to be convergent to x (denoted by ) if
for all .
- (2)A sequence in X is said to be a Cauchy sequence if for any , there exists , such that
for all and .
A fuzzy metric space is said to be complete if and only if every Cauchy sequence in X is convergent.
Remark 2.6 (see )
for all , is non-decreasing;
- (2)if , , , then
if for x, y in X, , , then we can find a , such that ;
for any , we can find a such that , and for any , we can find a such that ().
Define , where and each satisfies the following conditions:
(ϕ-1) ϕ is non-decreasing,
(ϕ-2) ϕ is upper semi-continuous from the right,
(ϕ-3) for all , where , .
It is easy to prove that if , then for all .
Lemma 2.7 (see )
for all , then .
Definition 2.8 (see )
Definition 2.9 (see )
Definition 2.10 (see )
Definition 2.11 (see )
Definition 2.12 (see )
for all are satisfied.
Definition 2.13 (see )
The mappings and are called weakly compatible mappings if , implies that , for all .
Remark 2.14 It is easy to prove that if F and g are compatible, then they are weakly compatible, but the converse need not be true. See the example in the next section.
for all .
Xin-Qi Hu  proved the following result.
Theorem 3.1 (see )
for all , .
Suppose that , g is continuous, F and g are compatible. Then there exist such that ; that is, F and g have a unique common fixed point in X.
Now we give our main result.
Theorem 3.2 Let be a FM-space, where ∗ is a continuous t-norm of H-type satisfying (2.2). Let and be two weakly compatible mappings, and there exists satisfying (3.1).
Suppose that and or is complete. Then F and g have a unique common fixed point in X.
The proof is divided into 4 steps.
Step 1: We shall prove that and are Cauchy sequences.
for all .
for all with and . So is a Cauchy sequence.
Similarly, we can prove that is also a Cauchy sequence.
Step 2: Now, we prove that g and F have a coupled coincidence point.
which implies that .
Similarly, we can show that .
Since F and g are weakly compatible, we get that and , which implies that and .
Step 3: We prove that and .
for all .
Since is continuous and for all , there exists such that and .
for all . Hence conclude that and .
Step 4: Now, we prove that .
for all .
Since is continuous and , there exists such that .
On the other hand, since , by condition (ϕ-3), we have . Then, for any , there exists such that .
which implies that .
Thus, we proved that F and g have a common fixed point in X.
The uniqueness of the fixed point can be easily proved in the same way as above. This completes the proof of Theorem 3.2. □
Taking (the identity mapping) in Theorem 3.2, we get the following consequence.
for all , . is complete.
Then there exist such that ; that is, F admits a unique fixed point in X.
We only need the completeness of or .
The continuity of g is relaxed.
The concept of compatible has been replaced by weakly compatible.
Remark 3.5 The Example 3 in  is wrong, since the t-norm is not the t-norm of H-type.
Next, we give an example to support Theorem 3.2.
Example 3.6 Let , , , for all , . Then is a fuzzy metric space.
so g and F are not compatible. From , , we can get , and we have , which implies that F and g are weakly compatible.
Now, we verify inequality (3.11). Let , . By the symmetry and without loss of generality, , have 6 possibilities.
Case 1: , . It is obvious that (3.11) holds.
Case 2: , . It is obvious that (3.11) holds.
which implies that (3.11) holds.
Case 4: , . It is obvious that (3.11) holds.
Case 6: , .
If , , (3.11) holds.
Then all the conditions in Theorem 3.2 are satisfied, and 0 is the unique common fixed point of g and F.
This work of Xin-qi Hu was supported by the National Natural Science Foundation of China (under grant No. 71171150). The research of B. Damjanović was supported by Grant No. 174025 of the Ministry of Education, Science and Technological Development of the Republic of Serbia.
- Zadeh LA: Fuzzy sets. Inf. Control 1965, 8: 338–353. 10.1016/S0019-9958(65)90241-XMathSciNetView ArticleGoogle Scholar
- George A, Veeramani P: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 1994, 64: 395–399. 10.1016/0165-0114(94)90162-7MathSciNetView ArticleGoogle Scholar
- George A, Veeramani P: On some results of analysis for fuzzy metric spaces. Fuzzy Sets Syst. 1997, 90: 365–368. 10.1016/S0165-0114(96)00207-2MathSciNetView ArticleGoogle Scholar
- Bhaskar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. TMA 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleGoogle Scholar
- Lakshmikantham V, Ćirić LjB: Coupled fixed point theorems for nonlinear contractions in partially ordered metric space. Nonlinear Anal. TMA 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020View ArticleGoogle Scholar
- Sedghi S, Altun I, Shobe N: Coupled fixed point theorems for contractions in fuzzy metric spaces. Nonlinear Anal. TMA 2010, 72: 1298–1304. 10.1016/j.na.2009.08.018MathSciNetView ArticleGoogle Scholar
- Fang J-X: Common fixed point theorems of compatible and weakly compatible maps in Menger spaces. Nonlinear Anal. TMA 2009, 71: 1833–1843. 10.1016/j.na.2009.01.018View ArticleGoogle Scholar
- Hu X-Q: Common coupled fixed point theorems for contractive mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 363716 10.1155/2011/363716Google Scholar
- Grabiec M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27: 385–398. 10.1016/0165-0114(88)90064-4MathSciNetView ArticleGoogle Scholar
- Ćirić LjB, Miheţ D, Saadati R: Monotone generalized contractions in partially ordered probabilistic metric spaces. Topol. Appl. 2009, 156(17):2838–2844. 10.1016/j.topol.2009.08.029View ArticleGoogle Scholar
- O’Regan D, Saadati R: Nonlinear contraction theorems in probabilistic spaces. Appl. Math. Comput. 2008, 195(1):86–93. 10.1016/j.amc.2007.04.070MathSciNetView ArticleGoogle Scholar
- Jain S, Jain S, Bahadur Jain L: Compatibility of type (P) in modified intuitionistic fuzzy metric space. J. Nonlinear Sci. Appl. 2010, 3(2):96–109.MathSciNetGoogle Scholar
- Ćirić Lj, Lakshmikantham V: Coupled random fixed point theorems for nonlinear contractions in partially ordered metric spaces. Stoch. Anal. Appl. 2009, 27(6):1246–1259. 10.1080/07362990903259967MathSciNetView ArticleGoogle Scholar
- Ćirić Lj, Cakić N, Rajović M, Ume JS: Monotone generalized nonlinear contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 131294Google Scholar
- Aliouche A, Merghadi F, Djoudi A: A related fixed point theorem in two fuzzy metric spaces. J. Nonlinear Sci. Appl. 2009, 2(1):19–24.MathSciNetGoogle Scholar
- Ćirić Lj: Common fixed point theorems for a family of non-self mappings in convex metric spaces. Nonlinear Anal. 2009, 71(5–6):1662–1669. 10.1016/j.na.2009.01.002MathSciNetView ArticleGoogle Scholar
- Rao KPR, Aliouche A, Babu GR: Related fixed point theorems in fuzzy metric spaces. J. Nonlinear Sci. Appl. 2008, 1(3):194–202.MathSciNetGoogle Scholar
- Ćirić L, Cakić N: On Common fixed point theorems for non-self hybrid mappings in convex metric spaces. Appl. Math. Comput. 2009, 208(1):90–97. 10.1016/j.amc.2008.11.012MathSciNetView ArticleGoogle Scholar
- Ćirić L: Some new results for Banach contractions and Edelstein contractive mappings on fuzzy metric spaces. Chaos Solitons Fractals 2009, 42: 146–154. 10.1016/j.chaos.2008.11.010MathSciNetView ArticleGoogle Scholar
- Abbas M, Ali Khan M, Radenovic S: Common coupled fixed point theorems in cone metric spaces for w-compatible mappings. Appl. Math. Comput. 2010, 217: 195–202. 10.1016/j.amc.2010.05.042MathSciNetView ArticleGoogle Scholar
- Shakeri S, Ćirić Lj, Saadati R: Common fixed point theorem in partially ordered L -fuzzy metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 125082 10.1155/2010/125082Google Scholar
- Ćirić Lj, Samet B, Vetro C: Common fixed point theorems for families of occasionally weakly compatible mappings. Math. Comput. Model. 2011, 53(5–6):631–636. 10.1016/j.mcm.2010.09.015View ArticleGoogle Scholar
- Ćirić Lj, Abbas M, Saadati R, Hussain N: Common fixed points of almost generalized contractive mappings in ordered metric spaces. Appl. Math. Comput. 2011, 53(9–10):1737–1741.Google Scholar
- Ćirić L, Abbas M, Damjanović B, Saadati R: Common fuzzy fixed point theorems in ordered metric spaces. Math. Comput. Model. 2010. 10.1016/j.mcm.2010.12.050Google Scholar
- Djoric D: Nonlinear coupled coincidence and coupled fixed point theorems for not necessary commutative contractive mappings in partially ordered probabilistic metric spaces. Appl. Math. Comput. 2013, 219: 5926–5935. 10.1016/j.amc.2012.12.047MathSciNetView ArticleGoogle Scholar
- Kamran T, Cakić NP: Hybrid tangential property and coincidence point theorems. Fixed Point Theory 2008, 9: 487–496.MathSciNetGoogle Scholar
- Hadžić O, Pap E: Fixed Point Theory in Probabilistic Metric Spaces. Kluwer Academic, Dordrecht; 2001.Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.