Coupled fixed points for multivalued mappings in fuzzy metric spaces
© Qiu and Hong; licensee Springer. 2013
Received: 11 January 2013
Accepted: 4 June 2013
Published: 25 June 2013
In this paper, we establish two coupled fixed point theorems for multivalued nonlinear contraction mappings in partially ordered fuzzy metric spaces. The theorems presented extend some corresponding results due to ordinary metric spaces. An example is given to illustrate the usability of our results.
Keywordscoupled fixed point multivalued contractive mapping fuzzy metric space partially ordered set
In 1969, Nadler  extended the famous Banach contraction principle from single-valued mappings to multivalued mappings and proved the existence of fixed points for contractive multivalued mappings in complete metric spaces. Since then, the existence of fixed points for various multivalued contractive mappings has been studied by many authors under different conditions. For details, we refer to [2–10] and the references therein. For instance, in  Ćirić has proved a fixed point theorem for the single-valued mappings satisfying some contractive condition. Samet and Vetro  extended this result to multivalued mappings and proved the existence of a coupled fixed point theorem for the multivalued contraction.
One of the most important problems in fuzzy topology is to obtain an appropriate concept of fuzzy metric spaces. This problem has been investigated by many authors from different points of view. In particular, George and Veeramani [11, 12] introduced and studied the notion of fuzzy metric M on a set X with the help of continuous t-norms introduced in , and from now on, when we talk about fuzzy metrics, we refer to this type. Fuzzy metric spaces have many applications. In particular, on the fuzzy metric space, by using some topological properties induced by this kind of fuzzy metrics, there are several fixed point results established. Some instances of these works are in [14–23]. In fact, fuzzy fixed point results are more versatile than the regular metric fixed point results. This is due to the flexibility which the fuzzy concept inherently possesses. For example, the Banach contraction mapping principle has been extended in fuzzy metric spaces in two inequivalent ways in [17, 24]. Fuzzy fixed point theory has a developed literature and can be regarded as a subject in its own right (see ).
In recent times, the existence of common or coupled fixed points of a fuzzy version for multiple mappings has attracted much attention. We mention that the coupled fixed point results were proved by Sedghi et al. , which is a fuzzy version of the result of . Choudhury  further extended the result of  and provided the existence results of coupled coincidence points for compatible mappings in partially ordered fuzzy metric spaces. After that common coupled fixed point results in fuzzy metric spaces were established by Hu . However, to the best of our knowledge, few papers were devoted to fixed point problems of multivalued mappings in fuzzy metric spaces (see [26, 27]).
The aim of this paper is to present two new coupled fixed point theorems for two multivalued mappings in the fuzzy metric space. The idea of the present paper originates from the study of an analogous problem examined by Samet et al.  in regular partially ordered metric spaces due to Ćirić . Our results give a significant extension of some corresponding results. An example is also given to illustrate the suitability of our results.
To set up our main results in the sequel, we recall some necessary definitions and preliminary concepts in this section.
Definition 2.1 
for all ,
whenever and for each ,
∗ is continuous, associative and commutative.
In this sequel, we further assume that ∗ satisfies
(T4) for all .
For examples of t-norm satisfying the conditions (T1)-(T4), we enumerate , and for , respectively.
Definition 2.2 
for all if and only if ,
In this sense, is called a fuzzy metric on X.
Example 2.3 
Let X be the set of all real numbers and d be the Euclidean metric. Let for all . For each , , let . Then is a fuzzy metric space.
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 a topology on X induced by the fuzzy metric . This topology is metrizable (see ). Therefore, a closed subset B of X is equivalent to if and only if there exists a sequence such that topologically converges to x. In fact, the topological convergence of sequences can be indicated by the fuzzy metric as follows.
Definition 2.4 
A sequence in X is said to be convergent to a point if for any .
A sequence in X is called a Cauchy sequence if for any and a positive integer p.
A fuzzy metric space , in which every Cauchy sequence is convergent, is said to be complete.
Lemma 2.5 If , if and only if for all .
Proof Since , there exists a sequence such that . Let , we have . From it follows that .
Conversely, if , we have for any . This implies that for all . □
At the end of this section, we introduce the following necessary notions.
The function is said to be uniformly upper semi-continuous with respect to on if implies that for and all .
3 Main results
In order to prove our main results, we need the following hypothesis.
with is uniformly upper semi-continuous with respect to on .
Theorem 3.1 Let be a complete fuzzy metric space with the partial order ⪯ and . Let be a Δ-symmetric mapping and satisfy that
the condition (H) holds and
- (ii)for any , if , then there exist and with(2)
where, , the function is nonincreasing, for and .
Then F admits a coupled fixed point on .
a contradiction. Thus for all .
Let , we have . By induction, we get that the first inequality in (11) is true. The proof of the second inequality in (11) is analogous.
From Lemma 2.5 it follows that and , that is, is a coupled fixed point of F. The proof is completed. □
Theorem 3.2 Let be a complete fuzzy metric space endowed with a partial order ⪯, , and let be a Δ-symmetric multivalued mapping satisfying that
the (H) holds and
- (ii)for any , there exist and with and(12)
where for , the function is nonincreasing and satisfies that for and for each .
Then F admits a coupled fixed point on .
for any and , which implies that . Moreover, one has for all .
we obtain , a contradiction. Hence, . If , repeating the above proceeding, we can obtain the contradiction of . Consequently, .
Finally, by , it is easy to see that the sequences and satisfy (10). Following the lines of the arguments of Theorem 3.1, we can obtain that and are Cauchy sequences. The rest of the proof is the same as that of Theorem 3.1. This completes our proof. □
4 An example
In this section, we conclude the paper with the following example.
Conclusion F admits a coupled fixed point in .
This yields that the inequality (3) is valid. (3) is obviously true if . Now Theorem 3.1 guarantees that F admits a coupled fixed point on . □
The authors wish to express their hearty thanks to the anonymous referees for their valuable suggestions and comments. Supported by Natural Science Foundation of Zhejiang Province (LY12A01002).
- Nadler SB Jr.: Multi-valued contraction mappings. Pac. J. Math. 1969, 30: 475–488. 10.2140/pjm.1969.30.475MathSciNetView ArticleGoogle Scholar
- Ćirić LB: Fixed point theorems for multi-valued contractions in complete metric spaces. J. Math. Anal. Appl. 2008, 348: 499–507. 10.1016/j.jmaa.2008.07.062MathSciNetView ArticleGoogle Scholar
- Ćirić LB: Multi-valued nonlinear contraction mappings. Nonlinear Anal. 2009, 71: 2716–2723. 10.1016/j.na.2009.01.116MathSciNetView ArticleGoogle Scholar
- Samet B, Vetro C: Coupled fixed point theorems for multi-valued nonlinear contraction mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74: 4260–4268. 10.1016/j.na.2011.04.007MathSciNetView ArticleGoogle Scholar
- Hong SH: Fixed points for mixed monotone multivalued operators in Banach spaces with applications. J. Math. Anal. Appl. 2008, 337: 333–342. 10.1016/j.jmaa.2007.03.091MathSciNetView ArticleGoogle Scholar
- Hong SH, Guan D, Wang L: Hybrid fixed points of multivalued operators in metric spaces with applications. Nonlinear Anal. 2009, 70: 4106–4117. 10.1016/j.na.2008.08.020MathSciNetView ArticleGoogle Scholar
- Hong SH: Fixed points of multivalued operators in ordered metric spaces with applications. Nonlinear Anal. 2010, 72: 3929–3942. 10.1016/j.na.2010.01.013MathSciNetView ArticleGoogle Scholar
- Qiu Z: Existence and uniqueness of common fixed points for two multivalued operators in ordered metric spaces. Comput. Math. Appl. 2012, 63: 1279–1286. 10.1016/j.camwa.2011.12.021MathSciNetView ArticleGoogle Scholar
- Mizoguchi N, Takahashi W: Fixed point theorems for multivalued mappings on complete metric spaces. J. Math. Anal. Appl. 1989, 141: 177–188. 10.1016/0022-247X(89)90214-XMathSciNetView ArticleGoogle Scholar
- Li HG: s -coincidence and s -common fixed point theorems for two pairs of set-valued noncompatible mappings in metric space. J. Nonlinear Sci. Appl. 2010, 3: 55–62.MathSciNetGoogle 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
- Hadžić O, Pap E: Fixed Point Theory in Probabilistic Metric Space. Kluwer Academic, Dordrecht; 2001.Google Scholar
- Zhu X-H, Xiao J-Z: Note on ‘Coupled fixed point theorems for contractions in fuzzy metric spaces’. Nonlinear Anal. 2011, 74: 5475–5479. 10.1016/j.na.2011.05.034MathSciNetView ArticleGoogle Scholar
- Sedghi S, Altun I, Shobe N: Coupled fixed point theorems for contractions in fuzzy metric spaces. Nonlinear Anal. 2010, 72: 1298–1304. 10.1016/j.na.2009.08.018MathSciNetView ArticleGoogle Scholar
- Choudhury BS, Das K, Das P: Coupled coincidence point results for compatible mappings in partially ordered fuzzy metric spaces. Fuzzy Sets Syst. 2013, 222: 84–97.MathSciNetView ArticleGoogle Scholar
- Mihet D: Fuzzy ψ -contractive mappings in non-Archimedean fuzzy metric spaces. Fuzzy Sets Syst. 2004, 159: 739–744.MathSciNetView ArticleGoogle Scholar
- Kubiaczyk I, Sharma S: Common coincidence point in fuzzy metric spaces. J. Fuzzy Math. 2003, 11: 1–5.MathSciNetGoogle Scholar
- Hu XQ: 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
- Cho YJ, Sedghi S, Shobe N: Generalized fixed point theorems for compatible mappings with some types in fuzzy metric spaces. Chaos Solitons Fractals 2009, 39: 2233–2244. 10.1016/j.chaos.2007.06.108MathSciNetView ArticleGoogle Scholar
- Ćirić LB: 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
- Mihet D: On fuzzy contractive mappings in fuzzy metrics paces. Fuzzy Sets Syst. 2007, 158: 915–921. 10.1016/j.fss.2006.11.012MathSciNetView ArticleGoogle Scholar
- Razani A: A contraction theorem in fuzzy metric space. Fixed Point Theory Appl. 2005, 2005: 257–265. 10.1155/FPTA.2005.257MathSciNetView ArticleGoogle Scholar
- Gregori V, Sapena A: On fixed-point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 125: 245–252. 10.1016/S0165-0114(00)00088-9MathSciNetView ArticleGoogle Scholar
- Bhaskar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleGoogle Scholar
- Kiany F, Amini-Harandi A: Fixed point and endpoint theorems for set-valued fuzzy contraction maps in fuzzy metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 94 10.1186/1687-1812-2011-94Google Scholar
- Arshad M, Shoaib A: Fixed points of a multivalued mappings in fuzzy metric spaces In: Proceedings of the World Congress on Engineering 2012., WCE, London, U.K., 2012, July 4-6Google Scholar
- Gregori V, Morillas S, Sapena A: Examples of fuzzy metrics and applications. Fuzzy Sets Syst. 2011, 170: 95–111. 10.1016/j.fss.2010.10.019MathSciNetView ArticleGoogle 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.