Abstract
Relationships between powerset theories and F-transforms are investigated. Both these methods represent strong tools in fuzzy sets theory and applications. Although both methods deal with similar objects, both these methods use different tools and, so far, the relationship between the two methods has not been investigated. The aim of this paper is to show that there is a strong relationship between the two methods. Namely, arbitrary lower or upper F-transform of lattice-valued fuzzy sets can be derived from a special powerset theory and, conversely, there exists a special class of powerset theories, such that maps defined by these powerset theories are lower or upper F-transforms. These results allow, among other things, to extend the range of methods and tools that are used in both theories.
This research was partially supported by the project 18-06915S provided by the Grant Agency of the Czech Republic.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
1 Introduction
In fuzzy set theory there are two important methods which are frequently used both in theoretical research and applications. These methods are the powerset theory and the F-transform. Both these methods were, in full details and theoretical backgrounds, introduced relatively recently and, in the present, both methods represent very strong tools in the theory and applications.
The powerset structures are widely used in algebra, logic, topology and also in computer science. The standard example of a powerset structure \(P(X)=\{A:A\subseteq X\}\) and the corresponding extension of a mapping \(f:X\rightarrow Y\) to the map \(f^{\rightarrow }_P:P(X)\rightarrow P(Y)\) is widely used in almost all branches of mathematics and their applications, including computer science. For illustrative examples of possible applications see, e.g., the introductory part of the paper of [24]. Because the classical set theory can be considered to be a special part of the fuzzy set theory, introduced by [26], it is natural that powerset objects associated with fuzzy sets were soon investigated as generalizations of classical powerset objects. The first approach was done again by Zadeh [26], who defined \([0,1]^X\) to be a new powerset object Z(X) instead of P(X) and introduced the new powerset operator \(f^{\rightarrow }_Z:Z(X)\rightarrow Z(Y)\), such that for \(s\in Z(X), y\in Y\),
A lot of papers were published about Zadeh’s extension and its generalizations, see, e.g., [5, 10, 11, 14, 21,22,23,24]. Zadeh’s extension was for the first time intensively studied by Rodabaugh in [21] for lattice-valued fuzzy sets. This paper was, in fact, the first real attempt to uniquely derive the powerset operator \(f^{\rightarrow }_Z\) from \(f^{\rightarrow }_P\) and not only explicitly stipulate them. The works of Rodabaugh gave very serious basis for further research of powerset objects and operators. That new approach to the powerset theory was based on application of the theory of monads in clone form, introduced by Manes [9]. A special example of monads in clone form was introduced by Rodabaugh [23] as a special structure describing powerset objects. In the papers [10] and [11] we presented some examples of powerset theories based on fuzzy sets which are generated by monads in clone form.
Another important method which was recently introduced in the fuzzy set theory is the F-transform. This theory was in lattice-valued form introduced by Perfilieva [19] and elaborated in many other papers (see, e.g., [16,17,18, 20]). Analogically as the powerset operator \(f^{\rightarrow }_P:P(X)\rightarrow P(Y)\), F-transform is a special transformation map \(F:\mathcal{L}^X\rightarrow \mathcal{L}^Y\), that transforms \(\mathcal{L}\)-valued fuzzy sets defined in the set X to \(\mathcal{L}\)-valued fuzzy sets defined in another set Y.
Fuzzy transforms represent new methods that have been successfully used in signal and image processing [1, 2, 5], signal compressions [16], numerical solutions of ordinary and partial differential equations [7, 25], data analysis [3, 4, 18] and many other applications.
Although both methods deal also with the same object, i.e. \(\mathcal{L}\)-valued fuzzy sets, in general, both these methods use different tools and, so far, the relationship between the two methods has not been investigated. The aim of this paper is to show that, in fact, there is a very strong relationship between the two methods. We show, that arbitrary F-transform of \(\mathcal{L}\)-valued fuzzy sets defined by a fuzzy partition can be derived from a special powerset theory and, conversely, there exists a special class of powerset theories, such that maps defined by these powerset theories are F-transforms. This result allows, among other things, to extend the range of methods and tools that are used in both theories.
2 Preliminaries
A principal structure used in the paper is a complete residuated lattice (see e.g. [9, 15]), i.e. a structure \(\mathcal{L}=(L,\wedge ,\vee ,\otimes ,\rightarrow ,0_L,1_L)\) such that \((L,\wedge ,\vee )\) is a complete lattice, \((L,\otimes ,1_L)\) is a commutative monoid with operation \(\otimes \) isotone in both arguments and \(\rightarrow \) is a binary operation which is residuated with respect to \(\otimes \), i.e.
Recall that a negation of an element a in \(\mathcal L\) is defined by \(\lnot a=a\rightarrow 0_L\).
A special example of a residuated lattice \(\mathcal{L}\) is a MV-algebra, i.e., a structure \(\mathcal{L}=(L,\oplus ,\otimes ,\lnot ,0_L,1_L)\) satisfying the following axioms:
-
(i)
\((L,\otimes ,1_L)\) is a commutative monoid,
-
(ii)
\((L,\oplus ,0_L)\) is a commutative monoid,
-
(iii)
\(\lnot \lnot x=x\), \(\lnot 0_L=1_L\),
-
(iv)
\(x\oplus 1_L=1_L\), \(x\oplus 0_L=x\), \(x\otimes 0_L=0_L\),
-
(v)
\(x\oplus \lnot x=1_L, x\otimes \lnot x=0_L\),
-
(vi)
\(\lnot (x\oplus y)=\lnot x\otimes \lnot y\), \(\lnot (x\otimes y)=\lnot x\oplus \lnot y\),
-
(vii)
\(\lnot (\lnot x\oplus y)\oplus y=\lnot (\lnot y\oplus x)\oplus x\),
for all \(x,y\in X\).
If we put
then, \((L,\wedge ,\vee ,0_L,1_L)\) is a distributive lattice and \((L,\wedge ,\vee ,\otimes ,\rightarrow ,0_L,1_L)\) is a residuated lattice. MV-algebra is called a complete algebra, if that lattice is a complete lattice.
MV-algebras have their origin in algebraic analysis of Łukasiewicz logic by Chang in [6] and represent a generalization of Boolean algebras. A standard example of a MV-algebra is the Łukasiewicz algebra \(\mathcal{L}_{\L }=([0,1], \oplus ,\otimes ,\lnot ,0,1)\), where
If \(\mathcal L\) is a complete residuated lattice, a \(\mathcal L\)-fuzzy set in a crisp set X is a map \(f:X\rightarrow L\). f is a non-trivial \(\mathcal L\)-fuzzy set, if f is not identical to the zero function. The core of a \(\mathcal{L}\)-fuzzy set f in a set X is defined by \(core(f)=\{x\in X:f(x)=1_L\}\).
We recall some basic facts about F-transforms. An F-transform in a form introduced by Perfilieva [20] is based on the so called fuzzy partitions on the crisp set. Unless otherwise stated, by \(\mathcal{L}\) we denote the complete residuated lattice \(\mathcal{L}=(L,\wedge ,\vee ,\otimes ,\rightarrow ,0_L,1_L)\).
Definition 1
Let X be a set. A system \(\mathcal{A}=\{A_{\lambda }:\lambda \in \varLambda \}\) of normal \(\mathcal{L}\)-fuzzy sets in X is a fuzzy partition of X, if \(\{core(A_{\lambda }):\lambda \in \varLambda \}\) is a partition of X. A pair \((X,\mathcal{A})\) is called a space with a fuzzy partition. The index set of \(\mathcal{A}\) will be denoted by \(|\mathcal{A}|\).
In [12, 13] we introduced the category \(\mathbf{SpaceFP}\) of spaces with fuzzy partitions. In the paper we consider the modified version of this category.
Definition 2
The category \(\mathbf{SpaceFP}\) is defined by
-
1.
Fuzzy partitions \((X,\mathcal{A})\), as objects,
-
2.
Morphisms \((g,\sigma ):(X,\{A_{\lambda }:\lambda \in \varLambda \})\rightarrow (Y,\{B_{\omega }:\omega \in \varOmega \})\), such that
-
(a)
\(g:X\twoheadrightarrow Y\) and is \(\sigma :\varLambda \twoheadrightarrow \varOmega \) are surjective mappings,
-
(b)
\(\forall \lambda \in \varLambda \), \(A_{\lambda }(x)= B_{\sigma (\lambda )}(g(x))\), for each \(x\in X\).
-
(a)
-
3.
The composition of morphisms in \(\mathbf{SpaceFP}\) is defined by \((h,\tau )\circ (g,\sigma )=(h\circ g,\tau \circ \sigma )\).
Objects of the category \(\mathbf {SpaceFP}\) represent ground structures for a fuzzy transform, firstly proposed by Perfilieva [19] and, in the case where it is applied to \(\mathcal L\)-fuzzy sets with \(\mathcal L\)-valued partitions, in [20].
Definition 3
Let \((X,\mathcal{A})\) be a space with a fuzzy partition \(\mathcal{A}=\{A_{\lambda }:\lambda \in |\mathcal{A}|\}\).
-
1.
An upper F-transform with respect to the space \((X,\mathcal{A})\) is a function \(F^{\uparrow }_{X,\mathcal{A}}:\mathcal{L}^X\rightarrow \mathcal{L}^{|\mathcal{A|}}\), defined by
$$ f\in \mathcal{L}^X,\lambda \in |\mathcal{A}|,\quad F^{\uparrow }_{X ,\mathcal{A}}(f)(\lambda )=\bigvee _{x\in X}(f(x)\otimes A_{\lambda }(x)). $$ -
2.
A lower F-transform with respect to the space \((X,\mathcal{A})\) is a function \(F^{\downarrow }_{X,\mathcal{A}}:\mathcal{L}^X\rightarrow \mathcal{L}^{|\mathcal{A|}}\), defined by
$$ f\in \mathcal{L}^X,\lambda \in |\mathcal{A}|,\quad F^{\downarrow }_{X ,\mathcal{A}}(f)(\lambda )=\bigwedge _{x\in X}(A_{\lambda }(x)\rightarrow f(x)). $$
3 Powerset Theories in the Category \(\mathbf{SpaceFP}\)
In what follows, by \(CSLAT(\vee )\) or \(CSLAT(\wedge )\) we denote the category of complete \(\vee \)- or \(\wedge \)-semilattices as objects, respectively, with \(\vee \)- or \(\wedge \)-preserving maps as morphisms. If there is no need to distinguish between \(\vee \) and \(\wedge \), we will only write CSLAT. The standard definition of powerset theories was presented by Rodabaugh [23].
Definition 4
Let \(\mathbf {K}\) be a ground category. Then \(\mathbf{T}=(T,\rightarrow , V, \eta )\) is called CSLAT-powerset theory in \(\mathbf{K}\), if
-
1.
\(T:\mathbf{K}\rightarrow CSLAT\) is an object-mapping,
-
2.
for each morphism \(f:A\rightarrow B\) in \(\mathbf{K}\), there exists \(f^{\rightarrow }_{T}:T(A)\rightarrow T(B)\) in CSLAT,
-
3.
There exists a concrete functor \(V:\mathbf{K}\rightarrow {Set}\), such that \(\eta \) determines in \({Set}\) for each \(A\in \mathbf{K}\) a mapping \(\eta _A:V(A)\rightarrow T(A)\),
-
4.
For each \(f:A\rightarrow B\) in \(\mathbf K\), \(f^{\rightarrow }_{T}\circ \eta _A=\eta _B\circ V(f)\).
In the paper we deal with powerset theories in the category \(\mathbf {SpaceFP}\) which satisfy additional properties, typical for fuzzy sets structures. Two types of these powerset theories are introduced in the following definitions.
Definition 5
A structure \(\mathbf{T}=(T,\rightarrow ,V,\eta )\) is called a \(\mathcal{L}^{\vee }\)-powerset theory in the category \(\mathbf {SpaceFP}\), if
-
1.
\(\mathbf{T}\) is a \(CSLAT(\vee )\)-powerset theory in the category \(\mathbf {SpaceFP}\),
-
2.
For each object \((X,\mathcal{A})\in \mathbf {SpaceFP}\),
-
(a)
there exists a \(\bigvee \)-preserving embedding \(i_{(X,\mathcal{A})}:T(X,\mathcal{A})\hookrightarrow \mathcal{L}^{|\mathcal{A}|}\),
-
(b)
for each \(x\in V(X,\mathcal{A})\) there exists \(\alpha \in |\mathcal{A}|\), such that \(core(i_{(X,\mathcal{A})}\)\((\eta _{(X,\mathcal{A})}(x)))=\{\alpha \}\),
-
(c)
there exists an external operation \(\star :\mathcal{L}\times T(X,\mathcal{A})\rightarrow T(X,\mathcal{A})\), such that \(i_{(X,\mathcal{A})}(\alpha \star f)=\alpha \otimes i_{(X,\mathcal{A})}(f)\), for each \(f\in T(X,\mathcal{A}),\alpha \in \mathcal{L}\).
-
(a)
If \(\mathcal{L}=(L,\oplus ,\otimes ,\lnot ,0_L,1_L)\) is a complete MV-algebra, we can also define the \(\mathcal{L}^{\wedge }\)-powerset theory in the category \(\mathbf {SpaceFP}\).
Definition 6
A structure \(\mathbf{S}=(S,\rightarrow ,W,\mu )\) is called a \(\mathcal{L}^{\wedge }\)-powerset theory in the category \(\mathbf {SpaceFP}\), if
-
1.
\(\mathbf{S}\) is a \(CSLAT(\wedge )\)-powerset theory in the category \(\mathbf {SpaceFP}\),
-
2.
For each object \((X,\mathcal{A})\in \mathbf {SpaceFP}\),
-
(a)
there exists a \(\bigwedge \)-preserving embedding \(j_{(X,\mathcal{A})}:S(X,\mathcal{A})\hookrightarrow \mathcal{L}^{|\mathcal{A}|}\),
-
(b)
for each \(x\in W(X,\mathcal{A})\) there exists \(\alpha \in |\mathcal{A}|\), such that \(core(j_{(X,\mathcal{A})}(\mu _{(X,\mathcal{A})}(x)))=\{\alpha \}\),
-
(c)
there exists an external operation \(+:\mathcal{L}\times S(X,\mathcal{A})\rightarrow S(X,\mathcal{A})\), such that \(j_{(X,\mathcal{A})}(\alpha + f)=\alpha \oplus j_{(X,\mathcal{A})}(f)\), for each \(f\in S(X,\mathcal{A}),\alpha \in \mathcal{L}\).
-
(a)
Let us consider the following examples of the \(\mathcal{L}^{\vee }\)-and \(\mathcal{L}^{\wedge }\)-powerset theory.
Example 1
Let \(\mathcal{U}=\{\tau _{(X,\mathcal{A})}:(X,\mathcal{A})\in \mathbf {SpaceFP}\}\) be a system of \(\mathcal L\)-valued similarity relations defined on sets \(|\mathcal{A}|\), such that for arbitrary morphism \((f,\sigma ):(X,\mathcal{A})\rightarrow (Y,\mathcal{B})\) in the category \(\mathbf {SpaceFP}\), \(\tau _{(X,\mathcal{A})}(\alpha ,\beta )=\tau _{(Y,\mathcal{B})}(\sigma (\alpha ),\sigma (\beta ))\) holds for arbitrary \(\alpha ,\beta \in |\mathcal{A}|\). Moreover, let the following condition holds for arbitrary \((X,\mathcal{A})\):
For arbitrary morphism \((f,\sigma ):(X,\mathcal{A})\rightarrow (Y,\mathcal{B})\) in \(\mathbf {SpaceFP}\), we set
It is clear that \(T(X,\mathcal{A})\) is a complete \(\bigvee \)-semilattice and \((f,\sigma )^{\rightarrow }_T(g)\) is also extensional with respect to \(\tau _{(Y,\mathcal{B})}\). Then, \(\mathbf{T}=(T,\rightarrow ,V,\eta )\) is the \(\mathcal{L}^{\vee }\)-powerset theory called powerset theory defined by \(\mathcal{U}\). In fact, we set
It can be proven simply that \(\alpha \otimes g\) are elements of \(T(X,\mathcal{A})\) and the following diagram commutes,
Hence, \((T,\rightarrow ,V,\eta )\) is a \(\mathcal{L}^{\vee }\)-powerset theory. \(\square \)
Example 2
Let \(\mathcal{L}\) be a complete MV-algebra. Let \(\mathcal{U}=\{\tau _{(X,\mathcal{A})}:(X,\mathcal{A})\in \mathbf {SpaceFP}\}\) be the same sets of similarity relation as in the Example 1.
For arbitrary morphism \((f,\sigma ):(X,\mathcal{A})\rightarrow (Y,\mathcal{B})\) we set
It can be proven that \((f,\sigma )^{\rightarrow }_S\) is defined correctly, i.e., \((f,\sigma )^{\rightarrow }_S(g)\in S(Y,\mathcal{B})\), for arbitrary \(g\in S(X,\mathcal{A})\). In fact, for \(\beta ,\omega \in |\mathcal{B}|\), we have
and \((f,\sigma )^{\rightarrow }_S(g)\) is extensional with respect to \(\tau _{(Y,\mathcal{B})}\) and \(\alpha \oplus g\in S(X,\mathcal{A})\). In fact, for arbitrary \(\beta , \omega \in \mathcal{L}\), we have
and it follows that
Therefore, \(\mathbf{S}=(S,\rightarrow ,V,\eta )\) is the \(\mathcal{L}^{\wedge }\)-powerset theory, where \(\eta \) is the same as in the previous Example. \(\square \)
As we mentioned in the Introduction, our goal is to show that the classical F-transform \(F_{X,\mathcal{A}}:\mathcal{L}^X\rightarrow \mathcal{L}^{|\mathcal{A}|}\) defined by the space with a fuzzy partition \((X,\mathcal{A})\) can be derived from a powerset theory and, vice versa, that each suitable powerset theory \(\mathbf T\) in the category \(\mathbf {SpaceFP}\), defines for arbitrary \((X,\mathcal{A})\in \mathbf{SpaceFP}\) the map \(T_{[X,\mathcal{A}]}:\mathcal{L}^{V(X,\mathcal{A})}\rightarrow T(X,\mathcal{A})\), which can be represented by the F-transform \(F_{V(X,\mathcal{A}),\mathcal{B}}\) defined by (possible different) space with a fuzzy partition \((V(X,\mathcal{A}),\mathcal{B})\).
Let us introduce the definition of the map defined by a \(\mathcal{L}^{\vee }\)- or \(\mathcal{L}^{\wedge }\)-powerset theories.
Definition 7
-
1.
Let \(\mathbf{T}=(T,\rightarrow ,V,\eta )\) be a \(\mathcal{L}^{\vee }\)-powerset theory in the category \(\mathbf {SpaceFP}\). For \((X,\mathcal{A})\in \mathbf {SpaceFP}\), the map defined by \(\mathbf{T}\) is
$$\begin{aligned}\begin{gathered} T^{[X,\mathcal{A}]}:\mathcal{L}^{V(X,\mathcal{A})}\rightarrow T(X,\mathcal{A}),\\ f\in \mathcal{L}^{V(X,\mathcal{A})},\quad T^{[X,\mathcal{A}]}(f):=\bigvee _{x\in V(X,\mathcal{A})}\eta _{(X,\mathcal{A})}(x)\star f(x) \in T(X,\mathcal{A}). \end{gathered}\end{aligned}$$ -
2.
Let \(\mathcal{L}\) be a complete MV-algebra and let \(\mathbf{S}=(S,\rightarrow ,W,\mu )\) be a \(\mathcal{L}^{\wedge }\)-powerset theory in the category \(\mathbf {SpaceFP}\). For \((X,\mathcal{A})\in \mathbf {SpaceFP}\), the map defined by \(\mathbf{S}\) is
$$\begin{aligned}\begin{gathered} S_{[X,\mathcal{A}]}:\mathcal{L}^{W(X,\mathcal{A})}\rightarrow S(X,\mathcal{A}),\\ f\in \mathcal{L}^{W(X,\mathcal{A})},\quad S_{[X,\mathcal{A}]}(f):=\bigwedge _{x\in W(X,\mathcal{A})}\lnot \eta _{(X,\mathcal{A})}(x)+ f(x) \in T(X,\mathcal{A}). \end{gathered}\end{aligned}$$
In the next theorem we prove that lower and upper F-transforms are derived from powerset theories. We show that for arbitrary space with a fuzzy partition \((X,\mathcal{A})\), the upper F-transform \(F^{\uparrow }_{X,\mathcal{A}}:\mathcal{L}^X\rightarrow \mathcal{L}^{|\mathcal{A}|}\) is identical to the map \(T^{[X,\mathcal{A}]}\) defined by a \(\mathcal{L}^{\vee }\)-powerset theory \(\mathbf T\). An analogical result we can obtain for lower F-transform \(F^{\downarrow }_{X,\mathcal{A}}\), which is identical to the map \(T_{[X,\mathcal{A}]}\).
Theorem 1
There exists the powerset theory \(\mathbf{T}=(T,\rightarrow ,V,\eta )\) of the category \(\mathbf {SpaceFP}\), such that
-
1.
\(\mathbf T\) is \(\mathcal{L}^{\vee }\)-powerset theory.
-
2.
If \(\mathcal{L}\) is a complete MV-algebra, then \(\mathbf T\) is also \(\mathcal{L}^{\wedge }\)-powerset theory,
-
3.
For each \((X,\mathcal{A})\in \mathbf{SpaceFP}\),
$$ T^{[X,\mathcal{A}]}= F^{\uparrow }_{X,\mathcal{A}},\quad T_{[X,\mathcal{A}]}= F^{\downarrow }_{X,\mathcal{A}}. $$
Proof. Let \((f,\sigma ):(X,\mathcal{A})\rightarrow (Y,\mathcal{B})\) be a morphism in the category \(\mathbf {SpaceFP}\).
-
(1)
We define
$$\begin{aligned}\begin{gathered} T:\mathbf{SpaceFP}\rightarrow CSLAT(\vee ),\quad V:\mathbf{SpaceFP}\rightarrow Set,\\ T(X,\mathcal{A})=\mathcal{L}^{|\mathcal{A}|},\quad V(X,\mathcal{A})=X,\\ (f,\sigma )^{\rightarrow }_T=T(f,\sigma ): T(X,\mathcal{A})\rightarrow T(Y,\mathcal{B}), \quad V(f,\sigma )=f,\\ g\in T(X,\mathcal{A}),\quad (f,\sigma )^{\rightarrow }_T(g)=\sigma ^{\rightarrow }_Z(g)\in T(Y,\mathcal{B}), \end{gathered}\end{aligned}$$
where \(\sigma ^{\rightarrow }_Z\) is the Zadeh’s extension of the map \(\sigma :|\mathcal{A}|\rightarrow |\mathcal{B}|\) to the map \(\mathcal{L}^{|\mathcal{A}|}\rightarrow \mathcal{L}^{|\mathcal{B}|}\). The ordering on the set \(T(X,\mathcal{A})\) is point-wise and it is clear that \(T(X,\mathcal{A})\) is a complete \(\bigvee \)-semilattice and \(\sigma ^{\rightarrow }\) is \(\bigvee \)-preserving map.
We define the map \(\eta _{(X,\mathcal{A})}:X\rightarrow T(X,\mathcal{A})\) by
where \(\mathcal{A}=\{A_{\alpha }:\alpha \in |\mathcal{A}|\}\). We show that the following diagram commutes.
In fact, for \(x\in X, \beta =\sigma (\alpha )\in |\mathcal{B}|\), we have
Hence, \(\mathbf{T}=(T,\rightarrow , V,\eta )\) is the \(CSLAT(\vee )\)-powerset theory. To prove that \(\mathbf T\) is the \(\mathcal{L}^{\vee }\)-powerset theory, we define the external operation \(\star \) by
Moreover, we have
where \(u_\mathcal{A}:X\rightarrow |\mathcal{A}|\) is the map defined by \(u_\mathcal{A}(x)=\alpha \Leftrightarrow x\in core(A_{\alpha })\). Hence, the condition (b) is also satisfied. Finally, for the map \(T^{[X,\mathcal{A}]}\) defined by \(\mathbf T\), for arbitrary \(h\in \mathcal{L}^X, \alpha \in |\mathcal{A}|\) we have
Hence, \(T^{[X,\mathcal{A}]}=F^{\uparrow }_{X,\mathcal{A}}\).
-
(2)
Let \(\mathcal{L}\) be the complete MV-algebra. For arbitrary morphism \((f,\sigma ):(X,\mathcal{A})\rightarrow (Y,\mathcal{B})\), the set \(T(X,\mathcal{A})=\mathcal{L}^{|\mathcal{A}|}\) is also complete \(\bigwedge \)-semilattice. Since any complete MV-algebra is completely distributive ([8]), the map \(\sigma ^{\rightarrow }_Z\) is \(\bigwedge \)-preserving map, as follows from
$$\sigma ^{\rightarrow }_Z(\bigwedge _{j\in J}h_j)(\beta )=\bigvee _{\alpha ,\sigma (\alpha )=\beta }(\bigwedge _{j\in J}h_j(\alpha ))=\bigwedge _{j\in J}(\bigvee _{\alpha _j,\sigma (\alpha _j)=\beta }h_j(\alpha _j))=\bigwedge _{j\in J}\sigma ^{\rightarrow }_Z(h_j)(\beta ).$$
Hence, the object function T from the previous case is also the object function \(T:\mathbf{SpaceFP}\rightarrow CSLAT(\wedge )\) and \(\mathbf{T}=(T,\rightarrow ,V,\eta )\) can be consider to be also the \(CSLAT(\wedge )\)-powerset theory in the category \(\mathbf {SpaceFP}\). To prove that \(\mathbf T\) is also \(\mathcal{L}^{\wedge }\)-powerset theory, we need to change only the definition of the external operation \(+\) as follows:
Then, for the map \(T_{[X,\mathcal{A}]}\) defined by \(\mathbf T\), for arbitrary \(h\in \mathcal{L}^X, \alpha \in |\mathcal{A}|\) we have
Hence, \(T_{[X,\mathcal{A}]}=F^{\downarrow }_{X,\mathcal{A}}\). \(\square \)
In the next theorem we deal with the converse problem: Is it true that for arbitrary \(\mathcal{L}^{\vee }\)-powerset theory of the category \(\mathbf {SpaceFP}\), the map \(T^{[X,\mathcal{A}]}\) defines an F-transform? The answer is “yes” and it allows to derive new types of F-transform maps \(F:\mathcal{L}^X\rightarrow \mathcal{L}^{|\mathcal{A}|}\), where the transformed map F(g) could have some additional properties.
Theorem 2
Let \(\mathbf{T}=(T,\rightarrow ,V,\eta )\) be an arbitrary \(\mathcal{L}^{\vee }\)-powerset theory in the category \(\mathbf {SpaceFP}\). Then for arbitrary space with a fuzzy partition \((X,\mathcal{A})\in \mathbf {SpaceFP}\) there exists another space with a fuzzy partition \((V(X,\mathcal{A}),\mathcal{B})\in \mathbf{SpaceFP}\), such that the following diagram commutes
Proof. For arbitrary \(\alpha \in |\mathcal{A}|, x\in V(X,\mathcal{A})\), we set \(B_{\alpha }(x)=i_{(X,\mathcal{A})}(\eta _{(X,\mathcal{A})}(x))(\alpha )\). Then \((V(X,\mathcal{A}),\mathcal{B})\) is a space with a fuzzy partition, where \(\mathcal{B}=\{B_{\alpha }:\alpha \in |\mathcal{A}|\}\) is a fuzzy partition, as simply follows from the properties of \(\eta \). Then, for \(\alpha \in |\mathcal{A}|,g\in \mathcal{L}^{V(X,\mathcal{A})}\), we have
\(\square \)
An analogical result we obtain for lower F-transform. The proof is similar and will be omitted.
Theorem 3
Let \(\mathcal{L}\) be a complete MV-algebra and let \(\mathbf{S}=(S,\rightarrow ,W,\mu )\) be an arbitrary \(\mathcal{L}^{\wedge }\)-powerset theory in the category \(\mathbf {SpaceFP}\). Then for arbitrary space with a fuzzy partition \((X,\mathcal{A})\in \mathbf {SpaceFP}\) there exists another space with a fuzzy partition \((W(X,\mathcal{A}),\mathcal{B})\in \mathbf{SpaceFP}\), such that the following diagram commutes
To illustrate the meaning of the preceding theorems, we show upper and lower F-transforms generated by the Theorems 2 and 3 from the \(\mathcal{L}^{\vee }\)- and \(\mathcal{L}^{\wedge }\)-powerset theories from the Examples 1 and 2, respectively.
Recall that for an arbitrary set X and an \(\mathcal{L}\)-valued similarity relation \(\delta \) on the set X, a function \(g\in \mathcal{L}^X\) is called the extensional core of a function \(f\in \mathcal{L}^X\) with respect to \(\delta \), if
-
1.
\(\forall x\in X,\quad g(x)\le f(x)\),
-
2.
g is extensional with respect to \(\delta \),
-
3.
if \(h\in \mathcal{L}^X\) is extensional with respect to \(\delta \), \(h\le f\), then \(g\ge h\).
Example 3
Let \(\mathbf{T}=(T,\rightarrow ,V,\eta )\) be the \(\mathcal{L}^{\vee }\)-powerset theory in the category \(\mathbf {SpaceFP}\) from the Example 1. Then, according to the proof of the Theorem 2, for arbitrary \((X,\mathcal{A})\in \mathbf{SpaceFP}\), the set \(\mathcal{B}=\{\tau _{(X,\mathcal{A}}(\alpha ,-):\alpha \in {|\mathcal{A}|}\}\) is a fuzzy partition on \(|\mathcal{A}|\), such that
It is clear that \(\widehat{g}\) is the extensional hull of g with respect to \(\tau _{(X,\mathcal{A})}\). Therefore, in that case, the upper F-transform \(F^{\uparrow }_{|\mathcal{A}|,\mathcal{B}}\) represents the extensional hull transformation. \(\square \)
Example 4
Let \(\mathcal{L}\) be a complete MV-algebra and let \(\mathbf{S}=(S,\rightarrow ,V,\eta )\) be the \(\mathcal{L}^{\wedge }\)-powerset theory in the category \(\mathbf {SpaceFP}\) from the Example 2. Then, according to the proof of the Theorem 3, for arbitrary \((X,\mathcal{A})\in \mathbf{SpaceFP}\), the set \(\mathcal{B}=\{\tau _{(X,\mathcal{A}}(\alpha ,-):\alpha \in {|\mathcal{A}|}\}\) is a fuzzy partition on the set \(|\mathcal{A}|\), such that
It can be proven that \(\underline{g}\) is the extensional core of g with respect to \(\tau _{(X,\mathcal{A})}\). In fact, analogously as in the Example 2, we can prove that \(\underline{g}\) is extensional with respect to \(\tau _{(X,\mathcal{A})}\), \(\underline{g}\le g\) and \(\underline{g}\) is the largest extensional map with these properties. Therefore, in that case, the lower F-transform \(F^{\downarrow }_{|\mathcal{A}|,\mathcal{B}}\) represents the extensional core transformation. \(\square \)
4 Conclusions
F-transforms of lattice-valued fuzzy sets and powerset theories in fuzzy structures are frequently used tools in the fuzzy set theory and applications. Although these theories seem to be independent from the point of view of methods used, there exist deep relationships between these theories. We proved that arbitrary F-transform of \(\mathcal{L}\)-valued fuzzy sets defined by a fuzzy partition can be derived from a special powerset theory defined on the set of all \(\mathcal{L}\)-valued fuzzy sets and, conversely, there exists a special class of powerset theories, such that maps defined by these powerset theories are F-transforms. Using these relations, we can define new types of F-transforms and we can use, for example, new methods in the F-transform theory, including the theory of monads in special categories, which are typical tools in the powerset theories.
References
Di Martino, F., et al.: An image coding/decoding method based on direct and inverse fuzzy tranforms. Int. J. Approximation Reasoning 48, 110–131 (2008)
Di Martino, F., et al.: A segmentation method for images compressed by fuzzy transforms. Fuzzy Sets Syst. 161(1), 56–74 (2010)
Di Martino, F., et al.: Fuzzy transforms method and attribute dependency in data analysis. Inf. Sci. 180(4), 493–505 (2010)
Di Martino, F., et al.: Fuzzy transforms method in prediction data analysis. Fuzzy Sets Syst. 180(1), 146–163 (2011)
Gerla, G., Scarpati, L.: Extension principles for fuzzy set theory. J. Inf. Sci. 106, 49–69 (1998)
Chang, C.C.: Algebraic analysis of many-valued logic. Trans. A.M.S. 93, 74–80 (1958)
Khastan, A., Perfilieva, I., Alijani, Z.: A new fuzzy approximation method to Cauchy problem by fuzzy transform. Fuzzy Sets Syst. 288, 75–95 (2016)
Jakubík, J.: Higher degrees of distributivity in \(MV\)-algebras. Czechoslovak Math. J. 53(128), 641–653 (2003)
Manes, E.G.: Algebraic Theories. Springer, Berlin (1976). https://doi.org/10.1007/978-1-4612-9860-1
Močkoř, J.: Closure theories of powerset theories. Tatra Mt. Math. Publ. 64, 101–126 (2015)
Močkoř, J.: Powerset operators of extensional fuzzy sets. Iran. J. Fuzzy Syst. 15(2), 143–163 (2018)
Močkoř, J., Holčapek, M.: Fuzzy objects in spaces with fuzzy partitions. Soft Comput. 21(24), 7269–7284 (2017)
Močkoř, J.: Spaces with fuzzy partitions and fuzzy transform. Soft Comput. 21(13), 3479–3492 (2017)
Nguyen, H.T.: A note on the extension principle for fuzzy sets. J. Math. Anal. Appl. 64, 369–380 (1978)
Novák, V., Perfilijeva, I., Močkoř, J.: Mathematical Principles of Fuzzy Logic. Kluwer Academic Publishers, Boston (1999)
Perfilieva, I.: Fuzzy transforms and their applications to image compression. In: Bloch, I., Petrosino, A., Tettamanzi, A.G.B. (eds.) WILF 2005. LNCS (LNAI), vol. 3849, pp. 19–31. Springer, Heidelberg (2006). https://doi.org/10.1007/11676935_3
Perfilieva, I.: Fuzzy transforms: a challange to conventional transform. In: Hawkes, P.W. (ed.) Advances in Image and Electron Physics, vol. 147, pp. 137–196. Elsevier Academic Press, San Diego (2007)
Perfilieva, I., Novak, V., Dvořak, A.: Fuzzy transforms in the analysis of data. Int. J. Approximate Reasoning 48, 36–46 (2008)
Perfilieva, I.: Fuzzy transforms: theory and applications. Fuzzy Sets Syst. 157, 993–1023 (2006)
Perfilieva, I., Singh, A.P., Tiwari, S.P.: On the relationship among \(F\)-transform, fuzzy rough set and fuzzy topology. In: Proceedings of IFSA-EUSFLAT 2015, Gijon, pp. 1324–1330. Atlantis Press, Amsterdam (2015)
Rodabaugh, S.E.: Powerset operator foundation for poslat fuzzy SST theories and topologies. In: Höhle, U., Rodabaugh, S.E. (eds.) Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory, The Handbook of Fuzzy Sets Series, vol. 3, pp. 91–116. Kluwer Academic Publishers, Boston (1999)
Rodabaugh, S.E.: Powerset operator based foundation for point-set lattice theoretic (poslat) fuzzy set theories and topologies. Quaestiones Mathematicae 20(3), 463–530 (1997)
Rodabaugh, S.E.: Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics. Int. J. Math. Math. Sci. 2007, 71 p. (2007). Article no. 43645
Solovyov, S.A.: Powerset operator foundations for catalg fuzzy set theories. Iran. J. Fuzzy Syst. 8(2), 1–46 (2001)
Tomasiello, S.: An alternative use of fuzzy transform with application to a class of delay differential equations. Int. J. Comput. Math. 94(9), 1719–1726 (2017)
Zadeh, L.A.: Fuzzy sets. Inf. Control 8, 338–353 (1965)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Močkoř, J. (2019). Any F-Transform Is Defined by a Powerset Theory. In: Fullér, R., Giove, S., Masulli, F. (eds) Fuzzy Logic and Applications. WILF 2018. Lecture Notes in Computer Science(), vol 11291. Springer, Cham. https://doi.org/10.1007/978-3-030-12544-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-12544-8_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-12543-1
Online ISBN: 978-3-030-12544-8
eBook Packages: Computer ScienceComputer Science (R0)