The Unbounded Fuzzy Order Convergence in Fuzzy Riesz Spaces

: The fuzzy order convergence in fuzzy Riesz spaces is deﬁned only for fuzzy order bounded nets. The aim of this paper is to deﬁne and study unbounded fuzzy order convergence and some of its applications. Furthermore, some theoretical concepts like the fuzzy weak order unit and fuzzy ideals are studied in relation to unbounded fuzzy order convergence.

Vector space is widely used in modeling different kinds of real-life scenarios. Beg and Islam [9] gave the concept of fuzzy ordered linear spaces and studied their general properties and in [10,11] introduced the notion of fuzzy Riesz spaces and Archimedean fuzzy Riesz spaces. Beg [12] defined and characterized the fuzzy positive operator and in [13] gave further details on fuzzy order relations. Hong [14] defined and studied many concepts like fuzzy Riesz subspaces, fuzzy ideals, fuzzy bands, and fuzzy band projections. Recently, Park et al. [15] introduced the notion of Riesz fuzzy normed spaces.
Classically, vector spaces are used with other tools like topology, norm, and metric. Different types of convergence have many direct applications like in solving nonlinear equations [16,17]. Whereas, in a series of papers [18][19][20][21][22], the unbounded order convergence is defined for the nets that are not necessarily to be order bounded in Banach lattices, this is a different approach than convergence in norm or topology. In function spaces, unbounded order convergence is the same as pointwise convergence. Indeed, It is easily seen that in c 0 or l p (1 ≤ p < ∞), unbounded order convergence of nets is an analogy to coordinate-wise convergence, and in measure spaces, unbounded order convergence of sequences is the same as convergence almost everywhere.
In order to handle imprecise and vague scenarios more effectively, a novel concept of unbounded fuzzy order convergence is proposed to deal with unbounded fuzzy ordered nets. In this regard, first the fuzzy order convergence [9,14] is redefined to overcome certain flaws, and based on this, unbounded fuzzy order convergence is defined. Then, an in depth theoretical investigation is done to study its various properties. However, it is much harder to determine the unbounded fuzzy order convergence of a given net. To resolve this issue, the notion of the fuzzy weak order unit is proposed to reduce the labor of checking unbounded fuzzy order convergence. Thus, unbounded fuzzy order convergence is nicely characterized in fuzzy Dedekind complete Riesz spaces.
To further develop the theory for practical use, the completeness of a fuzzy Riesz space is also explored with respect to unbounded fuzzy order convergence. For this purpose, the fuzzy ideals and fuzzy bands are studied in connection with fuzzy order convergence, and some results are given in the end as applications. The results and theory developed in this paper not only helped us to achieve the main goal of defining and characterizing unbounded fuzzy order convergence in fuzzy Riesz spaces but can also be used to develop and study more theoretical concepts like locally convex-solid fuzzy Riesz spaces, fuzzy Banach lattices, and unbounded fuzzy norm convergence in fuzzy Banach lattices, for better practical applications.
The paper is organized as follows. Section 2 provides the preliminary concepts necessary to understand the proposed work. Section 3 is for unbounded fuzzy convergence and its basic properties. Section 4 is devoted to defining and studying the fuzzy weak order unit in Dedekind complete fuzzy Riesz space. Finally, some concluding remarks for possible future work are given in Section 5.

Definition 1.
A fuzzy order µ on a set K is a fuzzy set on K × K with the understanding that k precedes g if and only if µ(k, g) > 1/2 for k, g ∈ K and the following conditions are also satisfied: The space (K, µ) is called fuzzy ordered set (FOS). Definition 2. Let (K, µ) be an FOS, for k ∈ K, two related fuzzy sets ↑ k and ↓ k are known as (↑ k)(g) = µ(k, g) and (↓ k)(g) = µ(g, k) for g ∈ K, respectively. For C ⊆ K, then two fuzzy sets U(C) and L(C) are defined as follows.
Let (C) u denote the set of all upper bounds of C, and k ∈ (C) u if U(C)(k) > 0. Analogously, (C) l denotes the set of all lower bounds, and k ∈ (C) l if L(C)(k) > 0. In addition, d ∈ K is known as the supremum of C in K if (i) d ∈ (C) u and (ii) g ∈ (C) u implies g ∈ (d) u . The infimum is defined analogously. A subset C is said to be fuzzy order bounded if (C) u and (C) l are non-empty. (i) for k, g ∈ K if µ(k, g) > 1/2 then µ(k, g) ≤ µ(k + h, g + h) for all h ∈ K; (ii) for k, g ∈ K if µ(k, g) > 1/2 then µ(k, g) ≤ µ(λk, λg) for all 0 ≤ λ ∈ R.
Let (K, µ) be an FOVS. Then k ∈ K is known as positive if µ(0, k) > 1/2 and negative if µ(k, 0) > 1/2. Moreover, K + will be referred to as the set of positive elements in K. C ⊆ K is called a directed upwards set if for each finite subset D of A we have C ∩ (D) u = ∅. The directed downwards set is defined analogously. Furthermore, a net k λ ↑ k for each λ ∈ Λ reads as the net (k λ ) being directed upwards to k, i.e., for λ 0 ≤ λ, we have µ(k λ 0 , k λ ) > 1/2, and sup{k λ } = k. k λ ↓ k is defined analogously.
An FOVS (K, µ) is said to be Archimedean if µ(nk, g) > 1/2 for all n ∈ N implies that µ(k, 0) > 1/2 for all k, g ∈ K. Therefore, { k n } ↓ 0 and {nk} is unbounded from above for all 0 = k ∈ K + . Definition 4. An FOVS (K, µ) is said to be a fuzzy Riesz space (FRS) if k ∨ g = sup{k, g} and k ∧ g = inf{k, g} exist in K for all k, g ∈ K.
For k ∈ K, k + = k ∨ 0 and k − = (−k) ∨ 0 are defined to be positive and negative parts of k, respectively, whereas the absolute value of k is defined as |k| = (−k) ∨ k. Furthermore, let k 1 , k 2 ∈ K be called orthogonal or disjoint if k 1 ∧ k 2 = 0, and written as k 1 ⊥k 2 . In addition, for C 1 , C 2 ⊂ K are called disjoint and denoted by Proposition 1. If k and g are elements of an FRS (K, µ), then (i) fuzzy order complete if each non-empty subset of K has a supremum and infimum in K; (ii) fuzzy σ− order complete if each nonempty countable subset of K has a supremum and infimum in K; (iii) fuzzy Dedekind complete if each non-empty subset of K which is bounded from above has a supremum in K; (iv) fuzzy σ− Dedekind complete if each nonempty countable subset of K that is bounded from above has a supremum in K.

Unbounded Fuzzy Order Convergence
Although the notion of fuzzy order convergence is a central tool in studying the fuzzy Riesz spaces, the definition given in [9,14] has some limitations that we now try to overcome. Later, it will be generalized as unbounded fuzzy order convergence to open new horizons, and its various properties are studied.

Definition 7.
A net (k λ ) λ∈Λ in an FRS (K, µ) is said to be fuzzy order convergent (fo-convergent for short) But the above definition cannot truly fulfill the concepts of convergence, as intuitively, if we add some terms at the start of net, then convergence should not be changed. The following example illustrates our point.
Clearly, (g n ) is not fuzzy order convergent to zero according to Definition 7.
This deficiency is pointed out in [18] for the classical order convergence. Therefore, a new definition is proposed to overcome this issue.
is said to be fuzzy order convergent (fo-convergent for short) to One can check-the extended net in Example 1 is fuzzy order convergent to zero according to Definition 8. Clearly, Definition 7 implies Definition 8. From here on, fuzzy order convergence will be considered according to Definition 8 without reference. The generalization of fo-convergence is given below.

Definition 9.
A net (k λ ) λ∈Λ in an FRS (K, µ) is said to be unbounded fuzzy order convergent (ufo-convergent Note that fo-convergence implies ufo-convergence. The ufo-convergence has a number of nice characterizing conditions. Proposition 2. If (k λ ) λ∈Λ and (g γ ) γ∈Γ are nets in an FRS (K, µ), then the following statements are true: Furthermore, (a) and (b) imply that The converse can be proved analogously.
Thus, g ∧ |k n | = 0 for all n ∈ N. It follows that Let µ(k, k n m ) > 1/2 for each m ∈ N, and k ∈ K + . Therefore, k = k n m ∧ k f o − → 0 implies that k = 0. Hence, inf m (k n m ) = 0.

Fuzzy Weak Order Unit
Our next goal is to reduce the task of checking ufo-convergence at every positive vector to a single special vector, which will be defined as fuzzy weak order unit that allows us to nicely characterize ufo-convergence. Before that, we present some important theoretical concepts as follows. (i) A subset C of K is said to be fuzzy order closed (fo-closed for short) if for any net (k λ ) ⊂ C and k ∈ K (ii) A subset S of K is called fuzzy solid if µ(|k|, |g|) > 1/2 and g ∈ S implies k ∈ S. (iii) A fuzzy solid vector subspace I of K is called a fuzzy ideal of K. (iv) A fuzzy order closed ideal in K is said to be a fuzzy band.
For k ∈ K, the fuzzy band generated by k is known as the principal fuzzy band and defined as B k = {g ∈ K : |g| ∧ n|k| ↑ |g|} by Corollary 5.4 in [14]. The fuzzy band generated by a non-zero positive element is discussed as follows.
Definition 11. Let (K, µ) be an FRS, and 0 = w ∈ K + is said to be a fuzzy weak order unit if the fuzzy band generated by w satisfies B w = K, or equivalently, k ∧ nw ↑ k : n ∈ N for each k ∈ K + . Proposition 4. Let (K, µ) be an Archimedean FRS. Then 0 = w ∈ K + is a fuzzy weak order unit if and only if k ⊥ w implies k = 0 for each k ∈ K + .
Proof. It follows from the definition of fuzzy weak order unit, Theorems 4.7 and 5.8 in [14].
Proposition 4 leads to the following result.
Proposition 5. Let (K, µ) be a Dedekind complete FRS with a fuzzy weak order unit w. Then k λ Thus, w being a fuzzy weak order unit implies that lim sup λ (|k λ | ∧ g) = 0. Hence, |k λ | ∧ g f o − → 0. The converse follows from Definition 9.
We defined and studied the properties of the fuzzy component in Dedekind complete FRS in which ufo-convergence is nicely characterized. Definition 12. Let (K, µ) be an FRS. A vector k ∈ K + is said to be the fuzzy component of w whenever k ∧ (w − k) = 0 for w ∈ K + .

Remark 2.
For k ∈ K, w k denotes the fuzzy component of w in the fuzzy band generated by k. So for each α ∈ R, w (k−αw) + is the fuzzy component of w in the fuzzy band generated by (k − αw) + , and we set e(α) = w (k−αw) + . In a Dedekind complete FRS (K, µ) with k ∈ K + and letting e = w k + , then k e = k + . Now, many lemmas are proved in order to characterize the ufo-convergence with the help of fuzzy components. Lemma 1. If (K, µ) is a Dedekind complete FRS and k ∈ K + , then µ(e(α), 1 for α > 0.

Lemma 2. If
To see that the converse is false, take a set k n = 1 n w for all n ∈ N. Lemma 3. Let (K, µ) be a Dedekind complete FRS and (k λ ) a net in K + . Then ∧ λ w (k λ −αw) Proof. For the forward implication, we show that µ(∧ λ k λ , αw) > 1/2 for each α > 0. Fix α.
The converse follows from Lemma 1.

Fuzzy Ideals and Completeness with Respect to Ufo-Convergence
The fuzzy ideal is a useful structure with important properties that can help to study ufo-convergence. To work in the fuzzy ideal is much easier than to work in the whole space. Indeed, it is shown that ufo-convergence in the fuzzy ideal is equivalent to ufo-convergence in the complete space.
For any u ∈ K + and z ∈ (I ⊕ I d ) + , we have u ∧ z ∈ (I ⊕ I d ) + . Therefore, by Remark 3, Theorem 4.7 (i) in [14] yields that ( The closeness of ufo-convergence is defined and discussed as follows. Definition 13. Let (K, µ) be an FRS. For C ⊂ K is said to be unbounded fuzzy order closed (ufo-closed for short) if for any net (k λ ) ⊂ C and k ∈ K with k λ Proposition 7. Let L be a fuzzy Riesz subspace of an FRS (K, µ). Then L is ufo-closed in K iff L is fo-closed in K.

Proof. The forward implication is obvious.
Conversely, suppose L is fo-closed in K. Let (g λ ) ⊆ L and k ∈ K such that g λ u f o − − → k in K.
It follows that there is a net (u γ ) in the fuzzy ideal generated by L + such that u γ ↑ k in K. Moreover, for each γ there exists z γ ∈ L such that µ(u γ , z γ ) > 1/2. So µ(u γ ∧ k, z γ ∧ k) > 1/2 and µ(z γ ∧ k, k) > 1/2 implies that u γ ↑ k in K. Therefore, z γ ∧ k f o − → k in K. Hence, z γ ∧ k ∈ L and L is fo-closed, then k ∈ L.

Conclusions
In the present paper, fuzzy order convergence is generalized as unbounded fuzzy order convergence. Many other concepts like fuzzy weak order units and fuzzy components are studied, and many related results are proved. In addition, some applications of unbounded fuzzy order convergence are provided. For future research, one can define and explore the notions of fuzzy locally convex solid Riesz spaces and study different fuzzy norms with respect to fuzzy ordering to develop fuzzy norm lattices, which will lead to the fuzzy Banach lattices.