The theory of metric space is an important topic in topology. The methods of constructing a fuzzy metric have been extensively studied [1–4]. It is worth noting that George and Veeramani  introduced the concept of a fuzzy metric with the help of continuous t-norms. Despite being restrictive, this kind of fuzzy metric provides a more natural and intuitive way to connect with the metrizable topological spaces. This concept has been widely used in various papers devoted to fuzzy topology [5–11]. It also has been applied to color image filtering to improve image quality (see  and the references therein).
On the other hand, measure theory is one of the most important theories in mathematics and it has been extensively studied. The concept of fuzzy measure was first introduced by Sugeno . It can be regarded as an extension of classical measure in which the additivity is replaced by a weaker condition, monotonicity. Klement et. al establish the axiomatic theory of fuzzy σ-algebras and develop a measure theory of fuzzy sets [13–15]. So far, there are many different classes of fuzzy measures, such as possibility measure [16, 17], decomposable measure [18–20], pseudo-additive measure [21, 22], and T-measure [23–26] etc. A systematic study of fuzzy measure theory can be found in [27–30].
Recently, the study of constructing a fuzzy metric using a fuzzy measure technique has been actively pursued. In particular, a fuzzy Prokhorov metric and ultrametric defined on the set of all probability measures in a compact fuzzy metric space have been developed in [31, 32]. Cao et. al  introduce fuzzy analogue of the Kantorovich metric among the set of possibility distributions. In [34, 35], the authors discuss the relations between the decomposable measure and the fuzzy metric. More specifically, it has been proven that, with a Hausdorff fuzzy pseudo-metric constructed on its power set, a stationary fuzzy ultrametric space can induce a σ-⊥-superdecomposable measure. The authors of  further use a topological approach to extend the t-conorm-based decomposable measures by introducing a fuzzy pseudometric structure on an algebra of sets. In  we constructed a pseudo-metric (in the sense of Pap) on the measurable sets of a given σ-⊥-decomposable measure, and then analyzed the connection between the induced pseudo-metric and the σ-⊥-decomposable measure.
In this paper we focus on the following problems: how to construct a fuzzy metric by using a fuzzy measure developed in [14, 15] and what is the relation between these two? And what is the relations between these two? Specifically, by introducing the concept of an equivalence relation on fuzzy measurable sets, we construct a fuzzy metric on the associated quotient sets from a given fuzzy measure. Furthermore, we study some basic properties of the constructed fuzzy metric space such as completeness and continuity. To gain better insight into our proposed method of constructing a fuzzy metric, we study the properties of the constructed fuzzy metric which can precisely reflect those of fuzzy measure. As an illustration we obtain that the nonatom of fuzzy measure space can be characterized in the constructed fuzzy metric space.
The rest of the paper is organized as follows. In Section 2, some basic notions and results are given. Sections 3 and 4 are devoted to constructing a fuzzy metric and discussing its properties. In Section 5, we discuss the relationships between the constructed fuzzy metric and the fuzzy measure. Finally, some concluding remarks are given in Section 6.
A function ⊤ : [0, 1]2 → [0, 1] is called triangular norm (t-norm for short) if it satisfies the following conditions for all a, b, c, d ∈ [0, 1]:
a⊤1 = a. (boundary condition)
a⊤b ≤ c⊤d whenever a ≤ c and b ≤ d.(monotonicity)
a⊤b = b⊤b. (commutativity)
a⊤(b⊤c) = (a⊤b)⊤c. (associativity)
A t-Norm ⊤ is said to be continuous if it is a continuous function in [0, 1]2. Typical examples of continuous t-Norms are the minimum TM, the product TP and the Łukasiewicz t-norm TL, which are given by, respectively:
Because of the associative property, the t-Norm ⊤ can be extended by induction to n-ary operation by setting
Due to monotonicity, for each sequence (xi)i∈ℕ of elements of [0, 1], the following limit can be considered:
Next we recall the concept of a fuzzy metric with the help of the continuous t-norm, which is a generalization of the concept of Menger probabilistic metric to the fuzzy setting.
The 3-tuple (X, M, ⊤) is said to be a fuzzy metric space if X is an arbitrary nonempty set, ⊤ is a continuous t-norm and M is a fuzzy set on X2 × (0, ∞) satisfying the following conditions, for all x, y, z ∈ X, t, s > 0:
M(x, y, t) > 0,
M(x, y, t) = 1 iff x = y,
M(x, y, t) = M(x, y, t)
M(x, z, t + s) ≥ M(x, y, t)⊤M(y, z, t)
M(x, y, ·) : (0, ∞) → (0, 1] is continuous.
If the condition (GV2) is replaced by the condition (GVp): M(x, x, t) = 1, then (X, M, ⊤) is said to be a fuzzy pseudometric space.
It was proved in  that in a fuzzy metric space X, the function M(x, y, ·) is nondecreasing for all x, y ∈ X. A sequence (xi)i∈ℕ in a fuzzy metric space (X, M, ⊤) is said to converge  to x if limi→∞ M(xi, x, t) = 1 for all t > 0; a sequence (xi)i∈ℕ in a fuzzy metric space (X, M, ⊤) is said to be Cauchy  if limi, j →∞ M(xi, x, t) = 1 for all t > 0; (X, M, ⊤) is said to be complete  if every Cauchy sequence is convergent. A mapping f from a fuzzy metric space (X, M, ⊤1) to a fuzzy metric space (X, M, ⊤2) is called uniformly continuous  if for each ε ∈ (0, 1) and each t > 0, their exist r ∈ (0, 1) and s > 0 such that N(f(x), f(y), t) > 1 – ε whenever M(x, y, s) > 1 – r.
Let X be a nonempty set, I the unit interval [0, 1]. A subset of IX is a fuzzy σ-algebra iff
0, 1 ∈ ,
A ∈ implies 1 — A ∈ ,
if is a sequence in , then = sup Ai ∈ .
A finite fuzzy measure (or F-measure) on a fuzzy σ-algebra is a function μ : → [0, ∞) satisfying:
μ(0) = 0,
for A ∈ , μ(1 – A) = μ(1) – μ(A),
for A, B ∈ , μ(A ∨ B) + μ (A ∧ B) = μ(A) + μ(B),
if is a sequence in such that Ai ↗ A, A ∈ , then μ(A) sup = μ(Ai).
We call (X, , μ) an F-measure space, elements of are referred as fuzzy measurable sets.
3 Constructing fuzzy metric based on F-measure
In this follow-up, ⊤ stands for the minimum t-norm TM. The following result is the natural fuzzy metric structure on fuzzy measurable sets.
Let (X, , μ) be an F-measure space. If we define the fuzzy set M on 2 × (0, ∞) by
where A, B ∈ . Then M is a fuzzy pseudometric on .
From the definition of M, it is obvious that for any A, B ∈ , t > 0, we have (i) M(A, B, t) > 0; (ii) M(A, A, t) = 1 and M(A, B, t) = M(B, A, t); (iii) M(x, y, ·) : (0, ∞) → [0, 1] is continuous. The only thing that we need to prove is the triangular inequality. For any A, B, C ∈ and t, s > 0, we have and . We are going to verify M(A, B, C, t + s) ≥ M(A, B, t) ⊤ M(B, C, s). For each A, B, C, ∈ , we have
we can distinguish two cases: M(B, C, s) ≥ M(A, B, s) or M(A, B, t) ≥ M(B, C, s).
Case (i). If M(B, C, s) ≥ M(A, B, t), or equivlently,
This implies that
Case (ii). Similar to (i). Thus, M is a fuzzy pesudometric on .
Based on Theorem 3.1, M is a fuzzy pseudometric on under any left-continuous t-norms since TM is the biggest left-continuous t-norm.
Generally speaking, the fuzzy pseudometric space ( , M, ⊤) is usually not a fuzzy metric space. But we can construct a fuzzy metric space from a fuzzy pseudometric metric space ( , M, ⊤) and, at the same time, keep the general characteristics of the fuzzy pseudometric metric space.
Let (X, , μ) be an F-measure space. For each A, B ∈, we define the relation “~” on : A ~ B if and only if μ(A ∨ B) = μ(A ∧ B). Then ~ is an equivalence relation on .
Let (X, , μ) be an F-measure space. Let /μ be the set of all equivalence classes for the relation “∼”. The fuzzy pseudometric M has a natural extension to
where [A] ([B]) denote the equivalence class of A (B). Then M is a fuzzy metric on /μ.
The following Lemma shows that the collection of equivalence class /μ forms a fuzzy σ-algebra.
Let (X μ) be an F -measure space. Then for Ai, Bi ∈ , Ai ∼ Bi, i ∈ ℕ, we have
1 - Ai ∼ 1 - Bi
A1 ∨ A2 ~ B1 ∨ B2 and A1 ∨ A2 ~ B1 ∨ B2
Let (X, μ) be an F-measure space. If, for Ai, Bi ∈ , Ai ∼ Bi, i ∈ ℕ, and then A ∈ B.
According to Lemma 3.5 and Lemma 3.6, by means of representatives of classes, we can introduce the operations of union, intersection and complementation on , [Ai] ∈ /μ denote the equivalence class of Ai in . Hence, /μ is a fuzzy σ algbra. We therefore properly define μ on /μ by setting
The pair (/μ, μ) is a said to be an F-measure algebra.
For convenience and simplicity, we denote members [A] of /μ by A, and functions μ: /μ → [0, ∞) by μ: /μ → [0, ∞)
4 Properties of the fuzzy metric space( , M, ⊤)
In this section, we study some properties of the fuzzy metric space ( , M, ⊤) based on F -measure µ.
Let (X, , µ) be an F -measure space and M be the fuzzy metric on defined in Theorem 3.4. Then the maps (i) (A, B) ↦ A ∨ B and (ii) (A, B) ↦ A ∧ B are uniformly continuous from × to .
Now, we shall consider the completeness of the fuzzy metric space , M, ⊤.
Let (X, , µ) be an F -measure space and Ai (i = 1, 2, ...) be elements of . Then the fuzzy metric M as defined in Theorem 3.4 satisfies the following properties:
for each t > 0;
), for all k ∈ ℕ, ti > 0.
Let (xn)n∈ℕ be a Cauchy sequence in fuzzy metric space (x, M, ⊤). If there is a subsequence (xk(n)n∈ℕ of (xn)n∈ℕ that converges to x in X, then the Cauchy sequence (xn)n∈ℕ converges to x.
The fuzzy metric space (, M, ⊤) based on F -measure µ is complete.
5 The correspondence between fuzzy metric space and F-measure space
In the following, we give the characteristics of the nonatom of the F-measure algebra ( , µ).
If, for two distinct elements A, B ⊂ X, there exists t, s > 0 and an element P ⊂ X, different from both A and B such that M(A, B, t + s) = M(A, P, t)⊤M(P, B, s), then fuzzy metric space (X, M, ⊤) is called convex..
Let ( , µ) be an F-measure algebra. Then the measure µ is called nonatom if for A, B ∈ , A ≤ B and µ(A) < µ(B), there exists P ∈ , A ≤ P ≤ B such that µ(A) < µ(P) <(B).
The F-measure algebra ( , µ) is nonatom if and only if fuzzy metric space ( , M, ⊤) is convex.
In this paper, by constructing a fuzzy metric on the fuzzy measurable sets, we studied the relations between these two. In particular, several satisfactory properties of the constructed fuzzy metric have been obtained. In addition, we investigated the charaterization of the nonatom of the fuzzy measure and the corresponding properties of constructed fuzzy metric space. The main results and methods presented in this paper generalize some well known results in [38, 39].
The authors are enormously grateful to the editors and the anonymous reviewers for their professional comments and valuable suggestions. This work is supported in part by the National Natural Science Foundation of China (No. 11371130, 61103052, 11401195), the Natural Science Foundation of Fujian Province (No. 2014H0034, 2016J01022), the projects of Education Department of Fujian Province (No. JA15280) and Li Shangda Discipline Construction Fund of Jimei University.
Deng Z. K., Fuzzy pseudometric spaces, Journal of Mathematical Analysis and Applications, 1982, 86, 74–95 Google Scholar
Kaleva O., Seikkala S., On fuzzy metric spaces, Fuzzy Sets and Systems, 1984, 12, 215–229Google Scholar
Kramosil I., Michálek J., Fuzzy metric and statistical metric spaces, Kybernetika, 1975, 11, 336–334Google Scholar
Yue Y. L., Shi F. G., On fuzzy pseudo-metric spaces, Fuzzy Sets and Systems, 2010, 161, 1105–1116 Google Scholar
George A., Veeramani P., On some results in fuzzy metric spaces, Fuzzy Sets and Systems, 1994, 64, 395–399 Google Scholar
George A., Veeramani P., On some results of analysis for fuzzy metric spaces, Fuzzy Sets and Systems, 1997, 90, 365–368 Google Scholar
Gregori V., Romaguera S., Sapena A., Uniform continuity in fuzzy metric spaces, Rendiconti dell'Istituto di Matematica dell'University di Trieste Suppl., 2001, 2, 81–88 Google Scholar
Gregori V., Sapena A., On fixed point theorems in fuzzy metric spaces, Fuzzy Sets and Systems, 2002, 125, 245–253 Google Scholar
Gregori V., Morillas S., Sapena A., Examples of fuzzy metrics and applications, Fuzzy Sets and Systems, 2011, 170, 95–111 Google Scholar
Shen Y. H., Qiu D., Chen W., Fixed point theorems in fuzzy metric spaces, Applied Mathematics Letters, 2012, 25, 138–141Google Scholar
Shen Y. H., Qiu D., Chen W., Fixed point theory for cyclic ϕ-contractions in fuzzy metric spaces, Iranian Journal of Fuzzy Systems, 2013, 10, 125–133 Google Scholar
Sugeno M., Theory of fuzzy integrals and its applications, Ph.D. Thesis, Tokyo Institute of Technology, Tokyo, 1974. Google Scholar
Klement E. P., Fuzzy σ-algebras and fuzzy measurable functions, Fuzzy Sets and Systems, 1980, 4, 83–93 Google Scholar
Klement E. P., Characterization of finite fuzzy measures using markoff-kernels, Journal of mathematical analysis and applications, 1980, 75, 330–339 Google Scholar
Srivastava Y. K., Fuzzy probability measures and dynamical systems, Ph.D. Thesis, Allahabad University, 1993. Google Scholar
Klir G. J., Generalized information theory, Fuzzy Sets and Systems, 1991, 40, 127–142 Google Scholar
Dubois D., Prade M., Sabbadin R., Decision-theoretic foundations of possibility theory, European Journal of Operational, 2001, 128, 459–478 Google Scholar
Dubois D., Prade M., A class of fuzzy measures based on triangular norms, International Journal of General System, 1982, 41, 59–95 Google Scholar
Dubois D., Prade M., Aggregation of decomposable measures with application to utility theory, Theory and Decision, 1996, 41, 59–95Google Scholar
Weber S., ┴-decomposable measures and integrals for archimedean t-conorm, Journal of Mathematical Analysis and Applications, 1984, 101, 114–138 Google Scholar
Sugeno M., Murofushi T., Pseudo-additive measures and integrals, Journal of Mathematical Analysis and Applications, 1987, 122, 197–222 Google Scholar
Pap E., Pseudo-analysis, Computational Cybernetics (ICCC), 2013 IEEE 9th International Conference, IEEE, 2013, 213–218 Google Scholar
Butnariu D., Klement E. P., Triangular Norm-Based Measures and Games with Fuzzy Coalitions, Springer Netherlands, 1993. Google Scholar
Klement E. P., construction of fuzzy σ-algebras using triangular norms, Journal of mathematical analysis and applications, 1982, 85, 543–565Google Scholar
Klement E. P., Characterization of fuzzy measures constructed by means of triangular norms, Journal of mathematical analysis and applications, 1982, 86, 345–358Google Scholar
Klement E. P., Weber S., Generalized measures, Fuzzy Sets and Systems, 1991, 40, 375–394 Google Scholar
Denneberg D., Non-additive measure and integral, Kluwer Academic Publishers, 1994 Google Scholar
Pap E., Null-additive set functions, Ister Science, 1995Google Scholar
Pap E., Handbook of measure Theory: In two volumes, volume 2, Elsevier Science, Amsterdam, 2002Google Scholar
Wang Z. Y., Klir G. J., Generalized Measure Theory, Spalgebraer Press, New York, 2009 Google Scholar
Repovš D., Savchenko A., Zarichnyi M., Fuzzy prokhorov metric on the set of probability measures, Fuzzy Sets and Systems, 2011, 175, 96–104 Google Scholar
Savchenko A., Zarichnyi M., Fuzzy ultrametrics on the set of probability measures, Topology, 2009, 48, 130–136 Google Scholar
Cao Y. Z., Sun S. X., Wang H., Chen G., A behavioral distance for fuzzy-transition systems, IEEE Transactions on Fuzzy Systems, 2013, 21, 735–747 Google Scholar
Qiu D., Zhang W. Q., Li C., On decomposable measures constructed by using stationary fuzzy pseudo-ultrametrics, International Journal of General Systems, 2013, 42, 395–404 Google Scholar
Qiu D., Zhang W. Q., Li C., Extension of a class of decomposable measures using fuzzy pseudometrics, International Journal of General Systems, 2013, 222, 33–44 Google Scholar
Xie J. L., Li Q. G., Chen S. L., Gao Y., On pseudo-metric spaces induced by σ┴-decomposable measures, Fuzzy Sets and Systems, 2016, 289, 33-42 Google Scholar
Klement E. P., Mesiar R., Pap E., Triangular norms, Kluwer Academic Publishers, Dordrecht, 2000 Google Scholar
Halmos P. R., Measure Theory, Spalgebraer-Verlag, New York, 1974 Google Scholar
Royden H. L., Real Analysis, Macmillan, NewYork, 1989 Google Scholar
About the article
Published Online: 2016-09-20
Published in Print: 2016-01-01