Research Article | Open Access
Jianrong Wu, Hao Yang, "On Metrization of the Topologies Induced by Fuzzy Metrics", Journal of Mathematics, vol. 2020, Article ID 4731357, 5 pages, 2020. https://doi.org/10.1155/2020/4731357
On Metrization of the Topologies Induced by Fuzzy Metrics
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.
Since Zadeh  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  in 1975 introduced the notion of fuzzy metric, a fuzzy set in the Cartesian product satisfying certain conditions. Later, George and Veeramani  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  proved that there exists a GV-fuzzy metric space which is not completable. Gregori and Romaguera  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  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.
In this section, we first introduce some basic concepts and properties of fuzzy metric spaces.
Definition 1. (see ). 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 , 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 ). is increasing for all .
Gregori and Veeramani proved in  that every GV-fuzzy metric on generates a topology which has as a basewherefor 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 , 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 ; setThen, 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 thatTherefore, , which conflicts with (8).
Conversely, suppose is strictly increasing. LetObviously, . 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), andThen,(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).
Necessity. Suppose that , . By (GV5), there exists such thatSo, 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 asIf one of the following conditions is satisfied: (I) satisfies condition (15) (II) , then is a metric on .
Proof. First, we prove the following fact: ifthenIn 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 , (M1) , (M2) = 0 if and only if (M3) The conclusion (M1) is obvious.
For the conclusion (M2), 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 (M3), we take and arbitrarily. From (23), we know(i)If , then(ii)If , thenNow, suppose that . LetObviously, . 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 haveCombining conditions (I) and (II), we get .
By the definition of , we know . Since and , we obtaindirectly.
Theorem 4. is a fuzzy metric space. satisfies condition (15) or . LetThen, 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 thatis 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 henceFrom (29), we get . From the arbitrariness of , we have . Thus, = .
Let , . We put . It is easy to show thatIn 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 , whereTake , arbitrarily. Suppose . If , then . From the definitions of and , we obtainThis 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.
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.
No data were used to support this study.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
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.
This study was supported by the National Natural Science Foundation of China under grant no. 11971343.
- 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.
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.