#### 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 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 [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 ; 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), 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 obtainFrom (15), we haveTherefore,From the arbitrariness of , we know .

*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 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: 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 , (*M*_{1}) , (*M*_{2}) = 0 if and only if (*M*_{3}) The conclusion (*M*_{1}) is obvious.

For the conclusion (*M*_{2}), 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*_{3}), 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 . 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 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.

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.