In this paper, we mainly focus on the relationship between (L, M)-fuzzy closure systems and (L, M)-fuzzy convex structures as well as the relationship between (L, M)-fuzzy closure systems and (L, M)-fuzzy cotopologies. Firstly, we show that there is an adjunction between the category LMFC of (L, M)-fuzzy convex spaces and the category LMFS of (L, M)-fuzzy closure spaces, and there is also an adjunction between the category LMFT of (L, M)-fuzzy cotopological spaces and LMFS. In particular, the categories LMFC and LMFT are both coreflective subcategories of LMFS. Secondly, we prove that there is an adjunction between the category ELFC of extensional L-fuzzy convex spaces and the category LFC of L-fuzzy convex spaces, and there is also an adjunction between the category ELFT of extensional L-fuzzy cotopological spaces and the category LFT of (L, M)-fuzzy cotopological spaces. Specially, ELFC is a coreflective subcategory of LFC and ELFT is a coreflective subcategory of LFT.
Introduction
By a closure system, we usually mean a subset of the power set 2X which satisfies certain conditions [2]. As we all know, a closure system is not only a generalization of a convex structure [34] by relaxing the condition that it is closed under directed unions, but also a generalization of a cotopology (equivalently, topology) by relaxing the condition that it is closed under finite unions. In a categorical sense, the category of convex spaces and the category of cotopological spaces are both full subcategories of the category of closure spaces.
Since Zadeh introduced the concept of fuzzy sets, many mathematical structures have been endowed with fuzzy set theory, such as fuzzy closure systems [1, 14], fuzzy convex structures [29, 32], fuzzy cotopological structures [3, 43] and fuzzy convergence structures [10–12, 24]. Generally, there are three typical kinds of fuzzy topological structures, which are called L-topology [3], M-fuzzifying topology [43] and (L, M)-fuzzy topology [9, 33]. Adopting the terminology of fuzzy topology, there are also three representative types of fuzzy convex structures, including L-convex structures [7, 41], M-fuzzifying convex structures [23, 42] and (L, M)-fuzzy convex structures [13, 38]. Besides, the concepts of fuzzy closure systems can also be defined in this way. Fang [4] proposed the concept of L-fuzzy closure systems and established its categorical relationship with L-fuzzy closure operators. Later, Luo and Fang [14] introduced the concept of fuzzifying closure systems and showed there was a one-to-one correspondence between fuzzifying closure systems and fuzzifying Birkhoff’s closure operators. More research on the relationship between closure systems and closure operators can be found in [8, 44].
Category theory is a useful tool in establishing the relationship between different types of mathematical structures. In the fuzzy case, fuzzy convex structures and fuzzy cotopologies can both be considered as special fuzzy closure systems by demanding some fuzzy counterparts of the corresponding required axioms in the classical case. In order to assure the deeper connections between fuzzy closure systems, fuzzy convex structures and fuzzy cotopologies, Xiu and Pang [39] established the categorical relationship between M-fuzzifying closure systems, M-fuzzifying convex structures and M-fuzzifying Alexandrov topologies. Actually, fuzzy mathematical structures in the (L, M)-fuzzy case are more general than those in the M-fuzzifying case. By this motivation, we will consider the relationship between fuzzy closure systems, fuzzy convex structures and fuzzy cotopologies in the (L, M)-fuzzy case.
From a categorical viewpoint, we will establish the relationship between (L, M)-fuzzy closure systems, (L, M)-fuzzy convex structures and (L, M)-fuzzy cotopologies. Using a categorical tool, we will include the categories of (L, M)-fuzzy convex spaces and (L, M)-fuzzy cotopological spaces in the category of (L, M)-fuzzy closure spaces as coreflective subcategories. As we all know, by means of L-equality relations between L-subsets, the concept of extensional L-fuzzy topologies was proposed. Adopting this way, we will propose the concepts of extensional L-fuzzy convex structures and extensional L-fuzzy cotopologies, and then establish their categorical relationship with L-fuzzy convex structures and L-fuzzy cotopologies, respectively.
Preliminaries
Let L (resp. M) be a complete lattice with the smallest element ⊥L (resp. ⊥M) and the largest element ⊤L (resp. ⊤M). For a, b ∈ L, we say that a is way below b in L (in symbols, a ⪡ b) if for all directed subsets D ⊆ L, b ≤ ⋁ D always implies that a ≤ d for some d ∈ D. A complete lattice L is said to be continuous if for all x ∈ L, x = ⋁ ⇓ x, where ⇓x = {y ∈ L ∣ y ⪡ x} ([5]). For a directed subset D ⊆ L, we use ⋁dirD to denote its supremum. For a, b ∈ M, we say that a is wedge below b in M (in symbols, a ≺ b) if for every subset D ⊆ M, ⋁D ≥ b implies d ≥ a for some d ∈ M. A complete lattice M is completely distributive if and only if b = ⋁ {a ∈ M ∣ a ≺ b} for each b ∈ L.
For a nonempty set X, LX denotes the set of all L-subsets on X. For each a ∈ L, denotes the constant mapping X ⟶ L, x ⟼ a, which is called a constant L-subset. The operators on L can be translated onto LX in a pointwise way. The smallest element and the largest element in LX are denoted by and , respectively. If L is a continuous lattice, then LX is also a continuous lattice and the way below relation on LX is still denoted by “ ⪡ ".
Let X, Y be two nonempty sets and let φ : X ⟶ Y be a mapping. Define and as follows:
Lemma 2.1. ([5]) LetL be a continuous lattice and let {ajk ∣ j ∈ J, k ∈ K (j)} be a nonempty family of elements in L such that {ajk ∣ k ∈ K (j)} is directed for all j ∈ J. Then the following identity holds:
where N is the set of all choice functions h : J ⟶ ⋃ j∈JK (j) with h (j) ∈ K (j) for all j ∈ J.
For a completely distributive lattice L, we can then define a residual implication by
Then we define
Further, for A, B ∈ LX, the L-equality relation between L-subsets can be defined by means of “↔" as follows:
We will often use, without explicit proving, the following properties of the L-equality relations.
Lemma 2.2.For each A, B, C, D ∈ LX, {Ai} i∈I ⊆ LX, {Bi} i∈I ⊆ LX, the following statements hold.
.
.
.
Throughout this paper, L and M denote complete lattices, unless otherwise stated.
Definition 2.3. ([4, 30]). An (L, M)-fuzzy closure system on X is a mapping which satisfies: (LMS1) ; (LMS2) .
For an (L, M)-fuzzy closure system on X, the pair is called an (L, M)-fuzzy closure space.
A mapping between (L, M)-fuzzy closure spaces is called continuous if it satisfies
It is easy to check that all (L, M)-fuzzy closure spaces as objects and all continuous mappings as morphisms form a category, denoted by LMFS.
By demanding some more axioms on (L, M)-fuzzy closure systems, another two well-known concepts can be obtained.
Definition 2.4. ([32]). An (L, M)-fuzzy convex structure on X is a mapping which satisfies: (LMC1) ; (LMC2) ; (LMC3) .
For an (L, M)-fuzzy convex structure on X, the pair is called an (L, M)-fuzzy convex space.
A mapping between (L, M)-fuzzy convex spaces is called convexity preserving (CP, in short) if it satisfies
It is easy to check that all (L, M)-fuzzy convex spaces as objects and all CP mappings as morphisms form a category, denoted by LMFC.
Definition 2.5. ([9, 33]). An (L, M)-fuzzy cotopology on X is a mapping τ : LX ⟶ M which satisfies: (LMT1) ; (LMT2) τ (⋀ i∈IAi) ≥ ⋀ i∈Iτ (Ai); (LMT3) τ (A ∨ B) ≥ τ (A) ∧ τ (B).
For an (L, M)-fuzzy cotopology τ on X, the pair (X, τ) is called an (L, M)-fuzzy cotopological space.
A mapping φ : (X, τX) ⟶ (Y, τY) between (L, M)-fuzzy cotopological spaces is called continuous if it satisfies
It is easy to check that all (L, M)-fuzzy cotopological spaces as objects and all continuous mappings as morphisms form a category, denoted by LMFT.
Actually, it is easy to see that LMFC and LMFT are both full subcategories of LMFS.
The subjects of a category A is denoted by ∣A∣. For other notions related to category theory, we refer to [28].
Main results
Coreflectivity of LMFC in LMFS
From the definitions of (L, M)-fuzzy closure systems and (L, M)-fuzzy convex structures, we observe that an (L, M)-fuzzy closure system is an (L, M)-fuzzy convex structure which relaxes the axiom (LMC3). That is to say, (L, M)-fuzzy closure systems are generalizations of (L, M)-fuzzy convex structures. In this subsection, we will further investigate their categorical relationship by requiring L being continuous lattice and M being a completely distributive lattice.
Theorem 3.1.1.Let be an (L, M)-fuzzy closure space and define as follows:Then is an (L, M)-fuzzy convex structure on X. Moreover, .
Proof. It suffices to show that satisfies (LMC1)–(LMC3). Indeed,
(LMC1) Since satisfies (LMS1), it follows immediately that .
(LMC2) Take each {Ai ∣ i ∈ I} ⊆ LX. Then we prove , i.e.,
Choose each a ∈ M such that
Then for each i ∈ I, there exists a directed set {Gi,j ∣ j ∈ Ji} ⊆ LX such that and for each j ∈ Ji, . By (DD), we have
and . This implies that
By the arbitrariness of a, we obtain , as desired.
(LMC3) Take each . Then we prove that . That is to say,
Choose each a ∈ M such that
Then for each j ∈ J, there exists a directed set {Gj,i ∣ i ∈ Ij} such that and for each i ∈ Ij, . Put . Then . Now define a mapping σ : ⇓C ⟶ LX as follows:
Then σ is well defined since implies F ⪡ Gj,i for some j ∈ J and i ∈ Ij. Further, it is easy to check that
Since ⇓C is directed and σ is order-preserving, we know {σ (F) ∣ F ∈ ⇓ C} is directed. This means By (LMS2), it follows immediately that
This implies
By the arbitrariness of a, we obtain
as desired. □
Theorem 3.1.2.If is a continuous mapping between (L, M)-fuzzy closure spaces, then is a CP mapping between (L, M)-fuzzy convex spaces.
Proof. Since is continuous, we have
Further, by the definition of , we obtain
This proves that is a CP mapping.
□
By Theorems 3.1.1 and 3.1.2, we obtain a functor as follows:
Since LMFC is a full subcategory of LMFS, we denote the inclusion functor from LMFC to LMFS by . Then we have the the following result:
Theorem 3.1.3. is an adjunction between LMFC and LMFS. Moreover, is a left inverse functor of .
Proof. It suffices to verify that
for each (L, M)-fuzzy closure space , i.e., for each A ∈ LX.
for each (L, M)-fuzzy convex space , i.e., for each A ∈ LX.
For (1), it follows from Theorem 3.1.1.
For (2), take each A ∈ LX. Then
On one hand, let {Ak ∣ k ∈ K} = {A}. Then
On the other hand,
as desired. □
Corollary 3.1.4.LMFC is a coreflective subcategory of LMFS.
Coreflectivity of ELFC in LFC
In this subsection, we assume L = M and L is a completely distributive lattice. In this case, (L, M)-fuzzy convex structures will be called L-fuzzy convex structures and the category LLFC be will denoted by LFC. By means of L-equality relations between L-subsets, we first introduced extensional L-fuzzy convex structures by equipping an extensional condition on L-fuzzy convex structures. Then we will establish the relationship between L-fuzzy convex structures and extensional L-fuzzy convex structures from a categorical aspect.
Definition 3.2.1. An L-fuzzy convex structure on X is called extensional if it satisfies: (ELFC) . For an extensional L-fuzzy convex structure on X, the pair is called an extensional L-fuzzy convex space.
The full subcategory of LFC, consisting of extensional L-fuzzy convex spaces, is denoted by ELFC.
For an L-fuzzy convex structure on X, let
Then we present the following theorem.
Theorem 3.2.2.Let be an L-fuzzy convex structure and define byThen is an extensional L-fuzzy convex structure on X.
Proof. It suffices to show that C* satisfies (LMC1)–(LMC3) and (ELFC). Indeed,
(LMC1) Straightforward.
(LMC2) Take {Ai} ⊆ LX. Then
(LMC3) Similar to (LMC2).
(ELFC) Take each A ∈ LX. Then
This shows C* is an extensional L-fuzzy convex structure on X. □
Theorem 3.2.3.If is a CP mapping between L-fuzzy convex spaces, then is a CP mapping between extensional L-fuzzy convex spaces.
Proof. Since is CP, it follows that
Take each and define by for each B ∈ LY. Then it is easy to check that is an extensional L-fuzzy convex structure on Y and
This means . Thus, it follows that
By the arbitrariness of , we obtain
as desired. □
By Theorems 3.2.2 and 3.2.3, we obtain a functor as follows:
Since ELFC is a full subcategory of LFC, we denote the inclusion functor from ELFC to LFC by . Then we have the following result:
Theorem 3.2.4. is an adjunction between ELFC and LFC. Moreover, is a left inverse functor of .
Proof. It suffices to verify that
for each L-fuzzy convex space , i.e., for each A ∈ LX.
for each extensional L-fuzzy convex space , i.e., for each A ∈ LX.
For (1), take each A ∈ LX. Then
For (2), take each A ∈ LX. Since , it follows that
as desired. □
Corollary 3.2.5.ELFC is a coreflective subcategory of LFC.
Coreflectivity of LMFT in LMFS
It is observed that each (L, M)-fuzzy cotopology is an (L, M)-fuzzy closure system by demanding the axiom (LMT3). In this subsection, we will focus on the categorical relationship between (L, M)-fuzzy closure systems and (L, M)-fuzzy cotopologies in the assumption that L and M are completely distributive lattices.
Lemma 3.3.1.Let be an (L, M)-fuzzy closure space and define as follows:whereF is finite. Then satisfies (LMT3). Moreover, .
Proof. Take each A, B ∈ LX. Then
Moreover, holds obviously. □
By Lemma 3.3.1, we can construct an (L, M)-fuzzy cotopology from an (L, M)-fuzzy closure system.
Theorem 3.3.2.Let be an (L, M)-fuzzy closure space and define as follows:Then is an (L, M)-fuzzy cotopology on X. Moreover, .
Proof. By the definition of , it follows that . Then it suffices to verify that satisfies (LMT1)–(LMT3). Indeed,
(LMT1) Since , by (LMS1), we have .
(LMT2) For {Aj ∣ j ∈ J} ⊆ LX, we have
(LMT3) For each A, B ∈ LX, it follows Lemma 3.3.1 that
This shows that is an (L, M)-fuzzy cotopology on X. □
Theorem 3.3.3.If is a continuous mapping between (L, M)-fuzzy closure spaces, then is a continuous mapping between (L, M)-fuzzy cotopological spaces.
Proof. Since is continuous, we have
Further, by the definition of , we obtain
This proves that is continuous. □
By Theorems 3.3.2 and 3.3.3, we obtain a functor as follows:
Let us denote the inclusion functor from LMFT to LMFS by . Then we have the following result:
Theorem 3.3.4. is an adjunction between LMFT and LMFS. Moreover, is a left inverse functor of .
Proof. It suffices to verify that
for each (L, M)-fuzzy closure space , i.e., for each A ∈ LX.
for each (L, M)-fuzzy cotopological space (X, τ), i.e., for each A ∈ LX.
For (1), it follows immediately from Lemma 3.3.1 and Theorem 3.3.2.
For (2), take each A ∈ LX. Then
On one hand, let {Aj ∣ j ∈ J} = {A} and {Ai,j ∣ i ∈ Fj} = {A}. Then
On the other hand,
as desired. □
Corollary 3.3.5.LMFT is a coreflective subcategory of LMFS.
Coreflectivity of ELFT in LFT
In [6], the authors introduced the concept of extensional L-fuzzy ((L, L)-fuzzy) topological spaces and showed the resulting category is a coreflective subcategory of the category of L-fuzzy topological spaces. The similar way can be used to deal with L-fuzzy cotopological spaces. In this subsection, we will adopt a new way to show the coreflectivity of extensional L-fuzzy cotopological spaces in L-fuzzy cotopological spaces based on a completely distributive lattice L.
Now let us give the concept of extensional L-fuzzy cotopological spaces, which is equivalent to the notion of extensional L-fuzzy topological spaces in [6] when L is a completely distributive De Morgan algebra.
Definition 3.4.1. An L-fuzzy cotopology τ on X is called extensional if it satisfies (ELFT) . For an extensional L-fuzzy cotopology τ on X, the pair (X, τ) is called an extensional L-fuzzy cotopological space.
The full subcategory of LFT, consisting of extensional L-fuzzy cotopological spaces, is denoted by ELFT.
Theorem 3.4.2.Let (X, τ) be an L-fuzzy cotopological space and define τ* : LX ⟶ L byThenτ* is an extensional L-fuzzy cotopology on X.
Proof. It suffices to show that τ* satisfies (LMT1)–(LMT3) and (ELFT). Indeed,
(LMT1) Straightforward.
(LMT2) Take each A, B ∈ LX. Then
(LMT3) Take each {Ai} i∈I ⊆ LX. Then
(ELFT) Take each A ∈ LX. Then
This shows τ* is an extensional L-fuzzy cotopology on X. □
Theorem 3.4.3.Ifφ : (X, τX) ⟶ (Y, τY) is a continuous mapping between L-fuzzy topological spaces, then is a continuous mapping between extensional L-fuzzy topological spaces.
Proof. Since φ : (X, τX) ⟶ (Y, τY) is continuous, it follows that
Then for A ∈ LY, we have
as desired. □
By Theorems 3.4.2 and 3.4.3, we obtain a functor as follows:
Since ELFT is a full subcategory of LFT, we denote the inclusion functor from ELFT to LFT by . Then we have the the following result:
Theorem 3.4.4. is an adjunction between ELFT and LFT. Moreover, is a left inverse functor of .
Proof. It suffices to verify that
for each L-fuzzy cotopological space (X, τ), i.e., τ* (A) ≥ τ (A) for each A ∈ LX.
for each extensional L-fuzzy cotopological space (X, τe), i.e., for each A ∈ LX.
For (1), take each A ∈ LX. Then
For (2), take each A ∈ LX. Then
By (1), we get . Since τe is extensional, we also have
as desired. □
Corollary 3.4.5.ELFT is a coreflective subcategory of LFT.
Conclusions
In this paper, we mainly used a categorical tool to demonstrate the relationship between (L, M)-fuzzy closure systems and (L, M)-fuzzy convex structures, and the relationship between (L, M)-fuzzy closure systems and (L, M)-fuzzy cotopologies. We showed that the categories of (L, M)-fuzzy convex spaces and (L, M)-fuzzy cotopological spaces are both coreflective subcategories of the category of (L, M)-fuzzy closure spaces. Further, by equipping an extensional condition on L-fuzzy convex structures and L-fuzzy cotopologies, we introduced extensional L-fuzzy convex structures and extensional L-fuzzy cotopologies, and established their categorical relationship with L-fuzzy convex structures and L-fuzzy cotopologies, respectively.
Compared with (L, M)-fuzzy convex structures and (L, M)-fuzzy cotopologies, the notion of (L, M)-fuzzy Alexandroff topological structures is a more strong mathematical structure since it is closed under arbitrary meets and arbitrary unions. Following the idea in this paper, we will consider the relationship between (L, M)-fuzzy convex structures, (L, M)-fuzzy cotopological structures and (L, M)-fuzzy Alexandroff topological structures in the future.
Footnotes
Acknowledgments
The authors would like to express their sincere thanks to the anonymous reviewers and the editor for their careful reading and constructive comments. The first author is supported by the Natural Science Foundation of China (No. 11871097) and the funding from Heilongjiang Education Department (Nos.1354ZD009 and 1352MSYYB008). The second author is supported by the Natural Science Foundation of China (No. 11701122), the Natural Science Foundation of Guangdong Province (No. 2017A030310584) and Beijing Institute of Technology Research Fund Program for Young Scholars (2019CX04111).
References
1.
R.Bĕlohlávek, Fuzzy closure operators, J. Math. Anal. Appl.262 (2001), 473–489.
B.Pang, Degrees of separation properties in stratified L-generalized convergence spaces using residual implication, Filomat31(20) (2017), 6293–6305.
19.
B.Pang, Categorical properties of L-fuzzifying convergence spaces, Filomat32(11) (2018), 4021–4036.
20.
B.Pang and F.-G.Shi, Subcategories of the category of L-convex spaces, Fuzzy Sets Syst.313 (2017), 61–74.
21.
B.Pang and F.-G.Shi, Strong inclusion orders between L-subsets and its applications in L-convex spaces, Quaest. Math.41(8) (2018), 1021–1043.
22.
B.Pang and F.-G.Shi, Fuzzy counterparts of hull operators and interval operators in the framework of L-convex spaces, Fuzzy Sets Syst.369 (2019), 20–39.
23.
B.Pang and Z.-Y.Xiu, Lattice-valued interval operators and its induced lattice-valued convex structures, IEEE T. Fuzzy Syst.26(3) (2018), 1525–1534.
24.
B.Pang and Z.-Y.Xiu, Stratified L-prefilter convergence structures in stratified L-topological spaces, Soft Comput.22 (2018), 7539–7551.
25.
B.Pang and Z.-Y.Xiu, An axiomatic approach to bases and subbases in L-convex spaces and their applications, Fuzzy Sets Syst.369 (2019), 40–56.
26.
B.Pang and Y.Zhao, Characterizations of L-convex spaces, Iran. J. Fuzzy Syst.13(4) (2016), 51–61.
27.
B.Pang, Y.Zhao and Z.-Y.Xiu, A new definition of order relation for the introduction of algebraic fuzzy closure operators, Int. J. Approx. Reason.92 (2018), 87–96.
28.
G.Preuss, Foundations of Topology–An Approach to Convenient Topology, Kluwer Academic Publisher, Dordrecht, Boston, London, 2002.
29.
M.V.Rosa, On fuzzy topology fuzzy convexity spaces and fuzzy local convexity, Fuzzy Sets Syst.62 (1994), 97–100.
30.
F.-G.Shi and B.Pang, Categories isomorphic to the category of L-fuzzy closure system spaces, Iran. J. Fuzzy Syst.10(5) (2013), 129–148.
31.
F.-G.Shi and Z.-Y.Xiu, A new approach to the fuzzification of convex structures, J. Appl. Math. 2014 (2014), 12pages,ArticleID249183.
32.
F.-G.Shi and Z.-Y.Xiu, (L,M)-fuzzy convex structures, J. Nonlinear Sci. Appl.10(7) (2017), 3655–3669.
33.
A.P.Šostak, On a fuzzy topological structure, Rend. Circ. Mat. Palermo11 (1985), 83–103(Supp. Ser. II).
34.
M.Van De Vel, Theory of Convex Structures, North-Holland, Amsterdam1993.
35.
X.-Y.Wu and S.-Z.Bai, On M-fuzzifying JHC convex structures and M-fuzzifying Peano interval spaces, J. Intell. Fuzzy Syst.30 (2016), 2447–2458.
36.
X.-Y.Wu, E.-Q.Li and S.-Z.Bai, Geometric properties of M-fuzzifying convex structures, J. Intell. Fuzzy Syst.32(6) (2017), 4273–4284.
37.
X.-Y.Wu, B.Davvaz and S.-Z.Bai, On M-fuzzifying convex matroids and M-fuzzifying independent structures, J. Intell. Fuzzy Syst.33(1) (2017), 269–280.
38.
Z.-Y.Xiu and Q.-G.Li, Relations among (L,M)-fuzzy convex structures, (L,M)-fuzzy closure systems and (L,M)-fuzzy Alexandrov topologies in a degree sense, J. Intell. Fuzzy Syst.36 (2019), 385–396.
39.
Z.-Y.Xiu and B.Pang, M-fuzzifying cotopological spaces and M-fuzzifying convex spaces as M-fuzzifying closure spaces, J. Intell. Fuzzy Syst.33 (2017), 613–620.
40.
Z.-Y.Xiu and B.Pang, A degree approach to special mappings between M-fuzzifying convex spaces, J. Intell. Fuzzy Syst.35 (2018), 705–716.
41.
Z.-Y.Xiu and B.Pang, Base axioms and subbase axioms in M-fuzzifying convex spaces, Iran. J. Fuzzy Syst.15(2) (2018), 75–87.
42.
Z.-Y.Xiu and F.-G.Shi, M-fuzzifying interval spaces, Iran. J. Fuzzy Syst.14(1) (2017), 145–162.
43.
M.S.Ying, A new approach to fuzzy topology (I), Fuzzy Sets Syst.39 (1991), 303–321.
44.
W.Zhou, Generalization of L-closure spaces, Fuzzy Sets Syst.149 (2005), 415–432.