1. Introduction
Recently, some researchers have shown interest in the use of methods and tools of classical analysis, such as metrics and topologies, in “non-traditional” areas, such as theoretical computer science, combinatorics on words, data mining, etc. In particular, different metrics describing the distance between infinite words, limits of sequences of words, and topologies on the set of infinite words were studied (see, e.g., [
1]). However, usually, there are not the classical metrics that provide effective tools for these studies, but more general structures. In particular, fuzzy metrics (see, e.g., [
2]) have been used for pattern recognition (see, e.g., [
3]), and partial metrics (see, e.g., [
4]) have been used for some theoretical computer-science-related applications (see e.g., [
5]). Fuzzy fragmentary metrics [
6] and parametrized metrics [
7,
8] have been introduced in order to measure the distance between two infinite words in a more appropriate way than ordinary metrics. In this paper, we introduce yet another generalization of a fuzzy metric, called a fuzzy approximating metric (
Section 3) and, closely related with them, the approximating version of parametrized metrics (
Section 4). We study the properties of fuzzy approximating metrics and approximating parametrized metrics, discuss their relations with (fuzzy) partial metrics (
Section 5) and consider the applicability of these concepts for the study of the problems related to combinatorics on words (
Section 6). We conclude the paper with
Section 7, where some ideas for the future work in this field are discussed.
2. Preliminaries: Fuzzy Metrics
In 1951, K. Menger [
9] introduced the notion of a statistical metric. This concept was carefully studied and renamed the probabilistic metric in [
10]. Later, basing on the definition of a probabilistic metric, I. Kramosil and J. Michalek [
2] introduced the notion of a fuzzy metric. Based on the Kramosil–Michalek definition, A. George and P. Veeramani [
11,
12], after some, outwardly not very significant, modifications, introduced an alternative concept known now as a GV-fuzzy metric. The informal difference between the two definitions is that in the GV-definition, a greater role is given to the fuzzy component compared to the probabilistic component, the influence of which is more noticeable in the original definition of Kramosil–Michalek. In the sequel, when dealing with fuzzy metrics, we always mean the George–Veeramani version. An interested reader can easily find counterpart of the study provided in this work for the Kramosil–Michalek fuzzy metrics.
Both definitions of the fuzzy metric rely on the concept of a
t-norm. The standard source for references on
t-norms is the monograph [
13]. However, for the readers convenience, we give basic information about
t-norms that will be needed in our work.
Definition 1. A t-norm is a binary operation on the unit interval satisfying the following conditions for all :
- (1tn)
∗ is monotone: ;
- (2tn)
∗ is commutative: ;
- (3tn)
∗ is associative: ;
- (4tn)
.
Example 1. Among the most important examples of t-norms are the following four (see, e.g., [10,13]): Define where ∧ denotes the operation of taking minimum in [0, 1]. It is called the minimum t-norm.
Define be the product. This is the so called product t-norm.
Define This is the well-known Łukasiewicz t-norm.
Define This is known as the Hamacher t-norm.
Remark 1. It is known and can be easily seen that for every t-norm ∗. Hence, ∧ is the largest t-norm.
Definition 2 ([
11])
. Let X be a set and a continuous t-norm. A fuzzy metric on a set X is a mapping satisfying the following axioms:- (FM1)
if and only if ;
- (FM2)
;
- (FM3)
;
- (FM4)
is lower semi-continuous (In the original definition in [11] was assumed to be continuous).
In order to specify the t-norm used in the definition of a fuzzy metric, we refer to a fuzzy metric as the pair .
Note that from axioms (FM3) and (FM1), it follows that the mapping is non-decreasing.
In our work, we apply also the following stronger version of a fuzzy metric first introduced in [
14].
Definition 3. A fuzzy metric M on a set X is called strong if in addition to axioms (FM1) and (FM2), the following modifications of axioms (FM3) and (FM4) are satisfied:
- (FKM3s)
for all and for all .
- (FKM4s)
is left continuous and non-decreasing, (that is ).
Remark 2. In case we just replace axiom (FM3) by axiom (FKM3), the resulting concept may fail to be a fuzzy metric. The simplest example of such a situation was found by A. Sapenas and S. Morillas [14]. Therefore, in order to obtain a stronger version of a fuzzy metric, one has either to add axiom (FKM3) to the definition of a fuzzy metric (as it is done in [14]) or to replace (FM3) with (FKM3) and ask additionally that is non-decreasing, as we did in [15] and in this paper. Remark 3. There is close relation between strong fuzzy metrics and non-Archimedean fuzzy metrics (see, e.g., [13,16]). Recall that a fuzzy metric is called non-Archimedean if it satisfies a stronger version of the axiom (FM3), namely Under the assumption that the function is non-decreasing, axiom (FM3¬A) is equivalent to the axiom of a strong fuzzy metric (FKM3). Indeed, taking in the axiom (FM3) , we obtain axiom (FKM3) and hence (FM3¬A) ⟹ (FKM3).
Conversely, relying on the axiom (FKM3) and non-decreasing nature of function , we have , and hence (FM3¬A) ⟸ (FKM3).
3. Fuzzy Approximating Metrics
Inspired by the works of Matthews and coauthors [
4,
5,
17], we realized a certain inconsistency or discrepancy in our works in combinatorics on words which are based on fuzzy metrics with the actual situation. When comparing two words in practice, usually the information is not available as given at present but appears only in the process of computation. We interpret this computation as the procedure along parameter
, which is along the third argument in the definition of a fuzzy metric. Under this interpretation, axiom (FM1) is too strong: given a string
at the stage
, we have information about this string only till
th coordinate and cannot yet confirm that
. On the other hand, “at the infinity” we have information about all elements of the string and, therefore, it is natural to request that
for every
. When comparing
x and
y at every step
, thus having information up to
t on both strings and not knowing yet whether
, we obviously have only relation
. We view these observations as justification for the following definitions first introduced in our paper [
18].
Definition 4. A fuzzy approximating metric on a set X is a mapping satisfying the following axioms:
- (FAM1)
;
- (FAM2)
If then if and only if ;
- (FAM3)
;
- (FAM4)
;
- (FAM5)
is left semicontinuous for all
Remark 4. Comparing Definition 4 and Definition 2, notice first that we revise axiom (FM1) by splitting it into two axioms (FAM1) and (FAM2); the intuitive meaning of this splitting is explained above. We do not revise axioms (FM2) and (FM3) that appear now as axioms (FAM3) and (FAM4) in Definition 4 since they reflect information at finite steps and hence are operating with already received information. We do not revise also axiom (FM4) that appears now as axiom (FAM5) since it is given in the global way, that is, for each specific .
From axiom (FAM4) and taking into account axiom (FAM5), we obtain
Proposition 1. is a non-decreasing function and
Patterned after Definition 3, we introduce the strong version of the fuzzy approximating metric.
Definition 5. A fuzzy approximating metric M on a set X is called strong if, in addition to axioms (FAM1)–(FAM3), the following modifications of axioms (FAM4) and (FAM5) are satisfied:
- (FAM4s)
for all and for all .
- (FAM5s)
is left continuous and non-decreasing, that is
In the next sections of this paper, we discover close relations between approximating parametrized metrics and fuzzy approximating metrics based on some particular t-norms, discuss some connections between fuzzy approximating metrics and fuzzy partial metrics and give an example of the possible application of approximating parametrized metrics in combinatorics on words.
4. Approximating Parametrized Metrics
Many researchers use families of (pseudo)metrics, often endowed with a parameter, in order to characterize objects of their study. For example, J.F. McClendon [
19] considers a disjoint collection of metric spaces, whose metrics are compatible with a given topology on the disjoint union of sets, V. Radu [
20] applies families of metrics in the research of distribution functions, D. Schueth [
21] in her research uses families of Rimannian metrics on simply connected manifolds, etc. On the other hand, we are aware of only a few studies in which just parametrized metrics are considered objects. Actually, the first work known to us, in which parametrized metrics appear, is a work by N. Hussein and co-authors [
22]. Namely, a parametrized metric on a set
X is a function
such that
- (PM1)
for all if and only if ;
- (PM2)
for all and all ;
- (PM3)
for all and all .
Note that in the paper cited above, the authors use for this concept a very inappropriate, in our opinion, name of a parametric metric.
In the paper [
8], we present a construction of a parametrized metric based on a appropriately chosen
t-conorm. In this paper, in the spirit of this work, we introduce the approximating version for parametrized metrics.
Definition 6. Let X be a set. A mapping is called an approximating parametrized metric on X if it satisfies the following conditions:
- (APM1)
;
- (APM2)
if and only if ;
- (APM3)
;
- (APM4)
;
- (APM5)
is left semicontinuous for all
Patterned after Definition 5, we introduce the strong version of the approximating parametrized metric.
Definition 7. An approximating parametrized metric P on a set X is called strong if in addition to axioms (APM1)–(APM3), the following modifications of axioms (APM4) and (APM5) are satisfied:
- (APM4s)
for all and for all .
- (APM5s)
is left continuous and non-increasing (that is ).
It turns out that under certain conditions, fuzzy approximating metrics and approximating parametrized metrics can be considered dual concepts. The details of this statement are revealed later in this section.
Theorem 1. Let be a fuzzy approximating metric for the Hamacher t-norm and let Then, is an approximating parametrized metric.
Proof. Note first that since for every , the definition of is correct. From Proposition 1, it follows that the function is non-increasing.
Property (APM1) for follows directly from Property (FAM1) for .
Referring to axiom (FAM2) and recalling that by Proposition 1,
exists for every pair
we establish axiom (APM2) as follows:
if and only if
, i.e., if and only if
.
Referring to axiom (FAM3), we establish property (APM3) for as follows:
.
To show (APM5), notice that by (FAM5)
and recall that
is non-increasing.
To complete the proof, we have to show that axiom (FAM4) in the case of the Hamacher
t-norm for
, i.e.,
implies property (APM4) for
, i.e.,
We denote
. We have to prove that
under the assumption that
Now we prove the requested inequality as follows:
□
In the proof of property (APM4), the crucial role is played by the inequality , where the left side of the inequality is the result obtained by the Hamacher t-norm. Noticing this, we can obtain the following corollary from the previous theorem.
Corollary 1. Let be a fuzzy approximating metric for a t-norm, which is weaker (i.e., smaller) or equal to the Hamacher t-norm. Then by settingwe obtain an approximating parametrized metric , particularly if it is a fuzzy metric for the product and Łukasiewicz t-norm. Theorem 2. Let be an approximating parametrized metric on a set X. Then, the mapping defined byis a fuzzy approximating metric for the Hamacher t-norm. Proof. We can verify that each one of axioms (APM1)–(APM5) for
P implies the validity of the corresponding condition (FAM1)–(FAM5) for the mapping
P similarly as we did in the opposite direction in the proof of Theorem 1. We shall linger only on the proof of the less trivial property (FAM4) in case ∗ is the Hamacher
t-norm. Explicitly, we have to prove that for all
and for all
, the following inequality holds:
under the assumption that
We fix
, denote
and, referring to the definition of
through
P, we rewrite the provable inequality by
which, after elementary transformation comes to the accepted inequality
. □
Corollary 2. Let be an approximating parametrized metric and define by Then is a fuzzy approximating metric for any t-norm ∗ such that . In particular, it is a fuzzy metric for the product and Łukasiewicz t-norms.
Notice that from the above constructions and from Theorems 1 and 2, we have the following corollaries:
Corollary 3. For every approximating parametrized metric M, the equality holds.
Corollary 4. If is a fuzzy metric for a t-norm ∗ such that then .
Remark 5. Note, however, that when writing , the equality “forgets” the original t-norm ∗ used in the definition of the fuzzy metric (and hence such that by Corollary 1) and the resulting fuzzy metric (by Theorem 1) is a fuzzy metric for the Hamacher t-norm .
Corollary 5. Approximating parametrized metrics and fuzzy approximating metrics for Hamacher t-norms are equivalent concepts.
One can easily modify the proofs of Theorems 1 and 2 and their corollaries for the case of strong fuzzy approximating metrics and strong approximating parametrized metrics. Namely, the following statements hold:
Theorem 3. Let be a strong fuzzy metric for the Hamacher t-norm and let Then, is a strong approximating parametrized metric.
Theorem 4. Let be a strong approximating parametrized metric on a set X. Then, the mapping defined byis a strong fuzzy approximating metric for the Hamacher t-norm. Corollary 6. Strong approximating parametrized metrics and strong fuzzy approximating metrics for Hamacher t-norms are equivalent concepts.
Patterned after the definition of an ultrametric, a mapping
satisfying properties (APM1), (APM2), (APM3), (APM5) of the Definition 6 and the following stronger version of the property (APM4)
is called an approximating parametrized ultrametric.
The following theorem shows that approximating parametrized ultrametrics correspond to fuzzy approximating metrics for the minimum t-norm.
Theorem 5. If is a fuzzy approximating metric for the minimum t norm, then by setting , we obtain an approximating parametrized ultrametric . Conversely, given an approximating parametrized metric , by setting , we obtain a fuzzy approximating metric for the minimum t-norm.
Proof. Obviously, we have to prove that condition
for a
is equivalent to axiom (FAM4) in the case of comparing them with the minimum
t-norm. In the other way stated, by using notations
,
,
, we have to prove that
for
. However, to see this, just assume that
. □
5. Fuzzy Approximating Metrics Versus Fuzzy Partial Metrics
Partial metrics were introduced in 1994 by Matthews [
4], and now they are the focus of interest for some mathematicians and theoretical computer scientists, see, e.g., the survey [
5].
Basing on the concept of a partial metric, V. Gregori, J-J. Minana and D. Miravet [
23] introduced the concept of a fuzzy partial metric, both in KM and GV versions. We rely here on the GV version of a fuzzy partial metric to compare them with our fuzzy approximating metrics.
Definition 8 ([
23])
. Let X be a set, ∗ a continuous t-norm and the corresponding residuum. A fuzzy partial metric on a set X is a mapping satisfying the following conditions for all and all :- (FPM1)
- (FPM2)
if and only if
- (FPM3)
- (FPM4)
- (FPM5)
mapping is a lower semicontinuous function.
One can easily notice certain common features between our fuzzy approximating metrics on one side and partial and fuzzy partial metrics on the other. And this is not surprise since the idea of both approaches is the problem of evaluation of the distance between two infinite strings. Namely, in practice, the result will not be obtained as given or received at some step but will be achieved in the infinite process of comparing of these strings. However, the tools suggested for this research, that is, fuzzy approximating metrics and (fuzzy) partial metrics are essentially different. In this section, we make a preliminary comparison of fuzzy approximating metrics and fuzzy partial metrics.
We make this comparison by comparing individual axioms in the definitions in the case when x and y are infinite strings. Note first that conditions (FPM1), (FPM3) and (FPM5) are equivalent to conditions (FAM1), (FAM3) and (FAM5), respectively. So, we have to compare (FPM2) with (FAM2) and to compare (FPM4) with (FAM4).
Speaking informally, condition (FAM2) means that, if comparing strings x and y, we notice that they coincide at each step and hence , we conclude that . On the other hand, condition (FPM2) asks to compare values , and at each step and if they are equal, then conclude that . In this case, no information about the value and, specifically, of its limit at the infinity for a given is specified. So, axioms (FPM2) and (FAM2) are incomparable. However, (FPM2) seems to us more flexible than (FAM2).
In order to compare (FPM4) with (FAM4), we have to fix a t-norm since they are the only axioms where the t-norm (and hence the corresponding residuum ) is involved. We restrict here to the case of the Łukasiewicz t-norm and the case of the minimum t-norm and the strong version of the fuzzy approximating version. Just in these cases, the comparison of the axioms becomes the most visual.
In the case of the Łukasiewicz
t-norm, condition (FPM4) can be rewritten as
and hence if
for each
we have
On the other hand, condition (FAM4) can be rewritten as
So although the concepts of a fuzzy partial metric and fuzzy approximating metric are independent, the concept of a fuzzy partial metric in the case of the Łukasiewicz t-norm seems more flexible than the concept of a fuzzy approximating metric.
Now, in the case of the minimum
t-norm and taking into account axiom (FPM1), the “strong version”
of the axiom
can be rewritten as
and this is just the axiom
of the strong fuzzy approximating metric
6. Examples of Application of the Constructed Approximating Parametrized Metric in Combinatorics on Words
In our previous papers, we presented several approaches and constructions of fuzzy metrics [
6,
24], parametrized metrics [
7] and fuzzy approximating metrics [
18], which describe the distance between any infinite words. In these papers, we stress inappropriate numerical results for ordinary metrics on the universe of the infinite words. Here, for the evaluation of the distance between infinite words, we use a strong approximating parametrized metric constructed by means of Theorem 1 from a strong fuzzy approximating metric considered in [
18].
Let
X be the set of infinite words. We define a sequence
of metrics on
X as follows. Let
and let
if
and
. We define a sequence of metrics:
Based on this sequence of metrics, we construct the sequence of strong fuzzy approximating metrics in the case of the drastic
t-norm
on the set
X of all infinite words:
Further, we define the following family of mappings:
Finally, we construct a mapping
as follows:
It is provable that the mapping
is a strong fuzzy approximating pseudometric in the case of the drastic
t-norm
(for details, see [
18]). Now from Theorem 1, we define an approximating parametrized metric
and define
Suppose we compare three infinite words
where
and the symbol
defines a string of the length
m, which consists only of zeroes (similarly
, a string of ones). For a finite
m, we expect that
, as infinite words
x and
z differ only at the finite positions (the first
m) but coincide at all other positions. We introduce the numerical results of this approximating parametrized metric by choosing different parameters
c and we also search for the change point, i.e., the length
m of the prefix, where the sign for inequality
changes. We start with the parameter
.
As we can see in
Table 1, for our approximating parametrized metric
, we obtain the expected value for
(although the change point for our construction of approximating parametrized metric
is not small, i.e., at
, this result means that already the first 371 positions are more important than all other infinite ones). The one number which outshines from
Table 1 is
, if
. As
y and
z coincide only in the first positions and differ in all others, then the approximating parametrized metric gives the value
as the first position, having half the weight. From this, we obtain that
The increase in parameter
c gives us a possibility to put smaller weights on the prefix. For small
m, we obtain the expected inequality
, but at some point, we reach the change point (see
Table 2 and
Table 3). Of course, it can be fixed by increasing parameter
c in perpetuity.
Another important point that can be seen in both
Table 2 and
Table 3 is that
for
and
as
and
In this case, if we increase the parameter c in perpetuity, then for , the value tends to ∞.