() @ Appl. Gen. Topol. 17, no. 2(2016), 105-116doi:10.4995/agt.2016.4495 c© AGT, UPV, 2016 A construction of a fuzzy topology from a strong fuzzy metric Svetlana Grecova a, Alexander Šostak b and Ingr̄ıda Uļjane b a Department of Mathematics, University of Latvia, Riga Latvia b Department of Mathematics, University of Latvia, Zellu street 25, LV-1002 Riga, Latvia and Institute of Mathematics, UL, Raina bulv. 29, LV-1459 Riga, Latvia (sostaks@latnet.lv, ingrida.uljane@lu.lv) Abstract 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 : 2X → [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. 2010 MSC: 54A40. Keywords: fuzzy pseudometric; fuzzy metric; fuzzifying topology; fuzzy topology; lower semicontinuous functions; Lowen ω-functor. 1. Introduction After the concept of a fuzzy metric was defined by I. Kramosil and J. Michalek in 1975 [16] and later redefined in a slightly revised form in 1994 by A. George and P. Veeramani [4], many researches became interested in the topological structure of a fuzzy metric space. In particular different properties Received 07 January 2016 – Accepted 21 July 2016 http://dx.doi.org/10.4995/agt.2016.4495 S. Grecova, A. Šostak and I. Uļjane of the topologies induced by fuzzy metrics and operations with such topologies were studied by A. George and P. Veeramani, V. Gregori, S. Romaguera, A. Sapena, D. Mihet, J.J. Miñana, S. Morillas et al., see e.g. [4], [5], [11], [10], [7], [8], [25], et al. 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 papers [37], [22], [26] fuzzy pseudometrics m : X × X × (0, ∞) were applied to induce fuzzifying topologies T : 2X → [0, 1]. However, as far as we know, there was still no research in the field of “fullbodied” fuzzy topologies T : [0, 1]X → [0, 1] induced by fuzzy metrics. It is the principal aim of this paper to develop such construction. Specifically, we consider here an LM-fuzzy topology T m : LX → M generated by a fuzzy metric m, where L and M are complete sublattices of the unit interval [0, 1]. Our approach here is based on the construction of a fuzzifying topology presented in [26] which is extended to an LM-fuzzy topology by applying the Lowen ω-functor. The structure of the paper is as follows. In the next section we recall basic notions and results used in the sequel. In particular, the concepts of a fuzzy metric, a fuzzy topology (specifically, an LM-fuzzy topology) are recalled here. We recall here also the standard construction of a fuzzy topology from a de- creasing family of ordinary topologies and modify it by applying the Lowen ω-functor. The next, 3rd section is the main one in this work. Here we realize the general construction of a fuzzy topology from a family of topologies in case when these topologies are induced by a strong fuzzy metric and consider some properties of this construction. The main result here is Theorem 3.8 showing, in a certain sense, “the good behaviour” of this construction. The next, Corollary 3.9 presents the “categorical version” of this theorem. In the last, 4th Section some perspectives for the future research are sketched. 2. Preliminaries 2.1. Fuzzy metrics. Basing on the concept of a statistical metric introduced by K. Menger [24], see also [29], I. Kramosil and J. Michalek in [16] defined the notion of a fuzzy metric. A. George and P. Veeramani [4] slightly modified the original concept of a fuzzy metric. At present in most cases research involving fuzzy metrics is done in the context of George-Veeramani definition. This approach is accepted also in our paper. Definition 2.1 ([4]). A fuzzy metric on a set X is a fuzzy set m : X×X×R+ → [0, 1], where R+ = (0, +∞), such that: (1GV) m(x, y, t) > 0 for all x, y ∈ X, and all t ∈ R+; (2GV) m(x, y, t) = 1 if and only if x = y; (3GV) m(x, y, t) = m(y, x, t) for all x, y ∈ X and all t ∈ R+; (4GV) m(x, z, t + s) ≥ m(x, y, t) ∗ m(y, z, s) for all x, y, z ∈ X, t, s ∈ R+; (5GV) m(x, y, −) : R+ → [0, 1] is continuous for all x, y ∈ X. c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 106 A construction of a fuzzy topology from a strong fuzzy metric The pair (X, m) is called a fuzzy metric space. If it is important to specify the t-norm in the definition of a fuzzy metric we use notations (m, ∗) and (X, m, ∗) for a fuzzy metric and the fuzzy metric space respectively. In case when axiom (2GV) is replaced by a weaker axiom (2′GV) if x = y, then m(x, y, t) = 1 we get definitions of a fuzzy pseudo-metric, and the corresponding fuzzy pseudo- metric space. Note that axiom (4GV) combined with axiom (2′GV) implies that a fuzzy metric m(x, y, t) is non-decreasing on the third argument. Definition 2.2. A fuzzy metric m : X × X × (0, ∞) → [0, 1] is called strong if, in addition to the properties (1GV) - (5GV), the following stronger versions of axioms (4GV) and (5GV) are satisfied (4sGV) m(x, z, t) ≥ m(x, y, t) ∗ m(y, z, t) for all x, y, z ∈ X and for all t > 0. (5sGV) m(x, y, −) : R+ → [0, 1] for all x, y ∈ X is continuous and non- decreasing. Remark 2.3. In the original definition of a strong fuzzy metric it was defined as a mapping m : X × X × R+ → [0, 1] satisfying axioms (1GV), (2GV), (3GV), (4sGV) and (5GV). However, as it was noticed, such combination of axioms does not imply axiom (4GV) and hence a strong fuzzy metric need not be a fuzzy metric: the corresponding example can be found in [6]. Therefore in our definition of a strong fuzzy metric we replace axiom (5GV) by axiom (5sGV) by assuming additionally that m is non-decreasing. This condition, on one hand, can be obtained “gratis” from the system of axioms (1GV), (2GV), (3GV), (4GV) and (5GV) and, on the other hand, it allows to obtain the condition (4GV). Thus, under the present definition every strong fuzzy metric is a fuzzy metric. Definition 2.4 ([11]). A fuzzy metric m on a set X is said to be stationary, if m does not depend on t, i.e. if for each x, y ∈ X, the function mx,y(t) = m(x, y, t) is constant. In this case we can write m(x, y) instead of m(x, y, t). The next concept implicitly appears in [10]: Definition 2.5. Given two fuzzy metric spaces (X, m, ∗m) and (Y, n, ∗n) a mapping f : X → Y is called continuous if for every ε ∈ (0, 1), every x ∈ X and every t ∈ (0, ∞) there exist δ ∈ (0, 1) and s ∈ (0, ∞) such that n(f(x), f(y), t) > 1 − ε whenever m(x, y, s) > 1 − δ. In symbols: ∀ε ∈ (0, 1), ∀x ∈ X, ∀t ∈ (0, ∞) ∃ δ ∈ (0, 1), ∃s ∈ (0, ∞) such that m(x, y, s) > 1 − δ =⇒ n(f(x), f(y), t) > 1 − ε Fuzzy metric spaces as objects and continuous mappings between them as morphisms form a category which we denote FuzMS. c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 107 S. Grecova, A. Šostak and I. Uļjane In a fuzzy metric space (X, m, ∗) a (crisp) topology on X is introduced as follows [4], [5]: Given a point x ∈ X, a number ε ∈ (0, 1) and t > 0, we define a ball at a level t with center x and radius ε > 0 as the set Bε(x, t) = {y ∈ X | m(x, y, t) > 1 − ε}. Obviously t ≤ s =⇒ Bε(x, t) ⊆ Bε(x, s) and ε ≤ δ =⇒ Bε(x, t) ⊆ Bδ(x, t). It is shown in [4], see also [5], that the family {Bε(x, t) | x ∈ X, t ∈ (0, ∞), ε ∈ (0, 1)} is a base for some topology T m on X. Besides one can easily verify the following proposition: Proposition 2.6 ([4]). Given two fuzzy metric spaces (X, m, ∗m) and (Y, n, ∗n) a mapping f : (X, m, ∗m) → (Y, n, ∗n) is continuous if and only if the mapping of the induced topological spaces f : (X, T m) → (Y, T n) is continuous. Hence, by assigning to a fuzzy metric space (X, m, ∗m) the induced topolog- ical space (X, T m) and assigning to a continuous mapping f : (X, m, ∗m) → (Y, n, ∗n) the mapping f : (X, T m) → (Y, T n), we get a functor Φ : FuzMS → TOP where TOP is the category of topological spaces. 2.2. Fuzzy topologies. The first approach to the study of topological-type structures in the context of fuzzy sets was undertaken in 1968 by C.L. Chang [1]; soon later this approach was essentially developed and extended by J.A. Goguen [3]. According to this approach a (Chang-Goguen) L-fuzzy topology on a set X, where L is a complete infinitely distributive lattice, is a subfamily of the family LX of L-fuzzy subsets of X satisfying certain counterparts of the usual topological axioms. An alternative approach to the fuzzification of the subject of topology was undertaken in 1980 by U. Höhle [12]. According to this approach, an (L-)fuzzy topology on a set X is defined as a mapping T : 2X → L satisfying certain functional versions of topological axioms. Later, in 1991, the same concept was rediscovered by Mingsheng Ying [33], by making deep analysis of topological axioms and properties of topological spaces by means of fuzzy logic. Mingsheng Ying called such structures by fuzzifying topologies and just this term is used now by most authors when speaking about such structures. Finally, in 1985 in [17] and [30] (independently) a general view on the concept of a topology in the context of fuzzy sets and fuzzy structures was proposed; later, in [18], [19], this approach led to the concept of an LM-fuzzy topology where L and M are complete infinitely distributive lattices. According to this approach an LM-fuzzy topology is a certain mapping T : LX → M, see Definition 2.7. It is the aim of this work to present a construction of an LM- fuzzy topology on a fuzzy metric space. Besides, since we will deal with fuzzy topological-type structures generated by fuzzy metrics m : X × X × (0, ∞) → [0, 1], we will restrict here with the case when L and M are complete sublattices of the unit interval [0, 1] containing 0 and 1. Definition 2.7 ([30, 17, 18]). Given a set X, a mapping T : LX → M is called an LM-fuzzy topology on X if it satisfies the following axioms: c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 108 A construction of a fuzzy topology from a strong fuzzy metric (1) T (0X) = T (1X) = 1 here given a constant a ∈ [0, 1] by aX we denote the constant function taking value a for all x ∈ X, that is aX : X → {a} ⊆ [0, 1]; (2) T (A ∧ B) ≥ T (A) ∧ T (B) ∀A, B ∈ LX; (3) T ( ∨ i Ai) ≥ ∧ i T (Ai) ∀{Ai : i ∈ I} ⊆ L X. A pair (X, T ) is called an LM-fuzzy topological space. In case when L = [0, 1] and when we do not specify the range M we will call [0, 1], [0, 1]-fuzzy topologies just as fuzzy topologies. Remark 2.8. The intuitive meaning of the value T (A) is the degree to which a fuzzy set A ∈ LX is open. Remark 2.9. Chang-Goguen L-fuzzy topological spaces can be characterized now as L2-fuzzy topological spaces where 2 = {0, 1} is the two-element lattice, and L-fuzzifying topological spaces are just 2L-fuzzy topological spaces. Definition 2.10. Given two LM-fuzzy topological spaces (X, T X) and (Y, T Y ) a mapping f : (X, T X) → (Y, T Y ) is called continuous if T X ( f−1(B) ) ≥ T Y (B) ∀B ∈ LY . Given α ∈ M and a fuzzy topology T : LX → M let Tα = {A ∈ L X : T (A) ≥ α}. The following theorem is well-known and easy to prove: Theorem 2.11. A mapping f : (X, T X) → (Y, T Y ) is continuous if and only if the mapping f : (X, T Xα ) → (Y, T Y α ) is continuous for each α ∈ [0, 1], that is f−1(B) ∈ T Xα whenever B ∈ T Y α . Since the composition g◦f : (X, T X) → (Z, T Z) of two continuous mappings f : (X, T X) → (Y, T Y ) and g : (Y, T Y ) → (Z, T Z) is obviously continuous and since the identity mapping id : (X, T X) → (X, T X) is continuous, we come to the category FuzTop(LM) of LM-fuzzy topological spaces as objects and their continuous mappings as morphisms. 2.3. Construction of LM-fuzzy topologies from families of crisp topolo- gies. In this section we describe a scheme allowing to construct LM-fuzzy topologies from decreasing families of ordinary topologies. Let K be a sup-dense subset of M, that is for every α ∈ M, α 6= 0 there exists a subset Kα of K such that α = sup Kα. Further, let a non-increasing family of topologies {Tα : α ∈ K} on a set X be given, that is α < β, α, β ∈ K =⇒ Tα ⊇ Tβ and T0 = L X whenever 0 ∈ K. Further, let ω(Tα) be the family of all lower semi-continuous functions A : (X, Tα) → [0, 1]. It is well known see [20], [21] (and easy to verify) that ω(Tα) satisfies the axioms of a Chang-Goguen fuzzy topology, (actually even a stratified Chang-Goguen fuzzy topology) that is (1) ω(Tα) contains all constant functions cX : (X, Tα) → [0, 1], c ∈ [0, 1], c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 109 S. Grecova, A. Šostak and I. Uļjane (2) ω(Tα) is closed under finite meets (3) ω(Tα) is closed under arbitrary joins. Besides T0 = [0, 1] X We shall need also the following well-known fact, see e.g. [20], [21]: Proposition 2.12. Given two topological spaces (X, T X) and (Y, T Y ) a map- ping f : (X, T X) → (Y, T Y ) is continuous if and only if the mapping of the corresponding Chang-Goguen fuzzy topological spaces f : (X, ω(T X)) → (Y, ω(T Y )) is continuous. Let intαA be the interior of a fuzzy set A ∈ [0, 1] X in the Chang-Goguen fuzzy topology ω(Tα). Theorem 2.13. By setting T (A) = sup{α : intαA = A} an LM-fuzzy topology T : LX → M is defined. Proof. Notice first that α ≤ β =⇒ intβA ≤ intαA ≤ A, ∀A ∈ L X and ∀α, β ∈ M, and hence the definition of the mapping T : LX → M is correct. (1) Since constant functions cX : (X, Tα) → K ⊆ [0, 1], c ∈ K are continu- ous for every α ∈ K, we conclude that intαcX = cX, and hence T (cX) = 1. (2) Let A, B ∈ LX and let T (A) = α, T (B) = β. Without loss of generality assume that α ≤ β. Then for every ε > 0 such that α − ε ∈ K we have A = intα−εA, and B = intβ−εB = intα−εB. Hence A ∧ B = (intα−εA) ∧ (intα−εB) = intα−ε(A ∧ B). Thus T (A ∧ B) ≥ α and hence T (A ∧ B) ≥ T (A) ∧ T (B). (3) Let {Ai : i ∈ I} ⊆ L X be a family of fuzzy subsets of X and let α = ∧ i∈I T (Ai). Then for every ε > 0 such that α − ε ∈ K and every i ∈ I it holds Ai = intα−εAi. Hence ∨ i∈I Ai = ∨ i∈I intα−εAi ≤ intα−ε ∨ i∈I Ai. Since the opposite inequality is obvious, we have ∨ i∈I Ai = intα−ε ∨ i∈I Ai, and hence T ( ∨ i∈IAi) ≥ ∧ i∈IT (Ai). � Remark 2.14. By making restrictions of the construction in an LM-fuzzy topol- ogy on the range L of fuzzy sets or on the range M of the fuzzy topology we come to the following special cases: (1) Let L = 2 is the two-element lattice, that is 2 = {0, 1} and M = [0, 1]. In this case our construction reduces to the construction described in [26] and gives an 2M-fuzzy topology, that is a fuzzifying topology. c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 110 A construction of a fuzzy topology from a strong fuzzy metric (2) Let L = [0, 1] and M = 2 be the two element lattice. In this case K = {0, 1} or K = {1} and our construction gives a fuzzy topology T : LX → 2 such that T0 = L X and T1 = ω(T1) is the given topology on the set X. (3) Let L = M = 2. Then our construction gives T : 2X → 2 such that T0 = 2 X is the discrete topology and T1 = T1 is the given topology. Let K be a sup-dense subset of the unit interval and let {T Xα : α ∈ K}, {T Yα : α ∈ K} be non-increasing families of topologies on the sets X and Y respectively. Further, let {ω(T Xα ) : α ∈ K}, {ω(T Y α ) : α ∈ K} be the corresponding Chang-Goguen fuzzy topologies, and let T X : LX → M and T Y : LY → M be the LM-fuzzy topologies constructed from families {ω(T Yα ) : α ∈ K} and {ω(T Yα ) : α ∈ K}, respectively. Theorem 2.15. A function f : (X, T X) → (Y, T Y ) is continuous if and only if the function f : (X, ω(T Xα )) → (Y, ω(T Y α )) is continuous for every α ∈ K, Proof. Assume first that f : (X, ω(T Xα )) → (Y, ω(T Y α )) is continuous for ev- ery α ∈ K and, given B ∈ LY , let T Y (B) = β. We have to show that T X(f−1(B)) ≥ β. In case β = 0 the statement is obvious. Therefore we assume that β > 0. Then for every ε > 0 such that β −ε ∈ Kit holds intβ−εB = B and hence B ∈ ω(T Yβ−ε) (here without loss of generality we assume that β −ε ∈ K). From the continuity of all mappings f : (X, ω(T Xα )) → (Y, ω(T Y α )) it follows that f−1(B) ∈ ω(T Xβ−ε). Hence for every δ > 0 such that β −ε−δ ∈ K it holds f−1(B) = intβ−ε−δf −1(B). From here we easily get the required inequality T X(f−1(B)) ≥ β = T X(B). Conversely, assume that f : (X, ω(T Xα )) → (Y, ω(T Y α )) is not continuous for some α. Then there exists ε > 0 such that α − ε ∈ K and V ∈ ω(T Yα−ε) but f−1(V ) 6∈ ω(T Xα−ε). However this means that T X(f−1(V )) ≤ α − ε < T Y (V ), and hence the function f : (X, T X) → (Y, T Y ) is not continuous. � 3. LM-fuzzy topology induced by a strong fuzzy metric 3.1. Construction of an LM-fuzzy topology on a strong fuzzy metric space. Let (X, m, ∗) be a strong fuzzy metric space. In order to define a relation between properties of a fuzzy metric for a fixed parameter t ∈ R+ and α-levels of the LM-fuzzy topology, that we are going to construct, we take a strictly increasing continuous bijection ϕ : (0, ∞) → (0, 1). We fix α ∈ (0, 1) and consider the family Bα = {Bm(x, r, t) : x ∈ X, r ∈ (0, 1)}, where t = ϕ −1(α). Then, Bα is a base of a topology T m α on the set X. Indeed, it is easy to verify (see e.g. [10]) that mt : X × X → [0, 1] defined by mt(x, y) = m(x, y, t) for x, y ∈ X, is a stationary fuzzy metric on X which has as a base the family {Bmt(x, r) : x ∈ X, r ∈ (0, 1)}. This topology is characterized in the next theorem. c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 111 S. Grecova, A. Šostak and I. Uļjane Theorem 3.1 ([26]). Let α ∈ (0, 1) and let U ∈ 2X. Then U ∈ T mα if and only if for each x ∈ U there exists δ ∈ (0, 1) such that Bm(x, δ, t) ⊆ U, where t = ϕ−1(α). From this theorem and taking into account that for each x ∈ X, for each δ ∈ (0, 1), and for every t > 0 the inclusion Bm(x, δ, s) ⊆ Bm(x, δ, t) holds whenever 0 < s < t, we obtain the next corollary. Corollary 3.2 ([26]). If U ∈ T mα , then U ∈ T m β whenever β < α, and hence the family {T mα : α ∈ (0, 1)} is non-increasing. Now referring to Subsection 2.3 from Corollary 3.2 we get the following Theorem 3.3. Let (X, m) be a strong fuzzy metric space. By setting T m(A) = ∨ {α : A ∈ ω(T mα )} for every A ∈ L X we get an LM-fuzzy topology T m : LX → M. In the sequel we refer to the fuzzy topology T m constructed in the previous theorem as a fuzzy topology induced by the fuzzy metric m. 3.2. Case of a principal fuzzy metric. Definition 3.4. ([8]) (X, m, ∗) is called principal (or just, m is principal) if {B(x, ε, t) : r ∈ (0, 1)} is a local base at x ∈ X, for each x ∈ X and each t > 0. By definition of a principal fuzzy metric and Corollary 3.2, it is easy to verify that if (X, m, ∗) is a strong principal fuzzy metric space, then Tα = Tβ for all α, β ∈ (0, 1). Hence also ω(Tα) = ω(Tβ) for all α, β ∈ (0, 1] and therefore the resulting fuzzy topology is a Chang-Goguen type topology, or L2-fuzzy topology in our notations. In particular, as one can expect, fuzzy topology generated by the standard fuzzy metric, that is by fuzzy metric md md(x, y, t) = t t + d(x, y) where d : X × X → [0, ∞) is an ordinary metric on the set X, is a Chang- Goguen fuzzy topology. We reformulate this fact as follows: Example 3.5. Let (X, d) be a metric space and let md be the corresponding standard metric. Further, let T md be the fuzzy topology induced by md. Then for every U ∈ [0, 1]X T md(U) = { 1 if U is lower semicontinuous 0 otherwise 3.3. Continuity of mappings of LM-fuzzy topological spaces versus continuity of mappings of strong fuzzy metric spaces. As different from the concordant situation in case of fuzzy metrics and the induced topologies, (see Proposition 2.6), the concept of continuity of mappings of fuzzy metric spaces (Definition 2.10) is not coherent with the concept of continuity of the mappings of the induced LM-fuzzy topological spaces (Definition 2.10). This fact was known already in case of fuzzyfying topologies induced by fuzzy met- rics. [26]. Therefore, in order to describe the relations between continuity of c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 112 A construction of a fuzzy topology from a strong fuzzy metric mappings between fuzzy metric spaces and the continuity of mappings between the induced fuzzy topological spaces, we need to consider the following stronger version of continuity for fuzzy metric spaces introduced in [7]: Definition 3.6. A mapping f : (X, m, ∗m) → (Y, n, ∗n) is called strongly continuous at a point x ∈ X if given ε ∈ (0, 1) and t > 0 there exists δ ∈ (0, 1) such that m(x, y, t) > 1 − δ implies n(f(x), f(y), t) > 1 − ε. We say that f : (X, m, ∗m) → (Y, n, ∗n) is strongly continuous (on X) if it is strongly continuous at each point x ∈ X. Remark 3.7. In paper [7] this property of a mapping f : (X, m, ∗m) → (Y, n, ∗n) was called t-continuity. Here, we think it is reasonable (following also [26]) to recall this property as strong continuity first because it is well related with the concept of a strong fuzzy metric which is fundamental for this paper, and second, because the prefix t in front of the adjective “continuous” seems to be misleading in this context. Theorem 3.8. A mapping f : (X, T m) → (Y, T n) of LM-fuzzy topological spaces induced by fuzzy metrics m : X × X × (0, ∞) → [0, 1] and n : Y × Y × (0, ∞) → [0, 1], respectively, is continuous if and only if the mapping f : (X, m, ∗m) → (Y, n, ∗n) is strongly continuous. Proof. Suppose that a mapping f : (X, T m) → (Y, T n) is continuous. Then for every α ∈ [0, 1] the mapping f : (X, T mα ) → (Y, T n α ) is continuous (The- orem 2.11). Let x ∈ X and take any Bn(f(x), ε, t) ∈ T n α , where α = ϕ(t). Since Bn(f(x), ε, t) ∈ T n α , where α = ϕ(t) and f is continuous, we have that f−1(Bn(f(x), ε, t)) ∈ T m α . Therefore, for each x ′ ∈ f−1(Bn(f(x), ε, t)) we can find δ ∈ (0, 1) such that Bm(x ′, δ, t) ⊆ f−1(Bn(f(x), ε, t)). In particular, since x ∈ f−1(Bn(f(x), ε, t)) there exists δ ∈ (0, 1) such that Bm(x, δ, t) ⊆ f−1(Bn(f(x), ε, t). However, this means that if x ′ ∈ Bm(x, δ, t), that is if m(x, x′, t) > 1−δ, then x′ ∈ f−1(Bn(f(x), ε, t)), that is n(f(x), f(y), t) > 1−ε. Therefore, the mapping f : (X, m, ∗m) → (Y, n, ∗n) is strongly continuous at a point x, and, since x ∈ X is arbitrary, the mapping f : (X, m, ∗m) → (Y, n, ∗n) is strongly continuous. Conversely, suppose that a mapping f : (X, m, ∗m) → (Y, n, ∗n) is strongly continuous, but f : (X, T m) → (Y, T n) is not continuous. Then there, ap- plying Theorem 2.15 we conclude that there exists α ∈ [0, 1] such that f : (X, ω(T mα )) → (Y, (T n α )) is not continuous. Then, we can find V ∈ L Y such that V ∈ T nα , but f −1(V ) 6∈ T nα . Referring to Proposition 2.12 without loss of generality we may assume that V ∈ 2X. The inequality f−1(V ) /∈ T mα means that there exists x0 ∈ f −1(V ) such that A 6⊆ f−1(V ) for each A ∈ T mα containing point x0, and, in particular, Bm(x0, δ, t) 6⊆ f −1(V ) for each δ ∈ (0, 1), where t = ϕ−1(α). On the other hand, since f(x0) ∈ V ∈ T n α , we can find ε ∈ (0, 1) such that Bn(f(x0), ε, t) ⊆ V. Therefore, we have found x0 ∈ X and ε ∈ (0, 1) such that for each δ ∈ (0, 1) it holds Bm(x0, δ, t) 6⊆ f −1 (Bn(f(x0), ε0, t)) where t = ϕ−1(α). However, this means that for each δ ∈ (0, 1) there exists a point c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 113 S. Grecova, A. Šostak and I. Uļjane x ∈ X such that m(x0, x, t) > 1−δ, but n(f(x0), f(x), t) ≤ 1−ε and hence the mapping f : (X, m, ∗m) → (Y, n, ∗n) is not strongly continuous at the point x0. The obtained contradiction completes the proof. � Let FuzSM denote the the subcategory of the category FuzM whose ob- jects are strong metric spaces and whose morphisms are strongly continuous mappings of strong fuzzy metric spaces. From the previous theorem we get the following statement: Corollary 3.9. By assigning to every strong fuzzy metric space (X, m, ∗) the LM-fuzzy topological space F(X, m, ∗) = (X, T m) and assigning to every strongly continuous mapping f : (X, m, ∗m) → (Y, n, ∗n) the mapping F(f) = f : (X, T m) → (Y, T n) we obtain the functor F : FuzSMet → FuzTop(LM). 4. Conclusion We presented here a method allowing to construct for a given strong fuzzy metric space (X, m, ∗) an LM-fuzzy topological space (X, T m) where L, M are complete sublattices of the unit interval [0, 1]. In case L = {0, 1} this construction comes to the construction of a fuzzifying topology developed in [26]. Although we restricted ourselves by the case of strong fuzzy metric spaces, it is clear that all concepts considered here and all results obtained in an obvious way can be reformulated for the case of strong fuzzy pseudometric spaces. At the end of the last section a functor F : FuzSMet → FuzTop(L, M) was introduced. An actual problems is to study properties of this functor. In partic- ular, we plan to study preservation of such operations as products, co-products, quotients, etc., by this functor. Another challenge is to study categorical prop- erties of the subcategory FFuzSMet in the category FuzTop(L, M) as well as categorical properties of the subcategory FuzSMet in the category FuzMet It is important to consider concrete examples of strong fuzzy metrics and the induced fuzzy topologies. As it was said above, in case of a principal fuzzy metric our construction brings forward to a Chang-Goguen fuzzy topology. In particular, starting with the standard fuzzy metric, we come to a Chang- Goguen fuzzy topology. Therefore, to get a general, say LM-fuzzy topology for L = M = [0, 1] we have to start with a strong fuzzy metric which is not principal. Some examples of such fuzzy metrics can be found in [6] and [26]. Acknowledgements. The authors are thankful to the anonymous referee for making remarks which allowed to improve exposition of the paper. References [1] C. L. Chang, Fuzzy topological spaces, J. Math. Anal. Appl. 24 (1968), 182–190. [2] J. A. Goguen, L-fuzzy sets, J. Math. Anal. Appl. 18 (1967), 145–174. [3] J.A. Goguen, The fuzzy Tychonoff theorem, J. Math. Anal. Appl. 43 (1973), 734–742. c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 114 A construction of a fuzzy topology from a strong fuzzy metric [4] A. George and P. Veeramani, On some results in fuzzy metric spaces, Fuzzy Sets Syst. 64 (1994), 395–399. [5] A. George and P. Veeramani, On some results of analysis for fuzzy metric spaces, Fuzzy Sets Syst. 90 (1997), 365–368. [6] V. Gregori, A survey of the theory of fuzzy metric spaces, preprint, 2014. [7] V. Gregori, A. López-Crevillén and S. Morillas, On continuity and uniform continuity in fuzzy metric spaces, Proc. Workshop Appl. Topology WiAT’09 (2009), 85–91. [8] V. Gregori, A. López-Crevillén, S. Morillas and A. Sapena, On convergence in fuzzy metric spaces, Topology Appl. 156 (2009), 3002–3006. [9] V. Gregori and J. Miñana, Some concepts related to continuity in fuzzy metric spaces, Proc. Workshop Appl. Topology WiAT’13 (2013), 85–91. [10] V. Gregori, S. Morillas and A. Sapena, On a class of completable fuzzy metric spaces, Fuzzy Sets Syst. 161 (2010), 2193–2205. [11] V. Gregori, S. Romaguera, Characterizing completable fuzzy metric spaces, Fuzzy Sets Syst. 144 (2004), 411–420. [12] U. Höhle, Upper semicontinuous fuzzy sets and applications, J. Math. Anal. Appl. 78 (1980) 659–673. [13] U. Höhle and A. Šostak, Axiomatics for fixed-based fuzzy topologies, Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory (U. Höhle and S.E. Rodabaugh, eds.), The Handbook of Fuzzy Sets Series, vol.3, Dodrecht: Kluwer Acad. Publ., 1999. [14] U. Höhle L-valued neighborhoods, Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory (U. Höhle and S.E. Rodabaugh, eds.), The Handbook of Fuzzy Sets Series, vol.3, Dodrecht: Kluwer Acad. Publ., 1999. [15] E. P. Klement, R. Mesiar and E. Pap, Triangular norms, Dodrecht: Kluwer Acad. Publ., 2000. [16] I. Kramosil and J. Michalek, Fuzzy metrics and statistical metric spaces, Kybernetika 11 (1975), 336–344. [17] T. Kubiak, On Fuzzy Topologies, Ph.D. thesis, Adam Mickiewicz University, Poznań, Poland, 1985. [18] T. Kubiak and A. Šostak, A fuzzification of the category of M-valued L-topological spaces, Applied Gen. Topol. 5 (2004), 137–154. [19] T. Kubiak and A. Šostak, Foundations of the theory of (L, M)-fuzzy topological spaces, 30th Linz Seminar on Fuzzy Sers, Linz, Austria, February 3–8, 2009. Abstracts, pp. 70–73. [20] R. Lowen Fuzzy topological spaces and fuzzy compactness, J. Math. Anal Appl. 56 (1976), 621–633. [21] R. Lowen, Initial and final fuzzy topologies and fuzzy Tychonoff theorem, J. Math. Anal. Appl. 58 (1977), 11–21. [22] I. Mardones-Pérez and M.A. de Prada Vicente, Fuzzy pseudometric spaces vs fuzzifying structures, Fuzzy Sets Syst. 267 (2015), 117–132. [23] I. Mardones-Pérez and M.A. de Prada Vicente, A representation theorem for fuzzy pseudometrics, Fuzzy Sets Syst. 195 (2012), 90–99. [24] K. Menger, Probabilistic geometry, Proc. N.A.S. 27 (1951), 226–229. [25] D. Miheţ, On fuzzy contractive mappings in fuzzy metric spaces, Fuzzy Sets Syst. 158 (2007), 915–921. [26] J. Miñana and A. Šostak, Fuzzifying topology induced by a strong fuzzy metric, Fuzzy Sets Syst. 300 (2016), 24–39. [27] A. Sapena, A contribution to the study of fuzzy metric spaces, Applied Gen. Topol. 2 (2001), 63–76. [28] A. Sapena and S. Morillas, On strong fuzzy metrics, Proc. Workshop Appl. Topology WiAT’09 (2009), 135–141. [29] B. Schweizer and A. Sklar, Statistical metric spaces, Pacific J. Math. 10 (1960), 215–229. [30] A. Šostak, On a fuzzy topological structure, Suppl. Rend. Circ. Matem. Palermo, Ser II 11 (1985), 125–186. c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 115 S. Grecova, A. Šostak and I. Uļjane [31] A. Šostak, Two decades of fuzzy topology: Basic ideas, notions and results, Russian Math. Surveys 44 (1989), 125–186 [32] A. Šostak, Basic structures of fuzzy topology, J. Math. Sci. 78 (1996), 662–701. [33] M.S. Ying, A new approach to fuzzy topology, Part I, Fuzzy Sets Syst. 39 (1991), 303– 321. [34] M.S. Ying , A new approach to fuzzy topology, Part II, Fuzzy Sets Syst. 47 (1992), 221–232. [35] M.S. Ying, A new approach to fuzzy topology, Part III, Fuzzy Sets Syst. 55 (1993), 193–207. [36] M.S. Ying, Compactness in fuzzifying topology, Fuzzy Sets Syst. 55 (1993), 79–92. [37] Y. Yue, F-G. Shi, On fuzzy metric spaces, Fuzzy Sets Syst. 161 (2010), 1105–1116. c© AGT, UPV, 2016 Appl. Gen. Topol. 17, no. 2 116