- Open Access
Tripled fixed point theorem in fuzzy metric spaces and applications
© Roldán et al.; licensee Springer 2013
- Received: 1 July 2012
- Accepted: 11 January 2013
- Published: 11 February 2013
In this paper we prove an existence and uniqueness theorem for contractive type mappings in fuzzy metric spaces. In order to do that, we consider a slight modification of the concept of a tripled fixed point introduced by Berinde et al. (Nonlinear Anal. TMA 74:4889-4897, 2011) for nonlinear mappings. Additionally, we obtain some fixed point theorems for metric spaces. These results generalize, extend and unify several classical and very recent related results in literature. For instance, we obtain an extension of Theorem 4.1 in (Zhu and Xiao in Nonlinear Anal. TMA 74:5475-5479, 2011) and a version in non-partially ordered sets of Theorem 2.2 in (Bhaskar and Lakshmikantham in Nonlinear Anal. TMA 65:1379-1393, 2006). As application, we solve a kind of Lipschitzian systems in three variables and an integral system. Finally, examples to support our results are also given.
- Fixed Point Theorem
- Lipschitzian Mapping
- Cauchy Sequence
- Common Fixed Point
- Coincidence Point
In a recent paper, Bhaskar and Lakshmikantham  introduced the concepts of coupled fixed point and mixed monotone property for contractive operators of the form , where X is a partially ordered metric space, and then established some interesting coupled fixed point theorems. They also illustrated these important results by proving the existence and uniqueness of the solution for a periodic boundary value problem. Later, Lakshmikantham and Ćirić  proved coupled coincidence and coupled common fixed point results for nonlinear mappings satisfying certain contractive conditions in partially ordered complete metric spaces. After that many results appeared on coupled fixed point theory (see, e.g., [2–8]).
Fixed point theorems have been studied in many contexts, one of which is the fuzzy setting. The concept of fuzzy sets was initially introduced by Zadeh  in 1965. To use this concept in topology and analysis, many authors have extensively developed the theory of fuzzy sets and its applications. One of the most interesting research topics in fuzzy topology is to find an appropriate definition of fuzzy metric space for its possible applications in several areas. It is well known that a fuzzy metric space is an important generalization of the metric space. Many authors have considered this problem and have introduced it in different ways. For instance, George and Veeramani  modified the concept of a fuzzy metric space introduced by Kramosil and Michalek  and defined the Hausdorff topology of a fuzzy metric space. There exists considerable literature about fixed point properties for mappings defined on fuzzy metric spaces, which have been studied by many authors (see [10, 12–16]). Zhu and Xiao  and Hu  gave a coupled fixed point theorem for contractions in fuzzy metric spaces, and Fang  proved some common fixed point theorems under ϕ-contractions for compatible and weakly compatible mappings on Menger probabilistic metric spaces. Moreover, Elagan and Segi Rahmat  studied the existence of a fixed point in locally convex topology generated by fuzzy n-normed spaces.
Very recently, the concept of tripled fixed point has been introduced by Berinde and Borcut . In their manuscript, some new tripled point theorems are obtained using the mixed g-monotone mapping. Their results generalize and extend the Bhaskar and Lakshmikantham’s research for nonlinear mappings. Moreover, these results could be used to study the existence of solutions of a periodic boundary value problem involving . A multidimensional notion of a coincidence point between mappings and some existence and uniqueness fixed points theorems for nonlinear mappings defined on partially ordered metric spaces are studied in .
In this paper, our main aim is to obtain an existence and uniqueness theorem for contractive type mappings in the framework of fuzzy metric spaces. In order to do that, we consider a slight modification of the concept of a tripled fixed point introduced by Berinde and Borcut for nonlinear mappings. The power of this result is two-fold. Firstly, we can particularize it to complete metric spaces, obtaining a Berinde-Borcut type result (in non-fuzzy setting). Moreover, our result, in a unified manner, covers also coupled fixed (see Zhu and Xiao ) and fixed point theorems. Finally, examples to support our results are also given.
Henceforth, X will denote a non-empty set and . Subscripts will be used to indicate the arguments of a function. For instance, will be denoted by and will be denoted by . Furthermore, for brevity, will be denoted by gx.
From these properties, we can easily deduce that and for all . The last requirement is called the triangle inequality. If d is a metric on X, we say that is a metric space (briefly, a MS).
Let be a MS. A mapping is said to be Lipschitzian if there exists such that for all . The smallest k (denoted by ) for which this inequality holds is said to be the Lipschitz constant for f. A Lipschitzian mapping is a contraction if .
Theorem 1 (Banach’s contraction principle)
Every contraction from a complete metric space into itself has a unique fixed point.
If provided with the Euclidean metric, examples of Lipschitzian mappings are , , , , and .
Definition 2 A triangular norm (also called a t-norm) is a map that is associative, commutative, nondecreasing in both arguments and has 1 as identity. For each , the sequence is defined inductively by and . A t-norm ∗ is said to be of H-type (see ) if the sequence is equicontinuous at , i.e., for all , there exists such that if , then for all .
The most important and well-known continuous t-norm of H-type is , that verifies for all . The following result presents a wide range of t-norms of H-type.
Lemma 3 Let be a real number and let ∗ be a t-norm. Define as , if , and , if . Then is a t-norm of H-type.
Definition 4 
if and only if ;
is left continuous;
for all .
Lemma 5 is a non-decreasing function on .
Definition 6 Let be a FMS under some t-norm. A sequence is Cauchy if, for any and , there exists such that for all . A sequence is convergent to , denoted by if, for any and , there exists such that for all . A FMS in which every Cauchy sequence is convergent is called complete.
Given any t-norm ∗, it is easy to prove that . Therefore, if is a FMS under min, then is a FMS under any (continuous or not) t-norm. This is the case in the following examples (in which, obviously, we only define for and ).
It is well known that is a FMS under the product ∗ = ⋅, called the standard FMS on , since it is the standard way of viewing the metric space as a FMS. However, it is also true (though lesser-known) that , and are FMSs under min.
Furthermore, is a complete metric space if and only if (or or ) is a complete FMS. For instance, this is the case of any non-empty and closed subset (or subinterval) of ℝ provided with its Euclidean metric.
Definition 8 A function on a FMS is said to be continuous at a point if, for any sequence in X converging to , the sequence converges to . If g is continuous at each , then g is said to be continuous on X. As usual, if , we will denote .
Remark 9 If and , then implies that . We will use this fact in the following way: implies that .
Definition 10 Let and be two mappings.
We say that F and g are commuting if for all .
A point is called a tripled coincidence point of the mappings F and g if , and .
Then there exists a unique such that . In particular, F and g have, at least, one tripled coincidence point. Furthermore, is the unique tripled coincidence point of F and g if we assume that only in the case that is constant on .
In this result, in order to avoid the indetermination 00, we assume that for all and all .
Proof Suppose that F is constant in , i.e., there exists such that for all . As F and g are commuting, we deduce that . Therefore, and is a tripled coincidence point of F and g. Now, suppose that and is another tripled coincidence point of F and g. Then , so . Similarly, and is the unique tripled coincidence point of F and g.
Next, suppose that F is not constant in . In this case, and the proof is divided into five steps. Throughout this proof, n and p will denote non-negative integers and .
Step 1. Definition of the sequences , and . Let be three arbitrary points of X. Since , we can choose such that , and . Again, from , we can choose such that , and . Continuing this process, we can construct sequences , and such that, for , , and .
The same reasoning is also valid for and . Therefore, (11) is true. This permits us to show that is Cauchy. Suppose that and are given. By the hypothesis, as ∗ is a t-norm of H-type, there exists such that for all and for all . By (9), , so there exists such that for all . Hence (11), we get for all and . Therefore, is a Cauchy sequence. Similarly, and are also Cauchy sequences.
Letting , we have for all , and this means that for all , i.e., . The unicity of x follows from (1). □
Remark 12 The unicity of the coincidence point of F and g is not always true. For instance, if is constant and is also constant, then every is a coincidence point of F and g.
Remark 13 In the previous theorem, we have only used the continuity of ∗ at , that is, if are sequences such that and , then . And this is true because .
Therefore, applying Theorem 11, we deduce that F and g have a tripled coincidence point.
In the proof of the next result, the view of as the crisp FMS is used (see Example 7). This approach allows us to deduce results for metric spaces from the corresponding result in the fuzzy setting. Moreover, Theorem 15 is just a tripled coincidence point result, similar to Berinde-Borcut one, see [, Theorem 7] and [, Theorem 4], in a not necessarily partially ordered set.
for some .
for some and some .
for some such that .
Then there exists a unique such that .
Proof (a) Consider defined as in Example 7. As is complete, then is a complete FMS. Fix and , and we are going to prove (1) using and . If or or , then (1) is obvious. Suppose that , and . This means that , and . Therefore, and . Hence, and (1) is also true.
Example 16 If , for all and are such that , the mappings and , defined as and for all , verify the hypothesis of Theorem 15(c). It is easy to check that , where , is the unique tripled coincidence point of F and g and verifies .
Now, we prove the existence of a coupled coincided point for and g that generalizes Theorem 4.1 in , taking . That is, the main result of the paper also covers the main theoretical results of Zhu and Xiao .
for all and all . Then there exists a unique such that .
Then there exists a unique such that . If verifies , then , so . □
Corollary 18 ([, Theorem 2.2])
for some .
for some and some .
for some such that .
Then there exists a unique such that .
Proof Similar to the proof of Theorem 15. □
Remark 19 In fact, the previous result is proved for X, a partially ordered set in .
Moreover, from a similar procedure, we can deduce the celebrated Banach contraction principle (Theorem 1).
Let be Lipschitzian mappings and let be real numbers. Define as for all . Then h is another Lipschitzian mapping and . Obviously, if , then h is a contraction, so there exists a unique such that .
If , then F verifies (1) with for all .
has a unique solution, which is , where is the only real solution of .
Finding, for example, the root by the bisection method, we get, approximately, .
An integral system
holds for all , .
(this exists as a simple application of the Banach contraction principle).
- Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. TMA 2006, 65(7):1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleGoogle Scholar
- Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. TMA 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020View ArticleGoogle Scholar
- Fang J: Common fixed point theorems of compatible and weakly compatible maps in Menger spaces. Nonlinear Anal. TMA 2009, 5–6: 1833–1843.View ArticleGoogle Scholar
- Shakeri S, Ćirić L, Saadati R: Common fixed point theorem in partially ordered L -fuzzy metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 125082Google Scholar
- Sedghi S, Altun I, Shobe N: Coupled fixed point theorems for contractions in fuzzy metric spaces. Nonlinear Anal. TMA 2010, 72(3–4):1298–1304. 10.1016/j.na.2009.08.018MathSciNetView ArticleGoogle Scholar
- Hu X: Common coupled fixed point theorems for contractive mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 363716Google Scholar
- Zhu X, Xiao J: Note on “Coupled fixed point theorems for contractions in fuzzy metric spaces”. Nonlinear Anal. TMA 2011, 74(16):5475–5479. 10.1016/j.na.2011.05.034MathSciNetView ArticleGoogle Scholar
- Sintunavarat W, Cho Y, Kumam P: Coupled coincidence point theorems for contractions without commutative condition in intuitionistic fuzzy normed spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 81Google Scholar
- Zadeh L: 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
- Kramosil I, Michalek J: Fuzzy metric and statistical metric spaces. Kybernetika 1975, 11: 326–333.MathSciNetGoogle Scholar
- Grabiec M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27(3):385–389. 10.1016/0165-0114(88)90064-4MathSciNetView ArticleGoogle Scholar
- Fang J: On fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 1992, 46: 107–113. 10.1016/0165-0114(92)90271-5View ArticleGoogle Scholar
- Cho Y: Fixed points in fuzzy metric spaces. J. Fuzzy Math. 1997, 5(4):949–962.MathSciNetGoogle Scholar
- Gregori V, Sapena A: On fixed-point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 125(2):245–252. 10.1016/S0165-0114(00)00088-9MathSciNetView ArticleGoogle Scholar
- Beg I, Abbas M: Common fixed points of Banach operator pair on fuzzy normed spaces. Fixed Point Theory 2011, 12(2):285–292.MathSciNetGoogle Scholar
- Elagan SK, Rahmat MS: Some fixed points theorems in locally convex topology generated by fuzzy n -normed spaces. Iran. J. Fuzzy Syst. 2012, 9(4):43–54.MathSciNetGoogle Scholar
- Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. TMA 2011, 74: 4889–4897. 10.1016/j.na.2011.03.032MathSciNetView ArticleGoogle Scholar
- Roldán A, Martinez-Moreno J, Roldán C: Multidimensional fixed point theorems in partially ordered metric spaces. J. Math. Anal. Appl. 2012, 396: 536–545. 10.1016/j.jmaa.2012.06.049MathSciNetView ArticleGoogle Scholar
- Hadžić O, Pap E: Fixed Point Theory in Probabilistic Metric Spaces. Kluwer Academic, Dordrecht; 2001.Google Scholar
- Borcut M, Berinde V: Tripled coincidence theorems for contractive type mappings in partially ordered metric spaces. Appl. Math. Comput. 2012, 218(10):5929–5936. 10.1016/j.amc.2011.11.049MathSciNetView 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.