Induced L -bornological vector spaces and L -Mackey convergence 1

Abstract

Motivated by the concept of lattice-bornological vector spaces of J. Paseka, S. Solovyov and M. Stehlík, which extends bornological vector spaces to the fuzzy setting over a complete lattice, this paper continues to study the theory of L-bornological vector spaces. The specific description of L-bornological vector spaces is presented, some properties of Lowen functors between the category of bornological vector spaces and the category of L-bornological vector spaces are discussed. In addition, the notions and some properties of L-Mackey convergence and separation in L-bornological vector spaces are showed. The equivalent characterization of separation in L-bornological vector spaces in terms of L-Mackey convergence is obtained in particular.

Keywords

Separation

1 Introduction

In 1949, Hu [12, 13] first introduced the concept of a bornology and a bornological space to define the concept of boundedness in a topological space as follows:

Definition 1.1. (See [12]). A bornology on a set X is a family $B \subseteq 2^{X}$ such that

∀x ∈ X, ${x} \in B$ ;

if U ⊆ V and $V \in B$ , then $U \in B$ ;

if $U, V \in B$ , then $U \cup V \in B$ .

The pair $(X, B)$ is called a bornological space and the sets belonging to $B$ are viewed as bouneded in this space. Then, most of the research developed the theory of bornological spaces into the context of topological vector spaces (see [10, 19]). Hogle-Nled [10] discussed the theory of bornological vector space and presented the definition of bornological vector space as follows:

Definition 1.2. (See [10]) Let X be a vector space over $K$ , where $K$ represents a field of real or complex numbers. A bornology $B$ on X is said to be a bornology compatible with a vector space structure of X if it satisfies the following conditions:

$\forall U, V \in B$ , $U + V \in B$ ;

$\forall λ \in K$ and $\forall U \in B$ , $λ U \in B$ ;

$\forall U \in B$ , $⋃_{| λ | \leq 1} λ U \in B$ .

It should be noticed that, the notion of bornological vector spaces is different from that in [19, 21], the former [19] is a space without topology, however, the latter [21] is a space with topology. Recent years, the theory of general bornological spaces plays a key role in research of convergence structures on hyperspaces [2 , 14] and optimization theory [4], as well as in study of topologies on function spaces[5–7 , 15].

It is worthy noting that Abel and Šostak [1] generalized the theory of bornological spaces to the context of fuzzy sets in 2011. In the following years, Paseka et al. [17] provided the necessary and sufficient condition on a complete lattice for the category L-Born to be topological. Later, Šostak and UI̧jane [20] proposed an alternative approach to fuzzification of the concept of bornology and developed a construction of an L-valued bornology on a set from a family of crisp bornologies on the same set. Thereafter, UI̧jane and Šostak [23] extended the L-valued bornologies to a complete completely distributive lattice. It should be mentioned that, in 2014, Paseka et al. [16] investigated the L-bornological vector spaces and got that for certain complete lattices, L-VBorn is topological over the category Vec of vector spaces. Moreover, they introduced the category L-VBornSys of L-bornological vector systems, and showed that the category L-VBorn is isomorphic to a full reflective subcategory of L-VBornSys in [16]. After that, Zhang and Zhang [24] gave the concept of I-bornological vector spaces and discussed two methods on constructing new I-bornological vector spaces.

As is mentioned in [10], bornological spaces are one class of those spaces that form the general and precise framework in which the fundamental theorems and techniques of Functional Analysis hold. Motivated by [16] and based on [10], we further discuss L-bornological vector spaces and aim to provide some assistance to establish more systematic theory of L-bornological vector spaces. The paper is organized as follows. Firstly, in section 2, we present some necessary notions and fundamental results which are used in the sequel. In section 3, we present a necessary and sufficient condition for an L-bornology to be L-vector bornology and we also prove the L-bornological vector space generated by L-fuzzy bounded sets of an L-topological vector space as an example. Afterwards, the induced L-bornological vector spaces and the quotient L-bornological vector spaces are studied. Finally, in section 4, the notions of L-Mackey convergence and separation in L-bornological vector spaces are discussed, respectively. In particular, we prove that an L-Mackey bornologically convergent sequence is topologically convergent. Meanwhile, the necessary and sufficient conditions for the separation of L-bornological vector spaces, the product and quotient L-bornological vector spaces are investigated, respectively.

2 Preliminaries

In this section, we recall some necessary notions and fundamental results which are used in this paper.

Throughout this paper, X and Y always denote universe of discourse, the symbol θ denotes the neutral element of a vector space and J denotes a directed set. L denotes a Hutton algebra (see [11]), i.e., a completely distributive lattice equipped with an order-reversing involution ^′ : L → L. Note that ⊥_L and ⊤_L are its smallest and greatest elements, respectively. L^X denotes the family of all L-fuzzy sets on X. An L-fuzzy set that takes the constant value λ ∈ L on X is denoted by $\underline{λ}$ . An element λ in L is called an union-irreducible element if λ = α ∨ β implies λ = α or λ = β, λ is called prime if λ ≥ α ∧ β implies λ ≥ α or λ ≥ β, where α, β ∈ L. M (L) and M^* (L^X) denote the set of all non-smallest union-irreducible elements in L and L^X, respectively. The notation Pr (L) denotes the set of all prime elements in L. The elements of M (L) are also called molecules in L (see[22]). For each α ∈ L, β^* (α) denotes a standard minimal family of α. An L-fuzzy set on X is called an L-fuzzy point if it takes the value ⊥_L for all y ∈ X except a single x ∈ X. If its value at x is λ ∈ L \ {⊥ _L}, we denote this L-fuzzy point by x_λ.

Let f : X → Y be a map. Define f^→ : L^X → L^Y (called L-valued Zadeh function or L-forward powerset operator, [18]) and f^← : L^Y → L^X (called L-backward powerset operator, [18]) by f^→ (A) (y) = ⋁ _f(x)=yA (x) for A ∈ L^X and y ∈ Y, and f^← (B) = B ∘ f for B ∈ L^Y respectively.

Let X be a vector space over $K$ , using Zadeh’s extension principle, the addition and scale multiplication operators in L^X are defined as follows, respectively. For A, B ∈ L^X and $t \in K$ , (A + B) (x) = ⋁ _y+z=x (A (y) ∧ B (z)); $(kA) (x) = A (\frac{x}{k})$ , k ≠ 0; $(0 A) (x) = {\begin{matrix} ⋁_{y \in X} A (y), x = θ, \\ ⊥_{L}, x \neq θ . \end{matrix}$

In particular, for L-fuzzy points, we have x_λ + y_μ = (x + y) _λ∧μ; kx_λ = (kx) _λ, where λ, μ ∈ L.

Definition 2.1. (Fang and Yan [9]) Let X be a vector space over $K$ . An L-fuzzy subset A of X is called balanced if tA ≤ A for each t with |t|≤1.

Definition 2.2. (Fang and Yan [9]) Let X be a vector space over $K$ , λ ∈ M (L). An L-fuzzy subset A of X is called λ-absorbing, if for each x ∈ X there exists t₀ > 0 such that tx_λ≰A′ for all |t| ≤ t₀. A is called absorbing, if it is λ-absorbing for each λ ∈ M (L).

Definition 2.3. (Liu and Luo [22]) Let (X, τ) be an L-topological space, x_λ ∈ M^* (L^X). A ∈ L^X is called an R-neighborhood of x_λ, if there exists a Q ∈ τ′ such that x_λ≰Q and and A ≤ Q. The collection of all R-neighborhood of x_λ is denoted by η (x_λ).

Definition 2.4. (Liu and Luo [22]) Let (X, τ) be an L-topological space, x_λ ∈ M^* (L^X), A family $U$ of L-fuzzy subsets on X is called an R-neighborhood base of x_λ, if $U \subseteq η (x_{λ})$ and for each W ∈ η (x_λ) there exists a $P \in U$ such that W ≤ P.

Definition 2.5. (Liu and Luo [22]) Let (X, τ) be an L-topological space, S = {S (n) , n ∈ J} a net in (L^X, τ) and e ∈ M^* (L), then S is said to converge topologically to e (we denote $S \overset{τ}{⟶} e$ ) if for all P ∈ η (e), S eventually not in P, i.e. there exists n₀ such that S (n) ≰P for n ≥ n₀.

Theorem 2.6. (Fang and Yan [9]) Let (X, τ) be an L-topological vector space, and let $U_{λ}$ (λ ∈ M (L)) be a closed R-neighborhood base of θ_λ. Then $U_{λ} (λ \in M (L))$ has the following properties: (1) if $W \in U_{λ}$ or $W = \underline{λ}$ , then for any x ∈ X and α ∈ M (L) with x_α≰W, then there exists $P \in U_{α}$ such that W ≤ x + P; (2) if $P, Q \in U_{λ}$ , then there exists $W \in U_{λ}$ such that P ∨ Q ≤ W; (3) if $W \in U_{λ}$ , then there exists $P \in U_{λ}$ such that P′ + P′ ≤ W′; (4) if $W \in U_{λ}$ , then there exists $P \in U_{λ}$ such that tP′ ≤ W′ for all $t \in K$ with |t|≤1; (5) if $W \in U_{λ}$ , then for each x ∈ X there exists t > 0 such that x_λ≰tW. Conversely, if for each λ ∈ M (L), there is a family $U_{λ}$ of L-fuzzy sets on X satisfying the above conditions (1)-(5), then there exists a unique L-topology τ on X such that (X, τ) is an L-topological vector space, and $U_{λ}$ is a closed R-neighborhood base of θ_λ.

Definition 2.7. (Fang [8]) Let (X, τ) be an L-topological vector space and λ ∈ M (L). An L-fuzzy set A on X is called to be λ-bounded if for each R-neighborhood Q of θ_λ in (X, τ), there exist t> 0 and r ∈ L with r≰λ′ such that $A \land \underline{r} \leq {tQ}^{'}$ ; A is said to be L-fuzzy bounded, if for each λ ∈ M (L), A is λ-bounded. For convenience, the family of all L-fuzzy bounded sets denoted by Bd.

Definition 2.8. (Abel and Šostak [1]) An L-bornological space is a pair $(X, B)$ , where X is a set, and $B$ (an L-bornology on X) is a subfamily of L^X (the elements of which are called bounded L-sets), which satisfy the following axioms: (B1) for every x ∈ X, $⋁_{B \in B} B (x) = ⊤_{L}$ ; (B2) given $B \in B$ and D ∈ L^X such that D ≤ B, it follows that $D \in B$ ; (B3) if $S \subseteq B$ is finite, then $⋁ S \in B$ . Given L-bornological spaces $(X_{1}, B_{1})$ and $(X_{2}, B_{2})$ , a map f : X₁ → X₂ is called L-bounded provided that $f^{\to} (B_{1}) \in B_{2}$ for every $B_{1} \in B_{1}$ .

Definition 2.9. (Paseka et al. [16]) An L-bornological vector space is a tuple $(X, +, *, B)$ , where (X, + , *) is a vector space over $K$ , and $(X, B)$ is an L-bornological space such that: f : X × X → X, (x, y) ↦ x + y is L-bounded; $g : K \times X \to X, (k, x) \mapsto kx$ is L-bounded, where X × X and $K \times X$ are equipped with the corresponding product L-bornology $B \times B$ and $B_{K} \times B$ (here $B_{K}$ is an L-bornology determined by the crisp bornology on $K$ ), respectively.

Theorem 2.10. (Paseka et al. [16]) The product of a family $(X_{i}, B_{i})_{i \in J}$ of L-bornological space is given by the source $f_{j} : (\prod_{i \in J} X_{i}, B) \to (X_{j}, B_{j})_{j \in J}$ , where $f_{j} : \prod_{i \in J} X_{i} \to X_{j}$ is the j-th projection map and $B = {B \in L^{X} | B \leq ⋀_{i \in J} B_{i}}$ .

3 Induced L-bornological vector spaces

The aim of this section is to introduce and study Lowen functors between the category of bornological vector spaces and the category of L-bornological vector spaces. At first the necessary and sufficient condition for an L-bornology to be L-vector bornology is presented. The L-bornological vector space generated by L-fuzzy bounded sets of an L-topological vector space is provided as an example. As the focus of this section, the induced L-bornological vector spaces and the quotient L-bornological vector spaces are also discussed.

Theorem 3.1. Let $(X, B)$ be an L-bornological space. Then $(X, B)$ is an L-bornological vector space ( $B$ is an L-vector bornology) if and only if $B$ satisfies the following conditions: (B4) $U, V \in B \Rightarrow U + V \in B$ ; (B5) $\forall t \in K$ , $U \in B \Rightarrow tU \in B$ ; (B6) $U \in B \Rightarrow ⋁_{| t | \leq 1} tU \in B$ .

Proof. Necessity. (B4) For all $U, V \in B$ , it is clear that $U \times V \in B \times B$ . Since $(X, B)$ is an L-bornological vector space, thus we obtain $f^{\to} (U \times V) = U + V \in B$ , which follows from that f in Definition 2.9 is L-bounded.

(B5) For all $t \in K$ and $U \in B$ , it is easy to find $χ_{{t}} \times U \in B_{K} \times B$ . Since $g : K \times X \to X$ is L-bounded, then it deduces that $g^{\to} (χ_{{t}} \times U) = tU \in B$ . (B6) Let A₁ = {t | |t|≤1} and for all $U \in B$ , it follows that $g^{\to} (χ_{A_{1}} \times U) = ⋁_{| t | \leq 1} tU \in B$ .

Sufficiency. First, for all $A \in B \times B$ , there exist $B_{1}, B_{2} \in B$ such that A ≤ B₁ × B₂. Then $f^{\to} (A) \leq f^{\to} (B_{1} \times B_{2}) = B_{1} + B_{2} \in B$ . It is obvious that $f^{\to} (A) \in B$ and f is L-bounded. Next, we will prove that g is L-bounded. For all $A \in B_{K} \times B$ , there exist $B_{1} \in B_{K}$ and $B_{2} \in B$ such that A ≤ B₁ × B₂. Then we get B₁ ≤ {t| |t| ≤ s} = B₃, where s is a constant in $K$ . Hence, $g^{\to} (A) \leq g^{\to} (B_{1} \times B_{2}) \leq g^{\to} (B_{3} \times B_{2}) = s ⋁_{| t | \leq 1} t B_{2} \in B$ , which follows that g is L-bounded. This completes the proof.

Example 3.2. (An L-vector bornology determined by L-fuzzy bounded sets of an L-topological vector space) Let (X, τ) be an L-topological vector space. Then Bd given by Definition 2.7 is an L-vector bornology.

Proof. (B1) It is obvious that ⋁_A∈BdA (x) = ⊤ _L for all x ∈ X. (B2) For all A ∈ Bd, if there exists B ∈ L^X such that B ≤ A. Then for any λ ∈ M (L), there exist t > 0 and r ∈ L with r≰λ′ such that $A \land \underline{r} \leq {tQ}^{'}$ for every R-neighborhood Q of θ_λ. Thus, we get $B \land \underline{r} \leq A \land \underline{r} \leq {tQ}^{'}$ , which follows that B ∈ Bd. (B3) For all A_i ∈ Bd and λ ∈ M (L), there exist t_i > 0 and r_i ∈ L with r_i≰λ′ such that $A_{i} \land \underline{r_{i}} \leq t_{i} Q^{'}$ for each R-neighborhood Q of θ_λ, where i = 1, 2. Let r₃ = min {r₁, r₂} and t₃ = max {t₁, t₂}. Then we obtain $(A_{1} \lor A_{2}) \land \underline{r_{3}} = (A_{1} \land \underline{r_{3}}) \lor (A_{2} \land \underline{r_{3}}) \leq (A_{1} \land \underline{r_{1}}) \lor (A_{2} \land \underline{r_{2}}) \leq t_{1} Q^{'} \lor t_{2} Q^{'} \leq t_{3} Q^{'}$ .

This means that A₁ ∨ A₂ ∈ Bd.

(B4) For all A₁, A₂ ∈ Bd, λ ∈ M (L) and any R-neighborhood P of θ_λ, from Theorem 2.6, there exists a R-neighborhood Q of θ_λ such that Q′ + Q′ ≤ P′. Analogous to the proof of (B3), we have $\begin{matrix} (A_{1} + A_{2}) \land \underline{r_{3}} = \\ (A_{1} \land \underline{r_{3}}) + (A_{2} \land \underline{r_{3}}) \leq (A_{1} \land \underline{r_{1}}) + (A_{2} \land \underline{r_{2}}) \\ \leq t_{1} Q^{'} + t_{2} Q^{'} \leq t_{3} (Q^{'} + Q^{'}) \leq t_{3} P^{'} . \end{matrix}$

So we have A₁ + A₂ ∈ Bd. (B5) For all A ∈ Bd, $t \in K$ and λ ∈ M (L), there exists s > 0 and r ∈ L with r≰λ′ such that $A \land \underline{r} \leq {sQ}^{'}$ for all R-neighborhood Q of θ_λ. It is obvious that $(tA) \land \underline{r} = t (A \land \underline{r}) \leq {tsQ}^{'}$ . That means tA ∈ Bd. (B6) For all A ∈ Bd and λ ∈ M (L), there exists s > 0 and r ∈ L with r≰λ′ such that $A \land \underline{r} \leq {sQ}^{'}$ for all R-neighborhood Q of θ_λ. By Theorem 2.6(4), we may put Q′ is balanced. Then $(⋁_{| t | \leq 1} tA) \land \underline{r} = ⋁_{| t | \leq 1} t (A \land \underline{r}) \leq ⋁_{| t | \leq 1} {tsQ}^{'} \leq {sQ}^{'}$ , i.e. ⋁_|t|≤1tA ∈ Bd. This completes the proof.

Next, we discuss the induced L-bornology. At the beginning, we construct a family $ω (B)$ of fuzzy subsets on X, which satisfies that a fuzzy subset $A \in ω (B)$ iff $A_{(α)} \in B$ for each α ∈ Pr (L), where A_(α) = {x|A (x) ≰α}.

Lemma 3.3. For any α ∈ Pr (L) and A ∈ L^X, the following statements hold.

(1) If Aⁱ ∈ L^X, i ∈ J, then $⋃_{i \in J} A_{(α)}^{i} = (⋁_{i \in J} A^{i})_{(α)}$ ; (2) If A, B ∈ L^X, then A_(α) + B_(α) = (A + B) _(α); (3) For any $t \in K$ and A ∈ L^X, tA_(α) = (tA) _(α).

Theorem 3.4. Let $(X, B)$ be a crisp bornological vector space. Then $(X, ω (B))$ is an L-bornological vector space.

Proof. (B1) For each B ⊆ X with $B \in B$ , it is obvious that $χ_{B} \in ω (B)$ . From the fact $B$ is a crisp bornology on X, we have $⋃_{B \in B} B = X$ . Then $⋁_{B \in B} χ_{B} (x) = ⊤_{L}$ for all x ∈ X. Thus $⋁_{A \in ω (B)} A (x) \geq ⋁_{B \in B} χ_{B} (x) = ⊤_{L}$ , it follows that $⋁_{A \in ω (B)} A (x) = ⊤_{L}$ for all x ∈ X. (B2) For all $A \in ω (B)$ and B ∈ L^X with B ≤ A, we have B_(α) ≤ A_(α) and $A_{(α)} \in B$ for any α ∈ Pr (L). It follows that $B_{(α)} \in B$ . That means $B \in ω (B)$ . (B3) For all $A, B \in ω (B)$ , we have $A_{(α)}, B_{(α)} \in B$ for any α ∈ Pr (L). Then $(A \lor B)_{(α)} = A_{(α)} \cup B_{(α)} \in B$ . That is $A \lor B \in ω (B)$ . (B4) For all $A, B \in ω (B)$ , $A_{(α)}, B_{(α)} \in B$ for any α ∈ Pr (L). Then we have $(A + B)_{(α)} = A_{(α)} + B_{(α)} \in B$ . Thus, we get $A + B \in ω (B)$ . (B5) For all $A \in ω (B)$ , we have $A_{(α)} \in B$ for any α ∈ Pr (L). Then, $(tA)_{(α)} = {tA}_{(α)} \in B$ , which implies that $tA \in ω (B)$ . (B6) For all $A \in ω (B)$ and α ∈ Pr (L), we have $(⋁_{| t | \leq 1} tA)_{(α)} = ⋃_{| t | \leq 1} t A_{(α)} \in B$ . Then, $⋁_{| t | \leq 1} tA \in ω (B)$ . This completes the proof.

Theorem 3.5. Let $(X, B), (Y, B_{Y})$ be two crisp bornological vector spaces, $(X, ω (B))$ and $(Y, ω (B_{Y}))$ be induced L-bornological vector spaces. Then the mapping $f : (X, B) \to (Y, B_{Y})$ is bounded if and only if $f^{\to} : (X, ω (B)) \to (Y, ω (B_{Y}))$ is L-bounded.

Proof. Necessity. Suppose that the mapping $f : (X, B) \to (Y, B_{Y})$ is bounded, for every $A \in ω (B)$ and any α ∈ Pr (L), (f^→ (A)) _(α) = f (A_(α)). Since $A_{(α)} \in B$ , we have $f (A_{(α)}) \in B_{Y}$ . This means $f^{\to} (A) \in ω (B_{Y})$ . So f^→ is L-bounded mapping.

Sufficiency. If $f^{\to} : (X, ω (B)) \to (Y, ω (B_{Y}))$ is L-bounded, for all $A \in B$ , $χ_{A} \in ω (B)$ . Then $f^{\to} (χ_{A}) \in ω (B_{Y})$ . Put α ∈ Pr (L) , α ¬ = ⊤ _L, we have $(f^{\to} (χ_{A}))_{(α)} = f (A) \in B_{Y}$ . Thus $f : (X, B) \to (Y, B_{Y})$ is bounded.

By Theorem 3.4 and Theorem 3.5, if we use the notation BVS denotes the category of bornological vector spaces and linear bounded mappings, and the notation L-VBorn denotes the category of L-bornological vector spaces and linear L-bounded mappings. Then the mapping ω : BVS→ L-VBorn is a functor.

Theorem 3.6. Let $(X, B)$ be an L-bornological vector space. Then $(X, ι_{α} (B))$ is a crisp bornological vector space, where $ι_{α} (B) = {A_{(α)} : A \in B}$ and α ∈ Pr (L).

Proof. (B1) Since $⋁_{A \in B} A (x) = ⊤_{L}$ for all x ∈ X, then for each α ∈ Pr (L), there exists $A \in B$ such that A (x) ≰α. That means x ∈ A_(α). This implies that $X \subseteq ⋃_{A_{(α)} \in ι_{α} (B)} A_{(α)}$ , i.e., $⋃_{A_{(α)} \in ι_{α} (B)} A_{(α)} = X$ . (B2) Let $A \in ι_{α} (B)$ and B ⊆ X with B ⊆ A, then there exists $A^{1} \in B$ such that $A = A_{(α)}^{1}$ . Set $B^{1} (x) = {\begin{matrix} A^{1} (x), x \in B; \\ ⊥_{L}, x \in X ∖ B . \end{matrix}$ Obviously, B¹ ≤ A¹ and $B = B_{(α)}^{1}$ . From the fact $A^{1} \in B$ , we have $B^{1} \in B$ . Hence, $A = A_{(α)}^{1} \supseteq B_{(α)}^{1} = B$ , which means $B \in ι_{α} (B)$ . (B3) Let $A, B \in ι_{α} (B)$ , there exist $A^{1}, B^{1} \in B$ such that $A = A_{(α)}^{1}$ , $B = B_{(α)}^{1}$ . Since $A^{1} \lor B^{1} \in B$ , we have $A \cup B = A_{(α)}^{1} \cup B_{(α)}^{1} = (A^{1} \lor B^{1})_{(α)}$ , which follows that $A \cup B \in ι_{α} (B)$ . The proofs of (B4)-(B6) are similar to the process in Theorem 3.4 and omitted.

By the statements in the section 2.4 [10] and Theorem 3.5, the next Corollary holds evidently.

Corollary 3.7. Let $(X, B)$ be an L-bornological vector space, $ι (B)$ is a bornology with the base $⋂_{α \in \Pr (L)} ι_{α} (B)$ , then $(X, ι (B))$ is a crisp bornological vector space.

Corollary 3.8. Let $(X, B)$ be a crisp bornological vector space and let $(X, B)$ be an L-bornological vector space, then (1) $B = ι (ω (B))$ ; (2) $B \leq ω (ι (B))$ .

By Corollary 3.7 and Corollary 3.8, it is clear that the mapping ι : L-VBorn→ BVS is a functor, the category BVS is isomorphic to the category ωsd(BVS).

Theorem 3.9. Let $(X_{i}, B_{i})_{i \in J}$ be a family of bornological vector spaces indexed by a non-empty set J, then $\prod_{i \in J} ω (B_{i}) = ω (\prod_{i \in J} B_{i})$ .

Proof. First, we show $\prod_{i \in J} ω (B_{i}) \supseteq ω (\prod_{i \in J} B_{i})$ . For all $A \in ω (\prod_{i \in J} B_{i})$ , we have $A_{(α)} \in \prod_{i \in J} B_{i}$ for all α ∈ Pr (L). Then there exists $B^{i} \in B_{i} (i \in J)$ such that $A_{(α)} \leq \prod_{i \in J} B^{i}$ , which follows that $f_{i} (A_{(α)}) = (f_{i}^{\to} (A))_{(α)} \leq B^{i} \in B_{i}$ . That implies $f_{i}^{\to} (A) \in ω (B_{i})$ . It is obvious that $A \in \prod_{i \in J} ω (B_{i})$ .

Conversely, for all $A \in \prod_{i \in J} ω (B_{i})$ , there exists $B^{i} \in ω (B_{i})$ such that $A \leq \prod_{i \in J} B^{i}$ , which implies that $f_{i}^{\to} (A) \leq B^{i}$ . Then, we have $(f_{i}^{\to} (A))_{(α)} = f_{i} (A_{(α)}) \leq B_{(α)}^{i} \in B_{i}$ . Hence, $A_{(α)} \in \prod_{i \in J} B_{i}$ , which means that $A \in ω (\prod_{i \in J} B_{i})$ . This completes the proof.

Theorem 3.10. Let $(X, B)$ be an L-bornological vector space and let f : X → Y be a linear map of X onto a set Y, then $B / f = {f^{\to} (B) | B \in B}$ is the quotient L-vector bornology on Y.

Proof. First, we need to show that $B / f$ is an L-vector bornology. (B1) For all y ∈ Y, $⋁_{A \in B / f} A (y) = ⋁_{B \in B} ⋁_{f (x) = y} B (x) = ⊤_{L}$ . (B2) If A₁, A₂ ∈ L^Y, A₁ ≥ A₂ and $A_{1} \in B / f$ , then there exists $B_{1} \in B$ such that A₁ = f^→ (B₁). Let $B_{2} (x) = {\begin{matrix} B_{1} (x) \land A_{2} (f (x)), A_{2} (f (x)) \neq ⊥_{L}; \\ ⊥_{L}, A_{2} (f (x)) = ⊥_{L} . \end{matrix}$

It is obvious that $B_{2} \in B$ and A₂ (y) = ⋁ _f(x)=yB₂ (x) = f^→ (B₂) (y). Thus, $A_{2} \in B / f$ . (B3) For all $A_{1}, A_{2} \in B / f$ , there exist $B_{1}, B_{2} \in B$ such that A₁ = f^→ (B₁) and A₂ = f^→ (B₂). Then (A₁ ∨ A₂) (y) = (f^→ (B₁) ∨ f^→ (B₂)) (y) = ⋁ _f(x)=y (B₁ ∨ B₂) (x) = f^→ (B₁ ∨ B₂) (y), which follows that $A_{1} \lor A_{2} \in B / f$ . (B4) Similarly, we obtain (A₁ + A₂) (y) = ⋁ _{f(x₁+x₂)=y}B₁ (x₁) ∧ B₂ (x₂) = f^→ (B₁ + B₂) (y). Then, $A_{1} + A_{2} \in B / f$ . (B5) For all $A \in B / f$ and $t \in K$ , there exists $B \in B$ such that A = f^→ (B). It follows that tA (y) = tf^→ (B) (y) = ⋁ _f(x)=ytB (x) = f^→ (tB) (y), which means $tA \in B / f$ . (B6) For all $A \in B / f$ , there exists $B \in B$ such that A = f^→ (B). Then, we get $⋁_{| t | \leq 1} tB \in B$ . Hence, ⋁_|t|≤1tA (y) = ⋁ _|t|≤1tf^→ (B) (y) = ⋁ _|t|≤1 ⋁ _f(x)=ytB (x) = f^→ (⋁ _|t|≤1tB) (y). That means $⋁_{| t | \leq 1} tA \in B / f$ . Thus, it is showed that $B / f$ is an L-vector bornology, we remain to prove that $B / f$ is the strongest L-vector bornology. For all $B^{Y}$ with f is L-bounded, then for all $B \in B$ , we obtain $f^{\to} (B) \in B^{Y}$ . Thus, $f^{\to} (B) \in B / f$ . It follows that $B^{Y} \leq B / f$ .

Theorem 3.11. Let $B$ be a crisp vector bornology on vector space X and let f : X → Y be a linear map of X onto a set Y, then $ω (B / f) = ω (B) / f$ .

Proof. First, we show $ω (B / f) \subseteq ω (B) / f$ . For all $A \in ω (B / f)$ , we have $A_{(α)} \in B / f$ for every α ∈ Pr (L). Then we have $f^{- 1} (A_{(α)}) = (f^{\leftarrow} (A))_{(α)} \in B$ , i.e., $f^{\leftarrow} (A) \in ω (B)$ . Thus, $A \in ω (B) / f$ , which follows that $ω (B / f) \subseteq ω (B) / f$ .

Conversely, for all $A \in ω (B) / f$ , we have $f^{\leftarrow} (A) \in ω (B)$ . Then, $(f^{\leftarrow} (A))_{(α)} = f^{- 1} (A_{(α)}) \in B$ , which means $A_{(α)} \in B / f$ . Thus, $A \in ω (B / f)$ , i.e., $ω (B / f) \supseteq ω (B) / f$ . This completes the proof.

4 L-Mackey convergence and separation in L-bornological vector spaces

In this section, the notions of L-Mackey convergence and separation in L-bornological vector spaces are discussed. Meanwhile, the necessary and sufficient conditions for the separation of L-bornological vector spaces, the product and quotient L-bornological vector spaces are investigated, respectively.

Definition 4.1. Let $(X, B)$ be an L-bornological vector space and λ ∈ M (L), $S = {x_{λ (n)}^{n}}_{n \in ℕ}$ be a λ-sequence in X, where $⋁_{n \in ℕ} ⋀_{m \geq n} λ (n) \geq λ$ . The S is said to converge bornologically to θ_λ if there exists a circled L-fuzzy set $B \in B$ and a sequence {s_n} of scalars tending to 0, such that $x_{λ (n)}^{n} ≰ s_{n} B^{'}$ for all $n \in ℕ$ .

Remark 4.2. (1) For historical reasons, bornological convergence is also called Mackey- convergence after G.W. Mackey. Thus we also call the sequence S is L-Mackey convergence in Definition 4.1, and it is denoted $x_{λ (n)}^{n} \overset{M}{⟶} θ_{λ}$ . (2) $S = {x_{λ (n)}^{n}}$ is said to convergent to x_λ if (xⁿ - x) _λ(n) converges to θ_λ, and it is denoted by $x_{λ (n)}^{n} \overset{M}{⟶} x_{λ}$ .

Theorem 4.3. Let $(X, B)$ be an L-bornological vector space and λ ∈ M (L), where L-bornology $B$ is in the sense of Abel and Šostak [1]. If $x_{λ (n)}^{n} \overset{M}{⟶} x_{λ}$ , $y_{λ (n)}^{n} \overset{M}{⟶} y_{λ}$ and t_n → t in $K$ , then

(1). $x_{λ (n)}^{n} + y_{λ (n)}^{n} \overset{M}{⟶} x_{λ} + y_{λ}$ ;

(2). $t_{n} x_{λ (n)}^{n} \overset{M}{⟶} {tx}_{λ}$ .

Proof. (1) Since $x_{λ (n)}^{n} \overset{M}{⟶} x_{λ}$ and $y_{λ (n)}^{n} \overset{M}{⟶} y_{λ}$ , there exist circled L-fuzzy sets $A, B \in B$ and α_n → 0, β_n → 0 such that (xⁿ - x) _λ(n)≰α_nA′ and (yⁿ - y) _λ(n)≰β_nB′ for all $n \in ℕ$ . Then we obtain λ (n) ≰α_nA′ (xⁿ - x) ∨ β_nB′ (yⁿ - y). Thus, λ (n) ≰ max {α_n, β_n} (A + B) ′ (xⁿ - x + yⁿ - y), i.e. (xⁿ - x + yⁿ - y) _λ(n)≰ max {α_n, β_n} (A + B) ′. From the fact $A, B \in B$ and $(X, B)$ is an L-bornological vector space, we have $A + B \in B$ . In addition, max {α_n, β_n} →0, it implies that $x_{λ (n)}^{n} + y_{λ (n)}^{n} \overset{M}{⟶} x_{λ} + y_{λ}$ .

(2) Since t_n → t, the set {t_n} is bounded, i.e., there exists k₀ > 0 such that |t_n| ≤ k₀ for all n. Then we get (t_nxⁿ - tx) _λ(n) = (t_nxⁿ - t_nx + t_nx - tx) _λ(n)≰ max {t_nα_n, t_n - t} (A + χ_{x}) ′. Hence, from t_nA′ ≥ k₀A′, we obtain (t_nxⁿ - t_nx + t_nx - tx) _λ(n)≰ max {k₀α_n, t_n - t} (A + χ_{x}) ′. Owing to $B$ is an L-bornology in the sense of Abel and Šostak, $χ_{{x}} \in B$ , it follows that $A + χ_{{x}} \in B$ . It implies that $t_{n} x_{λ (n)}^{n} \overset{M}{⟶} {tx}_{λ}$ .

Theorem 4.4. Let $(X, B)$ be an L-bornological vector space and a linear mapping f : X → Y be L-bounded. If $x_{λ (n)}^{n} \overset{M}{⟶} x_{λ}$ for x_λ ∈ M^* (L^X), then $f^{\to} (x_{λ (n)}^{n}) \overset{M}{⟶} f^{\to} (x_{λ})$ . Proof. Since $x_{λ (n)}^{n} \overset{M}{⟶} x_{λ}$ , then there exist circled L-fuzzy set $A \in B$ and α_n → 0 such that (xⁿ - x) _λ(n)≰α_nA′ for all $n \in ℕ$ . Thus, we have $f^{\to} (x_{λ (n)}^{n}) - f^{\to} (x_{λ}) = (f (x^{n}) - f (x))_{λ (n)} ≰ f^{\to} (α_{n} A^{'}) = α_{n} f^{\to} (A^{'}) = α_{n} (f^{\to} (A))^{'}$ . From the boundedness of f, we get $f^{\to} (A) \in B$ , which implies that $f^{\to} (x_{λ (n)}^{n}) \overset{M}{⟶} f^{\to} (x_{λ})$ .

Theorem 4.5. Let (X, τ) be an L-topological vector space and $(X, B)$ be an L-bornological vector space determined by L-fuzzy bounded sets in (X, τ). If $x_{λ (n)}^{n} \overset{M}{⟶} x_{λ}$ and λ ∈ M (L), then $x_{λ (n)}^{n} \overset{τ}{⟶} x_{λ}$ .

Proof. From $x_{λ (n)}^{n} \overset{M}{⟶} x_{λ}$ , we know that there exist circled L-fuzzy set $A \in B$ and α_n → 0 such that (xⁿ - x) _λ(n)≰α_nA′ for all $n \in ℕ$ . Since A is bounded in (X, τ), then for each R-neighborhood Q of θ_λ, there exist t > 0 and r ∈ L with r≰λ′ such that $A \land \underline{r} \leq {tQ}^{'}$ . It is obvious that there exists $n_{0} \in ℕ$ such that $A \land \underline{r} \leq {tQ}^{'} \leq \frac{1}{α_{n}} Q^{'}$ and λ(n ≰ r′) for all n ≥ n₀. Thus, we get $(x^{n} - x)_{λ (n)} ≰ α_{n} A^{'} \lor {\underline{r}}^{'}$ . Hence, (xⁿ - x) _λ(n)≰Q for n ≥ n₀, which completes the proof.

Definition 4.6. Let $(X, B)$ be an L-bornological vector space, then $(X, B)$ is separated if and only if suppM = {θ} for all fuzzy vector subspace $M \in B$ , where suppM is the support set of M.

Lemma 4.7. Let $(X, B)$ be an L-bornological vector space and $M \in B$ . Then M is a fuzzy vector subspace of X if and only if M_(α) is a bounded vector subspace of X for any α ∈ Pr (L).

Proof. Necessity. Let $(X, B)$ be an L-bornological vector space, if M is a fuzzy vector subspace of X with $M \in B$ , then for any α ∈ Pr (L) and x, y ∈ M_(α), M (x) ≰ α, M (y) ≰ α. Then for all $s, t \in K$ , we have (sM + tM) (sx + ty) ≰α. Since sM + tM ≤ M, it deduces that sx + ty ∈ M_(α). So M_(α) is a bounded vector subspace of X. Sufficiency. Suppose that M_(α) is a bounded vector subspace of X for any α ∈ Pr (L). For all $s, t \in K$ , it needs to prove that (sM + tM) _(α) ⊆ M_(α). In fact, if z ∈ (sM + tM) _(α), there exist x, y ∈ M with sx + ty = z such that M (x) ∧ M (y) ≰ α. This means x, y ∈ M_(α). So z = sx + ty ∈ M_(α) which follows from M_(α) is a bounded vector subspace. Then we obtain sM + tM ≤ M. Therefore M is a fuzzy vector subspace of X.

Theorem 4.8. Let $(X, B)$ be an L-bornological vector space, then $(X, B)$ is separated if and only if $(X, ι_{α} (B))$ is separated for any α ∈ Pr (L).

Proof. Necessity. If an L-bornological vector space $(X, B)$ is separated, then suppM = {θ} for all fuzzy bounded vector subspace M of X. Thus, M_(α) is a crisp bounded vector subspace of X for any α ∈ Pr (L), which follows from Lemma 4.7. If there exists a vector subspace M₁ of X with M₁ ≠ {θ} and $M_{1} \in ι_{α} (B)$ . Then there exists $M \in B$ such that M₁ = M_(α). By decomposition theorem of L-fuzzy sets, $M = ⋀_{a \in L} (\underline{a} \lor M_{(a)})$ , we have $\underline{α} \lor M_{(α)} \in B$ . Moreover, it is clear that $\underline{α} \lor M_{1}$ is a fuzzy vector space and $(\underline{α} \lor M_{1}) (x) \neg = ⊥_{L}$ for x ∈ M₁ and x ≠ θ. This deduces a contradiction. Therefore $(X, ι_{α} (B))$ is separated for any α ∈ Pr (L). Sufficiency. If $(X, B)$ is not a separated L-bornological vector space, then there exists a fuzzy vector subspace $M \in B$ such that suppM ≠ {θ}. Let x ∈ suppM and x ≠ θ, then there exists α ∈ Pr (L) such that M (x) ≰α. With the fact that M_(α) is a crisp bounded vector subspace of X and M_(α) ≠ {θ}, contradicting the hypothesis that $(X, ι_{α} (B))$ is separated for any α ∈ Pr (L). Hence $(X, B)$ is a separated L-bornological vector space.

Theorem 4.9. Let $(X, B)$ be an L-bornological vector space and λ ∈ M (L). If $x_{λ (n)}^{n} \overset{M}{⟶} x_{λ}$ and $x_{λ (n)}^{n} \overset{M}{⟶} y_{λ}$ , then $(L^{X}, B)$ is separated if and only if x = y.

Proof. Necessity. Since $x_{λ (n)}^{n} \overset{M}{\to} x_{λ}$ and $x_{λ (n)}^{n} \overset{M}{⟶} y_{λ}$ , there exist circled L-fuzzy sets $A, B \in B$ , α_n → 0 and β_n → 0 such that (xⁿ - x) _λ(n)≰α_nA′ and (yⁿ - y) _λ(n)≰β_nB′ for all $n \in ℕ$ . Then from the proof of Theorem 4.3, we obtain (x - y) _λ(n)≰ max {α_n, β_n} (A + B) ′. From Theorem 3.5, we know that $ι_{α} (B)$ is a crisp bornology for any α ∈ Pr (L). Thus, there exists $n_{0} \in ℕ$ such that x - y ∈ (max {α_n, β_n} (A + B)) _(γ′) for all γ ∈ β^* (λ) and n ≥ n₀. Since $(X, B)$ is separated, then $(X, ι_{γ^{'}} (B))$ is separated, which means {θ} is the only bounded vector subspace of X. If x - y ≠ θ, then the vector subspace spanned by x - y is contained in (A + B) _(γ′), which makes a contradiction.

Sufficiency. If $(X, B)$ is not a separated L-bornological vector space, then there exists a fuzzy vector subspace M of X with $M \in B$ such that suppM ≠ {θ}. Let x ∈ suppM and x ≠ θ, suppose that M (x) ≠ ⊥ _L, then there exists λ′ ∈ Pr (L) such that M (x) ≰λ′. From Lemma 4.7, we have M_(λ′) is a crisp bounded vector subspace of X. Let $x_{λ} = x_{λ (n)}^{n}$ , it is easy to see that $x_{λ (n)}^{n} ≰ \frac{1}{n} M^{'}$ , which means that $x_{λ (n)}^{n} \overset{M}{⟶} θ_{λ}$ for λ ∈ M (L). Hence, x = θ, contradicting the hypothesis that x ≠ θ. This completes the proof.

Theorem 4.10. Let $(X_{i}, B_{i})$ be separated L-bornological vector spaces and let the linear mappings $f_{i} : \prod_{i \in J} X_{i} \to X_{i}$ be bounded for all i ∈ J. Then $(\prod_{i \in J} X_{i}, \prod_{i \in J} B_{i})$ is separated if and only if for all $x \in \prod_{i \in J} X_{i}$ , there exists i ∈ J such that f_i (x) ≠ θ.

Proof. Necessity. Let $(\prod_{i \in J} X_{i}, \prod_{i \in J} B_{i})$ be a separated L-bornological vector space, then for all λ ∈ M (L) and x ≠ θ, we obtain $λ \land χ_{span {x}} \notin B$ . It implies that there exists i ∈ J such that $f_{i}^{\to} (λ \land χ_{span {x}}) \notin B_{i}$ . Since $(X_{i}, B_{i})$ is separated for every i ∈ J, then we have f_i (x) ≠ θ.

Sufficiency. If $(\prod_{i \in J} X_{i}, \prod_{i \in J} B_{i})$ is not separated, there exists a fuzzy vector subspace M with $M \in \prod_{i \in J} B_{i}$ such that suppM ¬ = {θ}. Let x ∈ suppM, x ¬ = θ and denote M (x) = a, then a ∧ χ_span{x} ≤ M. Since x ≠ θ, there exists i ∈ J such that f_i (x) ≠ θ, then $f_{i}^{\to} (a \land χ_{span {x}}) \neq θ_{a}$ , which makes a contradiction with $(X_{i}, B_{i})$ is separated for all i ∈ J.

Definition 4.11. Let $(X, B)$ be an L-bornological vector space, then an L-fuzzy subset P is L-bornologically closed in $(X, B)$ if for all $x_{λ_{(n)}}^{n} \leq P$ and $x_{λ_{(n)}}^{n} \overset{M}{⟶} x_{λ}$ , x_λ ≤ P holds.

Theorem 4.12. $(X, B)$ is a separated L-bornological vector space if and only if θ_λ is L-bornologically closed in $(X, B)$ for all λ ∈ M (L).

Proof. Necessity. Suppose that $(X, B)$ is a separated L-bornological vector space, let A = θ_λ for all λ ∈ M (L) and let $x_{λ (n)}^{n} \leq A$ . If $x_{λ (n)}^{n} \overset{M}{⟶} x_{α}$ , then $α = ⋁_{n \in ℕ} ⋀_{m \geq n} λ (m) \leq A (θ) = λ$ and there exists a circled L-fuzzy set $B \in B$ and a sequence {s_n} of scalars tending to 0 such that (xⁿ - x) _λ(n) = - x_λ(n)≰s_nB′ for all $n \in ℕ$ . Thus s_nB(x) ≰ λ (n)′ for all $n \in ℕ$ . Put μ ∈ β^* (α) , μ ¬ = ⊤ _L, we have span{x} ⊆ ι_μ′(B). On the other hand, by Theroem and $(X, B)$ is a separated L-bornological vector space, $(X, ι_{μ^{'}} (B))$ is a crisp bornological vector space. This implies x = θ and θ_α ∈ A. Thus θ_λ is L-bornologically closed in $(X, B)$ for all λ ∈ M (L).

Sufficiency. For all $x_{λ (n)}^{n} \overset{M}{⟶} x_{λ}$ and $x_{λ (n)}^{n} \overset{M}{⟶} y_{λ}$ with λ ∈ M (L), we obtain $θ_{λ (n)} \overset{M}{⟶} (x - y)_{λ}$ . It is obvious that x = y since θ_λ is L-bornologically closed in $(X, B)$ for all λ ∈ M (L). Thus $(X, B)$ is separated.

Theorem 4.13. Let $(X, B)$ be an L-bornological vector space and M be a vector subspace of X with $χ_{M} \in B$ , then quotient space $(X / M, B^{X / M})$ is separated if and only if χ_M is L-bornologically closed in $(X, B)$ .

Proof. We only prove the sufficiency. Suppose that χ_M is L-bornologically closed in $(X, B)$ . For all λ ∈ M (L) and any sequence ${\hat{x}}_{λ (n)}^{n} \leq {\hat{θ}}_{λ}$ , if ${\hat{x}}_{λ (n)}^{n} \overset{M}{⟶} {\hat{x}}_{α}$ , then α ≤ λ and $x_{λ (n)}^{n} \leq χ_{M}$ . In addition, it is easy to check that $x_{λ (n)}^{n} \overset{M}{⟶} x_{α}$ . Hence x_α ≤ χ_M, this implies that $\hat{x} = \hat{θ}$ . That is to say ${\hat{x}}_{α} = {\hat{θ}}_{α} \leq {\hat{θ}}_{λ}$ . This means that ${\hat{θ}}_{λ}$ is L-bornologically closed in $(X / M, B^{X / M})$ for all λ ∈ M (L), which implies that $(X / M, B^{X / M})$ is separated by Theorem 4.12.

References

Abel

and Šostak

, Towards the theory of-bornological spaces, Iranian Journal of Fuzzy Systems 8(1) (2011), 19–28.

Beer

, Naimpally

and Rodrigues-Lopes

, S-topologies and bounded convergences, Journal of Mathematical Analysis and Applications 339 (2008), 542–552.

Beer

and Levi

, Gap, excess and bornological convergence, Set-Valued Analysis 16 (2008), 489–506.

Beer

and Levi

, Total boundedness and bornology, Topology and its Applications 156 (2009), 1271–1288.

Beer

and Levi

, Strong uniform continuity, Journal of Mathematical Analysis and Applications 350 (2009), 568–589.

Caserta

, Di Maio

and Holá

, Arzelá’s theorem and strong uniform convergence on bornologies, Journal of Mathematical Analysis and Applications 371 (2010), 384–392.

Caserta

, Di Maio

and Kočinac

Lj. D.R.

, Bornologies, selection principles and function spaces, Topology and its Applications 159 (2012), 1847–1852.

Fang

, The continuity of fuzzy linear order-homomorphisms, The Journal of Fuzzy Mathematics 5(4) (1997), 829–838.

Fang

and Yan

, L-fuzzy topological vector spaces, The Journal of Fuzzy Mathematics 5(1) (1997), 133–144.

10.

Hogle-Nled

, Bornology and Functional Analysis, North-Holland Publishing Company, 1977.

11.

H.öhle

and Rodabaugh

S.E.

, (Eds.), Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory, The Hand books of Fuzzy Sets Series, vol.3, Kluwer Academic Publishers, Dordrecht, 1999.

12.

S.T.

, Boundedness in a topological space,es}, Journal de Mathmatiques Pures et Appliqu’{e 28 (1949), 287–320.

13.

S.T.

, Introduction to general topology, Holden-Day, San-Francisko, 1966.

14.

Lechicki

, Levi

and Spakowski

, Bornological convergence, Australian Journal of Mathematical Analysis and Applications 297 (2004), 751–770.

15.

Osçaǧ

, Bornologies and bitopological function spaces, Filomat 27(7) (2013), 1345–1349.

16.

Paseka

, Solovyov

and Stehlík

, On the category of lattice-valued bornological vector spaces, Journal of Mathematical Analysis and Applications 419 (2014), 138–155.

17.

Paseka

, Solovyov

and Stehlík

, Lattice-valued bornological systems, Fuzzy Sets and Systems 259 (2015), 68–88.

18.

Rodabaugh

S.E.

, Powerset operator foundations for poslat fuzzy set theories and topolo-gies, in: U. Höhle, S.E. Rodabaugh (Eds.), Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, The Handbooks of Fuzzy Sets Series, vol. 3, Kluwer Academic Publishers, Boston/Dordrecht/London, 1999, pp. 91 116 (Chapter 2).

19.

Schaefar

H.H.

, Topological Vector Spaces, Springer Verlag, 1970.

20.

Šostak

and UĮjane

, L-valued bornologies on powersets, Fuzzy Sets and Systems 294 (2016), 93–104.

21.

Yan

and Wu

, Fuzzy-bornological spaces, Information Sciences 173(1-3) (2005), 1–10.

22.

Liu

and Luo

, Fuzzy Topology, World Scientific Publishing, Singapore, 1997.

23.

UI̧jane

, Šostak

, M-bornologies on L-valued Sets, in: J. Kacprzyk, E. Szmidt, S. Zadro zny, K. Atanassov, M. Krawczak (Eds.), Advances in Fuzzy Logic and Technology 2017, EUSFLAT 2017, IWIFSGN 2017, Advances in Intelligent Systems and Computing, vol 643, Springer, Cham, Warsaw, Poland, 2017, pp. 450–462.

24.

Zhang

and Zhang

, The construction of-bornological vector spaces, Journal of Mathematical Research with Applications 36(2) (2016), 223–232.