Some separation axioms in L -convex spaces

Abstract

In this paper, some low-level separation axioms of L-convex spaces are introduced, including S_-1, sub-S₀, S₀, S₁ and S₂ separation axioms. Some relevant properties of these separation axioms are discussed. In particular, the relationships between convex spaces and induced L-convex spaces on some separation axioms are investigated.

1 Introduction

As we all know, convexity theory plays an important role in solving extremum problems. It has been widely used in many fields of applied mathematics [2]. The study of convexity can be traced back to the mid-18th century or earlier. Initially, the concept of convexity was mainly studied in $ℝ^{n}$ in the pioneering works of Newton, Minkowski and others as described in [2, 8]. In fact, convexities also exist in many different mathematical research areas, such as vector spaces [36], graphs [34], lattices[35, 37], metric spaces [11], median algebras [3] and so on. However, the concept of convex sets have different forms in different mathematical structures. That is to say, in a particular object of study, a convex set has its own characterization. In order to study the generality of convexities in various mathematical structures, three basic axioms of convexities are obtained by means of axiomatic method. This leads to the concept of abstract convexities. More concretely, an abstract convexity on a set X is a collection of subsets of X which contains both X itself and the empty ∅ and which is closed under arbitrary intersections and nested unions [36].

Since Zadeh put forward the concept of fuzzy sets [48], many scholars have applied fuzzy theory to different mathematical structures and obtained many important results, such as fuzzy algebras [16, 49], fuzzy topologies [5, 38], fuzzy orders [47], fuzzy convergence structures [10 , 19] and so on. As a new direction of fuzzy theory, the theory of fuzzy convexities have developed rapidly in the past two decades. In 1994, Rosa [27] firstly introduced the concept of fuzzy convex spaces ([0,1]-fuzzy convex spaces). In a [0,1]-fuzzy convex space, the convex sets are fuzzy, but the convexity is crisp. Later, Maruyama [17] generalized the notion of [0,1]-fuzzy convex spaces to L-lattice valued case, where L denotes a completely distributive lattice. Both of fuzzy convex spaces in sense of Rosa and Maruyama are called L-convex spaces nowadays. Recently, L-convex spaces become a popular research direction. Pang and Zhao [25] provided several characterizations of L-convex spaces and discussed some properties of them. Jin and Li [9] investigated the relationships between convex spaces and stratified L-convex spaces from a categorical viewpoint. Specifically, in 2017, Pang and Shi [20] introduced several types L-convex spaces and investigated the categorical relations among these kinds of L-convex spaces. Afterwards, in 2019, Shen and Shi [29] provided some new characterizations of L-convex spaces by using the way-below relation in domain theory. Other studies of L-convex spaces can be found in [7 , 50].

As another direction of fuzzy convex spaces, a new approach to fuzzification of convex spaces was provided by Shi and Xiu [32]. Nowadays, this kind of fuzzy convex spaces are called M-fuzzifying convex spaces, where M denotes a completely distributive lattice. In this situation, each subset of X can be regarded as a convex set to some degree. Since the notion of M-fuzzifying convex spaces was put forward, more and more scholars have studied it. Relevant results of M-fuzzifying convex spaces can be seen in [16 , 43–46]. Further more, Shi and Xiu [33] proposed the notion of broader convex spaces, which is called (L, M)-fuzzy convex spaces. It contains L-convex spaces and M-fuzzifying convex spaces as special cases. In [13 , 42], the authors have given the relevant research contents of (L, M)-fuzzy convex spaces and obtained many good results.

It is generally know that the separation axioms are very important contents in general topology. Many profound results are derived from a separable topological space. As we know, in the framework of L-topological spaces, many experts and scholars have studied the separation axioms in detail and obtained many beautiful results [38]. As a topology-like structure, convexity also have separation axioms associated with it. Similarly, the separations are important part of convex spaces. So far, many scholars have done significant work in this field (see [1 , 6]). In the monograph of convex spaces [36], the author gives several definitions of separation axioms in detail and establishes their equivalent characterization. In addition, hereditary properties and productive properties of these separation axioms are also discussed in this monograph. Based on this idea, we consider the properties of separation axioms in L-convex spaces. The purpose of this paper is to discuss some low-level separation axioms in the framework of L-convex spaces.

This paper is organized as follows. In Section 2, we recall some preliminaries on fuzzy sets, lattices and convex spaces. In Section 3, we firstly define S_-1, sub-S₀ and S₀ separation axioms in L-convex spaces, respectively. Then we discuss the relations of these axioms and study their related properties. In Section 4, the definitions of S₁ and S₂ are given. Then the hereditary properties and productive properties of them are discussed. In Section 5, the relations between convex spaces and induced L-convex spaces on some separation axioms are studied.

2 Preliminaries

In this section, we will recall some basic concepts and results on fuzzy sets, lattices and convexities. For undefined notions in this paper, the reader can refer to [36 , 48].

Throughout this paper, (L, ∨ , ∧ , ′) is a completely distributive lattice with an order-reversing involution ^′. The smallest element and the largest element in L are denoted by ⊥ and ⊤, respectively. For a, b ∈ L, we say that a is wedge below b in L, in symbols a ≺ b, if for every subset D ⊆ L, b ⩽ ⋁ D implies a ⩽ d for some d ∈ D. The set {a ∈ L ∣ a ≺ b} denoted by β (b) is called the greatest minimal family of b in the sense of [39].

For a non-empty set X, 2^X denotes the powerset of X. For any nonempty subset A ∈ 2^X, let χ_A denote the characteristic function of A. A family {A_i} _i∈I ⊆ 2^X is directed provided for each A₁, A₂ ∈ {A_i} _i∈I there is an element A₃ ∈ {A_i} _i∈I such that A₁ ⊆ A₃ and A₂ ⊆ A₃, in symbols: ${A_{i}}_{i \in I} \overset{dir}{\subseteq} 2^{X}$ .

L^X is the set of all L-fuzzy sets (or L-sets for short) on X. For each a ∈ L, $\underline{a}$ denotes the constant mapping X ⟶ L, x ↦ a, which is called constant L-set. L^X is also a completely distributive lattice under the pointwise order. The smallest element and the largest element in L^X are denoted by $\underline{⊥}$ and $\underline{⊤}$ , respectively. a ∈ L ∖ {⊥} is said to be a molecule [38] iff a ⩽ b ∨ c implies a ⩽ b or a ⩽ c. An L-fuzzy point, denoted by x_λ (λ ≠ ⊥), is a special L-set which is defined by $\forall y \in L, x_{λ} (y) = {\begin{matrix} λ, & y = x; \\ ⊥, & y \neq x . \end{matrix}$

We denote the set of all molecules of L (resp., L^X) by J (L) (resp., by J (L^X)). Obviously, x_λ ∈ J (L^X) if and only if x ∈ X and λ ∈ J (L).

Given a mapping f : X ⟶ Y, define $f_{L}^{\to} : L^{X} ⟶ L^{Y}$ and $f_{L}^{\leftarrow} : L^{Y} ⟶ L^{X}$ by $f_{L}^{\to} (U) (y) = ⋁_{f (x) = y} U (x), f_{L}^{\leftarrow} (V) (x) = V (f (x))$ for all U ∈ L^X, y ∈ Y and V ∈ L^Y, x ∈ X. It is easy to verify that $U ⩽ f_{L}^{\leftarrow} \circ f_{L}^{\to} (U)$ and $f_{L}^{\to} \circ f_{L}^{\leftarrow} (V) ⩽ V$ .

For a ∈ L and U ∈ L^X, we use the following notations [30]

U_[a] = {x ∈ X ∣ U (x) ⩾ a};

U_(a) = {x ∈ X ∣ a ∈ β (U (x))};

U^(a) = {x ∈ X ∣ U (x) ≰a}.

It is easy to prove that for any a ∈ L and any U ∈ L^X, U_(a) ⊆ U_[a]. In particular, when L = [0, 1] , U_(a) = U^(a).

Lemma 2.1. ([30]). Let U ∈ L^X and a ∈ L, then U^(a) = ⋃ _b≰aU_[b].

Definition 2.2. ([38]). Let U ∈ L^X and ∅ ≠ Y ⊆ X. The L-set U|_Y ∈ L^Y is defined as follows: for any y ∈ Y, (U|_Y) (y) = U (y). U|_Y is called the restriction of U to Y.

Proposition 2.3. ([38]). For {U_t ∣ t ∈ T} ⊆ L^X, U ∈ L^X, ∅ ≠ Y ⊆ X. We have:

(1) (⋁ _t∈TU_t) |_Y = ⋁ _t∈T (U_t|_Y);

(2) (⋀ _t∈TU_t) |_Y = ⋀ _t∈T (U_t|_Y);

(3) U′|_Y = (U|_Y) ′.

Definition 2.4. ([38]) Let ∅ ≠ Y ⊆ X and U ∈ L^Y . The L-set U^* ∈ L^X is defined as follows: $\forall x \in X, U^{*} (x) = {\begin{matrix} U (x), & x \in Y; \\ ⊥, & x \notin Y . \end{matrix}$ U^* is called the extension of U in X.

Especially, if x_λ ∈ J (L^Y), then $x_{λ}^{*} \in J (L^{X})$ . Clearly, U^*|_Y = U.

Definition 2.5. ([36]). A subset $C$ of 2^X is called a convexity on X if it satisfies the following conditions:

$\emptyset, X \in C$ ;

if ${A_{i}}_{i \in I} \subseteq C$ is nonempty, then $⋂_{i \in I} A_{i} \in C$ ;

if ${A_{i}}_{i \in I} \subseteq C$ is nonempty and totally ordered by inclusion, then $⋃_{i \in I} A_{i} \in C$ .

The pair $(X, C)$ is called a convex space. The members of $C$ are called convex sets and their complements are called concave sets.

Proposition 2.6. ([36]). Let $C$ be a closure system on X, that is, $C \subseteq 2^{X}$ satisfies (C1) and (C2). Then the following statements are equivalent.

if ${A_{i}}_{i \in I} \subseteq C$ is nonempty and totally ordered by inclusion, then $⋃_{i \in I} A_{i} \in C$ ;

${A_{i}}_{i \in I} \overset{dir}{\subseteq} C$ implies $⋃_{i \in I} A_{i} \in C$ .

Definition 2.7. ([36]) Let $(X, C)$ be a convex space. A subset D of X is called a biconvex set provided D is both convex set and concave set.

Definition 2.8. ([14, 36]) A convex space $(X, C)$ is said to be

(1) S₀ if for any x, y ∈ X, there exists $A \in C$ such that x ∈ A, y ∉ A or $B \in C$ such that y ∈ B, x ∉ B;

(2) S₁ if all singletons in X are convex;

(3) S₂ if for any x, y ∈ X with x ≠ y, there exists a biconvex set D of X with x ∈ D, y ∉ D.

In [17], the researcher generalized convex spaces to the concept of L-convex spaces as follows.

Definition 2.9. ([17]). A subset C of L^X is called an L-convexity on X if it satisfies:

$\underline{⊥}, \underline{⊤} \in C$ ;

{U_i} _i∈I ⊆ C implies ⋀_i∈IU_i ∈ C;

If {U_i} _i∈I ⊆ C is totally ordered, then ⋁_i∈IU_i ∈ C.

The pair (X, C) is called an L-convex space. The members of C are called L-convex sets.

Definition 2.10. ([20]). An L-convexity C on X is called stratified if it satisfies: $\forall a \in L, \underline{a} \in C .$ For a stratified L-convexity on X, the pair (X, C) is called a stratified L-convex space.

Definition 2.11. ([28]). Let (X, C) be an L-convex space. For each U ∈ L^X, define ${co}_{L} (U) = ⋀ {V \in C ∣ U ⩽ V},$ that is, co_L is the least element of C that contains U, called the L-convex hull of U.

Definition 2.12. ([20]). A mapping f : (X, C) ⟶ (Y, D) between two L-convex spaces is called L-convexity preserving (L-CP, for short) provided that V ∈ D implies $f_{L}^{\leftarrow} (V) \in C$ .

Definition 2.13. ([33]). Let (X, C) be an L-convex space and ∅ ≠ Y ⊆ X. Then C|_Y = {U|_Y ∣ U ∈ C} is an L-convexity on Y. We call (Y, C|_Y) an L-convex subspace of (X, C).

Definition 2.14. ([33]) Let {(X_t, C_t)} _t∈T be a family of L-convex spaces. Let X be the product of the sets of X_t for t ∈ T, and let P_t : X ⟶ X_t denote the projection for each t ∈ T. X can be equipped with the L-convexity C generated by the family ${(P_{t})_{L}^{\leftarrow} (V) : V \in C_{t}, t \in T}$ as a subbase. Then C is called the product L-convexity for X and (X, C) is called the product L-convex space.

Remark 2.15. From Definition 2 and Definition 2, we know that the mapping P_t : (X, C) ⟶ (X_t, C_t) is L-CP for each t ∈ T.

3 S_-1, sub-S₀ and S₀ separation axioms

In this section, we introduce S_-1, sub-S₀ and S₀ separation axioms in L-convex spaces. Some equivalent characterizations of them are given and some related properties are studied. In particular, we discuss the relationships between these separation axioms by some examples.

Definition 3.1. An L-convex space (X, C) is said to be

(1) S_-1 if for any x_λ, x_μ ∈ J (L^X) with μ≰λ, there exists U ∈ C such that x_μ≰U, x_λ ⩽ U;

(2) sub-S₀ if for any x, y ∈ X with x ≠ y, there exists λ ∈ J (L), U ∈ C such that x_λ≰U, y_λ ⩽ U or V ∈ C such that y_λ≰V, x_λ ⩽ V;

(3) S₀ if for any x_λ, y_μ ∈ J (L^X) with x_λ ≠ y_μ, there exists U ∈ C such that x_λ≰U, y_μ ⩽ U or V ∈ C such that y_μ≰V, x_λ ⩽ V.

Example 3.2. (1) It is easy to check that a stratified L-convex space is S_-1. Let R be the set of all real numbers and n be a natural number. An L-set U on Rⁿ is called convex if and only if U (rx + (1 - r) y) ⩾ U (x) ∧ U (y) for all x, y ∈ Rⁿ, r ∈ [0, 1] . Let C_{R
ⁿ} denote the family of all L-convex sets of Rⁿ. Then C_{R
ⁿ} is a stratified L-convexity on Rⁿ and (Rⁿ, C_{R
ⁿ}) is a stratified L-convex space. Hence (Rⁿ, C_{R
ⁿ}) is S_-1. (2) Let X = {x, y} and L = [0, 1]. Take $C = {\underline{0}, \underline{1}, U_{1}, U_{2}, U_{1} \lor U_{2}}$ is defined as follows: $U_{1} (x) = \frac{1}{2}, U_{1} (y) = 0; U_{2} (x) = 0, U_{2} (y) = \frac{1}{2} .$ Then (X, C) is an L-convex space. Obviously, (X, C) is sub-S₀. (3) Let X = {x, y, z} and L = [0, 1]. Take $C = {\underline{0}, \underline{1}, U_{1}, U_{2}, U_{3}}$ is defined as follows: $U_{1} (x) = 1, U_{1} (y) = U_{1} (z) = 0; U_{2} (x) = U_{2} (y) = 1, U_{2} (z) = 0; U_{3} (x) = U_{3} (y) = 1, U_{3} (z) = \frac{1}{2} .$ Then (X, C) is S₀.

Next, we give the equivalent characterizations of sub-S₀ and S₀ respectively, which will be helpful in discussing their related properties later.

Theorem 3.3. An L-convex space (X, C) is sub-S₀ if and only if for any x, y ∈ X with x ≠ y, there exists C ∈ C such that C (x) ≠ C (y).

Proof. Necessity. Let x, y ∈ X with x ≠ y. Since (X, C) is sub-S₀, there exists λ ∈ J (L), U ∈ C such that x_λ≰U, y_λ ⩽ U or V ∈ C such that y_λ≰V, x_λ ⩽ V. This means λ≰U (x) , λ ⩽ U (y) or λ≰V (y) , λ ⩽ V (x). It implies that U (y) ≰U (x) or V (x) ≰V (y). If U (y) ≰U (x), let C = U, then C (y) ≰C (x). If V (x) ≰V (y), let C = V, then C (x) ≰C (y). Therefore, there exists C ∈ C such that C (x) ≠ C (y).

Sufficiency. Take x, y ∈ X with x ≠ y. Then there exists C ∈ C such that C (x) ≠ C (y), implying that C (x) ≰C (y) or C (y) ≰C (x). If C (x) ≰C (y), then $C (x) = ⋁ {μ \in J (L) | μ ⩽ C (x)} ≰ C (y) .$

This means there exists λ ∈ J (L) such that λ ⩽ C (x) and λ≰C (y). It implies that x_λ ⩽ C and y_λ≰C. Let U = C, then x_λ ⩽ U, y_λ≰U. If C (y) ≰C (x), in similar way, we can prove that there exists V ∈ C such that y_λ ⩽ V and x_λ≰V. Hence (X, C) is sub-S₀. □

Theorem 3.4. An L-convex space (X, C) is S₀ if and only if for any x_λ, y_μ ∈ J (L^X) with x_λ ≠ y_μ, co_L (x_λ) ≠ co_L (y_μ).

Proof. Necessity. Let x_λ, y_μ ∈ J (L^X) with x_λ ≠ y_μ. Since (X, C) is S₀, there exists U ∈ C such that x_λ≰U, y_μ ⩽ U or V ∈ C such that y_μ≰V, x_λ ⩽ V. Without loss of generality, we suppose the former case occurred. Since U ∈ C and x_λ≰U, y_μ ⩽ U, we have co_L (y_μ) ⩽ co_L (U) = U. It follows that x_λ≰co_L (y_μ). Thus co_L (x_λ) ≰co_L (y_μ). This means co_L (x_λ) ≠ co_L (y_μ).

Sufficiency. Take x_λ, y_μ ∈ J (L^X) with x_λ ≠ y_μ, then co_L (x_λ) ≠ co_L (y_μ). This means co_L (x_λ) ≰co_L (y_μ) or co_L (y_μ) ≰co_L (x_λ). We suppose that co_L (x_λ) ≰co_L (y_μ). Then x_λ≰co_L (y_μ) and y_μ ⩽ co_L (y_μ). It implies that (X, C) is S₀. □

The following proposition is obvious.

Proposition 3.5. An S₀ convex space is S_-1 and sub-S₀.

Remark 3.6. (1) In general, S_-1 and sub-S₀ need not be S₀.

(2) There is no necessary connection between S_-1 and sub-S₀. That is to say, S_-1 need not be sub-S₀ and sub-S₀ need not be S_-1.

(3) In a special L-convex space, sub-S₀ and S₀ are equivalent. This fact will be discussed in Section 5.

We can illustrate the problems in Remark 3.6 (1) and (2) with the following examples.

Example 3.7. Let X = L = [0, 1]. An L-set U is defined as follows: $U (x) = {\begin{matrix} 2 x, & x \in [0, \frac{1}{2}]; \\ 1, & x \in (\frac{1}{2}, 1] . \end{matrix}$ Let $C = {\underline{0}, \underline{1}, U}$ . It is easy to check that (X, C) is an S_-1 L-convex space. But it is not S₀. Actually, for two fuzzy points $(\frac{1}{3})_{\frac{1}{2}}$ and $(\frac{3}{4})_{λ}$ , where λ ∈ (0, 1]. Obviously, $(\frac{1}{3})_{\frac{1}{2}} \neq (\frac{3}{4})_{λ}$ and ${co}_{L} ((\frac{1}{3})_{\frac{1}{2}}) = {co}_{L} ((\frac{3}{4})_{λ}) = U$ . By Theorem 3, we know that (X, C) is not S₀.

Example 3.8. Let X = {x, y, z} and L = [0, 1]. We define $C = {\underline{0}, \underline{1}, U_{1}, U_{2}}$ , where $U_{1} (x) = 1, U_{1} (y) = U_{1} (z) = 0; U_{2} (x) = 1, U_{2} (y) = \frac{1}{2}, U_{2} (z) = \frac{1}{4} .$ Then (X, C) is a sub-S₀ L-convex space. But it is not S₀. In fact, for two fuzzy points x_λ and y_μ, where $λ \in (0, \frac{1}{2}], μ \in (0, \frac{1}{4}]$ . Obviously, x_λ ≠ y_μ and co_L (x_λ) = co_L (y_μ) = U₂. Hence (X, C) is not S₀.

Example 3.9. For a stratified L-convex space (X, C), where $C = {\underline{a} ∣ a \in L}$ . Apparently, (X, C) is S_-1. By Theorem 3, we know that (X, C) is not sub-S₀.

Example 3.10. Consider the L-convex space in Example 3 (2). It is easy to verify that (X, C) is sub-S₀. For $x_{\frac{1}{5}}, x_{\frac{1}{4}} \in J ([0, 1]^{X})$ , it is impossible to have such an L-set U to make $\frac{1}{5} ⩽ U (x) ⩽ \frac{1}{4}$ valid. Hence (X, C) is not S_-1.

Now, we consider the hereditary property and productive property of S_-1, sub-S₀ and S₀ separation axioms in L-convex spaces.

Theorem 3.11. If (X, C) is an S_-1 L-convex space and (Y, C|_Y) is its subspace, then (Y, C|_Y) is S_-1.

Proof. Let (X, C) be S_-1 and let x_λ, x_μ ∈ J (L^Y) with μ≰λ. Then $x_{λ}^{*}, x_{μ}^{*} \in J (L^{X})$ . Since (X, C) is S_-1, there exists U ∈ C such that $x_{μ}^{*} ≰ U$ , $x_{λ}^{*} ⩽ U$ . By Definition 2, we know that U|_Y ∈ C|_Y and x_μ≰U|_Y, x_λ ⩽ U|_Y. Hence (Y, C|_Y) is S_-1. □

Theorem 3.12. Let (X, C) be the product space of {(X_t, C_t)} _t∈T. If for each t ∈ T, (X_t, C_t) is S_-1, then so is (X, C).

Proof. Suppose that for each t ∈ T, (X_t, C_t) is S_-1. Let x = {x^t} _t∈T ∈ X and μ≰λ, where λ, μ ∈ J (L). Then x_λ, x_μ ∈ J (L^X). For r ∈ T, since (X_r, C_r) is S_-1, there exists U_r ∈ C_r such that (x^r) _μ≰U_r and (x^r) _λ ⩽ U_r. Then we have $P_{r}^{\to} (x_{μ}) = P_{r} (x)_{μ} = (x^{r})_{μ} ≰ U_{r}$ and $P_{r}^{\to} (x_{λ}) = P_{r} (x)_{λ} = (x^{r})_{λ} ⩽ U_{r} .$ Hence $x_{μ} ≰ P_{r}^{\leftarrow} (U_{r})$ and $x_{λ} ⩽ P_{r}^{\leftarrow} (U_{r})$ . Since P_r : (X, C) → (X_r, C_r) is an L-CP mapping, we have $P_{r}^{\leftarrow} (U_{r}) \in C$ . Therefore, (X, C) is S_-1. □

The proof of the following theorem is obvious.

Theorem 3.13. If (X, C) is a sub-S₀ L-convex space and (Y, C|_Y) is its subspace, then (Y, C|_Y) is sub-S₀.

Theorem 3.14. Let (X, C) be the product space of {(X_t, C_t)} _t∈T. If for each t ∈ T, (X_t, C_t) is sub-S₀, then so is (X, C).

Proof. Suppose that for each t ∈ T, (X_t, C_t) is sub-S₀ and x, y ∈ X with x ≠ y, where x = {x^t} _t∈T, y = {y^t} _t∈T. Then there exists r ∈ T such that x^r ≠ y^r. Hence there exists an L-convex set U_r of X_r such that U_r (x^r) ≠ U_r (y^r). Since P_r : (X, C) → (X_r, C_r) is an L-CP mapping, we know that $P_{r}^{\leftarrow} (U_{r})$ is an L-convex set of X. By $P_{r}^{\leftarrow} (U_{r}) (x) = U_{r} (P_{r} (x)) = U_{r} (x^{r})$ and $P_{r}^{\leftarrow} (U_{r}) (y) = U_{r} (P_{r} (y)) = U_{r} (y^{r}),$ we have $P_{r}^{\leftarrow} (U_{r}) (x) \neq P_{r}^{\leftarrow} (U_{r}) (y)$ . Therefore, (X, C) is sub-S₀. □

The proof of the following theorem is obvious.

Theorem 3.15. If (X, C) is an S₀ L-convex space and (Y, C|_Y) is its subspace, then (Y, C|_Y) is S₀.

Theorem 3.16. Let (X, C) be the product space of {(X_t, C_t)} _t∈T. If for each t ∈ T, (X_t, C_t) is S₀, then so is (X, C).

Proof. Suppose that for each t ∈ T, (X_t, C_t) is S₀ and x_λ, y_μ ∈ J (L^X) with x_λ ≠ y_μ, where x = {x^t} _t∈T, y = {y^t} _t∈T. Then we have x ≠ y or λ ≠ μ. Case 1: If x ≠ y, then there exists r ∈ T such that x^r ≠ y^r. It implies (x^r) _λ ≠ (y^r) _μ. Case 2: If λ ≠ μ, then (x^r) _λ ≠ (y^r) _μ for all r ∈ T. Hence there exists r ∈ T such that (x^r) _λ ≠ (y^r) _μ. Since (X_r, C_r) is S₀, there exists U_r ∈ C_r such that (x^r) _λ≰U_r, (y^r) _μ ⩽ U_r or V_r ∈ C_r such that (y^r) _μ≰V_r, (x^r) _λ ⩽ V_r. Without loss of generality, we suppose the former case occurred.

Since (x^r) _λ≰U_r, (y^r) _μ ⩽ U_r and P_r : (X, C) → (X_r, C_r) is an L-CP mapping, we have $x_{λ} ≰ P_{r}^{\leftarrow} (U_{r})$ , $y_{μ} ⩽ P_{r}^{\leftarrow} (U_{r})$ and $P_{r}^{\leftarrow} (U_{r}) \in C$ . Therefore, (X, C) is S₀.

4 S₁ and S₂ separation axioms

In this section, we first introduce the relevant contents of S₁ separation axiom in L-convex spaces. Then, we give the definition of L-biconvex sets. Based on this, the concept of S₂ separation axiom is investigated and some properties of S₂ are studied. Moreover, the relations between S₁ and S₂ are discussed.

Definition 4.1. An L-convex space (X, C) is said to be S₁, if for any x_λ, y_μ ∈ J (L^X) with x_λ≰y_μ, there exists U ∈ C such that x_λ≰U, y_μ ⩽ U.

Example 4.2. Let (X, ⩽) be a poset. An L-set U on X is called convex if and only if x ⩽ z ⩽ y implies U (z) ⩾ U (x) ∧ U (y) for all x, y, z ∈ X. Let C_⩽ denote the family of all L-convex sets of X, then (X, C_⩽) is an L-convex space. For any x_λ ∈ J (L^X), by Theorem 3.3 in [50], we have co_L (x_λ) = x_λ. Hence (X, C_⩽) is S₁.

Theorem 4.3. Let (X, C) be an L-convex space, then (X, C) is S₁ if and only if for any y_μ ∈ J (L^X) , co_L (y_μ) = y_μ.

Proof. Necessity. y_μ ⩽ co_L (y_μ) is obvious. We need to show co_L (y_μ) ⩽ y_μ. Since (X, C) is S₁, for any x_λ, y_μ ∈ J (L^X) with x_λ≰y_μ, we know that there exists U ∈ C such that x_λ≰U and y_μ ⩽ U. Hence co_L (y_μ) ⩽ U and x_λ≰co_L (y_μ). This means co_L (y_μ) ⩽ y_μ.

Sufficiency. Suppose x_λ, y_μ ∈ J (L^X) with x_λ≰y_μ. Let U = y_μ. Then by assumption, U is an L-convex set such that x_λ≰U and y_μ ⩽ U. Hence (X, C) is S₁. □

The following proposition is obvious.

Proposition 4.4. An S₁ L-convex space is S₀.

The following example shows that the converse of Proposition 2o is not true.

Example 4.5. Consider the L-convex space (X, C) in Example 3 (3). It is S₀ but not S₁. Let x ∈ X and let $λ, μ \in (\frac{1}{2}, \frac{2}{3}), μ < λ$ . Then we can not find U to satisfy μ ⩽ U (x) < λ. Hence (X, C) is not S₁.

Theorem 4.6. If (X, C) is an S₁ L-convex space and (Y, C|_Y) is its subspace, then (Y, C|_Y) is S₁.

Proof. Let (X, C) be an S₁ L-convex space and y_μ ∈ J (L^Y). Then $y_{μ}^{*} \in J (L^{X})$ . Since (X, C) is S₁, by Theorem 4, we have ${co}_{L} (y_{μ}^{*}) = y_{μ}^{*}$ . Hence $y_{μ} = y_{μ}^{*} |_{Y} = {co}_{L} (y_{μ}^{*}) |_{Y} \in C |_{Y}$ . This means y_μ is an L-convex set of Y. Therefore, (Y, C|_Y) is S₁. □

Theorem 4.7. Let (X, C) be the product space of {(X_t, C_t)} _t∈T. If for each t ∈ T, (X_t, C_t) is S₁, then so is (X, C).

Proof. Suppose that for each t ∈ T, (X_t, C_t) is S₁ and x, y ∈ X, λ, μ ∈ J (L) with x_λ≰y_μ, where x = {x^t} _t∈T, y = {y^t} _t∈T. Then we have x ≠ y or λ≰μ. Case 1: If x ≠ y, then there exists r ∈ T such that x^r ≠ y^r. It implies (x^r) _λ≰ (y^r) _μ. Case 2: If λ≰μ, then (x^r) _λ≰ (y^r) _μ for all r ∈ T. Hence there exists r ∈ T such that (x^r) _λ≰ (y^r) _μ. Since (X_r, C_r) is S₁, there exists U_r ∈ C_r such that (x^r) _λ≰U_r and (y^r) _μ ⩽ U_r. By P_r : (X, C) → (X_r, C_r) is an L-CP mapping, we know that $P_{r}^{\leftarrow} (U_{r})$ is an L-convex set of X. By $P_{r}^{\to} (x_{λ}) = P_{r}^{\to} (x)_{λ} = (x^{r})_{λ}$ and $P_{r}^{\to} (y_{μ}) = P_{r}^{\to} (y)_{μ} = (y^{r})_{μ},$ we have $x_{λ} ≰ P_{r}^{\leftarrow} (U_{r})$ and $y_{μ} ⩽ P_{r}^{\leftarrow} (U_{r})$ . Therefore, (X, C) is S₁. □

Definition 4.8. Let (X, C) be an L-convex space. An L-set H of X is called an L-biconvex set if H and H′ are L-convex sets.

Example 4.9. Let X = L = [0, 1]. Take $C = {\underline{0}, \underline{1}, U_{1}, U_{2}}$ is defined as follows: $U_{1} (x) = {\begin{matrix} \frac{1}{2}, & x \in [0, \frac{1}{2}]; \\ 0, & x \in (\frac{1}{2}, 1] . \end{matrix} and U_{2} (x) = {\begin{matrix} \frac{1}{2}, & x \in [0, \frac{1}{2}]; \\ 1, & x \in (\frac{1}{2}, 1] . \end{matrix}$

Obviously, (X, C) is an L-convex space. For any U ∈ C, then U′ ∈ C. This means that all elements in C are L-biconvex sets.

Proposition 4.10. If f : (X, C) ⟶ (Y, D) is an L-CP mapping between L-convex spaces and H is an L-biconvex set of Y, then f^← (H) is an L-biconvex set of X.

Proof. Since f is an an L-CP mapping and H is an L-biconvex set of Y, we have f^← (H) and f^← (H′) are L-convex sets of X. For any x ∈ X, we know that $f^{\leftarrow} (H^{'}) (x) = H^{'} (f (x)) = (H (f (x)))^{'}$ and $(f^{\leftarrow} (H))^{'} (x) = (f^{\leftarrow} (H) (x))^{'} = (H (f (x)))^{'} .$ This means (f^← (H)) ′ = f^← (H′). Hence f^← (H) is an L-biconvex set of X.

The following proposition is obvious.

Proposition 4.11. Let (X, C) be an L-convex space and (Y, C|_Y) a subspace of (X, C). If H is an L-biconvex set of X, then H|_Y is an L-biconvex set of Y.

Definition 4.12. An L-convex space (X, C) is said to be S₂, if for any x_λ, y_μ ∈ J (L^X) with x_λ ⩽ (y_μ) ′, there exists an L-biconvex set H such that x_λ ⩽ H ⩽ (y_μ) ′.

Example 4.13. Let X = {x, y} and L = {⊥ , a, b, ⊤} where a′ = b, b′ = a. The Hasse diagram of L is shown in the following figure:

Take $C = {\underline{⊥}, \underline{a}, \underline{b}, U_{1}, U_{2}, U_{3}, U_{4}, U_{5}, U_{6}, \underline{⊤}}$ is defined as follows: U₁ (x) = a, U₁ (y) = b; U₂ (x) = b, U₂ (y) = a; U₃ (x)= a, U₃ (y) =⊥; U₄ (x) = ⊥ , U₄ (y) = a; U₅ (x) = ⊥ , U₅ (y) = b; U₆ (x) = b, U₆ (y) =⊥.

By the constructions of L and C, we have J (L) = {a, b} and the set of all L-biconvex sets $H = {\underline{⊥}, \underline{a}, \underline{b}, U_{1}, U_{2}, \underline{⊤}}$ . It is verify that (X, C) is an S₂ L-convex space.

Remark 4.14. In [38], the author discusses in detail the related content of separation axioms (T_-1, T₀, sub-T₀, T₁ and T₂) in L-topological spaces. The separation axioms (S_-1, S₀, sub-S₀, S₁ and S₂) in L-convex spaces defined here are different from that of L-topological spaces. We use an example to illustrate the difference between T₂ and S₂. Similarly, the differences between other separation axioms can be illustrated by other examples.

In Example 4.13, take $τ = {\underline{⊥}, V_{1}, V_{2}, \underline{⊤}}$ , where V₁ and V₂ are defined by: V₁ (x) = a, V₁ (y) =⊥; V₂ (x) = a, V₂ (y) = b. Then τ is an L-topology on X. (X, τ) is not T₂. In fact, for x_a, y_a ∈ J (L^X), there are no P and Q satisfying that x ≠ y with x_a≰P and y_a≰Q such that $P \lor Q = \underline{⊤}$ . But the L-convex space (X, C) is S₂.

Proposition 4.15. An S₂ L-convex space is S₁.

Proof. Let (X, C) be an S₂ L-convex space and x_λ, y_μ ∈ J (L^X) with x_λ≰y_μ. Then we have (y_μ) ′≰ (x_λ) ′ and (y_μ) ′ ∈ L^X. It follows that $(y_{μ})^{'} = ⋁ {e \in J (L^{X}) | e ⩽ (y_{μ})^{'}} ≰ (x_{λ})^{'} .$ This means there exists z_γ ∈ J (L^X) such that z_γ ⩽ (y_μ) ′ and z_γ≰ (x_λ) ′. Hence x_λ≰ (z_γ) ′. Since (X, C) is S₂, there exists an L-biconvex set H such that z_γ ⩽ H ⩽ (y_μ) ′. Hence H′ ⩽ (z_γ) ′ and y_μ ⩽ H′. By x_λ≰ (z_γ) ′, we have x_λ≰H′. Therefore, (X, C) is S₁. □

The following example shows that the converse of Proposition 2o4 is not true.

Example 4.16. Let X = [0, 1] and L = [0, 1] ^[0,1]. Define U ∈ L^X is a convex set if $U = \underline{⊥}$ , or $U = \underline{⊤}$ , or |supp (U) | < ω and for any x ∈ supp (U), |supp (U (x)) | < ω (considering U (x) ∈ L = [0, 1] ^[0,1] as a [0,1]-fuzzy set on [0,1]). Let C denote all this kind of convex sets, then C is closed to arbitrary meets and totally ordered joins, so C is an L-convexity on X. For any λ ∈ J (L) = J ([0, 1] ^[0,1]), λ is a [0,1]-fuzzy point on [0,1], so every x_λ ∈ J (L^X) is a convex set in (X, C) and (X, C) is S₁. For the L-convex space (X, C), it has only two L-biconvex sets $\underline{⊥}$ and $\underline{⊤}$ . Therefore, for any x_λ, y_μ ∈ J (L^X) with x_λ ⩽ (y_μ) ′, we can not find an L-biconvex set H to satisfy x_λ ⩽ H ⩽ (y_μ) ′. Hence (X, C) is not S₂.

Theorem 4.17. If (X, C) is an S₂ L-convex space and (Y, C|_Y) is its subspace, then (Y, C|_Y) is S₂.

Proof. Let (X, C) be S₂ and let x_λ, y_μ ∈ J (L^Y) with x_λ ⩽ (y_μ) ′. Then $x_{λ}^{*}, y_{μ}^{*} \in J (L^{X})$ and $x_{λ}^{*} ⩽ ((y_{μ})^{'})^{*} ⩽ (y_{μ}^{*})^{'}$ . Since (X, C) is S₂, there exists an L-biconvex set H such that $x_{λ}^{*} ⩽ H ⩽ (y_{μ}^{*})^{'}$ . It follows that $x_{λ} = x_{λ}^{*} |_{Y} ⩽ H |_{Y} ⩽ (y_{μ}^{*})^{'} |_{Y} = (y_{μ}^{*} |_{Y})^{'} = (y_{μ})^{'} .$

Hence x_λ ⩽ H|_Y ⩽ (y_μ) ′. By Proposition 2o3, we know that H|_Y is an L-biconvex set of Y. Therefore, (Y, C|_Y) is S₂. □

Theorem 4.18. Let (X, C) be the product space of {(X_t, C_t)} _t∈T. If for each t ∈ T, (X_t, C_t) is S₂, then so is (X, C).

Proof. Suppose that for each t ∈ T, (X_t, C_t) is S₂ and x_λ, y_μ ∈ J (L^X) with x_λ ⩽ (y_μ) ′, where x = {x^t} _t∈T, y = {y^t} _t∈T. Then we have x ≠ y or x = y, λ ⩽ μ′. Case 1: If x ≠ y, then there exists r ∈ T such that x^r ≠ y^r. It implies (x^r) _λ ⩽ ((y^r) _μ) ′. Case 2: If x = y, λ ⩽ μ′, then (x^r) _λ ⩽ ((y^r) _μ) ′ for all r ∈ T.

Hence there exists r ∈ T such that (x^r) _λ ⩽ ((y^r) _μ) ′. Since (X_r, C_r) is S₂, there exists an L-biconvex set H_r such that (x^r) _λ ⩽ H_r ⩽ ((y^r) _μ) ′. It follows that $P_{r}^{\to} (x_{λ}) = P_{r} (x)_{λ} = (x^{r})_{λ} ⩽ H_{r}$ and $P_{r}^{\to} (y_{μ}) = P_{r} (y)_{μ} = (y^{r})_{μ} ⩽ (H_{r})^{'} .$

Hence $x_{λ} ⩽ P_{r}^{\leftarrow} (H_{r})$ and $y_{μ} ⩽ P_{r}^{\leftarrow} ((H_{r})^{'})$ . Since $(P_{r}^{\leftarrow} (H_{r}))^{'} = P_{r}^{\leftarrow} ((H_{r})^{'})$ , we have $P_{r}^{\leftarrow} (H_{r}) = (P_{r}^{\leftarrow} ((H_{r})^{'}))^{'}$ . Hence $x_{λ} ⩽ P_{r}^{\leftarrow} (H_{r}) ⩽ (y_{μ})^{'}$ . By Proposition 2o2, we know that $P_{r}^{\leftarrow} (H_{r})$ is an L-biconvex set of X. Therefore, (X, C) is S₂.□

Next, we consider the problem of the above separation axioms preserved under L-isomorphisms. First, we give the concept of L-isomorphisms.

Definition 4.19. A mapping f : (X, C) ⟶ (Y, D) between two L-convex spaces is called an L-isomorphisms provided that f is an L-CP and L-CC bijection.

The following proposition is obvious.

Proposition 4.20. Let f : (X, C) ⟶ (Y, D) be an L-isomorphism between two L-convex spaces. If (X, C) is S_i (sub-S₀), then (Y, D) is S_i (sub-S₀), where (i = -1, 0, 1, 2).

Remark 4.21. The condition that f is an L-isomorphisms is necessary for maintaining the separation axioms between two L-convex spaces. That is to say, if f does not satisfy any of the conditions of L-CP, L-CC and bijection, then these separation axioms will not be maintained under f. We illustrate S₀ by the following example. Other separation axioms can be similarly illustrated by examples.

Example 4.22. Let L = [0, 1] and X = {a, b, c}. Take $C = {\underline{0}, U_{1}, U_{2} . U_{3}, \underline{1}}$ , where U₁ (a) =1, U₁ (b) = U₁ (c) =0; U₂ (a) =0, U₂ (b) =1, U₂ (c) =0; $U_{3} (a) = U_{3} (b) = 1, U_{3} (c) = \frac{1}{2}$ . Then (X, C) is S₀.

Consider Y = {m, n} and $D = {\underline{0}, V, \underline{1}}$ , where $V (m) = 1, V (n) = \frac{1}{2}$ . Define f : X → Y as f (a) = f (b) = m and f (c) = n. It is easy to verify that f is L-CP and L-CC. But (Y, D) is not S₀. Since co (m_λ) = co (n_μ) = V for 0 < λ ≤ 1 and $0 < μ \leq \frac{1}{2}$ .

5 Relations between convex spaces and induced L-convex spaces on separations

In [20], Pang and Shi proved that a convex space can induce a stratified L-convex space under the condition that β (a ∧ b) = β (a) ∩ β (b) for all a, b ∈ L. In this section, we discuss the relations between S₀, S₁, S₂ separation axioms of a convex space and sub-S₀, S₀, S₁, S₂ separation axioms of the induced L-convex space.

Proposition 5.1. ([20]). Let $(X, C)$ be a convex space and define $C_{C}$ as follows: $C_{C} = {U \in L^{X} ∣ \forall a \in L, U_{[a]} \in C} .$ Then $C_{C}$ is a stratified L-convexity on X and $(X, C_{C})$ is a stratified L-convex space.

Theorem 5.2. $(X, C_{C})$ is sub-S₀ if and only if $(X, C)$ is S₀.

Proof. Necessity. Let x, y ∈ X with x ≠ y. Since $(X, C_{C})$ is sub-S₀, there exists $λ \in J (L), U \in C_{C}$ such that x_λ≰U, y_λ ⩽ U or $V \in C_{C}$ such that y_λ≰V, x_λ ⩽ V. This means λ≰U (x) , λ ⩽ U (y) or λ≰V (y) , λ ⩽ V (x). Hence x ∉ U_[λ], y ∈ U_[λ] or y ∉ V_[λ], x ∈ V_[λ]. Obviously, $U_{[λ]}, V_{[λ]} \in C$ . Therefore, $(X, C)$ is S₀.

Sufficiency. Let x, y ∈ X with x ≠ y. Since $(X, C)$ is S₀, there exists $P \in C$ such that x ∈ P, y ∉ P or $Q \in C$ such that y ∈ Q, x ∉ Q. Let λ ∈ J (L), then (χ_P) _[λ] = {z ∈ X ∣ (χ_P) (z) ⩾ λ} = P. This means $χ_{P} \in C_{C}$ . Similarly, $χ_{Q} \in C_{C}$ . Hence x_λ≰χ_Q, y_λ ⩽ χ_Q or y_λ≰χ_P, x_λ ⩽ χ_P. Therefore, $(X, C_{C})$ is sub-S₀. □

Theorem 5.3. $(X, C_{C})$ is S₀ if and only if $(X, C)$ is S₀.

Proof. Necessity. Let $(X, C_{C})$ be S₀ and let x, y ∈ X with x ≠ y. For any λ ∈ J (L), then x_λ, y_λ ∈ J (L^X) and x_λ ≠ y_μ. Since $(X, C_{C})$ is S₀, it follows that there exists $U \in C_{C}$ such that x_λ≰U, y_λ ⩽ U or $V \in C_{C}$ such that y_λ≰V, x_λ ⩽ V. Case 1: If there exists $U \in C_{C}$ such that x_λ≰U, y_λ ⩽ U, then $U_{[λ]} = {z \in X ∣ U (z) ⩾ λ} \in C$ and λ≰U (x) , λ ⩽ U (y). This means x ∉ U_[λ], y ∈ U_[λ] . Case 2: If there exists $V \in C_{C}$ such that y_λ≰V, x_λ ⩽ V, then $V_{[λ]} = {z \in X ∣ V (z) ⩾ λ} \in C$ . This means x ∈ V_[λ], y ∉ V_[λ]. Hence $(X, C)$ is S₀.

Sufficiency. Let $(X, C)$ be S₀ and let x_λ, y_μ ∈ J (L^X) with x_λ ≠ y_μ. Then we have x ≠ y or λ ≠ μ. Case 1: If x ≠ y, then there exists $P \in C$ such that x ∈ P, y ∉ P or $Q \in C$ such that x ∉ Q, y ∈ Q. If the former holds, let U = χ_P. Then $U \in C_{C}$ and x_λ ⩽ U, y_μ≰U. If the latter holds, let V = χ_Q. Then $V \in C_{C}$ and x_λ≰V, y_μ ⩽ V. Hence $(X, C_{C})$ is S₀. Case 2: If λ ≠ μ, then μ≰λ or λ≰μ. Since $(X, C_{C})$ is stratified, we have $\underline{λ}, \underline{μ} \in C_{C}$ . This means $y_{μ} ≰ \underline{λ}, x_{λ} ⩽ \underline{λ}$ or $x_{λ} ≰ \underline{μ}, y_{μ} ⩽ μ$ . Hence $(X, C_{C})$ is S₀. □

According to Theorem 5 and Theorem 5, we have the following fact.

Remark 5.4. In general L-convex spaces, S₀ is stronger than sub-S₀. But in the special L-convex space of Proposition 2ro, S₀ and sub-S₀ are equivalent.

Theorem 5.5. $(X, C_{C})$ is S₁ if and only if $(X, C)$ is S₁.

Proof. Necessity. Let $(X, C_{C})$ be S₁. For any x ∈ X, λ ∈ J (L), then x_λ ∈ J (L^X) and we have co_L (x_λ) = x_λ. Hence $x_{λ} \in C_{C}$ and $(x_{λ})_{[λ]} \in C$ . Since $(x_{λ})_{[λ]} = {y \in X | (x_{λ}) (y) ⩾ λ} = {x} \in C$ , it follows that $(X, C)$ is S₁.

Sufficiency. Let $(X, C)$ be S₁ and x_λ ∈ J (L^X). For any a ∈ L, since (x_⊤) _[a] = {y ∈ X| (x_⊤) (y) ⩾ a} = {x} or ∅, it follows that $(x_{⊤})_{[a]} \in C$ . By Proposition 2ro, we know that $(X, C_{C})$ is stratified, then $\underline{λ} \in C_{C}$ . Hence $x_{λ} = x_{⊤} \land \underline{λ}$ . This means co_L (x_λ) = x_λ. Therefore, $(X, C_{C})$ is S₁ .

Theorem 5.6. $(X, C_{C})$ is S₂ if and only if $(X, C)$ is S₂.

Proof. Necessity. Let x, y ∈ X with x ≠ y and λ ∈ J (L). By ⊤ = ⋁ {γ ∣ γ ∈ J (L)} and λ≰⊥, we have λ≰ ⋀ {γ′ ∣ γ ∈ J (L)}. Then there exists μ ∈ J (L) such that λ≰μ′. Obviously, x_λ ⩽ (y_μ) ′. Since $(X, C_{C})$ is S₂, there exists an L-biconvex set H such that x_λ ⩽ H ⩽ (y_μ) ′. Hence λ ⩽ H (x) and H (y) ⩽ μ′. It follows from λ≰μ′ that λ≰H (y). This means x ∈ H_[λ] and y ∉ H_[λ]. For any a ∈ L, H_[λ] ∈ C and $(H^{'})_{[λ]} \in C$ . By Lemma 2, we have $(H_{[λ]})^{'} = (H^{'})^{(λ^{'})} = ⋃_{a ≰ λ^{'}} (H^{'})_{[a]} .$ It is easy to verify that {(H′) _[a] ∣ a≰λ′, a ∈ L} is directed. Hence $(H_{[λ]})^{'} \in C$ . This means H_[λ] is a biconvex set of X. Therefore, $(X, C)$ is S₂

Sufficiency. Let x_λ, y_μ ∈ J (L^X) with x_λ ⩽ (y_μ) ′. Then x ≠ y or x = y, λ ⩽ μ′. Case 1: If x ≠ y, then there exists a biconvex set P such that x ∈ P and y ∉ P. For any a ∈ L, (χ_P) _[a] = {z ∈ X ∣ (χ_P) (z) ⩾ a} = P or X and (χ_P′) _[a] = {z ∈ X ∣ (χ_P′) (z) ⩾ a} = P′ or X. Hence $χ_{P}, χ_{P^{'}} \in C_{C}$ . By χ_P′ = (χ_P) ′, we know that χ_P is an L-biconvex set of X. Hence x_λ ⩽ χ_P ⩽ (y_μ) ′. This means $(X, C_{C})$ is S₂.

Case 2: If x = y, λ ⩽ μ′. Since $(X, C_{C})$ is a stratified L-convex space, it follows that $H = \underline{λ}$ is an L-biconvex set of X. Hence $x_{λ} ⩽ \underline{λ} ⩽ (x_{μ})^{'}$ . Therefore, $(X, C_{C})$ is S₂. □

6 Conclusions

It is well know that separation plays an important role in the study of convex spaces. In the paper, we first introduced the definitions of some low-level separation axioms (S_-1, sub-S₀, S₀, S₁ and S₂) of L-convex spaces, which is a generalization of the separability of classical convex spaces. Then we provided some characterizations of them and discussed the relationships among these separation axioms with the help of some examples. In addition, the hereditary properties and productive properties of them are also studied. Finally, with the idea that a convex space can induce a stratified L-convex space as mentioned in [20], we discussed the relationships between convex spaces and induced stratified L-convex spaces on some separation axioms. All the concepts and the relevant relationship in the framework of L-convex spaces are shown to be proper generalizations of those in the classical case. Following this paper, we will consider the following two problems in the future.

(1) In the case of L-convex spaces, we will consider the separation of S₃ and S₄ and study their related properties.

(2) Convex spaces have been generalized to (L, M)-fuzzy convex spaces [33], which can be seen as a broader form of L-convex spaces. Thus, we will consider the separation axioms of (L, M)-fuzzy convex spaces.

Footnotes

Acknowledgement

The authors would like to express their sincere thanks to the anonymous reviewers for their careful reading and constructive comments. This project is supported by the National Natural Science Foundation of China (11871097).

References

Bair

, Separation of two convex sets in convexity spaces and in straight line spaces, J Math Anal Appl 49 (1975), 696–704.

Berger

, Convexity, Amer Math Monthly 97 (1990), 650–678.

Birkhoff

, Kiss

S.A.

, A ternary operator in distributive lattices, Bull Amer Math Soc 53 (1947), 749–752.

Bryant

, Webster

, Convexity spaces II: Separation, J Math Anal Appl 37 (1973), 321–327.

Chang

C.L.

, Fuzzy topological spaces, J Math Anal Appl 24 (1968), 182–193.

Chepoi

, Separation of two convex sets in convexity structures, J Geom 50 (1994), 30–51.

Chen

F.-H.

, Shen

, Shi

F.-G.

, A new approach to the fuzzification of arity, JHC and CUP of L-convexites, J Intell Fuzzy Syst 34 (2018), 221–231.

Coppel

W.A.

, Axioms for convexity, Bull Aust Math Soc 47 (1993), 179–197.

Jin

, Li

L.-Q.

, On the embedding of L-convex spaces in stratified L-convex spaces, Springer Plus 5 (2016), 1610.

10.

Jin

, Li

L.-Q.

, Lv

Y.R.

, Connectedness for lattice-valued subsets in lattice-valued convergence spaces, Quaes Math 42 (2019), 135–150.

11.

Lassak

, On metric B-convexity for which diameters of any set and its hull are equal, Bull Acad Polon Sci 25 (1977), 969–975.

12.

L.-Q.

, Jin

, Hu

, Lattice-valued convergence associated with CNS spaces, Fuzzy Sets Syst (2018). doi:10.1016/j.fss.2018.05.023

13.

L.-Q.

, On the category of enriched (L, M)-convex spaces, J Intell Fuzzy Syst 33 (2017), 3209–3216.

14.

Liang

C.-Y.

, Li

F.-H.

, A degree approach to separation axioms in M-fuzzifying convex spaces, J Intell Fuzzy Syst 35 (2018), 705–716.

15.

Liang

C.-Y.

, Li

F.-H.

, Zhang

, Separation axioms in (L;M)-fuzzy convex spaces, J Intell Fuzzy Syst 36(4) (2019), 3649–3660.

16.

Liu

, Shi

F.-G.

, M-fuzzifying median algebras and its induced convexities, J Intell Fuzzy Syst 36 (2019), 1972–1935.

17.

Marugama

, Lattice-Valued fuzzy convex geometry, RIMS Kokyuroku 1641 (2009), 22–37.

18.

Pang

, Degrees of separation properties in stratified L-generalized convergence spaces using residual implication, Filomat 31(20) (2017), 6293–6305.

19.

Pang

, Categorical properties of L-fuzzifying convergence spaces, Filomat 32(11) (2018), 4021–4036.

20.

Pang

, Shi

F.-G.

, Subcategories of the category of L-convex spaces, Fuzzy Sets Syst 313 (2017), 61–74.

21.

Pang

, Shi

F.-G.

, Strong inclusion orders between L-subsets and its applications in L-convex spaces, Quaes Math 41 (2018), 1021–1043.

22.

Pang

, Shi

F.-G.

, Fuzzy counterparts of hull operators and interval operators in the framework of L-convex spaces, Fuzzy Sets Syst 369 (2019), 20–39.

23.

Pang

, Xiu

Z.-Y.

, Lattice-valued interval operators and its induced lattice-valued convex structures, IEEE Trans Fuzzy Syst 26 (2018), 1525–1534.

24.

Pang

, Xiu

Z.-Y.

, An axiomatic approach to bases and subbases in L-convex spaces and their applications, Fuzzy Sets Syst 369 (2019), 45–56.

25.

Pang

, Zhao

, Characterizations of L-convex spaces, Iran J Fuzzy Syst 13 (2016), 51–61.

26.

Pang

, Zhao

, Xiu

Z.-Y.

, A new definition of order relation for the introduction of algebraic fuzzy closure operators, Int J Approx Reason 92 (2018), 87–96.

27.

Rosa

M.V.

, On fuzzy topology fuzzy convexity spaces and fuzzy local convexity, Fuzzy Sets Syst 62 (1994), 97–100.

28.

Shen

, Shi

F.-G.

, L-convex systems and the categorical isomorphism to Scott-hull operators, Iran J Fuzzy Syst 15 (2018), 23–40.

29.

Shen

, Shi

F.-G.

, Characterizations of L-convex spaces via domain theory, Fuzzy Sets Syst (2019). doi:10.1016/j.fss.2019.02.009

30.

Shi

F.-G.

, Theory of L_β-nested sets and L_α-nested sets and its applications, Fuzzy Syst Math 4 (1995), 65–72 (in Chinese).

31.

Shi

F.-G.

, Li

E.-Q.

, The restricted hull operator of M-fuzzifying convex structures, J Intell Fuzzy Syst 30 (2016), 409–421.

32.

Shi

F.-G.

, Xiu

Z.-Y.

, A new approach to the fuzzification of convex structures, J Appl Math (2014), Article ID 249183.

33.

Shi

F.-G.

, Xiu

Z.-Y.

, (L, M)-fuzzy convex structures, J Nonlinear Sci Appl 10 (2017), 3655–3669.

34.

Soltan

V.P.

, d-convexity in graphs, Soviet Math Dokl 28 (1983), 419–421.

35.

Van de Vel

M.L.J.

, Binary convexities and distributive lattices, Proc London Math Soc 48 (1984), 1–33.

36.

Van de Vel

M.L.J.

, Theory of convex structures, North-Holland, Amsterdam, 1993.

37.

Varlet

J.C.

, Remarks on distributive lattices, Bull Acad Polon Sci 23 (1975), 1143–1147.

38.

Wang

G.-J.

, Theory of L-fuzzy topological spaces, Shaanxi Normal University Press, Xi’an, 1988 (in Chinese).

39.

Wang

G.-J.

, Theory of topological molecular lattices, Fuzzy Sets Syst 47 (1992), 351–376.

40.

Wang

, Shi

F.-G.

, Many-valued convex structures induced by fuzzy inclusion orders, J Intell Fuzzy Syst 36(4) (2019), 3373–3383.

41.

X.-Y.

, Bai

S.-Z.

, On M-fuzzifying JHC convex structures and M-fuzzifying Peano interval spaces, J Intell Fuzzy Syst 30 (2016), 2447–2458.

42.

X.-Y.

, Li

E.-Q.

, Category and subcategories of (L;M)-fuzzy convex spaces, Iran J Fuzzy Syst 16 (2019), 173–190.

43.

Xiu

Z.-Y.

, Pang

, M-fuzzifying cotopological spaces and M-fuzzifying convex spaces as M-fuzzifying closure spaces, J Intell Fuzzy Syst 33 (2017), 613–620.

44.

Xiu

Z.-Y.

, Pang

, A degree approach to special mappings betweenM-fuzzifying convex spaces, J Intell Fuzzy Syst 35 (2018), 705–716.

45.

Xiu

Z.-Y.

, Pang

, Base axioms and subbase axioms in M-fuzzifying convex spaces, Iran J Fuzzy Syst 15 (2018), 75–87.

46.

Xiu

Z.-Y.

, Shi

F.-G.

, M-fuzzifying interval spaces, Iran J Fuzzy Syst 14 (2017), 145–162.

47.

Yao

, Lu

L.-X.

, Fuzzy Galois connections on fuzzy posets, Math Log Q 55 (2009), 105–112.

48.

Zadeh

L.A.

, Fuzzy sets, Inform Control 8 (1965), 238–353.

49.

Zhan

J.-M.

, Dudek

W.A.

, Fuzzy h-ideals of hemirings, Inform Sci 177 (2007), 876–886.

50.

Zhong

, Shi

F.-G.

, Formulations of L-convex hulls on some algebraic structures, J Intell Fuzzy Syst 33 (2017), 1385–1395.

Some separation axioms in L -convex spaces

Abstract

1 Introduction

2 Preliminaries

3 S-1, sub-S0 and S0 separation axioms

4 S1 and S2 separation axioms

5 Relations between convex spaces and induced L-convex spaces on separations

6 Conclusions

Footnotes

Acknowledgement

References

3 S_-1, sub-S₀ and S₀ separation axioms

4 S₁ and S₂ separation axioms