Fuzzy Approximating Metrics, Approximating Parametrized Metrics and Their Relations With Fuzzy Partial Metrics

1. Preliminaries: Fuzzy metrics

In 1951, K. Menger [21] introduced the notion of a statistical metric. This concept was carefully studied and renamed as probabilistic metric in [23]. Later, basing on the definition of a probabilistic metric, I. Kramosil and J. Michalek [19] introduced the notion of a fuzzy metric. Basing on the Kramosil-Michalek’s definition, A. George and P. Veeramani [13,14] after some, outwardly not very significant modification, introduced an alternative concept known now as a GV-fuzzy metric. The informal difference between the two definitions is that in 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’s version. An interested reader can easily find counterpart of the study provided in this work for the Kramosil-Michalek’s fuzzy metrics.

The both definitions of fuzzy metric rely on the concept of a t-norm. The standard source for references on t-norms is the monograph [17]. 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 $*:[0,1]\times [0,1]\to [0,1]$ on the unit interval $[0,1]$ satisfying the following conditions for all $a,b,c$:

(1tn)

* is monotone: $a\le b\Rightarrow a*c\le b*c$;

(2tn)

* is commutative: $a*b=b*c$;

(3tn)

* is associative: $(a*b)*c=a*(b*c)$;

(4tn)

$a*1=a$.

Example 1. 

Among the most important examples of t-norms are the following four (see e.g. [17,23]).

• Define $a*b:=a\wedge b$ where ∧ denotes the operation of taking minimum in [0,1]. It is called the minimum t-norm.
• Define $a*b:=a·b$ be the product. This is the so called product t-norm.
• Define $a{*}_{L}b:=max(a+b-1,0).$ This is the well-known ukasiewicz t-norm.
• Define $a*b:=\frac{a·b}{a+b-a·b}$ This is known as the Hamacher t-norm.

Remark 1. 

It is known and can be easily seen that $a\wedge b\ge a*b$ for every t-norm *. Hence ∧ is the largest t-norm.

Definition 2. 

[13] Let X be a set and $*:[0,1]\times [0,1]\to [0,1]$ a continuous t-norm. A fuzzy metric on a set X is a mapping $M:X\times X\times (0,\infty )\to [0,1]$ satisfying the following axioms:

(FM0)

$M(x,y,t)>0\forall x,y\in X$ and $\forall t\in (0,\infty )$;

(FM1)

$M(x,y,t)=1$ if and only if $x=y$;

(FM2)

$M(x,y,t)=M(y,x,t)\forall x,y\in X,\forall t\in (0,\infty )$;

(FM3)

$M(x,z,t+s)\ge M(x,y,t)*M(y,z,s)\forall x,y,z\in X,\forall s,t\in (0,\infty )$;

(FM4)

$M(x,y,-):(0,\infty )\to [0,1]$ is lower semicontinuous.1

In order to specify t-norm used in the definition of a fuzzy metric, we refer to a fuzzy metric as the pair $(M,*)$.

Note that from axioms (FM3) and (FM1) it follows that the mapping $M(x,y,-):(0,\infty )\to [0,1]$ is non-decreasing.

In our work we apply also the following stronger version of a fuzzy metric first introduced in [22].

Definition 3. 

A fuzzy metric M on a set X is called strong if in addition to axioms(FM0)-(FM2)the following modifications of axioms(FM3)and(FM4)are satisfied

(FKM3)

$M(x,z,t)\ge M(x,y,t)*M(y,z,t)$ for all $x,y,z\in X$ and for all $t\in (0,\infty )$.

(FKM4)

$M(x,y,-):{\mathbb{R}}^{+}\to [0,1]$ is left continuous and non-decreasing, (that is $t<s⟹M(x,y,t)\le M(x,y,s),\forall x,y\in X.$).

Remark 2. 

In case we just replace axiom (FKM3) by axiom (FKM3${}^s$) the resulting concept may fail to be a fuzzy metric. The simplest example of such situation was found by A. Sapenas and S. Morillas [22]. Therefore in order to get a stronger version of a fuzzy metric one has either to add axiom (FKM3${}^s$) to the definition of a fuzzy metric (as it is done in [22]) or to replace (FKM3) with (FKM3${}^s$) and ask additionally that $M(x,y,-):{\mathbb{R}}^{+}\to [0,1]$ is non-decreasing, as we did in [15] and in this paper.

2. Fuzzy approximating metrics

Inspired by the works of Matthews and coauthors [5,18,20], et al., we realized certain inconsistency or discrepancy of our works in words combinatorics 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 $t\in (0,\infty )$, that is along the third argument in the definition of a fuzzy metric. Under this interpretation axiom (FM1) is too strong: given a string $x=(x_0,x_1,\dots ,x_n,\dots )$ at the stage $t\in (0,\infty )$ we have information about this string only till ${\lfloor t\rfloor }^{th}$ coordinate and cannot yet confirm that $M(x,x,t)=1$. On the other hand “at the infinity” we have information about all elements of the string and therefore it is natural to request that ${lim}_{t\to \infty }M(x,x,t)=1$ for every $x\in X$. Besides, when comparing x and y at every step $\lfloor t\rfloor$, thus having information up to t on the both strings and not knowing yet whether $x=y$ we obviously have only relation $M(x,x,t)\ge M(x,y,t)$. We view these observations as justification for the following definitions first introduced in our paper [3].

Definition 4. 

A fuzzy approximating metric on a set X is a mapping $M:X\times X\times (0,\infty )\to [0,1]$ satisfying the following axioms:

(FAM0)

$M(x,y,t)>0\forall x,y\in X,\forall t\in (0,\infty )$;

(FAM1)

$M(x,x,t)\ge M(x,y,t)\forall x,y\in X$;

(FAM2)

If $x,y\in X$ then ${lim}_{t\to \infty }M(x,y,t)=1$ if and only if $x=y$;

(FAM3)

$M(x,y,t)=M(y,x,t)\forall x,y\in X,\forall t\in (0,\infty )$;

(FAM4)

$M(x,z,t+s)\le M(x,y,t)*M(y,z,s)\forall x,y,z\in X,\forall t,s\in (0,\infty )$;

(FAM5)

$M(x,y,-):(0,\infty )\to [0,1]$ is left semicontinuous for all $x,y\in X.$

Remark 3. 

Comparing Definition 4 and Definition 2 notice first that we revised 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 ${\lfloor t\rfloor }^{th}$ and hence are operating with already received information. We do not revise also axiom (FM4) that appear now as axiom (FAM5) since it is given in the global way, that is for each specific $t\in (0,\infty )$.

From axiom (FAM4) and taking into account axiom (FAM5) we get

Proposition 1. 

$M(x,y,-):(0,\infty )\to [0,1]$ is a non-decreasing function and ${lim}_{t\nearrow t_0}M(x,y,t)=M(x,y,t_0).$

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(0FAM)-(3FAM), the following modifications of axioms(4FAM)and(5FAM)are satisfied

(4FAM)

$M(x,z,t)\ge M(x,y,t)*M(y,z,t)$ for all $x,y,z\in X$ and for all $t\in (0,\infty )$.

(5FAM)

$M(x,y,-):{\mathbb{R}}^{+}\to [0,1]$ is left continuous and non-decreasing, that is $t<s⟹M(x,y,t)\le M(x,y,s)\forall x,y\in X.$

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 possible application of approximating parametrized metrics in words combinatorics.

3. Approximating parametrized metrics

Many researchers used families of (pseudo)metrics, often endowed with a parameter, in order to characterize objects of their study. For example, J.F. McClendon [7] considers a disjoint collection of metric spaces whose metrics are compatible with a given topology on the disjoint union of sets, V. Radu [9] applies families of metrics in the research of distribution functions, D. Schueth [10] 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 were considered as objects. Actually, the first work known to us, in which parametrized metrics appear is a work by N. Hussein and co-authors [8]. Namely, a parametrized metric on a set X is a function $P:X\times X\times (0,\infty )\to [0,\infty )$ such that

(PM1)

$P(x,y,t)=0$ for all $t>0$ if and only if $x=y$;

(PM2)

$P(x,y,t)=P(y,x,t)$ for all $x,y\in X$ and all $t>0$;

(PM3)

$P(x,z,t)\le P(x,y,t)+P(y,z,t)$ for all $x,y,z\in X$ and all $t>0$.

(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 [25] we presented 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 $P:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$ is called an approximating parametrized metric on X if it satisfies the following conditions:

(APM1)

$P(x,x,t)\le P(x,y,t)\forall x,y\in X,\forall t\in (0,+\infty )$;

(APM2)

${lim}_{t\to \infty }P(x,y,t)=0$ if and only if $x=y$;

(APM3)

$P(x,y,t)=P(y,x,t)\forall x,y\in X,\forall t\in (0,+\infty )$;

(APM4)

$P(x,z,t+s)\le P(x,y,t)+P(y,z,s)\forall x,y,z\in X,\forall t\in (0,+\infty )$;

(APM5)

$P(x,y,-):(0,\infty )\to [0,1]$ is left semicontinuous for all $x,y\in X.$

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

(APM4)

$P(x,z,t)\le P(x,y,t)+P(y,z,t)$ for all $x,y,z\in X$ and for all $t\in (0,\infty )$.

(APM5)

$P(x,y,-):{\mathbb{R}}^{+}\to [0,1]$ is left continuous and non-increasing, (that is $t<s⟹P(x,y,t)\le P(x,y,s)\forall x,y\in X.$).

It turns out that under certain conditions, fuzzy approximating metrics and approximating parametrized metrics can be considered dual concepts. The details of this statement will be revealed later in this section.

Theorem 1. 

Let $M:X\times X\times (0,\infty )\to [0,1]$ be a fuzzy approximating metric for the Hamacher t-norm and let

$P_M(x,y,t)=\frac{1-M(x,y,t)}{M(x,y,t)}.$

Then $P_M:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$ is an approximating parametrized metric.

Proof Note first that since $M(x,y,t)>0$ for every $x,y\in X$, $t\in (0,+\infty )$ the definition of $P_M$ is correct. Besides, from Proposition 1 it follows that the function $P_M:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$ is non-increasing.

Property (APM1) for $P_M$ follows directly from Property (FAM1) for $M:X\times X\times (0,\infty )\to [0,1]$.

Referring to axiom (FAM2) and recalling that by Proposition 1, the limit ${lim}_{t\to \infty }M(x,y,t){=}_{def}a\in [0,1]$ exists for every pair $x,y\in X,$ we establish axiom (APM2) as follows:

${lim}_{t\to \infty }{P}_M(x,y,t)={lim}_{t\to \infty }\frac{1-M(x,y,t)}{M(x,y,t)}=\frac{1-{lim}_{t\to \infty }M(x,y,t)}{{lim}_{t\to \infty }M(x,y,t)}=0$

if and only if ${lim}_{x\to \infty }M(x,y,t)=1$, i.e. if and only if $x=y$.

Referring to axiom (FAM3) we establish property (APM3) for $P_M:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$ as follows:

$P_M(x,y,t)=\frac{1-M(x,y,t)}{M(x,y,t)}=\frac{1-M(y,x,t)}{M(y,x,t)}=P_M(y,x,t)\forall x,y\in X,\forall t\in (0,+\infty )$.

To show (APM5) notice that by (FAM5)

${lim}_{t\nearrow t_0}{P}_M(x,y,t)={lim}_{t\nearrow t_0}\frac{1-M(x,y,t)}{M(x,y,t)}=\frac{1-{lim}_{t\nearrow t_0}M(x,y,t)}{{lim}_{t\nearrow t_0}M(x,y,t)}=\frac{1-M(x,y,t_0)}{M(x,y,t_0)}=P_M(x,y,t_0)$

and recall that $P_M(x,y,-)$ is non-increasing.

To complete the proof we have to show that axiom (FAM4) in case of Hamacher t-norm for $M:X\times X\times (0,+\infty )\to [0,1]$ , i.e.

$\frac{M(x,y,t)·M(y,z,s)}{M(x,y,t)+M(y,z,s)-M(x,y,t)·M(y,z,s)}\ge M(x,z,t+s)\forall x,y,z\in X,t,s\in (0,\infty )$

implies property (APM4) for $P_M:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$, i.e.

$P_M(x,y,t)+P_M(y,z,s)=\frac{1-M(x,y,t)}{M(x,y,t)}+\frac{1-M(y,z,s)}{M(y,z,s)}\ge$$\frac{1-M(x,z,t+s)}{M(x,z,t+s)}=P_M(x,z,t+s)\forall x,y,z\in X,\forall t,s\in (0,\infty )$

We denote $M(x,y,t)=a,M(y,z,s)=b,M(x,z,t+s)=c$. We have to prove that

$\frac{1-c}{c}\le \frac{1-a}{a}+\frac{1-b}{b}$

under assumption that

$(\diamond )\frac{a·b}{a+b-a·b}\le c$

Now we prove the requested inequality as follows:

$$\frac{1-c}{c}\le \frac{1-\frac{a·b}{a+b-a·b}}{\frac{a·b}{a+b-a·b}}=\frac{a+b-2·a·b}{a·b}=\frac{a-a·b}{a·b}+\frac{b-a·b}{a·b}=\frac{1-b}{b}+\frac{1-a}{a}.$$

□

In the proof of the property (APM4) the crucial role was played by the inequality $(\diamond )$ where the left side of the inequality was the result obtained by the Hamacher t-norm. Noticing this, we can get the following corollary from the previous theorem.

Corollary 1. 

Let $M:X\times X\times (0,\infty )\to [0,1]$ be a fuzzy approximating metric for a t-norm which is weaker (i.e. smaller) or equal to the Hamacher t-norm. Then by setting

$P_M(x,y,t)=\frac{1-M(x,y,t)}{M(x,y,t)}.$

we get an approximating parametrized metric $P_M:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$. In particular if it is a fuzzy metric for the product and ukasiewicz t-norm.

Theorem 2. 

Let $P:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$ be an approximating parametrized metric on a set X. Then the mapping $M_P:X\times X\times (0,\infty )\to [0,1]$ defined by

$M_P(x,y,t)=\frac{1}{1+P(x,y,t)},\forall x,y\in X,t\in (0,\infty )$

is 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 less trivial property $\left(FAM4\right)$ in case * is the Hamacher t-norm. Explicitly, we have to prove that for all $x,y,z\in X$ and for all $t,s\in (0,\infty )$ the following inequality holds:

$M_P(x,z,t+s)\ge \frac{M_P(x,y,t)·M_P(y,z,s)}{M_P(x,y,t)+M_P(y,z,s)-M_P(x,y,t)·M_P(y,z,s)}$

under assumption that

$P(x,z,t+s)\le P(x,y,t)+P(y,z,s)\forall x,y,z\in X,\forall t,s\in (0,\infty )$

We fix $x,y,z\in X,t,s\in (0,\infty )$, denote $P(x,z,t+s)=c,P(x,y,t)=a,P(y,z,s)=b$ and referring to the definition of $M_P$ through P, we rewrite the provable inequality by

$\frac{1}{1+c}\ge \frac{\frac{1}{1+a}·\frac{1}{1+b}}{\frac{1}{1+a}+\frac{1}{1+b}-\frac{1}{1+a}·\frac{1}{1+b}}$,

which, after elementary transformation comes to the accepted inequality $c\le a+b$.

Corollary 2. 

Let $P:X\times X\times (0,\infty )\to [0,\infty )$ be an approximating parametrized metric and define $M_P:X\times X\times (0,\infty )\to [0,1]$ by

$M_P(x,y,t)=\frac{P(x,y,t)}{1+P(x,y,t)}\forall x,y\in X,t\in (0,\infty ).$

Then $M_P$ is a fuzzy approximating metric for any t-norm * such that $*\le {*}_H$. In particular, it is a fuzzy metric for the product and ukasiewicz t-norms.

Notice that from the above constructions and from Theorem 1 and Theorem 2 we have the following corollaries:

Corollary 3. 

For every approximating parametrized metric M the equality $P_{M_P}=P$ holds.

Corollary 4. 

1 If $M:X\times X\times (0,\infty )\to [0,1]$ is a fuzzy metric for a t-norm * such that $*\le {*}_H$ then $M=M_{P_M}$.

Remark 4. 

Note however, that when writing $M_{P_M}=M$, the equality “forgets" the original t-norm * used in the definition of the fuzzy metric (and hence such that $*\le {*}_H$ by Corollary 1) and the resulting fuzzy metric $M_{P_M}$ (by Theorem 1) is a fuzzy metric for the Hamacher t-norm ${*}_H$.

Corollary 5. 

Approximating parametrized metrics and fuzzy approximating metrics for Hamacher t-norms are equivalent concepts.

One can easily modify the proofs of the 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 $M:X\times X\times (0,\infty )\to [0,1]$ be a strong fuzzy metric for the Hamacher t-norm and let

$P_M(x,y,t)=\frac{1-M(x,y,t)}{M(x,y,t)}.$

Then $P_M:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$ is a strong approximating parametrized metric.

Theorem 4. 

Let $P:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$ be a strong approximating parametrized metric on a set X. Then the mapping $M_P:X\times X\times (0,\infty )\to [0,1]$ defined by

$M_P(x,y,t))=\frac{1}{1+P(x,y,t)},\forall x,y\in X,t\in (0,\infty )$

is 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 $M:X\times X\times (0,\infty )\to [0,1]$ satisfying properties (APM1), (APM2), (APM3), (APM5) of the Definition 6 and the following stronger version of the property (APM4)

$\left(\mathrm{APM}{4}^{\mathrm{u}}\right)P(x,z,t+s)\le P(x,y,t)\wedge P(y,z,s)\forall x,y,z\in X,\forall t,s\in (0,+\infty )$

will be 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 $M:X\times X\times (0,+\infty )\to [0,1]$ is a fuzzy approximating metric for the minimum t norm, then by setting $P_M(x,y,t)=\frac{1-M(x,y,t)}{M(x,y,t)}$ we get an approximating parametrized ultrametric $P:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$. Conversely, given an approximating parametrized metric $P:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$, by setting $M_P(x,y,t)=\frac{1}{1+P(x,y,t)}$ we obtain a fuzzy approximating metric for the minimum t-norm.

Proof Obviously we have to prove that condition $\left(\mathrm{APM}{4}^{\mathrm{u}}\right)$ for a $P:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$ is equivalent to axiom (FAM4) in case to compare them with of the minimum t-norm. In other way stated, by using notations $M(x,y,t)=a$, $M(y,z,t)=b$, $M(x,z,t)$ we have to prove that

$a\vee b\ge c⟹\frac{1}{1+c}\ge \frac{1}{1+a}\wedge \frac{1}{1+b}⟹\frac{1-a}{a}\wedge \frac{1-b}{b}\le \frac{1-c}{c}$

for $a,b,c\in (0,1]$. However, to see this just assume that $a\le b$. □.

4. Fuzzy approximating metrics versus fuzzy partial metrics

Partial metrics were introduced in 1994 by Matthews [20] and now they are in 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 [16] 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. 

[16] Let X be a set, * a continuous t-norm and ${\mapsto }_{*}:[0,1]\times [0,1]\to [0,1]$ the corresponding residuum. A fuzzy partial metric on a set X is a mapping $\mathfrak{p}:X\times X\times {\mathbb{R}}^{+}\to [0,1]$ satisfying the following conditions for all $x,y,z\in X$ and all $s,t>0$:

(FPM0)

$\mathfrak{p}(x,y,t)>0;$

(FPM1)

$\mathfrak{p}(x,x,t)\ge P(x,y,t);$

(FPM2)

$\mathfrak{p}(x,x,t)=P(x,y,t)=P(y,y,t)$ if and only if $x=y;$

(FPM3)

$\mathfrak{p}(x,y,t)=\mathfrak{p}(y,x,t);$

(FPM4)

$\mathfrak{p}(x,x,t){\mapsto }_{*}\mathfrak{p}(x,z,t+s)\ge \left(\mathfrak{p}(x,x,t){\mapsto }_{*}\mathfrak{p}(x,y,t)\right)*\left(\mathfrak{p}(y,y,s){\mapsto }_{*}\mathfrak{p}(y,z,s)\right);$

(FPM5)

mapping $\mathfrak{p}(x,y,-):(0,\infty )\to [0,1]$ 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 case when x and y are infinite strings. Note first that conditions (FPM0), (FPM1), (FPM3) and (FPM5) are equivalent to conditions (FAM0), (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 ${\lfloor t\rfloor }^{th}$ and hence ${lim}_{t\to \infty }M(x,y,t)=1$, we conclude that $x=y$. On the other hand, condition (FPM2) asks to compare values $\mathfrak{p}(x,x,t)$, $\mathfrak{p}(x,y,t)$ and $\mathfrak{p}(y,y,t)$ at each step $\lfloor t\rfloor$ and if they are equal, then conclude that $x=y$. In this case no information about the value $\mathfrak{p}(x,x,t)$ and specifically of its limit at the infinity for a given $x\in X$ is specified. So, axioms (FPM2) and (FAM2) are incomparable. although (FPM2) seems 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 t-norm (and hence the corresponding residuum ${\mapsto }_{*}$) is involved. We restrict here to the case of 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 most visual.

In case of the ukasiewicz t-norm condition (FPM4) can be rewritten as

$\mathfrak{p}(x,z,t+s)\ge \mathfrak{p}(x,y,t)+\mathfrak{p}(y,z,s)-\mathfrak{p}(y,y,t+s)foreacht,s>0$

and hence if ${lim}_{t\to \infty }\mathfrak{p}(x,x,t)=1$ for each $x\in X$ we have

${lim}_{t,s\to \infty }\mathfrak{p}(x,z,t+s)\ge {lim}_{t\to \infty }\mathfrak{p}(x,y,t)+{lim}_{t\to \infty }\mathfrak{p}(y,z,s)-1.$

On the other hand the condition (FAM4) can be rewritten as

$M(x,z,t+s)\ge M(x,y,t)+M(y,z,s)-1for every t>0.$

So although concepts of a fuzzy partial metric and fuzzy approximating metric are independent, the concept of a fuzzy partial metric in case of ukasiewicz t-norm seems more flexible than the concept of a fuzzy approximating metric.

Now in case of the minimum t-norm and taking into account axiom (FPM1) the “strong version”

$\left(FPM{4}^s\right)\mathfrak{p}(x,x,t){\mapsto }_{*}\mathfrak{p}(x,z,t)\ge \left(\mathfrak{p}(x,x,t){\mapsto }_{*}\mathfrak{p}(x,y,t)\right)*\left(\mathfrak{p}(y,y,t){\mapsto }_{*}\mathfrak{p}(y,z,t)\right)$

of the axiom $\left(FPM4\right)$ can be rewritten as

$\mathfrak{p}(x,z,t)\ge \mathfrak{p}(x,y,t)\wedge \mathfrak{p}(y,z,t)$

and this is just the axiom $\left(FAM{4}^s\right)$ of the strong fuzzy approximating metric $M:X\times X\times (0,\infty )\to [0,1].$

5. Examples of application of the constructed approximating parametrized metric in word combinatorics

In our previous papers we have presented several approaches and constructions of fuzzy metrics [2,24], parametrized metrics [4] and fuzzy approximating metrics [3], which describe 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 will use a strong approximating parametrized metric constructed by means Theorem 1 from a strong fuzzy approximating metric considered in [3] .

Let X be the set of infinite words. We define a sequence

$$\{d_n\mid n\in \mathbb{N}\cup \left\{0\right\}\}$$

of metrics on X as follows. Let $x=(x_0,x_1,x_2,\dots ),y=(y_0,y_1,y_2,\dots )\in X$ and let ${\chi }_i(x,y)=0if{x}_i=y_i$ and ${\chi }_i(x,y)=1if{x}_i\ne y_i$. We define a sequence of metrics:

${\left\{d_n(x,y)={\sum }_{i=0}^n\left(\frac{5}{6+i}+\frac{2}{3}\right){\chi }_i(x,y)\right\}}_{n\in \mathbb{N}\cup \left\{0\right\}}.$

Basing on this sequence of metrics we construct the sequence of strong fuzzy approximating metrics in case of the Drastic t-norm $T_D$ on the set X of all infinite words:

${\left\{{\mu }_n(x,y,t)=\frac{t-d_n(x,y)}{t+c}\vee 0\right\}}_{n\in \mathbb{N}\cup \left\{0\right\}}$, where $c\in {\mathbb{R}}_{+}$

Further, we define the following family of mappings:

${\left\{M_n(x,y,t)=M_{n-1}(x,y,n)\vee {\mu }_n(x,y,t)\right\}}_{n\in \mathbb{N}\cup \left\{0\right\}}.$

Finally, we construct a mapping $M:X\times X\times {\mathbb{R}}^{+}\to (0,1]$ as follows:

$$M^c(x,y,t)=\left\{\begin{array}{cc}\hfill M_0(x,y,t)& if0<t\le 1\hfill \\ \hfill M_1(x,y,t)& if1<t\le 2\hfill \\ \hfill M_2(x,y,t)& if2<t\le 3\hfill \\ \hfill \dots \\ \hfill M_n(x,y,t)& ifn<t\le n+1\hfill \\ \hfill \dots \end{array}\right.$$

It is provable that the mapping $M^c:\times X\times {\mathbb{R}}^{+}\to [0,1]$ is a strong fuzzy approximating pseudometric in case of the drastic t-norm $T_D$ (for details, see [3]). Now from Theorem 1 we define an approximating parametrized metric $P_{M^c}(x,y,t)=\frac{1-M^c(x,y,t)}{M^c(x,y,t)}$ and define

${lim}_{t\to \infty }{P}_{M^c}(x,y,t)=\Gamma (x,y).$

Suppose we compare three infinite words

$x=(1^{m}000\cdots )$, $y=(0^{m}111\cdots )$ and $z=(0000\cdots ),$

where $m\in \mathbb{N}$ and the symbol $0^m$ defines a string of the length m, which consists only of zeroes (similarly $1^m$ a string of ones). For a finite m we expect that $\Gamma (x,z)<\Gamma (y,z)$ as infinite words x and z differ only at 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 $\Gamma (x,z)<\Gamma (y,z)$ changes. We start with the parameter $c=1$.

As we can see in Table 1, for our approximating parametrized metric $P_{M^c}$ we get the expected value for $m\le 370$ (although the change point for our construction of approximating parametrized metric $P_{M^c}$ is not small, i.e., at $m=370$, this result means that already first 371 positions are more important than all other infinite ones). The one number which outshines from the Table 1 is $\Gamma (y,z)=1$, if $m=1$. As y and z coincide only in the first positions and differ in all others, then approximating parametrized metric gives value $M^c(y,z,t)=0.5$ as the first position have the weight one half. From this we get that

$\Gamma (y,z)={lim}_{t\to \infty }{P}_{M^c}(x,y,t)={lim}_{t\to \infty }\frac{1-M^c(y,z,t)}{M^c(y,z,t)}=\frac{1-0.5}{0.5}=1.$

Increase of the parameter c gives us a possibility to put smaller weights on the prefix. For small m we get the expected inequality $\Gamma (x,z)<\Gamma (y,z)$, but at some point we reach the change point (see Table 2 and Table 3). Of course it can be fixed by increasing the parameter c unlimitedly.

Another important point that can be seen in both Table 2 and Table 3 is that $\Gamma (y,z)\approx 2>1$ for $m=10$ and $m=100$ as $P_{M^c}:X\times X\times (0,+\infty )\to {\mathbb{R}}^{+}$ and

${lim}_{t\to \infty }{M}^c(y,z,t)\approx \frac{1}{3}$ so ${lim}_{t\to \infty }{P}_{M^c}(y,z,t)\approx 2$.

In this case, if we increase the parameter c unlimitedly, then for $m=1$ the value $P_{M^c}$ tends to ∞.

6. Conclusions

We have introduced the concept of a fuzzy approximating metric, investigated close relations, depend on the choice of a t-norm, between fuzzy approximating metrics and approximating parametrized metrics, discussed relations between fuzzy approximating metrics and fuzzy partial metrics and illustrated some possible applications of approximating parametrized metrics in the problems of words combinatorics.

We foresee several directions, both theoretical and practical ones, in which the research started in this work can be continued.

• As the first step, we see the practical use of fuzzy approximating metrics in the problems of words combinatorics. In particular, to study the advantages/disadvantages of approximating parametrized metrics if compared with other metric type structures, in particular, those ones which were used in [4], by analysing specific numerical examples.
• As the second important issue to be studied is the topological structure induced by fuzzy approximating metrics. A non-triviality of this problem is caused by the fact that the “open balls” induced by fuzzy approximating metrics need not open in the topological sense (as it is in the situation of b-metric spaces, see e.g. [11,12]) and this leads to different possible approaches to the study of topology-related issues.
• We also plan to study fuzzy approximating metric spaces as categories. In particular, to define in the appropriate way continuity of mappings of fuzzy approximating spaces, to investigate their products, coproducts and other operations.
• A challenging issue would be to carry out a deeper comparative analysis (in particular from categorical point of view) between fuzzy approximating metrics, approximating parametrized metrics and fuzzy partial metrics.