Journal of Mathematics
Volume 2020 (2020), Article ID 4731357, 5 pages
https://doi.org/10.1155/2020/4731357

Research Article

On Metrization of the Topologies Induced by Fuzzy Metrics

Jianrong Wu¹ and Hao Yang1,2

¹College of Mathematics and Physics, Suzhou University of Science and Technology, Suzhou, Jiangsu 215009, China
²Department of Mathematics, Nantong Institute of Technology, Nantong, Jiangsu 226002, China

Correspondence should be addressed to Jianrong Wu; jrwu@mail.usts.edu.cn

Received 22 April 2020; Revised 21 June 2020; Accepted 26 June 2020; Published 21 July 2020

Academic Editor: Ljubisa Kocinac

Copyright © 2020 Jianrong Wu and Hao Yang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

In this paper, we focus on finding the metric functions in a fuzzy metric space. After introducing the concept of a stratified function in a fuzzy metric space, we prove that the topology generated by the family of stratified functions coincides with the topology generated by the fuzzy metric. Moreover, we get the concrete form of metric function under some special conditions.

1. Introduction

Since Zadeh [1] first proposed fuzzy set theory in 1965, many researchers have defined concepts of fuzzy metric spaces and studied their properties in different ways [2–4]. Inspired by the notion of probabilistic metric spaces, Kramosil and Michalek [5] in 1975 introduced the notion of fuzzy metric, a fuzzy set in the Cartesian product satisfying certain conditions. Later, George and Veeramani [6] used the concept of continuous t-norms to modify this definition of fuzzy metric space and showed that every fuzzy metric space generates a Hausdorff first-countable topology. So far the GV-fuzzy metric theory has been developed by many researchers. Many important topics about the classical metric spaces were developed to fuzzy metric spaces. In this process, it was found that the theory of fuzzy metric was very different from the classical theory of metric. For example, Gregori and Romaguera [7] proved that there exists a GV-fuzzy metric space which is not completable. Gregori and Romaguera [8] characterized the class of completable strong fuzzy metric spaces. Recently, some good related results about fixed point in fuzzy metric spaces were introduced. For example, one can see the works [9–11]. Meanwhile, the fuzzy metrics have been applied to domain theory, color image processing, and analysis of algorithms (see [12–17]).

In 2000, Gregori and Romaguera [18] obtained a somewhat surprising stronger result. They proved that every GV-fuzzy metric generates a metrizable topology. This important result connects the GV-fuzzy metric and the classical metric. However, the form of the metric function has not been explored in existing literature. It is just the main goal of the present paper.

In this paper, we first introduce the concept of a stratified function in a fuzzy metric space which is slightly different from the GV-fuzzy metric space and show that the topology induced by the family of stratified functions is compatible with the metrizable topology. Then, under some special conditions, we give the concrete metric function whose topology coincides with the metrizable topology.

The structure of the paper is as follows. In the next section, we give the preliminary notions on fuzzy metrics, with which we deal. In Section 3, we show our main results. Finally, we give our concluding remarks in Section 4.

2. Preliminaries

In this section, we first introduce some basic concepts and properties of fuzzy metric spaces.

Definition 1. (see [19]). A binary operation : is a continuous t-norm if it satisfies the following conditions:

(1) is associative and commutative(2) is continuous(3) for each (4) whenever and with

The following continuous t-norms are used in this paper:

Also, we say the t-norm is stronger than the t-norm if for all . In such case, we denote it as . It is easy to see that .
In the sense of Gregori and Veeramani [6], a GV-fuzzy metric is defined by the follows.

Definition 2. Let be a nonempty set and be a continuous t-norm. A fuzzy metric on the set is a mapping : satisfying the following conditions: for all , :

If is a GV-fuzzy metric on , then the 3-tuple is said to be a GV-fuzzy metric space. In that case, if confusion is not possible, we call a GV-fuzzy metric space for short. The following is a well-known result.

Lemma 1. (see [20]). is increasing for all .
Gregori and Veeramani proved in [7] that every GV-fuzzy metric on generates a topology which has as a base

where

for all , , and . They proved that for each , the family is a local base at . A sequence in converges to if and only if for all . Also, by using Kelley metrization lemma [21], they also proved that is a metrizable topology.

3. Main Results

First, we introduce the concept of a stratified function in a GV-fuzzy metric space.

Definition 3. is a GV-fuzzy metric space. Let and ; set

Then, is called a -stratified function with respect to , , the family of stratified functions.
To avoid the occurrence of the empty set, by a fuzzy metric in the rest of this paper, we mean a GV-fuzzy metric satisfying

Lemma 2. Let be a fuzzy metric space, , , . Then,

(1)For any , (2)The function is decreasing with respect to (3), where

(4)The function is strictly increasing for the fixed points , if and only if for any ,

Proof.  

(1)Let . From Definition 3, there exists such that . So, .(2)It follows from Lemma 1 directly.(3)Let , that is, . Since is continuous and increasing, there exists such that . From (5), we know . So, . From the arbitrariness of , we know that

 Let ; then, . From (5), there exists such that . Therefore, . So, . From the arbitrariness of , we know that .(4)Suppose that (8) holds; however, is not strictly increasing. Then, there exist such that and on . Thus,

It is easy to see that

Therefore, , which conflicts with (8).
Conversely, suppose is strictly increasing. Let

Obviously, . If , then there is such that , so . Since is left continuous at , there is such that , which conflicts with the definition of . Thus, . So,

Now, from Lemma 2 (3), it is easy to see that the topology can be induced by the family of stratified functions. That is, we obtain the following theorem.

Theorem 1. Let be the family of stratified functions with respect to a fuzzy metric space , be defined by (8), and

Then,

(1) is a base of neighborhoods at .(2)The topology generated by coincides with the topology .

Generally, a stratified function is not a pseudometric. In fact, we have the following result.

Theorem 2. Let be a fuzzy metric space. A stratified function () is a pseudometric on if and only if satisfies the following condition: for any , , if , , then

Proof. For any , it is obvious that , , and when . Thus, to complete the proof, we only have to prove that if and only if satisfies condition (15).

Sufficiency. For any , from Lemma 2 (1), we obtain

From (15), we have

Therefore,

From the arbitrariness of , we know .

Necessity. Suppose that , . By (GV5), there exists such that

So, and . Since , we have . By the definition of , there exists such that . Thus, .

Remark 1. satisfies (15) if ∗ = .
Now, we explore the metric which induces the topology .

Definition 4. Let  = . We call function : satisfies

(i)The condition , if , , and is increasing and continuous at 0.(ii)The condition , if , as , , for any , and is left continuous and increasing.

Theorem 3. is fuzzy metric space; the functions and satisfy the conditions and , respectively. Define a function on as

If one of the following conditions is satisfied:

 (I) satisfies condition (15) (II) ,

then is a metric on .

Proof. First, we prove the following fact: if

then

In fact, if , from the definition of , we obtain there exists such that if , then . Therefore, if , then , and hence, . That is, .
Next, we prove is a metric on , that is, satisfies the following properties: for any ,

 (M₁) ,  (M₂)  = 0 if and only if  (M₃)

The conclusion (M₁) is obvious.
For the conclusion (M₂), it is easy to see that  = 0 if . Now, we suppose  = 0; however, . Then, there exists such that , that is, . Since is continuous at 0, there exists such that . This is in direct contradiction to (23). Thus,  = 0 implies that .
To prove (M₃), we take and arbitrarily. From (23), we know

(i)If , then

(ii)If , then

Now, suppose that . Let

Obviously, . It is easy to prove that . In fact, if , from the left continuity of , there exists such that . By the definition of , we conclude that , a contradiction. The fact implies that . By the left continuity of again, we know there exists such that . By the definition of , there exists such that and . Noting that is increasing, we obtain that . From (i) and (ii), we have

Combining conditions (I) and (II), we get .
By the definition of , we know . Since and , we obtain

directly.

Theorem 4. is a fuzzy metric space. satisfies condition (15) or . Let

Then, is a metric on and the topology induced by coincides with the topology .

Proof. Let , . Then, and satisfy the conditions and , respectively. Besides, satisfies condition (21). From Theorem 3, we know that

is a metric on . Thus, to show that is a metric, we only need to show  = , . In fact, if , and , then . Therefore,

From (29) and (30), we get . On the other hand, from (30), for any , there exists such that and when . Thus,

and hence

From (29), we get . From the arbitrariness of , we have . Thus,  = .
Let , . We put . It is easy to show that

In fact, for any , . Thus, there is such that and . So, , that is, . Hence,

On the other hand, for any , . From (29), we get . So, . Hence,

And (34) holds, which implies that directly.

Lemma 3. is fuzzy metric space; the functions and satisfy the conditions and , respectively. Then, the function defined by (20) can be represented as follows,:

Proof. In fact, we only need to show that , where

Take , arbitrarily. Suppose . If , then . From the definitions of and , we obtain

This is in direct contradiction to the condition that is increasing. So, , and hence, .
Now, let . For any , we know , that is, , which implies that . By the arbitrariness of , we know that . This completes the proof.

Theorem 5. is a fuzzy metric space. If satisfies condition (15) or , then :

where is defined by (29).

Proof. Let , . Then, (40) follows from Lemma 3 directly.

4. Conclusions

In the present paper, we investigate some metric structures in a fuzzy metric space. Especially, we give the concrete form of metric function with respect to the metrizable topology for a fuzzy metric under two special cases. Based on the results in the paper, interesting future research studies about the related topics may be prospective. Moreover, the technique used in this paper is suggestive to discuss the related problem in the general case.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

Jianrong Wu was responsible for conceptualization, methodology, funding acquisition, and review and editing. Hao Yang contributed to formal analysis, investigation, and original draft preparation. All authors have read and agreed to the published version of the manuscript.

Acknowledgments

This study was supported by the National Natural Science Foundation of China under grant no. 11971343.

References

L. A. Zadeh, “Fuzzy sets,” Information and Control, vol. 8, no. 3, pp. 338–353, 1965.

Z. Deng, “Fuzzy pseudo-metric spaces,” Journal of Mathematical Analysis and Applications, vol. 86, no. 1, pp. 74–95, 1982.

M. A. Erceg, “Metric spaces in fuzzy set theory,” Journal of Mathematical Analysis and Applications, vol. 69, no. 1, pp. 205–230, 1979.

O. Kaleva and S. Seikkala, “On fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 12, no. 3, pp. 215–229, 1984.

I. Kramosil and J. Michalek, “Fuzzy metrics and statistical metric spaces,” Kybernetika, vol. 11, pp. 336–344, 1975.

A. George and P. Veeramani, “On some results in fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 64, no. 3, pp. 395–399, 1994.

V. Gregori and S. Romaguera, “On completion of fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 130, no. 3, pp. 399–404, 2002.

V. Gregori and S. Romaguera, “Characterizing completable fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 144, no. 3, pp. 411–420, 2004.

V. Gupta, A. Kaushik, and M. Verma, “Some new fixed point results on V-ψ-fuzzy contraction endowed with graph,” Journal of Intelligent & Fuzzy Systems, vol. 36, no. 6, pp. 6549–6554, 2019.

V. Gupta, M. Verma, and J. Kaur, “A new contraction and existence theorems on fuzzy metric space with a graph,” Italian Journal of Pure and Applied Mathematics, vol. 43, pp. 717–729, 2020.

M. Verma, R. K. Saini, and V. Gupta, “Fixed point theorem by altering distance technique in complete fuzzy metric spaces,” International Journal of Computer Aided Engineering and Technology, vol. 13, no. 4, pp. 437–447, 2020.

V. Gregori, S. Morillas, and A. Sapena, “Examples of fuzzy metrics and applications,” Fuzzy Sets and Systems, vol. 170, no. 1, pp. 95–111, 2011.

S. Morillas, V. Gregori, G. Peris-Fajarnés, and P. Latorre, “A new vector median filter based on fuzzy metrics,” in Lecture Notes in Computer Science, vol. 3656, pp. 81–90, Springer, Berlin, Germany, 2005.

S. Morillas, V. Gregori, G. Peris-Fajarnés, and P. Latorre, “A fast impulsive noise color image filter using fuzzy metrics,” Real-Time Imaging, vol. 11, no. 5-6, pp. 417–428, 2005.

S. Romaguera, A. Sapena, and P. Tirado, “The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words,” Topology and Its Applications, vol. 154, no. 10, pp. 2196–2203, 2007.

J.-R. Wu and Z.-Y. Jin, “A note on ulam stability of some fuzzy number-valued functional equations,” Fuzzy Sets and Systems, vol. 375, pp. 191–195, 2019.

J.-R. Wu, X.-W. Kai, and J.-J. Li, “Atoms of monotone set-valued measures and integrals,” Fuzzy Sets and Systems, vol. 304, no. 1, pp. 131–139, 2016.

V. Gregori and S. Romaguera, “Some properties of fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 115, no. 3, pp. 485–489, 2000.

B. Schweizer and A. Sklar, “Statistical metric spaces,” Pacific Journal of Mathematics, vol. 10, no. 1, pp. 314–334, 1960.

M. Grabiec, “Fixed points in fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 27, no. 3, pp. 385–389, 1988.

J. L. Kelley, General Topology, Van Nostrand, New York, NY, USA, 1955.