A Study on Fuzzy Order Bounded Linear Operators in Fuzzy Riesz Spaces

: This paper aims to study fuzzy order bounded linear operators between two fuzzy Riesz spaces. Two lattice operations are deﬁned to make the set of all bounded linear operators as a fuzzy Riesz space when the codomain is fuzzy Dedekind complete. As a special case, separation property in fuzzy order dual is studied. Furthermore, we studied fuzzy norms compatible with fuzzy ordering (fuzzy norm Riesz space) and discussed the relation between the fuzzy order dual and topological dual of a locally convex solid Riesz space.

Vector spaces are used with other tools such as fuzzy topology, fuzzy norm and fuzzy metric.Felbin [8] studied the finite-dimensional fuzzy normed linear spaces.Saadati and Vaezpour [9] investigated the theory of fuzzy Banach spaces.Cheng and Mordeson [10] introduced the concept of a fuzzy linear operator.Harisha et al. [11] gave the concept of degree sequence of graph operator for some standard graphs.Xaio and Zhu [12] discussed the completeness of fuzzy norm space of a linear operator.Then, Bag and Samanta [13,14] defined and studied the fuzzy bounded linear operators and their properties.Binzar et al. [15] studied the boundedness in fuzzy normed linear spaces.Recently, Kim and Lee [16] investigated the theory of approximation properties in Felbin-Fuzzy normed spaces.Furthermore, vector space with fuzzy order is known as fuzzy Riesz space.In a series of papers Beg and Islam [17][18][19][20][21] investigated the basic theory of fuzzy Riesz spaces.Hong [22] introduced the concepts of fuzzy Riesz subspaces, fuzzy ideals, fuzzy bands and fuzzy band projections.Park et al. [23] defined and studied the Riesz fuzzy norm spaces.Iqbal et al. [24] defined and characterized the notion of unbounded fuzzy order convergence in fuzzy Riesz spaces.Iqbal and Bashir [25] gave the notion of Dedekind completion of Archimedean fuzzy Riesz spaces.Recently, Cheng et al. [26,27] modified the notion of fuzzy Riesz homomorphisms.Our references for classical Riesz spaces are [28][29][30].
Bag [20] defined the fuzzy positive operator between two fuzzy Riesz spaces (K, µ) and (H, η) and studied its extension.In this paper, we study the space of all fuzzy order bounded positive linear operators denoted L b (K, H).We show that it is fuzzy Dedekind complete when (H, η) is fuzzy Dedekind complete by defining suitable fuzzy lattice operations.The set of all fuzzy order (σ-order) continuous bounded linear operators denoted L n (K, H)(L c (K, H)) are fuzzy bands of L b (K, H) when H is fuzzy Dedekind complete and L n (K, H) ⊆ L c (K, H).As a special case, other related concepts such as separation properties, fuzzy order continuous dual and σ−fuzzy order continuous dual on K are studied.
Fuzzy normed spaces are significant with applications in many areas such as dynamical systems, engineering, and fluid mechanics.We study fuzzy ordering in fuzzy norm spaces and define the notion of fuzzy norm Riesz space.Fuzzy norm with compatible fuzzy order is more fruitful as ordering is very common in real-life scenarios.Defining suitable fuzzy ordering in important norm spaces such as L p spaces is a challenging problem.We define a fuzzy order in L ∞ [0, 1] by using a probability measure.We develop the basic framework of fuzzy norm Riesz spaces and prove many related results.We also study the connections between the topological structure and fuzzy lattice structure of a fuzzy Riesz space when the induced topology of the fuzzy norm is locally convex-solid.Towards the end of this paper, we prove that the topological dual of a locally-convex solid fuzzy Riesz space is always a fuzzy Riesz space, and in fact, it is a fuzzy ideal in its fuzzy order dual.
Together with the novel notions and many proven results, this paper significantly contributes to the theory of fuzzy Riesz space of all fuzzy order bounded operators, which not only helped us to solve the problem of fuzzy order dual spaces, fuzzy norm Riesz space and locally convex-solid fuzzy Riesz spaces but can also be used in future to explore fuzzy Riesz space in other directions.
The contents of the paper are organized as follows.In Section 2, some basic definitions and results are recalled.Section 3 discusses the space of all fuzzy order bounded linear operators and their properties.Section 4 is devoted to define and study the fuzzy Banach lattice and locally convex-solid fuzzy Riesz spaces.In the end, some concluding remarks for possible future lines are given in Section 5.

Preliminaries
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 tuple (K, µ) is called fuzzy ordered set (FOS).For C ⊆ K, the two fuzzy sets U(C) and L(C) are defined as follows.
Let (C) u denotes 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 ∈ Infimum is defined analogously.A subset C is said to be fuzzy order bounded if (C) u and (C) l are non-empty.
A FOVS (K, µ) is said to be 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 known to be the positive and negative parts of k, respectively, moreover, the absolute value of k is known as |k| An FRS (K, µ) is called fuzzy Dedekind complete if each non-empty subset of K which is bounded from above has a supremum in K and σ−fuzzy Dedekind complete, if each nonempty countable subset of K bounded from above has a supremum in K. Let k, g ∈ K with µ(k, g) > 1/2 then the fuzzy order interval [k, g] ⊆ K is defined by A fuzzy positive operator P between two FRSs is a linear map P : K → H such that P(k) ∈ H + for all k ∈ K + .Proposition 1.If k and g are elements of an FRS (K, µ) then: Let K be a non-empty set and a continuous t-norm on [0 (iii) for each t, s ∈ R with t, s > 0; The triple (K, N, ) is called fuzzy norm space.
A family τ of fuzzy sets of K is said to be fuzzy topology if (i) τ contain all constant fuzzy sets in K; A fuzzy linear topology on a vector space K over field R is a fuzzy topology τ on K such that the two mappings are continuous when R has the usual fuzzy topology and R × K, K × K the corresponding product fuzzy topologies.The pair (K, τ) is called fuzzy topological vector space.For further details, we refer to [18,22,24,[31][32][33][34][35][36][37][38][39].

Fuzzy Positive Linear Operators
In order to study L b (K, H) we start our work in L(K, H) the set of all linear operators between (K, µ) and (H, η).Of course, L(K, H) is a vector space with point wise operations.However, the natural point wise ordering, i.e., P ≤ V if η(P(k), V(k)) > 1/2 for each k ∈ K, does not induce lattice structure on L(K, H).Thus, in order to define proper lattice operation on L b (K, H) first we work on the modulus of positive linear operator.Definition 1.A fuzzy positive operator P between two FRSs (K, µ) and (H, η) possesses a modulus if |P| = P ∨ (−P).The modulus of P means the supremum of the set {−P, P} in L(K, H).
The existence of the modulus of a fuzzy positive operator is given in the following proposition.
It is left to show that V is a supremum of {−P, P}.Observe that P ≤ V and −P ≤ V. Assume that ±P ≤ U. Clearly, U is a fuzzy positive operator. Therefore, Proof.Since P is fuzzy order bounded, exists in H for k ∈ K + .By Proposition 2, the modulus of P exists and also = sup{V(g) + P(h) : g, h ∈ K + and g + h = k}.
[V ∧ P] can be proven analogously.Now, we have to show that L b (K, H) is fuzzy Dedekind complete.Let Remark 2. Theorem 1 yields that if (K, µ) and (H, η) are FRSs with H fuzzy Dedekind complete then every fuzzy order bounded operator P : K → H satisfies for each k ∈ K + and we have P = P + − P − .In order to derive some formulas for fuzzy positive operators, we first prove the approximation properties of fuzzy positive operators which are discussed as follows.
Lemma 1.If P : K → H is a fuzzy positive operator between two FRSs with H σ−fuzzy Dedekind complete then there exists a fuzzy positive operator V : K → H for each k ∈ K + such that: Proof.The proof is essentially the same as for Proposition 2 with the use of Lemma 2.4 in [20].Now, we use Lemma 1 to prove the following theorem.
Theorem 2. If P : K → H is a fuzzy positive operator between two FRSs with H σ-fuzzy Dedekind complete, then for each k ∈ K we have: Proof.(i) Fix k ∈ K.By Lemma 1, there exists a fuzzy positive operator (ii) The proof of this part can be obtained from (i) by using identity Hence, U(k) = P(|k|).
On the contrary, by Lemma 1, there exist two fuzzy positive operators Definition 2. A fuzzy positive operator P between two FRSs (K, µ) and (H, η) is said to be: The notion of fuzzy order continuous operators have nice characterizing conditions.
Theorem 3. If P is a fuzzy order continuous operator between two FRSs (K, µ) and (H, η) with H fuzzy Dedekind complete then following statements are equivalent: (i) P is fuzzy order continuous ; (iv) P + and P − are both fuzzy order continuous; (v) |P| is fuzzy order continuous.
(iii) → (iv) Let k λ ↓ 0 in K and P(k λ ) ↓ h in H for h ∈ H + .We have to show that h = 0. Fixed some γ and put k = k γ .Take k, g ∈ K + such that µ(g, k) > 1/2 and for each λ γ we have Therefore,
L c (K, H) can be proved analogously.

Fuzzy Order Dual Spaces
A fuzzy positive linear functional u between an FRS (K, µ) and R is a linear map u : K → R such that u(k) ∈ R + for all k ∈ K + .The vector space K of all fuzzy order bounded linear functionals on K is said to be fuzzy order dual of K, i.e., K = L b (K, R).Furthermore, (K ) + is the set of all fuzzy order bounded positive linear functionals.By Theorem 1, K is a fuzzy Dedekind complete Riesz space.Furthermore, according to Theorem 1, the following fuzzy lattice operations hold for K .Proposition 4. If K is a fuzzy order dual of an FRS (K, µ), then u, v ∈ K and k ∈ K + the following statements are true: Now, we discuss the FRSs whose fuzzy order dual separates the points of the spaces.Definition 3. The fuzzy order dual K of an FRS (K, µ) separates the points of K if for all 0 = k ∈ K + there exists 0 = u ∈ (K ) + with u(k) = 0 .Proposition 5.If K separates the points of an FRS (K, µ), then k ∈ K + iff u(k) ≥ 0 holds for all u ∈ (K ) + .
Proof.The forward implication is obvious.
Conversely, let k ∈ K satisfies u(k) ≥ 0 for each u ∈ (K ) + .If u ∈ (K ) + is fixed, then Theorem 2 yields that there exists some v ∈ (K ) + such that u(k In addition to the fuzzy order dual of an FRS, one can consider the fuzzy bands of fuzzy order continuous and σ-fuzzy order continuous linear functionals.

Remark 4.
The set of all fuzzy order continuous linear functionals L n (K, R) is denoted by K n , i.e., K n := L n (K, R).Analogously, σ−fuzzy order continuous linear functionals is denoted by K c := L c (K, R).Where K n and K c are called fuzzy order continuous dual and σ−fuzzy order continuous dual of K, respectively.By Proposition 3 both K n and K c are fuzzy bands of K .Definition 4. If u ∈ K then: (i) the null fuzzy ideal of u denoted N u and defined as N u := {k ∈ K : |u|(|k|) = 0}; (ii) the disjoint complement of null fuzzy ideal denoted C u = N d u is said to be fuzzy carrier of u and is defined as C u := {k ∈ K : k ⊥ N u }.Note that a fuzzy carrier is indeed a fuzzy band.
One can easily prove that the null fuzzy ideal is a fuzzy band if the fuzzy order bounded linear functional is fuzzy order continuous.The following proposition shows that the two fuzzy linear functionals are disjoint if and only if their fuzzy carriers are disjoint.Proposition 6.If (K, µ) is an Archimedean FRS then u, v ∈ K n , then the following statements are equivalent: Proof.Without loss of generality, assume that positive u, v ∈ K n . (i) Take Therefore, by Theorem 4.7(ii) in [22] u ∧ v = 0 holds for fuzzy order dense ideal N v ⊕ C v .Hence, u ⊥ v.

Fuzzy Normed Riesz Spaces
In the current section, we study the fuzzy norm in view of fuzzy ordering.Later on, we study the fuzzy topological dual, which is space of all fuzzy continuous linear functionals on a locally convex-solid fuzzy Riesz space K is a vector subspace of its fuzzy order dual.Definition 5. Let (K, µ) be an FRS.A fuzzy norm N on K is said to be fuzzy Riesz norm if µ(|k|, |g|) > 1/2 implies N(k, t) ≥ N(g, t) for each k, g ∈ K and 0 < t ∈ R. If N is a fuzzy Riesz norm on K, then (K, N, µ) is called fuzzy normed Riesz space.If a fuzzy norm Riesz space is also fuzzy norm complete, then it is called fuzzy Banach lattice.
(K, µ) is an FRS.Fuzzy norm on K, N : An essential result about continuity of fuzzy positive operators between fuzzy Banach lattices is given as follow.
Proposition 9.If P is a fuzzy positive operator between fuzzy Banach lattice (K, N 1 , µ) to fuzzy normed Riesz space (H, N 2 , η) then it is fuzzy continuous.
Proof.Let P : K → H is a fuzzy positive operator.Suppose on contrary that, P is not fuzzy continuous then it must be fuzzy unbounded.Therefore, there exists a sequence (k n ) n∈N in K such that k n ↓ 0 satisfying N 1 (k n , t) = 1 and N 2 (P(k n ), t) ≤ M for each 0 < t ∈ R and M ∈ (0, 1).Since K is fuzzy norm complete then g := ∑ n k n exists in K. Clearly, µ(k n , g) > 1/2 for each n.Thus, η(P(k n ), P(g)) > 1/2 and so N 2 (P(g), t) ≤ N 2 (P(k n ), t) ≤ M for each n, a contradiction.
With the induced topology τ of fuzzy norms (K, τ) is a topological vector space.Furthermore, a topological vector space is said to be locally convex if it has a local base at zero consisting of convex sets.We aim to study the relationship between the fuzzy lattice structure of K under the fuzzy order µ and the topological structure of K. To construct a relation between topological dual denoted K (set of all continuous linear functionals with respect to topology τ) and fuzzy order dual, we adopt a general approach by considering a locally convex topology τ on FRS (K, µ) generated by a family of complete fuzzy Riesz norms on K.We call the triple (K, µ, τ) locally convex-solid fuzzy Riesz space.Every locally convex-solid topology on a fuzzy Riesz space makes fuzzy lattice operations continuous functions.Proposition 10.If (K, µ, τ) is a locally convex-solid fuzzy Riesz space then following statements are true: Proof.It is an immediate consequence of Theorem 4.11 in [17].
The following result shows some essential characterization of locally convex-solid fuzzy Riesz space.Proposition 11.If (K, µ, τ) is a locally convex-solid fuzzy Riesz space then following statements are true: (i) the FRS K is a fuzzy Archimedean; (ii) the fuzzy positive cone K + is a τ − closed; (iii) τ − closure of fuzzy solid subset C of K is also a fuzzy solid; (iv) τ − closure of fuzzy Riesz subspace of an FRS is a fuzzy Riesz subspace; Since K fuzzy Archimedean then by Theorem 5.8 in [22] every fuzzy band satisfies , µ(k λ , k) > 1/2 for each λ.Suppose there exists some g ∈ K such that µ(k λ , g) > 1/2 for each λ.Thus, g − k λ τ − → g − k implies that g − k ∈ K + , i.e., µ(k, g) > 1/2.Hence, k λ ↑ k in K. (vii) Suppose k λ ↓ k and µ(k, g) > 1/2, µ(g, g λ ) > 1/2 for each λ.Then µ((g − k λ ) + , g λ − k λ ) > 1/2 for each λ.Thus, (g − k λ ) + τ − → 0. Therefore, (g − k λ ) + ↑ (g − k) + = g − k.By (vi) we have g − k = 0 implies that g λ ↓ k.Conversely, suppose that The topological dual K of K is a vector space consisting of all fuzzy continuous linear functionals on K.The topological dual K of a locally convex-solid fuzzy Riesz space is a fuzzy ideal in its fuzzy order dual.Theorem 4. If (K, µ, τ) is a locally convex-solid fuzzy Riesz space, then the topological dual K (is fuzzy Dedekind complete in its own right) is a fuzzy ideal of the fuzzy order dual K .Moreover, if for each u, v ∈ K and h ∈ K + then [u ∨ v](h) = sup{u(k) + v(g) : k, g ∈ K + and k + g = h} and [u ∧ v](h) = inf{u(k) + v(g) : k, g ∈ K + and k + g = h}.
Proof.We show that K is a vector subspace of K .Suppose on contrary that some u ∈ K and u does not exist in K there exist some k ∈ K + and a sequence (k n ) n∈N ⊆

Conclusions
In the present paper, we have defined fuzzy lattice operations on the space of all fuzzy order bounded linear operators between two fuzzy Riesz spaces to make it fuzzy Riesz space when the range is fuzzy Dedekind complete.As a particular case, we studied the separation property of fuzzy order dual.As a future research line, we plan to work on concrete norm spaces such as L p spaces; one can also define and explore the notions of fuzzy Riesz orthomorphisms, unbounded fuzzy norm convergence and unbounded fuzzy norm topology in fuzzy Banach lattices.
H).The following proposition shows that both L n (K, H) and L c (K, H) are fuzzy bands of L b (K, H).If (K, µ) and (H, η) are FRSs with H fuzzy Dedekind complete, then L n (K, H) and L c (K, H) are both fuzzy bands of L b (K, H).
immediately follows from η(|P(k)|, |P|(|k|)) > 1/2.Remark 3. The set of all fuzzy order continuous operator of L b (K, H) are denoted by L n (K, H), i.e., L n (K, H) = {P ∈ L b (K, H) : P is fuzzy order continuous}.Analogously, L c (K, H) denotes the set of all σ-fuzzy order continuous operator, i.e.,L c (K, H) = {P ∈ L b (K, H) : P is σ−fuzzy order continuous}.Both L c (K, H) and L n (K, H) are vector subspaces of L b (K, H).Furthermore, L n (K, H) ⊆ L c (K, Proof.If |V| ≤ |P| in L b (K, H) with P ∈ L b (K, H) then by Theorem 3 V ∈ L b (K, H).Thus, L n (K, H) are fuzzy ideal of L b (K, H).Now, we show that L n (K, H) is a fuzzy band.Let (P γ ) γ∈Γ ∈ L n (K, H) and P γ (v) It is the immediate consequences of (ii) and (iv).(vi)Letk n ↑ k in K, i.e., k = sup n k n .Suppose C is a σ-fuzzy ideal in K and (h n ) ⊆ C such − → h in K. Let g n := |h n | ∧ |h| we have (g n ) ⊆ C. By (ii) (g n ) fn-converges to |h|.Defining k n := sup n g n in C and satisfying µ(g n , k n ) > 1/2 and µ(k n , |h|) > 1/2.Thus, we have for each 0 < t ∈ R N(k n − |h|, t) ≥ N(g n − |h|, t)which shows that (k n ) fn-converges to |h| in K.However, k n ↑ |h|.Since C is a σ-fuzzy ideal, we have |h| ∈ C implies that h ∈ C. Hence C is closed.Let (K, N, µ) be a fuzzy normed Riesz space.If a net k λ ↑ k and lim λ