Next Article in Journal
Copula Modelling on the Dynamic Dependence Structure of Multiple Air Pollutant Variables
Next Article in Special Issue
A Notion of Convergence in Fuzzy Partially Ordered Sets
Previous Article in Journal
A Fuzzy Association Rules Mining Analysis of the Influencing Factors on the Failure of oBike in Taiwan
Previous Article in Special Issue
Monad Metrizable Space
Open AccessArticle

w-Distances on Fuzzy Metric Spaces and Fixed Points

Instituto Universitario de Matemática Pura y Aplicada-IUMPA, Universitat Politècnica de València, 46022 Valencia, Spain
Mathematics 2020, 8(11), 1909; https://doi.org/10.3390/math8111909
Received: 25 September 2020 / Revised: 20 October 2020 / Accepted: 20 October 2020 / Published: 31 October 2020

Abstract

We propose a notion of w-distance for fuzzy metric spaces, in the sense of Kramosil and Michalek, which allows us to obtain a characterization of complete fuzzy metric spaces via a suitable fixed point theorem that is proved here. Our main result provides a fuzzy counterpart of a renowned characterization of complete metric spaces due to Suzuki and Takahashi.
Keywords: fuzzy metric space; complete; w-distance; fixed point fuzzy metric space; complete; w-distance; fixed point

1. Introduction

In their relevant article [1], Kada, Suzuki and Takahashi gave and discussed a concept of w-distance for metric spaces. In fact, they generalized several important theorems including, among others, Caristi’s fixed point theorem and Ekeland’s Variational Principle, with the help of this concept. Almost simultaneously, Suzuki and Takahashi [2] obtained a characterization of metric completeness through a generalization of the Banach Contraction Principle that uses w-distances. Since then, many authors have used and extended w-distances, mainly in the context of the fixed point theory and from different views (see, e.g., [3,4,5,6,7,8,9,10] and their bibliographies).
We remind that a w-distance on a metric space ( S , ρ ) is a function w : S × S R + (the set of non-negative real numbers) such that for every a , b , c S the following conditions hold:
(w1)
w ( a , b ) w ( a , c ) + w ( c , b ) ;
(w2)
w ( a , · ) : S R + is a lower semicontinuous function;
(w3)
for each ε > 0 there is δ > 0 such that w ( a , b ) δ and w ( a , c ) δ imply ρ ( b , c ) ε .
Obviously, every metric ρ on a set S is a w-distance on the metric space ( S , ρ ) ([1], Example 1). Other interesting instances of w-distances on a metric space can be seen in [1,2].
In accordance with [2] a weakly contraction on a metric space ( S , ρ ) is a self map f of S for which there are a w-distance w on ( S , ρ ) and a constant r ( 0 , 1 ) verifying, for any a , b S , w ( f a , f b ) r w ( a , b ) .
Then, Suzuki and Takahashi proved their renowned and aforementioned theorem which should be stated in the following way.
Theorem 1
([2], Theorem 4). A necessary and sufficient condition for a metric space to be complete is that every weakly contraction on it has a fixed point.
In this paper, we propose a notion of w-distance for fuzzy metric spaces, in the sense of Kramosil and Michalek [11], which allows us to obtain a fuzzy counterpart of Suzuki and Takahashi theorem (Theorem 1 above). For our approach, (fuzzy) contractions in the sense of Hicks [12] will play a fundamental role. Thus, in Section 2 we remind some meaningfull notions and properties that we shall use throughout this note. In Section 3 we introduce our notion of w-distance in the setting of fuzzy metric spaces and present several pertinent examples. Section 4 is devoted to prove a fixed point theorem, with the help of w-distances, which will provides the “only if” part for the characterization of fuzzy metric completeness that will be obtained in Section 5.
Our study is mainly motivated by the recent articles [13,14,15] where fuzzy extensions of the famous characterizations of metric completeness due to Kirk [16], Hu [17] and Subrahmanyam [18], respectively, were obtained.

2. Preliminaries

By ω we denote the set of non-negative integer numbers and by * any continuous t-norm (a deep and extensive study of continuous t-norms may be found in [19]). Many results and examples on fuzzy metric spaces and related structures are given in [20].
As we have point out we shall consider fuzzy metric spaces in the sense of Kramosil and Michalek.
Thus, and following the current terminology (see, e.g., [14,21]), by a fuzzy metric space we mean a triple ( S , m , ) where S is a set, m is a function from S × S × R + to [ 0 , 1 ] , i.e., a fuzzy set in S × S × R + , and * is a continuous t-norm, such that for every a , b , c S the next conditions are satisfied:
(fm1)
m ( a , b , 0 ) = 0 ;
(fm2)
m ( a , b , t ) = m ( b , a , t ) for every t > 0 ;
(fm3)
a = b m ( a , b , t ) = 1 for every t > 0 ;
(fm4)
m ( a , b , s + t ) m ( a , c , s ) m ( c , b , t ) for every s , t > 0 ;
(fm5)
m ( a , b , · ) : R + [ 0 , 1 ] is a left continuous function.
In this case we say that ( m , ) (or simply m) is a fuzzy metric on S .
It is well known (see ([21], Lemma 4)) that for each a , b S , m ( a , b , · ) is a non-decreasing function on R + . We shall use this property without explicit reference.
Given a fuzzy metric ( m , ) on a set S put B ( m ) ( a , r , t ) = { b S : m ( a , b , t ) > 1 r } whenever r ( 0 , 1 ) and t > 0 . Then, the collection { B ( m ) ( a , r , t ) : a S , r ( 0 , 1 ) , t > 0 } is a base of open sets for a metrizable topology τ ( m ) on S , called the topology generated by ( m , ) .
Note that a sequence ( a n ) n ω converges to an a S with respect to τ ( m ) , if and only if for each t > 0 , m ( a , a n , t ) > 1 t eventually.
If a sequence ( a n ) n ω converges to an a S with respect to τ ( m ) , we simply write a n a if no confusion arises.
A fuzzy metric space ( S , m , ) is called complete if every Cauchy sequence converges with respect to the topology τ ( m ) , where a sequence ( a n ) n ω in S is a Cauchy sequence assuming that for each r ( 0 , 1 ) and t > 0 there is an n 0 ω such that m ( a n , a m , t ) > 1 r whenever n , m n 0 .
At the end of this section we remind the following well-known and paradigmatic example of a fuzzy metric space (see, e.g., ([14], Example 1)).
Example 1.
Given a metric space ( S , ρ ) , denote by m ρ the fuzzy set in S × S × R + defined as m ρ ( a , b , t ) = 1 if ρ ( a , b ) < t , and m ρ ( a , b , t ) = 0 if ρ ( a , b ) t . Then ( m ρ , ) is a fuzzy metric on S for any continuous t-norm *, called the induced fuzzy metric. Furthermore, the topology generated by ρ agrees with the topology generated by ( m ρ , ) . We also have that ( S , m ρ , ) is complete if and only if ( S , ρ ) is complete.

3. Fuzzy w-Distances on Fuzzy Metric Spaces

We begin this section by introducing our notion of w-distance for fuzzy metric spaces, after which we will give some remarks and examples to support it.
Definition 1.
A fuzzy w-distance on a fuzzy metric space ( S , m , ) is a fuzzy setwin S × S × R + that satisfies the next conditions for every a , b , c S :
 (fw1)
w ( a , b , s + t ) w ( a , c , s ) w ( c , b , t ) for every s , t R + ;
 (fw2)
if a S and b n b , then w ( a , b , t + ε ) lim sup n w ( a , b n , t ) , for all t > 0 and ε ( 0 , t ) .
 (fw3)
for each ε ( 0 , 1 ) there is δ ( 0 , 1 ) such that w ( a , b , s ) 1 δ and w ( a , c , t ) 1 δ imply m ( b , c , s + t ) 1 ε .
Remark 1.
By similarity with the concept of w-distance for metric spaces, we could attempt to reformulate condition (fw2) above as follows: “for each a S and t R + the function w ( a , · , t ) : S R + is lower semicontinuous”. However, Example 4 below provides a useful instance (see the proof of Theorem 4) of a fuzzy w-distance such that w ( a , · , t ) is not lower semicontinuous for an a S . Notice also that condition (fw2) is neither strange nor artificial; in fact, Grabiec proved in ([21], Lemma 6) that it is satisfied by every fuzzy metric.
Remark 2.
An antecedent of Definition 1 is in the article [22], where the authors introduced an discussed the concept of r-distance. Hence, and following ([22], Definition 2.1), by an r-distance on a fuzzy metric space ( S , m , ) we mean a fuzzy setrin S × S × R + satisfying conditions (fw1) and (fw3) above and the following one instead of (fw2): “for each a S and t R + the function r ( a , · , t ) : S R + is continuous”. Example 4 (see also Remark 1)shows that condition (fw2) is more appropriate in our framework. We stress that actually the authors defined the concept of r-distance in the slight more general context of Menger probabilistic metric spaces.
Example 2.
Let ( S , m , ) be a fuzzy metric space and let T be a closed subset of S . Define a fuzzy setwin S × S × R + byw ( a , b , t ) = m ( a , b , t ) if a , b T and t R + , andw ( a , b , t ) = 0 otherwise. We show thatwverifies the conditions of Definition 1, so it is a fuzzy w-distance on ( S , m , ) .
 (fw1)
We first assume that a , b , c T . Hence
w ( a , b , s + t ) = m ( a , b , s + t ) m ( a , c , s ) m ( c , b , t ) = w ( a , c , s ) w ( a , b , t ) .
Otherwise, we havew ( a , c , s ) = 0 orw ( c , b , t ) = 0 , so w ( a , c , s ) w ( a , b , t ) = 0 .
 (fw2)
Let a S , b n b , t > 0 and ε ( 0 , t ) .
If a S \ T or the sequence ( b n ) n ω is eventually in S \ T , we get w ( a , b n , t ) = 0 eventually, so lim sup n w ( a , b n , t ) = 0 .
Otherwise, a T and the sequence ( b n ) n ω has a subsequence ( b n ( k ) ) k ω such that b n ( k ) T for all k ω . Since T is closed we deduce that b T , and hence
w ( a , b , t + ε ) = m ( a , b , t + ε ) lim sup n m ( a , b n , t ) lim sup n w ( a , b n , t ) .
 (fw3)
Given ε ( 0 , 1 ) , by the continuity of *, there is δ ( 0 , 1 ) for which ( 1 δ ) ( 1 δ ) > 1 ε . If w ( a , b , s ) 1 δ and w ( a , c , t ) 1 δ , we get a , b , c T , m ( a , b , s ) = w ( a , b , s ) and m ( a , c , t ) = w ( a , c , t ) . Therefore
m ( b , c , s + t ) m ( b , a , s ) m ( a , c , t ) ( 1 δ ) ( 1 δ ) > 1 ε .
Example 3.
Let ( S , m , ) be a fuzzy metric space. Then m is a fuzzy w-distance on ( S , m , ) . Indeed, this fact is an immediate consequence of Example 2 when T = S .
Example 4.
Denote by ρ · the restriction to R + of the Euclidean metric. Let ( m ρ · , ) be the induced fuzzy metric as constructed in Example 1, and let T : = [ 1 , ) . Since T is closed we can apply the construction done in Example 2 and thus the fuzzy setwin R + × R + × R + given byw ( a , b , t ) = m ρ · ( a , b , t ) if a , b T and t R + , andw ( a , b , t ) = 0 otherwise, is a fuzzy w-distance on ( R + , m ρ · , ) .
We show that, for a = 1 and any t > 0 , the function w ( a , · , t ) : R + R + is not lower semicontinuous. Obviously n / ( n + 1 ) 1 with respect to the topology generated by ( m ρ · , ) . Nevertheless, for any t > 0 , w ( a , 1 , t ) = m ρ · ( 1 , 1 , t ) = 1 and w ( a , n / ( n + 1 ) , t ) = 0 because n / ( n + 1 ) R + \ T for all n ω . Conistenly, for any t > 0 , the function w ( a , · , t ) is not lower semincontinuous, and thus not continuous.
The following example provides an efficient method to generate fuzzy w-distances from w-distances on metric spaces.
Example 5.
Let w be a w-distance on a metric space ( S , ρ ) and let ( S , m ρ , ) be the fuzzy metric space associated to ( S , ρ ) as constructed in Example 1. Define a fuzzy setwin S × S × R + by
  • w ( a , b , t ) = 1 if w ( a , b ) < t and ρ ( a , b ) < t , and
  • w ( a , b , t ) = 0 otherwise.
We show thatwis a fuzzy w-distance on the fuzzy metric space ( S , m ρ , ) . Indeed,
 (fw1)
If w ( a , c , s ) = 0 orw ( c , b , t ) = 0 , thenw ( a , c , s ) w ( c , b , t ) = 0 w ( a , b , s + t ) .
Otherwise we havew ( a , c , s ) = w ( c , b , t ) = 1 , so w ( a , c ) < s , ρ ( a , c ) < s , w ( c , b ) < t and ρ ( c , b ) < t . Hence w ( a , b ) < s + t , by condition (w1), and also ρ ( a , b ) < s + t . Therefore w ( a , b , s + t ) = 1 = w ( a , c , s ) w ( c , b , t ) .
 (fw2)
Let a S , b n b , t > 0 and ε ( 0 , t ) .
  • Ifw ( a , b , t + ε ) = 1 , the conclusion is obvious.
  • Ifw ( a , b , t + ε ) = 0 , we get w ( a , b ) t + ε or ρ ( a , b ) t + ε .
In the first case, by condition (w2), there is n 0 ω such that w ( a , b ) < ε + w ( a , b n ) for all n n 0 . Hence w ( a , b n ) > t for all n n 0 , so lim sup n w ( a , b n , t ) = 0 .
In the second one, the same argument, changing w with ρ , also shows that lim sup n w ( a , b n , t ) = 0 .
 (fw3)
Given ε ( 0 , 1 ) there is δ > 0 for which condition (w3) is fulfilled. Put δ = min { ε , δ } . Then δ ( 0 , 1 ) and hence fromw ( a , b , s ) 1 δ andw ( a , c , t ) 1 δ it followsw ( a , b , s ) = w ( a , c , t ) = 1 , i.e., w ( a , b ) < s , ρ ( a , b ) < s , w ( a , c ) < t and ρ ( a , c ) < t . We get ρ ( b , c ) < s + t , so m ρ ( b , c , s + t ) = 1 > 1 ε .
Example 6.
Let S = [ 1 , ) and letmbe the fuzzy set in S × S × R + given by m ( a , b , 0 ) = 0 , and m ( a , b , t ) = min { a , b } / max { a , b } for all a , b S and t > 0 . It is well known that ( S , m , ) is a fuzzy metric space where * is the usual product on [0, 1] (see, e.g., ([20], Example 10.1.3)). Furthermore, the topology τ ( m) agrees with the usual topology on S .
We show that the fuzzy setwin S × S × R + given byw ( a , b , 0 ) = 0 , andw ( a , b , t ) = 1 / b for all a , b S , t > 0 , is a fuzzy w-distance on ( S , m , ) . Indeed,
 (fw1)
We get, for s , t > 0 ,
w ( a , b , s + t ) = 1 / b 1 / c b = w ( a , c , s ) w ( c , b , t ) = w ( a , c , s ) w ( a , b , t ) .
 (fw2)
Let a S , b n b , t > 0 and ε ( 0 , t ) . Notice that b n b for the usual topology on S and thus 1 / b n 1 / b for the usual topology on S . Therefore
w ( a , b , t + ε ) = 1 / b = lim n 1 / b n = lim n w ( a , b n , t ) = lim sup n w ( a , b n , t ) .
 (fw3)
Given ε ( 0 , 1 ) , suppose w ( a , b , s ) 1 ε and w ( a , c , t ) 1 ε . Then 1 / b 1 ε and 1 / c 1 ε . Consequently m ( b , c , t + s ) = min { b , c } / max { b , c } 1 / max { b , c } 1 ε .

4. A Fixed Point Theorem in Terms of Fuzzy w-Distances

In his article [12], Hicks introduced a relevant notion of contraction under the name of C-contraction. Hicks’ notion was called Hicks contraction by several authors (see, e.g., [14]).
A self map f of a fuzzy metric space ( S , m , ) is a Hicks contraction provided that there is r ( 0 , 1 ) such that, for each a , b S and t > 0 ,
m ( a , b , t ) > 1 t m ( f a , f b , r t ) > 1 r t .
We generalize this notion to our setting in a natural fashion as follows.
Definition 2.
A self map f of a fuzzy metric space ( S , m , ) is aw-Hicks contraction provided that there are a fuzzy w-distancewon ( S , m , ) and an r ( 0 , 1 ) such that for each a , b S and t > 0 ,
w ( a , b , t ) > 1 t w ( f a , f b , r t ) > 1 r t .
Next we prove a fixed point result in terms of w-Hicks contractions.
Theorem 2.
Everyw-Hicks contraction on a complete fuzzy metric space has a fixed point.
Proof. 
We point out that the starting idea for the construction of a Cauchy sequence of iterates, constructed below, comes from [23].
Let ( S , m , ) be a complete fuzzy metric space and let f be a w-Hicks contraction on S . Then, there exist a fuzzy w-distance w on S and a constant r ( 0 , 1 ) such that for any a , b S and t > 0 ,
w ( a , b , t ) > 1 t w ( f a , f b , r t ) > 1 r t . ( 1 )
Fix t 0 > 1 . Let a , b S . Since w ( a , b , t 0 ) > 1 t 0 , we get w ( f a , f b , r t 0 ) > 1 r t 0 . Applying again condition (1), we deduce that w ( f 2 a , f 2 b , c 2 f 0 ) > 1 r 2 t 0 , and following this process we obtain
w ( f n a , f n b , r n t 0 ) > 1 r n t 0 , ( 2 )
for all n ω .
Now fix a 0 S and put a n : = f n a 0 for all n ω .
Let ε ( 0 , 1 ) . We are going to prove the following two assertions (A) and (B):
(A)
There exists k ( ε ) ω such that m ( a n , a m , ε ) > 1 ε for all n , m ω with k ( ε ) < n < m .
Thus, since ε is arbitrary, the sequence ( a n ) n ω will be a Cauchy sequence in ( S , m , ) .
(B)
m ( a , f a , ε ) > 1 ε , where a S is the limit of the sequence ( a n ) n ω .
Thus, since ε is arbitrary, a will be a fixed point of f .
Let δ ( 0 , 1 ) for which condition (fw3) in Definition 1 holds with respect to ε / 2 . Choose k = k ( ε ) such that r k t 0 < min { ε / 2 , δ } . By inequality (2) we have
w ( a k , a n , r k t 0 ) > 1 r k t 0 and w ( a k , a m , r k t 0 ) > 1 r k t 0 ,
whenever k < n < m .
Since 1 r k t 0 > 1 δ , it follows from condition (fw3), taking t = s = r k t 0 , that
m ( a n , a m , 2 r k t 0 ) 1 ε 2 .
Therefore
m ( a n , a m , ε ) > 1 ε ,
whenever k < n < m .
We have shown assertion (A). Consequently ( a n ) n ω is a Cauchy sequence in ( S , m , ) .
Since ( S , m , ) is complete there exists a X such that a n a
Next we prove assertion (B).
Since r k t 0 < min { ε / 2 , δ } we can choose η ( 0 , r k + 1 t 0 ) such that r k t 0 + η < min { ε / 2 , δ } . Then, by condition (fw2), in Definition 1,
w ( a k , a , r k t 0 + η ) lim sup n w ( a k , a n , r k t 0 ) ,
and
w ( a k + 1 , a , r k + 1 t 0 + η ) lim sup n w ( a k + 1 , a n , r k + 1 t 0 ) .
Consequently, we can find i > k and j > k + 1 such that
η + w ( a k , a , r k t 0 + η ) > w ( a k , a i , r k t 0 ) ,
and
η + w ( a k + 1 , a , r k + 1 t 0 + η ) > w ( a k + 1 , a j , r k + 1 t 0 ) .
Hence
w ( a k , a , r k t 0 + η ) > w ( a k , a i , r k t 0 ) η > 1 ( r k t 0 + η ) ,
which implies by (1) that
w ( a k + 1 , f a , r ( r k t 0 + η ) ) > 1 r ( r k t 0 + η ) . ( 3 )
Moreover
w ( a k + 1 , a , r k + 1 t 0 + η ) > w ( a k + 1 , a j , r k + 1 t 0 ) η > 1 ( r k + 1 t 0 + η ) . ( 4 )
Since 1 r ( r k t 0 + η ) > 1 ( r k + 1 t 0 + η ) > 1 δ , we deduce from inequalities (3) and (4) and condition (fw3) that
m ( a , f a , s + t ) 1 ε 2 ,
where s = r k + 1 t 0 + η and t = r ( r k t 0 + η ) . Since ε > 2 ( r k t 0 + η ) we get ε > s + t , so
m ( a , f a , ε ) > 1 ε .
We have proved that a is a fixed point of f .
As an immediate consequence of Example 3 and Theorem 2 we get the next enhancement of Hicks’ fixed point theorem (see [24,25]).
Corollary 1.
Every Hicks contraction on a complete fuzzy metric space has a unique fixed point.
Next we present and example where we Theorem 2 works but not Corollary 1. The next result will be of great help for our purposes.
Lemma 1
([1,2]). Let ( S , ρ ) be a metric space and T be a bounded and closed subset of S with T 2 . If K is a positive constant such that K diameter ( T ) , then, the function w : S × S R + defined by w ( a , b ) = ρ ( a , b ) if a , b T and w ( a , b ) = K otherwise, is a w-distance on ( S , ρ ) .
Example 7.
Let ( R + , m ρ · , ) be the fuzzy metric space constructed in Example 4. In fact, it is complete because the metric space ( R + , ρ · ) it is.
Define f : R + R + as f a = 1 / 2 if a [ 0 , 1 / 2 ] , and f a = 0 if a > 1 / 2 .
Since f is not continuous (at a = 1 / 2 ) , it is not a Hicks contraction on R + .
Now put T = [ 0 , 1 / 2 ] and K = 2 . By Lemma 1, the function w : R + × R + R + defined by w ( a , b ) = ρ · ( a , b ) if a , b T and w ( a , b ) = 2 otherwise, is a w-distance on ( R + , ρ · ) .
We show that f is aw-Hicks contraction on ( R + , m ρ · , ) (with constant r = 1 / 2 ) , for the fuzzy w-distancewon ( R + , m ρ · , ) given by (compare Example 5)
  • w ( a , b , t ) = 1 if w ( a , b ) < t and ρ · ( a , b ) < t , and
  • w ( a , b , t ) = 0 otherwise.
We differentiate the three next cases.
  • Case 1. a , b T . Then, for any t > 0 we get
    w ( f a , f b , r t ) = w ( 1 / 2 , 1 / 2 , t / 2 ) = 1 > 1 r t .
  • Case 2. a , b R + \ T . Then, for any t > 0 we get
    w ( f a , f b , r t ) = w ( 0 , 0 , t / 2 ) = 1 > 1 r t .
  • Case 3. a T and b R + \ T . (we do not need to consider the case a R + \ T . and b T because w is symmetric). Let t > 0 such that w ( a , b , t ) > 1 t .
If w ( a , b , t ) = 1 it follows w ( a , b ) < t , i.e., 2 < t , so 1 t / 2 < 0 . Therefore
w ( f a , f b , r t ) > 1 r t .
If w ( a , b , t ) = 0 it follows t > 1 . Suppose that w ( f a , f b , r t ) = 0 . Then w ( 1 / 2 , 0 ) r t or ρ · ( a , b ) r t . Since w ( 1 / 2 , 0 ) = ρ · ( 1 / 2 , 0 ) = 1 / 2 we deduce that 1 t , a contradiction. Hence
w ( f a , f b , r t ) > 1 r t .
Therefore, Theorem 2 works for this example.

5. A Necessary and Sufficient Condition for Completeness of Fuzzy Metric Spaces

In this section we prove our fuzzy counterpart of Theorem 1. In fact, we show that the fixed point theorem obtained in Theorem 2 jointly with the following characterization of fuzzy metric completeness obtained in [14] yield such a counterpart.
Theorem 3.
A necessary and sufficient condition for a fuzzy metric space to be complete is that every Hicks contraction on any of its closed subsets has a fixed point.
Theorem 4.
A necessary and sufficient condition for a fuzzy metric space to be complete is that everyw-Hicks contraction on it has a fixed point.
Proof. 
Necessity: It follows from Theorem 2.
Sufficiency: Let T be a closed subset of a fuzzy metric space ( S , m , ) and f be a Hicks contraction on T (with constant r ( 0 , 1 ) ) .
Fix u T and construct a self map g of S as follows:
  • g a = f a for all a T , and
  • g a = f u for all a S \ T .
Following the construction given in Example 2, let w be the fuzzy w-distance on ( S , m , ) given by
  • w ( a , b , t ) = m ( a , b , t ) if a , b T and t > 0 , and
  • w ( a , b , t ) = 0 , otherwise.
We are going to show that g is a w-Hicks contraction on ( S , m , ) for this fuzzy w-distance (with constant r ) .
Indeed, let a , b S and t > 0 such that w ( a , b , t ) > 1 t .
We distinguish three cases:
Case 1. a , b T . Then m ( a , b , t ) = w ( a , b , t ) > 1 t , so m ( f a , f b , r t ) > 1 r t , and thus
w ( g a , g b , r t ) = m ( f a , f b , r t ) > 1 r t .
Case 2. a , b S \ T . Then, we get
w ( g a , g b , r t ) = w ( f u , f u , r t ) = m ( f u , f u , r t ) = 1 > 1 r t .
Case 3. a T and b S \ T (we do not need to consider the case a S \ T and b T because w is symmetric). Then w ( a , b , t ) = 0 , so t > 1 , and thus m ( a , u , t ) > 1 t . Since f is a Hicks contraction on T we deduce that m ( f a , f u , r t ) > 1 r t . Consequently
w ( g a , g b , r t ) = w ( f a , f u , r t ) = m ( f u , f u , r t ) > 1 r t .
We conclude that g is a w-Hicks contraction on ( S , m , ) , so, by assumption it has a fixed point a 0 S . By the definition of g , a 0 T , and consequently a 0 is a fixed point of f . We have proved that every self map of T has a fixed point. Hence, by Theorem 3, ( S , m , ) is complete. □
We finish the paper by studying a case that illustrates the preceding theorem.
Example 8.
Let ( S , m , ) be the fuzzy metric space where S = [ 0 , 1 ) , * is any continuous t-norm and m is the fuzzy metric on S given, for any a , b S , by m ( a , b , 0 ) = 0 , m ( a , a , t ) = 1 if t > 0 , and m ( a , b , t ) = min { a , b } if a b , t > 0 .
Since ( n / ( n + 1 ) ) n ω is a non convergent Cauchy sequence, it follows that ( S , m , ) is not complete, so, by Theorem 4, there exist w -Hicks contractions on ( S , m , ) without fixed points. We proceed to explicitly construct one of such contractions.
Let f be the self map of S given by f a = ( a + 1 ) / 2 for all a S . Now let w be the w -distance on ( S , m , ) given by w ( a , b , 0 ) = 0 and w ( a , b , t ) = b for all a , b S , t > 0 . Suppose w ( a , b , t ) > 1 t , with t > 0 . Then b > 1 t , so ( b + 1 ) / 2 > 1 t / 2 , and hence w ( f a , f b , t / 2 ) > 1 t / 2 . We conclude that f is a w -Hicks contraction without fixed point. Observe that f is also a w -Hicks contraction with respect to the fuzzy metric m .

6. Conclusions

We have proposed and discussed a notion of w-distance for fuzzy metric spaces in the sense of Kramosil and Michalek. We have presented several examples to accredit its suitability, and proved a fixed point theorem which has allowed us to obtain a characterization of fuzzy metric completeness that provides a fuzzy counterpart of a celebrated characterization of metric completeness due to Suzuki and Takahashi. For further work related to the extension and possible applications of the obtained results, the articles [26,27,28], suggested by one of the reviewers, could be of interest.

Funding

This work has received no external funding.

Acknowledgments

The author thanks the reviewers for several useful comments and suggestions.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Kada, O.; Suzuki, T.; Takahashi, W. Nonconvex minimization theorems and fixed point theorem-s in complete metric spaces. Math. Jpn. 1996, 44, 381–391. [Google Scholar]
  2. Suzuki, T.; Takahashi, W. Fixed point theorems and characterizations of metric completeness. Topol. Methods Nonlinear Anal. 1996, 8, 371–382. [Google Scholar] [CrossRef]
  3. Suzuki, T. Generalized distance and existence theorems in complete metric spaces. J. Math. Anal. Appl. 2001, 253, 440–458. [Google Scholar] [CrossRef]
  4. Al-Homidan, S.; Ansari, Q.H.; Yao, J.C. Some generalizations of Ekeland-type variational principle with applications to equilibrium problems and fixed point theory. Nonlinear Anal. TMA 2008, 69, 126–139. [Google Scholar] [CrossRef]
  5. Lakzian, H.; Lin, I.J. The existence of fixed points for nonlinear contractive maps in metric spaces with w-distances. J. Appl. Math. 2012, 2012, 161470. [Google Scholar] [CrossRef]
  6. Alegre, C.; Marín, J.; Romaguera, S. A fixed point theorem for generalized contractions involving w-distances on complete quasi-metric spaces. Fixed Point Theory Appl. 2014, 2014, 40. [Google Scholar] [CrossRef]
  7. Alegre, C.; Marín, J. Modified w-distances on quasi-metric spaces and a fixed point theorem on complete quasi-metric spaces. Topol. Appl. 2016, 203, 32–41. [Google Scholar] [CrossRef]
  8. Mongkolkeha, C.; Cho, Y.J. Some coincidence point theorems in ordered metric spaces via w-distance. Carpathian J. Math. 2018, 34, 207–214. [Google Scholar]
  9. Lakzian, H.; Rakočević, V.; Aydi, H. Extensions of Kannan contraction via w-distances. Aequat. Math. 2019, 93, 1231–1244. [Google Scholar] [CrossRef]
  10. Alegre, C.; Fulga, A.; Karapinar, E.; Tirado, P. A discussion on p-Geraghty contraction on mw-quasi-metric spaces. Mathematics 2020, 8, 1437. [Google Scholar] [CrossRef]
  11. Kramosil, I.; Michalek, J. Fuzzy metrics and statistical metric spaces. Kybernetika 1975, 11, 336–344. [Google Scholar]
  12. Hicks, T.L. Fixed point theory in probabilistic metric spaces. Rev. Res. Fac. Sci. Univ. Novi Sad 1983, 13, 63–72. [Google Scholar]
  13. Abbas, M.; Ali, B.; Romaguera, S. Multivalued Caristi’s type mappings in fuzzy metric spaces and a characterization of fuzzy metric completeness. Filomat 2015, 29, 1217–1222. [Google Scholar] [CrossRef]
  14. Romaguera, S.; Tirado, P. Characterizing complete fuzzy metric spaces via fixed point results. Mathematics 2020, 8, 273. [Google Scholar] [CrossRef]
  15. Romaguera, S. A fixed point theorem of Kannan type that characterizes fuzzy metric completeness. Filomat. accepted.
  16. Kirk, A.W. Caristi’s fixed point theorem and metric convexity. Colloq. Math. 1976, 36, 81–86. [Google Scholar] [CrossRef]
  17. Hu, T.K. On a fixed point theorem for metric spaces. Am. Math. Mon. 1967, 74, 436–437. [Google Scholar] [CrossRef]
  18. Subrahmanyam, P.V. Completeness and fixed-points. Monatshefte Math. 1975, 80, 325–330. [Google Scholar] [CrossRef]
  19. Klement, E.; Mesiar, R.; Pap, E. Triangular Norms; Kluwer Academic: Dordrecht, The Netherlands, 2000. [Google Scholar]
  20. Cho, Y.J.; Grabiec, M.; Radu, V. On Nonsymmetric Topologial and Probabilistic Structures; Nova Science Publishers, Inc.: New York, NY, USA, 2006. [Google Scholar]
  21. Grabiec, M. Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27, 385–389. [Google Scholar] [CrossRef]
  22. Saadati, R.; O’Regan, D.; Vaezpour, S.M.; Kim, J.K. Generalized distance and common fixed point theorems in Menger probabilistic metric spaces. Bull. Iran. Math. Soc. 2009, 35, 97–117. [Google Scholar]
  23. Radu, V. On some contractive type mappings in Menger spaces. Ann. UVT 1985, 23, 61–65. [Google Scholar]
  24. Radu, V. Some fixed point theorems in probabilistic metric spaces. In Lectures Notes Math; Springer: Berlin/Heidelberg, Germany, 1987; Volume 1233, pp. 125–133. [Google Scholar]
  25. Ricarte, L.A.; Romaguera, S. On φ-contractions on fuzzy metric spaces with application to the intuitionistic setting. Iran. J. Fuzzy Syst. 2013, 10, 63–72. [Google Scholar]
  26. Riaz, M.; Hashami, M.R. Fixed points of fuzzy neutrosophic soft mapping with decision-making. Fixed Point Theory Appl. 2018, 2018, 7. [Google Scholar] [CrossRef]
  27. Riaz, M.; Hashami, M.R. Linear diophantine fuzzy set and its applications towards multi-attribute decision making problems. J. Intell. Fuzzy Syst. 2019, 37, 5417–5439. [Google Scholar] [CrossRef]
  28. Hashmi, M.R.; Riaz, M. A novel approach to censuses process by using Pythagorean m-polar fuzzy Dombi’s aggregation operators. J. Intell. Fuzy Syst. 2020, 38, 1977–1995. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Back to TopTop