Abstract
We prove, in particular, that if E is a Dedekind complete atomless Riesz space and X is a Banach space then the sum of a narrow and a Ccompact laterally continuous orthogonally additive operators from E to X is narrow. This generalizes in several directions known results on narrowness of the sum of a narrow and a compact operators for the settings of linear and orthogonally additive operators defined on Köthe function spaces and Riesz spaces.
Keywords
Narrow operator Orthogonally additive operator Laterally continuous operatorMathematics Subject Classification
Primary 47B38 Secondary 47B651 Introduction
Formally narrow operators were introduced and studied in 1990 [15, 17], however some deep results on these operators were obtained earlier by Bourgain, Ghoussoub, Kalton, Rosenthal and other mathematicians in another terminology, see survey [18] and textbook [19]. Being a generalization of compact operators defined on atomless Köthe function spaces, narrow operators require a completely new technique and bring various new geometric implications. The most unusual thing about narrow operators is that, on the space \(L_1\) the sum of two (continuous linear) narrow operators is narrow [19, Theorem 7.46], however if an r.i. space E on [0, 1] has an unconditional basis then every operator on E is a sum of two narrow ones [19, Theorem 5.2]. Later it became clear in 2009 [8] that narrow operators have purely vector lattice nature, and the above two results are very natural. A new more general definition of a narrow operator defined on a Riesz space proposed in [8] is well agreed with the old one for operators defined on a Köthe Fspace with an absolutely continuous norm. A deep result of [8] generalizing Kalton–Rosenthal’s representation theorem asserts that, under mild assumptions on Banach lattices E, F (e.g., the result is true for order continuous Banach lattices with E atomless), the sum of two narrow regular operators from E to F is narrow. Moreover, the set \({\mathcal {N}}_r(E,F)\) of all narrow regular operators from E to F is a band in the Riesz space \({\mathcal {L}}_r(E,F)\) of all regular operators from E to F, which is orthogonal to the band of all lattice homomorphisms from E to F. Since all continuous linear operators on \(L_1\) are regular \({\mathcal {L}}_r(L_1) = {\mathcal {L}}(L_1)\), we obtain that, moreover, the set \({\mathcal {N}}(L_1)\) of all narrow operators on \(L_1\) is a band in \({\mathcal {L}}(L_1)\) (the set of all continuous linear operators from E to X is denoted by \({\mathcal {L}}(E,X)\), and \({\mathcal {L}}(E) = {\mathcal {L}}(E,E)\)). On the other hand, all examples of pairs of narrow operators with nonnarrow sum contain nonregular summands.
The peculiarity of both domain and range spaces makes a big deal in the problem on the narrowness of a sum of two narrow operators: for every Köthe Banach space E on [0, 1] there exist a Banach space X and narrow operators from E to X with nonnarrow sum [14].
An exceptional Köthe Banach space for narrow operators is \(L_\infty \), the norm of which is not absolutely continuous. The usual technique does not work, and there are nonnarrow continuous linear functionals on \(L_\infty \). Nevertheless, questions about narrowness of the sum of two narrow operators are not less interesting. A sum of two narrow operators on \(L_\infty \) need not be narrow [7]. Moreover, if \(1 < p \le \infty \) then there are regular narrow operators \(T_1, T_2 \in {\mathcal {L}}_r(L_p,L_\infty )\) with nonnarrow sum [14]. This also shows that the order continuity assumption on the range Banach lattice F is essential in the above mentioned theorem that \({\mathcal {N}}_r(E,F)\) is a band in \({\mathcal {L}}_r(E,F)\).
Let E, X be such that a sum of two narrow operators from E to X need not be narrow. Then it is natural to ask of whether the sum of a narrow operator and a compact (or even finite rank) operator is narrow. The following general result is known to this extend [19, Proposition 11.2]. If E is a Köthe Banach space with an absolutely continuous norm then for any Banach space X the sum of a narrow operator and a hereditarily narrow operator from E to X is narrow (for precise definitions see below). Since the class of all hereditarily narrow operators from E to X includes different other classes of “small” operators (like compact, AMcompact, Dunford–Pettis operators, etc., see [19, Corollary 11.4] for more classes), as consequences, we obtain that the sum of a narrow and a compact (or other “small”) operator is narrow.
For the case where the norm of E is not absolutely continuous and a compact operator need not be narrow, a weaker question makes sense: is the sum of two narrow operators, at least one of which is compact, narrow? The strongest result in this direction, due to Mykhaylyuk [11], asserts that, if E is a Köthe Fspace, X a locally convex Fspace, \(T_1, T_2 \in {\mathcal {L}}(E,X)\) narrow operators such that \(T_2\) maps the set of all signs to a relatively compact subset of X (which, in particular, is the case for a compact \(T_2\)), then the sum \(T_1 + T_2\) is narrow.
Another direction of generalization concerns nonlinear maps. The notion of a narrow operator was generalized to orthogonally additive operators in [16]. Fortunately, in some contexts when dealing with narrow linear operators the linearity is only used for orthogonal elements. This made possible to extend most of the results on narrow linear operators obtained in [8] to orthogonally additive operators. On the other hand, all necessary background for such operators has been already built [9, 10]. One of the results of [16] asserts that every laterally continuous Ccompact orthogonally additive operator acting from an atomless Dedekind complete Riesz space is narrow.
So, our main result, in particular, generalizes the mentioned theorem from [16]. Moreover, two papers of the second named author [3] and [5] were devoted to partial cases of our main result obtained under additional assumptions on the domain Riesz space. In the present paper we show that these assumptions are superfluous. We use here mainly a new technique partially based on ideas from the previous papers. Nevertheless, our proof looks to be even shorter.
2 Narrow orthogonally additive operators on Riesz spaces
For familiarly used notions and facts on Riesz spaces we refer the reader to [2]; on Banach spaces—to [1] and on Fspaces—to [21]. We denote the Fnorm of an element x of an Fspace by \(\Vert x\Vert \) (the metric distance between x and zero) and use the triangle inequality as for elements of a normed space with the exception that a scalar cannot be taken off the Fnorm.
A disjoint sum in a Riesz space is denoted by \(x \sqcup y\) or \(\bigsqcup _{i \in I} x_i\), so \(z = x \sqcup y\) means that \(z = x + y\) and \(x \perp y\). An element x of a Riesz space E is called a fragment of \(y \in E\) (write \(x \sqsubseteq y\)) provided \(x \perp yx\). It is a standard exercise to show that the relation \(\sqsubseteq \) is a partial order on E called the lateral order [12]. The set of all fragments of an element \(e \in E\) is denoted by \({\mathfrak {F}}_e\). Observe that if \(z = x \sqcup y\) then both x and y are fragments of z. We say that an element \(a \ne 0\) of a Riesz space E is an atom if the only fragments of a are 0 and a itself. A Riesz space having no atom is said to be atomless.
Let E be a Riesz space and X be a linear space. A function \(T: E \rightarrow X\) is called an orthogonally additive operator (OAO in short) if \(T(x \sqcup y) = T(x) + T(y)\) for all disjoint elements \(x,y \in E\) (we use parentheses for the argument of an OAO to draw attention to the fact that the operator need not be linear). Simple examples of OAOs are the positive, negative parts and the modules of an element: \(T_1 (x) = x^+, \, T_2 (x) = x^, \, T_3 (x) = x\), \(x \in E\). For more examples of OAOs including integral Uryson operators see [9, 10, 16].
Let E be an atomless Riesz space and X an Fspace. A function \(f: E \rightarrow X\) is said to be narrow at a point\(e \in E\) provided for every \(\varepsilon > 0\) there exists a decomposition \(b = b' \sqcup b''\) into disjoint fragments such that \(\Vert f(b')  f(b'')\Vert < \varepsilon \). The function f is called narrow if it is narrow at each point \(e \in E\). Observe that if f is linear then it is narrow at a point e if and only if for every \(\varepsilon > 0\) there exists \(x \in E\) such that \(x = e\) and \(\Vert f(x)\Vert < \varepsilon \). So, initially the latter condition was accepted as the definition of a narrow operator on a Riesz space in [8].

function narrow if for each \(A \in \Sigma \) and \(\varepsilon > 0\) there is a decomposition \(A = B \sqcup C\) with \(B,C \in \Sigma \), \(\mu (B) = \mu (C)\) such that \(\Vert T({\mathbf {1}}_B  {\mathbf {1}}_C)\Vert < \varepsilon \);

function weakly narrow if for each \(A \in \Sigma \) and \(\varepsilon > 0\) there is a decomposition \(A = B \sqcup C\) with \(B,C \in \Sigma \) such that \(\Vert T({\mathbf {1}}_B  {\mathbf {1}}_C)\Vert < \varepsilon \);

hereditarily narrow if E is a Köthe Banach space, and for every \(A \in \Sigma \) with \(\mu (A) > 0\) and every atomless \(\sigma \)algebra \(\Sigma _1\) of measurable subsets of A the restriction \(T_{E(\Sigma _1)}\) of T to the subspace \(E(\Sigma _1)\) of all \(\Sigma _1\)measurable elements of E supported on A, which is a Köthe Banach space itself, is function narrow.
The idea of the proof of the main result is to consider the set \({\mathfrak {F}}_e\) of all fragments of a fixed element of the domain Riesz space E as the main object for investigation. This becomes possible because the definitions of all notions from the main theorem could be equivalently restricted to \({\mathfrak {F}}_e\). Since the set \({\mathfrak {F}}_e\) is a Boolean algebra with respect to the natural operations, we come to analogous questions for functions defined on a Boolean algebra.
3 Almost dividing measures on Boolean algebras
Following terminology in [13], an OAO defined on a Boolean algebra is called a measure, and a narrow OAO is called an almost dividing measure. Now in more details.
Let \((u_\alpha )\) be a net in a Boolean algebra \({\mathcal {B}}\). The notation \(u_\alpha \downarrow {\mathbf {0}}\) means that the net \((u_\alpha )\) decreases and \(\inf _\alpha u_\alpha = {\mathbf {0}}\). We say that a net \((x_\alpha )\) in \({\mathcal {B}}\)order converges to an element \(x \in {\mathcal {B}}\) if there exists a net \((u_\alpha )\) in \({\mathcal {B}}\) with the same index set such that \(x_\alpha \triangle x \le u_\alpha \) for all indices \(\alpha \) and \(u_\alpha \downarrow {\mathbf {0}}\) (here and in the sequel \(x \triangle y = (xy) \cup (yx)\)). In this case we write \(x_\alpha {\mathop {\longrightarrow }\limits ^{\mathrm{o}}} x\) and say that x is the order limit of \((x_\alpha )\).
Let \({\mathcal {B}}\) be a Boolean algebra, X an Fspace or \(X = [0, + \infty ]\). A function \(f: {\mathcal {B}} \rightarrow X\) is said to be order continuous at a point\(b \in {\mathcal {B}}\) if for every net \((x_\alpha )\) in \({\mathcal {B}}\) the condition \(x_\alpha {\mathop {\longrightarrow }\limits ^{\mathrm{o}}} b\) implies \(f(x_\alpha ) \rightarrow f(b)\). If f is order continuous at every point we say that f is order continuous.
A Boolean algebra \({\mathcal {B}}\) is said to be order complete if any nonempty subset of \({\mathcal {B}}\) has the supremum. By a partition of unity in a Boolean algebra \({\mathcal {B}}\) we mean a maximal disjoint family \({\mathcal {A}} \subseteq {\mathcal {B}}\), that is, \((\forall x \in {\mathcal {B}} ) \, \bigl (\bigl ( \forall a \in {\mathcal {A}} \,\, a \cap x = {\mathbf {0}} \bigr ) \Rightarrow (x = {\mathbf {0}}) \bigr ).\) A disjoint union\(\bigcup {\mathcal {A}}\) (that is, the union of a disjoint system \({\mathcal {A}} \subseteq {\mathcal {B}}\)), if exists, is denoted by \(\bigsqcup {\mathcal {A}}\). Although in some cases an infinite union \(\bigcup {\mathcal {A}}\) of \({\mathcal {A}} \subseteq {\mathcal {B}}\), which is defined to be the supremum of \({\mathcal {A}}\) in \({\mathcal {B}}\), does not exist, it is immediate that if \({\mathcal {A}}\) is a partition of unity then \(\bigsqcup {\mathcal {A}} = {\mathbf {1}}\) exists. Conversely, if \(\bigsqcup {\mathcal {A}} = {\mathbf {1}}\) then \({\mathcal {A}}\) is a partition of unity. Likewise, a partition of an element\(e \in {\mathcal {B}}\) is a partition of unity of the Boolean algebra \({\mathcal {B}}_b = \{x \in {\mathcal {B}}: \, x \le b\}\).
Let \({\mathcal {B}}\) be a Boolean algebra, X a linear space. A function \(f: {\mathcal {B}} \rightarrow X\) is said to be a measure provided \(f(x \sqcup y) = f(x) + f(y)\) for every pair of disjoint elements \(x,y \in {\mathcal {B}}\). Obviously, \(f({\mathbf {0}}) = 0\) for a measure. A measure \(f: {\mathcal {B}} \rightarrow X\) is said to have finite rank if the closed linear span \([T({\mathcal {B}})]\) is a finite dimensional subspace of X.
Let \({\mathcal {B}}\) be an atomless Boolean algebra, X an Fspace. A function \(f: {\mathcal {B}} \rightarrow X\) is said to be almost dividing provided for every \(\varepsilon > 0\) every element \(b \in {\mathcal {B}}\) has a two point partition \(b = b' \sqcup b''\) with \(\Vert f(b')  f(b'')\Vert < \varepsilon \).
Let \({\mathcal {B}}\) be a Boolean algebra, X an Fspace. A function \(f: {\mathcal {B}} \rightarrow X\) is said to be compact provided its image \(f({\mathcal {B}})\) is a relatively compact subset of X.
An Fspace X is said to have the approximation property if for every relatively compact subset \(K \subset X\) and every \(\varepsilon > 0\) there exists a finite rank operator \(P \in {\mathcal {L}}(X)\) such that \(\Vert x  Px\Vert \le \varepsilon \) for all \(x \in K\).
Next is the main result of the section.
Theorem 3.1
 (i)
T is a finite rank measure;
 (ii)
T is compact and the closed linear span \([T({\mathcal {B}})]\) of the range \(T({\mathcal {B}})\) isomorphically embeds in an Fspace with the approximation property;
 (iii)
T is compact and X is a Banach space.
In particular, every order continuous finite rank measure \(T: {\mathcal {B}} \rightarrow X\) is almost dividing, and every order continuous compact measure \(T: {\mathcal {B}} \rightarrow X\) is almost dividing under the additional assumption that the closed linear span of the range of T isomorphically embeds in an Fspace with the approximation property.
For the proof, we need some lemmas.
Lemma 3.2
Let \({\mathcal {B}}\) be an atomless order complete Boolean algebra, X an Fspace and \(f: {\mathcal {B}} \rightarrow X\) an order continuous measure. If \(u = \bigsqcup {\mathcal {A}}\) is a partition of an element \(u \in {\mathcal {B}}\) then \(f(u) = \sum _{a \in {\mathcal {A}}} f(a)\), where the series converges unconditionally in X. In particular, the set \(\{a \in {\mathcal {A}}: \, f(a) \ne 0\}\) is at most countable.
Proof
By \({\mathcal {B}}^+\) we mean the set of all nonzero elements of a Boolean algebra \({\mathcal {B}}\).
Lemma 3.3
Proof
 (1)
for every \(x,y \in {\mathcal {B}}\) the inequality \(x \le y\) implies \({\widetilde{f}}(x) \le {\widetilde{f}}(y)\);
 (2)
\({\widetilde{f}}\) is order continuous at zero;
 (3)
\((\forall \varepsilon > 0) (\forall \,\, \text{ partition } \text{ of } \text{ unity } \,\, {\mathcal {A}}'), \,\, \text{ the } \text{ set } \,\, \{a \in {\mathcal {A}}': \, {\widetilde{f}}(a) \ge \varepsilon \} \,\,\, \text{ is } \text{ finite }.\)
(3) Assuming (3) is not true, choose \(\varepsilon > 0\) and a sequence \((a_n)_{n=1}^\infty \) of disjoint elements of \({\mathcal {B}}\) such that \({\widetilde{f}}(a_n) \ge \varepsilon \) for all \(n \in {\mathbb {N}}\). Set \(b_n = \bigsqcup _{k=n}^\infty a_k\), \(n = 1,2, \ldots \). Observe that \(b_n \downarrow 0\) and by (1), \({\widetilde{f}}(b_n) \ge {\widetilde{f}}(a_n) \ge \varepsilon \), which contradicts (2).
Thus, properties (1)–(3) are proved.
Fix any \(b \in {\mathcal {B}}^+\) and \(\varepsilon > 0\), and consider a maximal (with respect to the inclusion) disjoint family \({\mathcal {A}} \subseteq \{a \le b: \,\, {\widetilde{f}}(a) < \varepsilon \}\) (the existence of which is guaranteed by the Zorn lemma). We show that \({\mathcal {A}}\) is a partition of b. Assume, on the contrary, that \(b' = b  \bigsqcup {\mathcal {A}} > {\mathbf {0}}\). Using atomlessness of \({\mathcal {B}}\), decompose \(b'\) into an infinite disjoint sum of nonzero elements \(b' = \bigsqcup _{n=1}^\infty b_n\), \(b_n > 0\). By the maximality of \({\mathcal {A}}\), one has \({\widetilde{f}}(b_n) \ge \varepsilon \) for all \(n \in {\mathbb {N}}\), which contradicts (3). Thus, \(b = \bigsqcup {\mathcal {A}}\). It remains to note that if \(x \le a \in {\mathcal {A}}\) then \(\Vert f(x)\Vert \le {\widetilde{f}}(a) < \varepsilon \).
(B) Fix any \(b \in {\mathcal {B}}^+\) and \(\varepsilon > 0\) and suppose on the contrary that every partition \({\mathcal {A}}\) satisfying (3.1) is infinite. Choose some partition \({\mathcal {A}}\) satisfying (3.1). Our goal is to construct a disjoint sequence \((y_n)\) with \(\Vert f(y_n)\Vert \ge \varepsilon /2\) for all \(n \in {\mathbb {N}}\), which would contradict (3). Since the singleton partition \(\{b\}\) of b is finite, (3.1) does not hold true and \(x_1 \le b\) can be chosen so that \(\Vert f(x_1)\Vert \ge \varepsilon \). By the order completeness of \({\mathcal {B}}\), \(x_1 = \bigsqcup _{a \in {\mathcal {A}}} x_1 \cap a\). By Lemma 3.2, \(f(x_1) = \sum _{a \in {\mathcal {A}}} f(x_1 \cap a)\). Choose a finite subset \(A_1\) of \({\mathcal {A}}\) so that \(\Vert \sum _{a \in A_1} f(x_1 \cap a)\Vert \ge \varepsilon /2\) and set \(y_1 = \sum _{a \in A_1} x_1 \cap a\). Now describe the second step. Since the partition \(A_1 \cup \{b\bigsqcup _{a \in A_1} a\}\) of b is finite, (3.1) does not hold true and \(x_2 \le b\bigsqcup _{a \in A_1} a\) can be chosen so that \(\Vert f(x_2)\Vert \ge \varepsilon \). By the order completeness of \({\mathcal {B}}\), \(x_2 = \bigsqcup _{a \in {\mathcal {A}} \setminus A_1} x_2 \cap a\). By Lemma 3.2, \(f(x_2) = \sum _{a \in {\mathcal {A}}\setminus A_1} f(x_2 \cap a)\). Choose a finite subset \(A_2\) of \({\mathcal {A}}\setminus A_1\) so that \(\Vert \sum _{a \in A_2} f(x_2 \cap a)\Vert \ge \varepsilon /2\) and set \(y_2 = \sum _{a \in A_2} x_2 \cap a\). Continuing the recursive procedure in the obvious manner, we construct the desired sequence. \(\square \)
Lemma 3.4
For the proof we refer the reader to [6, p. 14].
Proof of Theorem 3.1
Remark 3.5
 (1)
Concerning arbitrary Fspaces, one of the sufficient conditions on an Fspace Y to have the approximation property is that Y has a transfinite basis, see [11, Proposition 5.1].
 (2)
A large class of Fspaces that cannot be embedded in an Fspace with the approximation property if the class of Fspaces with trivial dual \(X^* = \{0\}\), including \(L_p(\mu )\)spaces with \(0 \le p < 1\) on atomless measure spaces.
4 The sum of a narrow and a finite rank laterally continuous OAOs in Riesz spaces
A subset \(A \subseteq E\) is said to be laterally bounded if \(A \subseteq {\mathfrak {F}}_e\) for some \(e \in E\). A net \((x_\alpha )\) in Eorder converges to an element \(x \in E\) if there exists a net \((u_\alpha )\) in E with the same index set such that \(x_\alpha  x \le u_\alpha \) for all indices \(\alpha \) and \(u_\alpha \downarrow 0\). In this case we write \(x_\alpha {\mathop {\longrightarrow }\limits ^{\mathrm{o}}} x\), and say that x is the order limit of \((x_\alpha )\). If \(x_\alpha {\mathop {\longrightarrow }\limits ^{\mathrm{o}}} x\) and, moreover, there is an index \(\alpha _0\) such that the tail \((x_\alpha )_{\alpha \ge \alpha _0}\) is laterally bounded, we say that \((x_\alpha )\)laterally converges to x, write \(x_\alpha {\mathop {\longrightarrow }\limits ^{\mathrm{\ell }}} x\), and say that x is the lateral limit of \((x_\alpha )\). We remark that in some papers the authors additionally assume the lateral increase of the net in the definition of the lateral convergence, that is, \(x_\alpha \sqsubseteq x_\beta \) if \(\alpha < \beta \). So, our definition is more general, however the lateral continuity is more restrictive.
Let E be a Riesz space and X an Fspace. We say that a function \(f: E \rightarrow X\) is laterally continuous at a point\(e \in E\) provided for every net \((x_\alpha )\) in E the condition \(x_\alpha {\mathop {\longrightarrow }\limits ^{\mathrm{\ell }}} x\) implies \(f(x_\alpha ) \rightarrow f(x)\). A function which is laterally continuous at each point \(e \in E\) is called laterally continuous. In the case where X is a Riesz space (or a Banach lattice), to distinguish different types of convergence in X, we use the terms “laterally continuous” (for the lateral convergence in X), “laterallytoorder continuous” and “laterallytonorm continuous” respectively with the obvious meaning.
It is natural (but not so obvious as in the case of linear operators) that the lateral continuity of an OAO at zero implies its lateral continuity [4]. However, the lateral continuity of an OAO at a fixed nonzero point does not imply its lateral continuity [12].
Let E be a Riesz space and X an Fspace. An OAO \(T: E \rightarrow X\) is said to be Ccompact if T sends laterally bounded sets to relatively compact sets.
Theorem 4.1
Let E be an atomless Dedekind complete Riesz space, X an Fspace, \(S,T: E \rightarrow X\) OAOs with S narrow and T finite rank laterally continuous. Then the sum \(S+T\) is narrow.
Proof
Fix any \(e \in E^+\) and \(\varepsilon > 0\). It is well known that the set of all fragments \({\mathfrak {F}}_e\) of e is a Boolean algebra with zero 0, unity e and with respect to the lateral partial order \(\sqsubseteq \), which is order complete by the Dedekind completeness of E [2, Theorem 3.15] (see also [12] for details). \({\mathfrak {F}}_e\) is an atomless Boolean algebra by the atomlessness of E. Then an immediate application of Theorem 3.1 to the restrictions \(S_{{\mathfrak {F}}_e}\) and \(T_{{\mathfrak {F}}_e}\) yields the existence of a decomposition \(e = e' \sqcup e''\) with \(\Vert (S+T)(e')  (S+T)(e'')\Vert < \varepsilon \). \(\square \)
One can prove similarly the next applications of Theorem 3.1.
Theorem 4.2
Let E be an atomless Dedekind complete Riesz space, X an Fspace, \(S,T: E \rightarrow X\) OAOs with S narrow and T laterally continuous Ccompact. Assume that, for every \(e \in E\), the closed linear span \([T({\mathfrak {F}}_e)]\) of the range \(T({\mathfrak {F}}_e)\) isomorphically embeds in an Fspace with the approximation property. Then the sum \(S+T\) is narrow.
Theorem 4.3
Let E be an atomless Dedekind complete Riesz space, X a Banach space, \(S,T: E \rightarrow X\) OAOs with S narrow and T laterally continuous Ccompact. Then the sum \(S+T\) is narrow.
To this concern, one problem still remains open.
Problem 1
[11] Let \(0<p<1\). Is a sum of two narrow operators from \({\mathcal {L}}(L_\infty ,L_p)\), at least one of which is compact, is narrow?
Notes
References
 1.Albiac, F., Kalton, N.: Topics in Banach Space Theory, Graduate Texts in Mathematics, vol. 233. Springer, New York (2006)zbMATHGoogle Scholar
 2.Aliprantis, C.D., Burkinshaw, O.: Positive Operators. Springer, Dordrecht (2006)CrossRefzbMATHGoogle Scholar
 3.Gumenchuk, A.: On the sum of narrow and finite rank orthogonally additive operators. Ukr. Math. J. 67(12), 1831–1837 (2015)MathSciNetCrossRefGoogle Scholar
 4.Gumenchuk, A.: Lateral continuity and orthogonally additive operators. Carpath. Math. Publ. 7(1), 49–56 (2015)MathSciNetzbMATHGoogle Scholar
 5.Gumenchuk, A.I., Popov, M.M.: On the sum of a narrow and a finite rank operators on vector lattices. Bukovinian Math. J. 5(1–2), 62–70 (2017). (in Ukrainian)zbMATHGoogle Scholar
 6.Kadets, V.M., Kadets, M.I.: Rearrangements of series in Banach spaces. Translations of Mathematical Monographs. Am. Math. Soc. 86 (1991)Google Scholar
 7.Krasikova, I.V.: A note on narrow operators in \(L_\infty \). Mat. Stud. 31(1), 102–106 (2009)MathSciNetzbMATHGoogle Scholar
 8.Maslyuchenko, O.V., Mykhaylyuk, V.V., Popov, M.M.: A lattice approach to narrow operators. Positivity 13, 459–495 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
 9.Mazón, J.M., Segura de León, S.: Order bounded ortogonally additive operators. Rev. Roumane Math. Pures Appl. 35(4), 329–353 (1990)zbMATHGoogle Scholar
 10.Mazón, J.M., Segura de León, S.: Uryson operators. Rev. Roumane Math. Pures Appl. 35(5), 431–449 (1990)zbMATHGoogle Scholar
 11.Mykhaylyuk, V.V.: On the sum of a narrow and a compact operators. J. Funct. Anal. 266, 5912–5920 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
 12.Mykhaylyuk, V., Pliev, M., Popov, M.: The lateral order on Riesz spaces and orthogonally additive operators, PreprintGoogle Scholar
 13.Mykhaylyuk, V., Pliev, M., Popov, M., Sobchuk, O.: Dividing measures and narrow operators. Stud. Math. 231(2), 97–116 (2015)MathSciNetzbMATHGoogle Scholar
 14.Mykhaylyuk, V.V., Popov, M.M.: On sums of narrow operators on Köthe function spaces. J. Math. Anal. Appl. 404, 554–561 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
 15.Plichko, A.M., Popov, M.M.: Symmetric function spaces on atomless probability spaces. Diss. Math. (Rozpr. Mat.) 306, 1–85 (1990)MathSciNetzbMATHGoogle Scholar
 16.Pliev, M.A., Popov, M.M.: Narrow orthogonally additive operators. Positivity 18, 641–667 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
 17.Popov, M.M.: An elementary proof of the nonexistence of nonzero compact operators acting from the space \(L_p\), \(0 < p < 1\). Mat. Zametki 47(5), 154–155 (1990). (in Russian)MathSciNetGoogle Scholar
 18.Popov, M.M.: Narrow operators (a survey). Banach Center Publ. 92, 299–326 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
 19.Popov, M., Randrianantoanina, B.: Narrow Operators on Function Spaces and Vector Lattices. De Gruyter Studies in Mathematics 45, De Gruyter, Berlin (2013)CrossRefzbMATHGoogle Scholar
 20.Popov, M., Sobchuk, O.: On the “function” and “lattice” definitions of a narrow operator. Positivity 22(1), 59–62 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
 21.Rolewicz, S.: Metric Linear Spaces. PWN, Warszawa (1985)zbMATHGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.