A construction of a fuzzy topology from a strong fuzzy metric

After the inception of the concept of a fuzzy metric by I. Kramosil and J. Michalek, and especially after its revision by A. George and G. Veeramani, the attention of many researches was attracted to the topology induced by a fuzzy metric. In most of the works devoted to this subject the resulting topology is an ordinary, that is a crisp one. Recently some researchers showed interest in the fuzzy-type topologies induced by fuzzy metrics. In particular, in the paper (J. J. Miñana, A. Šostak, Fuzzifying topology induced by a strong fuzzy metric, Fuzzy Sets and Systems 300 (2016), 24–39) a fuzzifying topology T: 2^X → [0, 1] induced by a fuzzy metric m: X × X × [0, ∞) was constructed. In this paper we extend this construction to get the fuzzy topology T: [0, 1]^X → [0, 1] and study some properties of this fuzzy topology.