 Research
 Open access
 Published:
Irremissible stimulate on ‘Unified fixed point theorems in fuzzy metric spaces via common limit range property’
Journal of Inequalities and Applications volume 2014, Article number: 257 (2014)
Abstract
One of the goals of this short note is to alert researchers as regards some mistakes that appeared in a recent paper (Chauhan, Khan and Kumar in J. Inequal. Appl. 2013:182, 2013). This entails main proofs based on a false result, which invalidates all statements. We also give a complete revision of the antecedents of this work in order to find the main reasons of the mistakes. Finally, the main aim of this note is to propose a correct, more general version of the main theorems in the paper mentioned.
1 Introduction
In 2011, Sintunavarat and Kumam [1] first introduced the concept of ‘common limit range property’ (or (CLR) property) in metric spaces and fuzzy metric spaces and also improved the results of Mihet [2]. It is observed that the concept of (CLR) property never requires the condition of closedness of the subspace, while other properties such as the E.A. property requires this condition for the existence of the fixed point. Afterward, several mathematicians have proved common fixed point theorems in fuzzy metric spaces for different contractive conditions.
Very recently, Chauhan et al. announced in [3] a common fixed point theorem in the setting of fuzzy metric spaces for weakly compatible pairs (A,S) and (B,T) (where A,S,B,T:X\to X are selfmappings on a fuzzy metric space (X,M,\ast )). This result involves the following notion.
Definition 1 Two pairs (A,S) and (B,T) of selfmappings of a fuzzy metric space (X,M,\ast ) are said to satisfy the common limit range property with respect to mappings S and T (briefly, (CL{R}_{ST}) property), if there exist two sequences \{{x}_{n}\}, \{{y}_{n}\} in X such that
where z\in S(X)\cap T(X).
The contractivity property that the pairs (A,S) and (B,T) verify is the following one.
Inequality (4.1) in [3]. There exists a constant k\in (0,1) such that
for all x,y\in X, t>0 and \varphi \in {\mathrm{\Phi}}_{6}.
In that paper, {\mathrm{\Phi}}_{6} denoted the set of all continuous functions \varphi :{[0,1]}^{6}\to \mathbb{R} satisfying the conditions:
({\varphi}_{1}) ϕ is decreasing in {t}_{2}, {t}_{3}, {t}_{4}, {t}_{5} and {t}_{6}.
({\varphi}_{2}) \varphi (u,v,v,v,v,v)\ge 0 implies u\ge v, for all u,v\in [0,1].
Using the previous preliminaries, Chauhan et al. announced the following result.
Theorem 2 (Chauhan et al. [3], Theorem 4.1)
Let (X,M,\ast ) be a fuzzy metric space with
Let A, B, S and T be mappings from X into itself satisfying inequality (4.1). Suppose that the pairs (A,S) and (B,T) enjoy the (CL{R}_{ST}) property. Then the pairs (A,S) and (B,T) have a coincidence point each. Moreover, A, B, S and T have a unique common fixed point provided both the pairs (A,S) and (B,T) are weakly compatible.
The proof given by the authors is decisively based on the following result.
Lemma 3 (Chauhan et al. [3], Lemma 2.2)
Let (X,M,\ast ) be a fuzzy metric space with
If there exists a constant k\in (0,1) such that
then x=y.
However, Lemma 3 is wrong in two senses: firstly, it is incorrectly enunciated in [3] and, furthermore, it is false (therefore, it was not proved in [3]). As a consequence, all results in the mentioned paper were not correctly proved.
The main aim of this paper is to present alternative hypotheses to give validity to the main results in [3].
In this paper, we start giving a counterexample of Lemma 3, showing why it is incorrectly enunciated. Then we investigate the antecedents of this mistake, and we show some other papers that presented the same mistake. In addition to this, we explain how hypothesis (1) is not interesting in the setting of fuzzy metric spaces, because it yields a very restricted kind of fuzzy metrics. Finally, we replace this hypothesis by a more convenient condition and we prove similar results to the ones presented in [3].
2 Preliminaries
Before presenting our main claims, we need to introduce some concepts and basic results. For instance, the notion of triangular norm plays a key role in different fields of study.
Definition 4 (Schweizer and Sklar [4])
A triangular norm ∗ (shortly tnorm) is a binary operation on the unit interval [0,1] such that, for all a,b,c,d\in [0,1], the following conditions are satisfied:

(i)
a\ast (b\ast c)=(a\ast b)\ast c (that is, ∗ is associative);

(ii)
a\ast b=b\ast a (that is, ∗ is commutative);

(iii)
a\ast 1=a;

(iv)
a\ast b\le c\ast d whenever a\le c and b\le d.
A continuous tnorm is a tnorm which is also continuous as a mapping.
For instance, t\ast s=min(t,s), for all t,s\in [0,1], is a wellknown continuous tnorm, called the minimum tnorm. A continuous tnorm is one of the most important ingredients of the notion of fuzzy metric space. There are two definitions of the concept of fuzzy metric space that have attracted much attention in the last decades. Firstly, inspired by Zadeh fuzzy sets [5] and the concept of Menger probabilistic metric space [6], in 1975, Kramosil and Michálek [7] presented a new model that lets one apply fuzzy behavior to real situations and they defined a Hausdorff topology on these spaces.
Definition 5 (Kramosil and Michálek [7])
A 3tuple (X,M,\ast ) is said to be a fuzzy metric space if X is an arbitrary set, ∗ is a continuous tnorm and M is a fuzzy set on X\times X\times [0,\mathrm{\infty}) satisfying the following conditions: for all x,y,z\in X, t,s\ge 0,
(KM1) M(x,y,0)=0,
(KM2) M(x,y,t)=1 if and only if x=y,
(KM3) M(x,y,t)=M(y,x,t),
(KM4) M(x,z,t+s)\ge M(x,y,t)\ast M(y,z,s),
(KM5) M(x,y,\cdot ):[0,\mathrm{\infty})\to [0,1] is leftcontinuous.
Later, George and Veeramani [8] slightly modified the concept of fuzzy metric space introduced by Kramosil and Michálek, defined a Hausdorff topology, and proved some known results including Baire’s theorem (see also [9]).
Definition 6 (George and Veeramani [8])
A 3tuple (X,M,\ast ) is said to be a fuzzy metric space if X is an arbitrary set, ∗ is a continuous tnorm, and M is a fuzzy set on X\times X\times (0,\mathrm{\infty}) satisfying the following conditions: for all x,y,z\in X, t,s>0,
(FM1) M(x,y,t)>0,
(FM2) M(x,y,t)=1 if and only if x=y,
(FM3) M(x,y,t)=M(y,x,t),
(FM4) M(x,z,t+s)\ge M(x,y,t)\ast M(y,z,s),
(FM5) M(x,y,\cdot ):(0,\mathrm{\infty})\to (0,1] is continuous.
Then M is called a fuzzy metric on X whereas M(x,y,t) denotes the degree of nearness between x and y with respect to t.
The following result holds in both classes of fuzzy metric spaces.
Lemma 7 If (X,M,\ast ) is a fuzzy metric space and x,y\in X, then the mapping M(x,y,\cdot ) is nondecreasing.
3 A counterexample of Lemma 3
First of all, we point out that Lemma 3 is incorrectly enunciated because condition (2) should be: ‘if x,y\in X are given points such that there exists k\in (0,1) verifying
then x=y’. However, as we show in the following example, the condition ‘t\ast t\ge t, for all t\in [0,1]’ is not strong enough to guarantee that the thesis of Lemma 3 holds. Notice that the following example is valid for fuzzy metric spaces in the sense of both Definitions 5 and 6.
Example 8 Let X be a set containing, at least, two different points, let ∗ be a continuous tnorm and let c\in \phantom{\rule{0.2em}{0ex}}]0,1[ be arbitrary. Define M:X\times X\times [0,\mathrm{\infty})\to [0,1], for all x,y\in X and t\ge 0, by
Then (X,M,\ast ) is a fuzzy metric space in the sense of Kramosil and Michálek. Furthermore, the restriction of M to X\times X\times (0,\mathrm{\infty}) defines a fuzzy metric on X in the sense of George and Veeramani. In addition to this, condition (2) holds, for all k\in (0,1) and all x,y\in X even though x\ne y.
4 A correct version of Lemma 3
Before explaining the antecedents of the mistake that appears in Lemma 3, we show how other authors have successfully used this property in the past. The main reason why the fuzzy metric given in Example 8 does not verify Lemma 3 is the fact that M(x,y,\cdot ) is constant on (0,\mathrm{\infty}). Therefore, it verifies the condition
In the sequel, unless it is stated otherwise, we will only refer to fuzzy metric spaces in the sense of George and Veeramani (but similar properties are valid in Kramosil and Michálek’s spaces).
Property (3) is not coherent with the idea that M(x,y,t) denotes the degree of nearness between x and y with respect to t and it leads to no very good properties. In order to avoid the condition (3), it is usual to consider additionally the axiom.
(FM6) For all x,y\in X, we have {lim}_{t\to \mathrm{\infty}}M(x,y,t)=1.
This is the case of [10–14]. In this kind of space, the following result is well known.
Lemma 9 Let (X,M,\ast ) be a fuzzy metric space verifying (FM6) and let x,y\in X. If there exists k\in [0,1) such that M(x,y,kt)\ge M(x,y,t), for all t>0, then x=y.
As we have just seen in Example 8, this property is clearly false if the fuzzy metric does not satisfy axiom (FM6).
Proof We prove that M(x,y,\cdot ) is constant in (0,\mathrm{\infty}). Let t,s\in (0,\mathrm{\infty}) be such that s\le t. As \{{k}^{n}\}\to 0, we can find n\in \mathbb{N} such that {k}^{n}t\le s\le t. As M(x,y,\cdot ) is nondecreasing, M(x,y,{k}^{n}t)\le M(x,y,s)\le M(x,y,t). Using the hypothesis,
Therefore, M(x,y,{k}^{n}t)\le M(x,y,s)\le M(x,y,t)\le M(x,y,{k}^{n}t) which proves that M(x,y,t)=M(x,y,s). Thus, M(x,y,\cdot ) is constant in (0,\mathrm{\infty}). Using axiom (FM6), M(x,y,t)={lim}_{s\to \mathrm{\infty}}M(x,y,s)=1, for all t>0, and using axiom (FM2) we conclude that x=y. □
As we have just showed, the hypothesis ‘t\ast t\ge t, for all t\in [0,1]’ (which we can find in Lemma 3) is not strong enough to guarantee that the thesis of Lemma 3 holds. Moreover, we are going to prove that it is a very restrictive hypothesis, because there is an unique example of tnorm (not necessarily continuous) verifying this property.
The only tnorm ∗ verifying
is the minimum tnorm.
Proof Let t,s\in [0,1] be arbitrary. Without loss of generality, we can suppose that s\le t. Since 0\le s\le t\le 1 and ∗ is nondecreasing on each argument, it follows that s\ast s\le s\ast t\le s\ast 1=s. Combining these inequalities with the assumption s\le s\ast s, we derive s\le s\ast t\le s. Therefore, s\ast t=s=min(s,t), for all t,s\in [0,1]. □
In both senses, Lemma 3 is wrong and, therefore, researchers always try to avoid condition (4) in the setting of fuzzy metric spaces.
5 The antecedents of Lemma 3
To better understand our way to improve the results in [3], we must review some previous papers, paying especially attention to Lemma 9. In [3], Remark 4.2, the authors announced that their results improved some theorems by other researchers. For instance, they mentioned Rao et al. [[16], Theorem 3.1]. In this paper, we can find a version of Lemma 9 avoiding the hypothesis (FM6) (see [[16], Lemma 1.7]). Therefore, it is false. Later, Rao et al. advised that they had found a gap in a result by Cho [17], which used condition (4). Unfortunately, hypothesis (4) was not supposed on any main result in [17]. In that paper, we can also find Lemma 10, but there is also included a version of Lemma 9 avoiding the hypothesis (FM6) (see [[17], Lemma 2.7]), which is false. Based on Cho’s paper, Rao et al. proved some results in which we can found condition (4) as a hypothesis. Therefore, their results are very restrictive because they are only valid in fuzzy metric spaces under the minimum tnorm. Furthermore, their proofs are not valid because they are based on a version of Lemma 9 without axiom (FM6).
In [3], the authors also announced that their results also improved some theorem by Aalam et al. [18]. In that paper, we can also found a version of Lemma 9 avoiding the hypothesis (FM6) (see [[18], Lemma 1.1]), which is false. Therefore, the proofs of their main results are not correct. Precisely, at this point, we can find the reason of all gaps: these authors referred to Mishra et al. [10] to include this lemma in their preliminaries, but they did not realize that Mishra et al.’s paper is based on Kramosil and Michálek’s fuzzy metric spaces that, additionally, verify axiom (FM6).
Taking into account these preliminaries and trying to improve different papers, Chauhan et al. collected in [3] two gaps: from [18], they assumed that Lemma 9 holds, avoiding the hypothesis (FM6), which is false; and from [16], they supposed condition (4) in their main results, which is not necessary.
6 Correct versions of results given in [3]
To sum up the previous considerations, we must remark the following facts.

On the one hand, the proofs given by the authors of the main results in [3] are incorrect because they are based on Lemma 3, which is false. We have investigated the origin of this mistake.

On the other hand, we advise that the only tnorm (not necessarily continuous) that verifies property (4) is the minimum tnorm, which is a very restrictive hypothesis. All researchers in this field try to avoid it because it produces no very general results.
The main aim of this paper is to provide different conditions to give validity to the main results given in [3]. For instance, in order to overcome the mentioned drawbacks, we propose to replace the condition t\ast t\ge t, for all t\in [0,1], using axiom (FM6). In this case, the following result holds.
Theorem 11 The main results in [3]are valid if we replace the condition ‘t\ast t\ge t for all t\in [0,1]’ by axiom (FM6).
In fact, the same proofs, based on Lemma 9, can be followed through point by point.
References
Sintunavarat W, Kumam P: Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces. J. Appl. Math. 2011. Article ID 637958, 2011: Article ID 637958
Mihet M: Fixed point theorems in fuzzy metric spaces using property E. A. Nonlinear Anal. 2010, 73: 21842188. 10.1016/j.na.2010.05.044
Chauhan S, Khan MA, Kumar S: Unified fixed point theorems in fuzzy metric spaces via common limit range property. J. Inequal. Appl. 2013. Article ID 182, 2013: Article ID 182
Schweizer B, Sklar A: Probabilistic Metric Spaces. Dover, New York; 2005.
Zadeh LA: Fuzzy sets. Inf. Control 1965, 8: 338353. 10.1016/S00199958(65)90241X
Menger K: Statistical metrics. Proc. Natl. Acad. Sci. USA 1942, 28: 535537. 10.1073/pnas.28.12.535
Kramosil I, Michálek J: Fuzzy metrics and statistical metric spaces. Kybernetika 1975, 11: 336344.
George A, Veeramani P: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 1994, 64: 395399. 10.1016/01650114(94)901627
Roldán A, MartínezMoreno J, Roldán C: On interrelationships between fuzzy metric structures. Iran. J. Fuzzy Syst. 2013,10(2):133150.
Mishra SN, Sharma N, Singh SL: Common fixed point of maps on fuzzy metric spaces. Int. J. Math. Math. Sci. 1994, 17: 253258. 10.1155/S0161171294000372
Cho YJ: Fixed points in fuzzy metric spaces. J. Fuzzy Math. 1997,5(4):949962.
Sharma S: Common fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 127: 345352. 10.1016/S01650114(01)001129
Liu Y, Li Z: Coincidence point theorems in probabilistic and fuzzy metric spaces. Fuzzy Sets Syst. 2007, 158: 5870. 10.1016/j.fss.2006.07.010
Roldán A, MartínezMoreno J, Roldán C, Cho YJ: Multidimensional coincidence point results for compatible mappings in partially ordered fuzzy metric spaces. Fuzzy Sets Syst. 2013. 10.1016/j.fss.2013.10.009
Klement EP, Mesiar R, Pap E: Triangular Norms. Kluwer Academic, Dordrecht; 2000.
Rao KPR, Babu GVR, Fisher B: Common fixed point theorems in fuzzy metric spaces under implicit relations. Hacet. J. Math. Stat. 2008,37(2):97106.
Cho SH: On common fixed points in fuzzy metric spaces. Int. Math. Forum 2006,1(10):471479.
Aalam I, Kumar S, Pant BD: A common fixed point theorem in fuzzy metric space. Bull. Math. Anal. Appl. 2010,2(4):7682.
Acknowledgements
The first author has been partially supported by Junta de Andalucía by project FQM268 of the Andalusian CICYE. The third author was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission (NRU57).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
RoldánLópezdeHierro, AF., Karapınar, E. & Kumam, P. Irremissible stimulate on ‘Unified fixed point theorems in fuzzy metric spaces via common limit range property’. J Inequal Appl 2014, 257 (2014). https://doi.org/10.1186/1029242X2014257
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2014257