On the sum of a narrow and a compact operators arxiv:151.07838v1 [math.fa] 3 Dec 015 Abstract Volodymyr Mykhaylyuk Department of Applied Mathematics Chernivtsi National University str. Kotsyubyns koho, Chernivtsi, 5801 (Ukraine) Our main technical tool is a principally new property of compact narrow operators which works for a domain space without an absolutely continuous norm. It is proved that for every Köthe F-space X and for every locally convex F-space Y the sum T 1 + T of a narrow operator T 1 : X Y and a compact narrow operator T : X Y is a narrow operator. This gives a positive answers to questions asked by M. Popov and B. Randrianantoanina ([6, Problem 5.6 and Problem 11.63]) Keywords: Narrow operators; compact operators 000 MSC: Primary 46B99; Secondary 47B99. 1. Introduction ThenotionofnarrowoperatorswasintroducedbyA.PlichkoandM.Popov in [5]. This notion was considered as some development of the notion of a compact operator. Narrow operators were studied by many mathematicians (see [6]). The question of whether a sum of two narrow operators has to be narrow cause a special interest in the investigation of properties of narrow operators. The study of this question was conducted in two directions. The first of them consists of results on the narrowness of a sum of two narrow operators. It was obtained in [5] that a sum of two narrow operators on L 1 is narrow. The question on the narrowness of a sum of two narrow operators definedonl 1 withanyrangebanach spacewasarised inthisconnection (see []). In [3] the notion of narrow operators defined on Köthe function spaces was extended to operators defined on vector lattices. Results obtained in [3] imply that a sum T 1 +T of two regular narrow operators T 1,T : X Y Email address: vmykhaylyuk@ukr.net (Volodymyr Mykhaylyuk) Preprint submitted to Elsevier February 8, 018
defined on an order continuous atomless Banach lattice X and with values in an order continuous Banach lattice Y is narrow. The second direction of the investigations contains examples of two narrow operators the sum of which is non-narrow. It was proved in [5] that for any rearrangement invariant space X on [0, 1] with an unconditional basis every operator on X is a sum of two narrow operators. In [4] M.Popov and the author proved that for any Köthe Banach space X on [0,1], there exist a Banach space Y and narrow operators T 1,T : X Y with a non-narrow sum T = T 1 +T. This answers in the negative the question of V. Kadets and M. Popov from []. Moreover, an example of regular narrow operators T 1,T : L p L, where p (1, ], with a non-narrow sum T 1 + T was constructed in [4]. Furthermore, the narrowness of the sum of a narrow and a compact operators was investigated too. It was proved in [5] that the sum of a narrow and a compact operators defined on a symmetric Banach space on [0,1] with anabsolutely continuous normis narrow. SinceL istheclassical example of a symmetric Banach space the norm of which is not absolutely continuous, the following questions are natural. Problem 1.1. ([6, Problem 5.6]) Is a sum of two narrow functionals on L narrow? Problem 1.. ([6, Problem 11.63]) Is a sum of two narrow operators on L, at least one of which is compact, narrow? It worth mentioning that a compact operator defined on L need not be narrow. Moreover, there is a nonnarrow continuous linear functional [3]. Thus, instead of asking of whether the sum of a narrow and a compact operators is narrow, one should ask of whether the sum of a narrow and a compact narrow operators is narrow. In this paper we obtain a principally new property of compact narrow operator which works for a domain space without an absolutely continuous norm. Using this property we give a positive answer to problems 1.1 and 1.. More precisely, we show that for every Köthe F-space X and for every locally convex F-space Y the sum of a narrow operator T 1 : X Y and a compact narrow operator T : X Y is narrow.. Preliminaries For topological vector spaces X and Y by L(X,Y) we denote the space of all linear continuous operators T : X Y.
Let (Ω,Σ,µ) be a finite atomless measure space, let Σ + be the set of all A Σ with µ(a) > 0 and let L 0 (µ) be the linear space of all equivalence classes of Σ-measurable functions x : Ω K, where K {R,C}. By 1 A wedenote thecharacteristic functionof aset A Σ. Thenotation A = B C means that A = B C and B C = 0. By a sign we mean any { 1,0,1}-valued element x L 0 (µ). A sign x is called a sign on a set A Σ provided suppx = A. A sign x L 0 (µ) is said to be of mean zero if xdµ = 0. A complete metric linear space with an invariant metric ρ(x,y) = ρ(x+ z,y +z) and the corresponding F-norm x = ρ(x,0) is called an F-space. With no loss of generality we may additionally assume that for every x X and every scalar α with α 1 one has αx x. An F-space X which is a linear subspace of L 0 (µ) is called a Köthe F-space on (Ω,Σ,µ) if 1 Ω X, and for each x L 0 (µ) and y X the condition x y implies x X and x y. If, moreover, X is a Banach space and X L 1 (µ) then X is called a Köthe Banach space on (Ω,Σ,µ). A Köthe F-space X on (Ω,Σ,µ) is said to have an absolutely continuous norm, if lim µ(a) 0 x 1A = 0for every x X, andan absolutely continuous norm on the unit if lim µ(a) 0 1 A = 0. Let X be a Köthe F-space on (Ω,Σ,µ), and let Y be an F-space. An operator T L(X,Y) is called narrow if for every A Σ + and ε > 0 there is a mean zero sign x on A with Tx < ε. An operator T L(X,Y) is called strictly narrow if for every A Σ + there is a mean zero sign x on A with Tx = 0. Let α be an at most countable ordinal, (X,ρ) be a metric linear space and (x ξ : ξ < α) be a family of x ξ X. Using induction in α, we define the sum x ξ. If α = β + 1 then x ξ = x ξ + x β, and if α is a limited ξ<α ξ<α ξ<β ordinal then x ξ = lim x ξ. One can analogously introduce the sum ξ<α β α ξ<β i I x i where I is an at most countable well-ordered set. Let X be an F-space and I be a well-ordered set. A family (x i : i I) of x i X is called a transfinite basis of X(see [7, p.581]) if for every x X there exists a unique family (a i : i I) of scalars a i I such that the set J = {i I : a i 0} is at most countable and x = i J a ix i = i I a ix i. Moreover, the family of linear functionals f i : X K, f i (x) = a i, where x = j I a jx j, is called the associated family of coefficient functionals. 3
3. A property of compact narrow operators Proposition 3.1. Let X be a Köthe F-space on (Ω,Σ,µ), Z be a set of all signs in X, Y be an F-space, T L(X,Y) be a narrow operator such that the set K = T(Z) is a compact subset of Y and ε > 0. Then there exists a partition Ω = n A n of Ω into measurable sets A k Σ such that Tx ε for every k n and every sign x with suppx A k. Proof. Assume on the contrary that the hypothesis is false. Using induction in n N we show that for each n N there exists a collection (x k ) n of signs x k on mutually disjoint sets B k such that Tx k ε for every k n. For n = 1 the statement is obvious. Let it be true for n = k. Prove it for n = k+1. Let (x i ) k i=1 be a collection of signs x i on mutually disjoint sets B i such that Tx i ε for every i k. Set A = Ω \ k B i. If there exist a measurable set B k+1 A and a sign x k+1 on B k+1 such that Tx k+1 ε then the collection (x i ) k+1 i=1 is as desired. Otherwise, by the assumption there exist i k, a measurable set B B i and a sign z on B such that Tz > ε. Say, let i = k. Using the narrowness of T we decompose the set B into measurable sets B k and B k+1 such that Tz k ε and Tz k+1 ε, where z k = x k 1 Bk and z k+1 = x k 1 Bk+1. Thenthe collection x 1,...,x k 1,z k,z k+1 is as desired. Set V = {y Y : y < ε 4 }. Using the compactness of K we choose n N and a circled neighborhood of zero V 1 in Y such that K +V 1 nv. We take a 0-neighborhood W V in Y and a collection (y k ) m of points y k K such that W } + +W {{} (y k + W). Denote n N = mn. Using the claim proved above we find a collection (x i ) N i=1 of signs x i on mutually disjoint sets B i such that Tx i ε for every i N. Since {Tx i : 1 i mn} m (y k +W), there exists an integer k m such that i=1 V 1 and K m {i N : Tx i y k +W} n. Denote y 0 = y k. Without loss of generality we may and do assume that Tx i y 0 +W for every i n. Since Tx 1 ε and W V = {y Y : y < ε 4 }, y 0 ε 4, that is y 0 V. Let z = n x i. Since the sets B i are mutually disjoint, z Z and i=1 4
y = Tz = n Tx i K. Moreover, i=1 y ny 0 +W } + +W {{} ny 0 +V 1. n Now we have ny 0 K V 1 = K +V 1 nv, that is y 0 V, which implies a contradiction. 4. The sum of a narrow and a finite rank operators Proposition 4.1. Let X be a Köthe F-space on (Ω,Σ,µ), Z be the set of all signs in X, Y 1,Y be F-spaces, T 1 L(X,Y 1 ) be a narrow operator, T L(X,Y ) be an operator such that the set K = T (Z) is relatively compact in Y, σ > 0, 0 < γ < ε and δ > 0 such that T 1 A γ if µ(a) δ. Then there exists a mean zero sign x on Ω such that T 1 x σ and T x ε. Proof. Set ε 1 = ε γ. Using the narrowness of T 1 we construct a sequence of probability independent mean zero signs r n (1) on A 1 = Ω such that T 1 r n (1) σ for every n N. Since K is relatively compact, there exist distinct m 1,n 1 N such that for x 1 = 1 (r(1) n 1 r m (1) 1 ) we have T x 1 < ε 1. Set B 1 = suppx 1 and A = A 1 \B 1. It is clear that µ(a ) = µ(b 1 ) = 1 µ(ω), x 1 is a mean zero sign on B 1 and T 1 x 1 σ. Now we choose a sequence of probabilistic independentmean zero signs r () n on A suchthat T 1 r () n σ 3 for every n N, and find n,m N so that for x = 1 (r() n r m () ) we have T x < ε 1. Set B = suppx and A 3 = A \ B. It is clear that µ(a ) = µ(b 1 ) = 1 µ(ω), x is a mean zero sign on B and T 1 x σ. Repeating this process we obtain a sequence (B n ) of measurable sets B n and a sequence (x n ) of mean zero signs x n on B n which satisfy the following conditions: (a) B n B m = for arbitrary distinct n,m N; (b) µ(b n ) = µ(ω) n for every n N; (c) T 1 x n σ n and T x n ε 1 for every n N. n Using the proposition assumption, choose m N so that µ(ω) δ. m Set B = m B n and choose a mean zero sign z on A = Ω \ B such that T 1 z σ m. Note that T z γ and x = m 5 x n +z is a mean zero sign
on Ω. Now we have T 1 x m T 1 x n + T 1 z m σ n + σ m = σ and T x m T x n + T z m ε 1 n +γ ε 1 +γ = ε. Corollary 4.. Let X be a Köthe F-space on (Ω,Σ,µ), Z be the set of all signs in X, Y be an F-space, T 1 L(X,Y) be a narrow operator, T L(X,Y) be an operator such that the set T (Z) is relatively compact in Y and lim µ(a) 0 T 1 A = 0. Then T = T 1 +T is a narrow operator. We need the next well-known lemma (see [1, lemma.1.], [6, lemma 10.0]). Lemma 4.3. Let (x i ) n i=1 be a finite sequence of vectors in a finite dimensional normed space X and (λ i ) n i=1 be reals with 0 λ i n for each i. Then there exists a sequence (θ i ) n i=1 of numbers θ i {0,1} such that n (λ i θ i )x i dimx max x i. i Theorem 4.4. Let X be a Köthe F-space on (Ω,Σ,µ), Y 1,Y be F-spaces, T 1 L(X,Y 1 ) be a narrow operator, T L(X,Y ) be a finite rank narrow operator and σ,ε > 0. Then there exists an of mean zero sign x on Ω such that T 1 x σ and T x ε. Proof. Set m = dimt (X) and choose δ > 0 such that for each y T (X) the inequality p(y) δ implies the inequality y ε, where p is a fixed norm on T (X). Using Proposition 3.1 we choose a partition Ω = n A n of Ω into measurable sets A k Σ such that p(t x) δ m for every k n and every sign x with suppx A k. Using the narrowness of T 1 for every k n we choose a mean zero sign x k on A k such that T 1 x k σ. Note that k p(t x k ) δ m. Using Lemma 4.3 we choose a collection (θ k) n, θ k { 1,1} 6
such that p( n θ k T x k ) δ. Set x = n θ k x k. It is clear that x is a mean zero sign on Ω. By the choice δ we have T x ε. Moreover, T 1 x n T 1 x k n ε k σ. Corollary 4.5. Let X be a Köthe F-space on (Ω,Σ,µ), Z be the set of all signs in X, Y be an F-space, T 1 L(X,Y) be a narrow operator, T L(X,Y) be an operator, the restriction of which T Z is a uniform limit of a sequence (S n Z ) where all operators S n L(X,Y) are narrow and finite rank. Then the operator T = T 1 +T is narrow. 5. The sum of a narrow and a compact operators Proposition 5.1. Let I be a well-ordered set, X be an F-space with a transfinite basis (e i : i I). Then the coefficient functionals are continuous and the family (f i : i I) is equicontinuous if e i 1 for every i I. If, moreover, K is a compact subset of X and ε > 0, then there exists a finite set J I such that x i J f i(x)e i ε for every x K. Proof. We argue analogously as in the case of a separable Banach space X (see [8, p.115]). Let I 0 = I {i 0 } and i < i 0 for every i I. Consider the function p(x) = sup f i (x)e i, i I 0 j<i which is an F-norm on X. Note that x p(x) for every x X and the space (X, p) is complete. According to Banach Theorem on homomorphism, the identity mapping id : (X, ) (X,p) is continuous. Therefore for every n N there exists δ > 0 such that the inequality x < δ implies p(x) 1 n. Then f i(x)e i 1 n. Hence, f i is continuous and f i (x) 1 n if e i 1. Moreover, the family (T i,j : i < j i 0 ) of operators T i,j : X X, T i,j (x) = i α<j f α(x)e α, is equicontinuous too. Now we prove the second part. Let j 1 be the maximal element of the set J 1 of all limited elements in I 0 (j 1 exists being equal the minimal element of the set {i I 0 : ( j J 1 )(j i)}) containing i 0. It follows from [8, p. 86] that there exists i 1 < j 1 such that T i1,j 1 x ε for every x K. Let j be the maximal element of the set J of all limit elements in I 1 = 7
{i I 0 : i i 1 }. Note that j < j 1 and the set {i I 0 : j i < i 1 } is finite. Using [8, p. 86] we choose i < j such that T i,j x ε for every x K. And so on. Since the set I 0 does not contain a strictly decreasing sequence, there exists an n N such that the set J n+1 of all limit elements in I n = {i I 0 : i < i n } is empty, that is I n is finite. It remains to put J = I n ( 1 k n 1 {i I 0 : j k+1 i < i k }). Theorem 5.. Let X be a Köthe F-space on (Ω,Σ,µ), Z be the set of all signs in X, Y be an F-space with a transfinite basis, T 1 L(X,Y) be a narrow operator, T L(X,Y) be a narrow operator such that the set K = T (Z) is a relatively compact set in Y. Then the operator T = T 1 +T is narrow. Proof. The proof follows immediately from Proposition 5.1 and Corollary 4.5. Theorem 5.3. Let X be a Köthe F-space on (Ω,Σ,µ), Z be the set of all signs in X, Y be a locally convex F-space, T 1 L(X,Y) be a narrow operator, T L(X,Y) be a narrow operator such that the set K = T (Z) is relatively compact in Y. Then the operator T = T 1 +T is narrow. Proof. It is sufficient to prove that for every ε > 0 there exists a mean zero sign x on Ω such that Tx ε. Fix ε > 0 and show that there is a mean zero sign x on Ω such that T 1 x ε and T x ε. Choose an absolutely convex open 0-neighborhood V in Y such that y ε 5 for every y V. If K 1 = K \{y Y : y ε } = then using the narrowness of T 1 it is sufficient to choose a mean zero sign x on Ω such that T 1 x ε. Now let K 1. Choose y 1,...,y n K 1 such that K 1 n (y k + V). Note that (y k + V) V = for every k n. Then for every k n there exists a linear continuous functional f k : Y R which strictly separates the sets y k +V and V (see, for example, [9, p.64]). Without loss of generality we may and do assume that f k (y k ) = 1, moreover, f k (y) < 1 for every y V. Consider the continuous linear operators S : Y l, n Sy = (f k (y)) n and S 1 : X l, n S 1 (x) = S(T x). Since the operator T is narrow, the operator S 1 is narrow too. Therefore by Theorem 4.4, there exists a mean zero sign x on Ω such that T 1 x ε and S 1x 1. Show that T x ε. Assume that T x > ε. Then y 0 = T x K 1 and there exists an k n such that y 0 (y k +V). Therefore y k y 0 V, 8
f k (y k y 0 ) < 1 and f k(y 0 ) > f k (y k ) 1 = 1. Thus S 1x f k (T (x)) = f k (y 0 ) > 1, which implies a contradiction. 6. Examples, a question The conclusion of Proposition 3.1 is valid for every linear continuous operator T L(X,Y) with lim T1 A = 0, in particular, if X has an µ(a) 0 absolute continuous norm of the unit. The next example shows that the conclusion of Proposition 3.1 cannot be replaced with the following stronger conclusion: for every ε > 0 there is δ > 0 such that T1 A ε if µ(a) δ. The example construction is similar to the construction used in [3, Example 4.]. Example 6.1. There exists a linear continuous strictly narrow functional f on L such that f(1 An ) = 1 for some sequence of measurable sets A n with lim n µ(a n) = 0. Proof. We make a construction for the space L ([0,1] ). Denote by µ 1 and µ the Lebesgue measure on [0,1] and [0,1] respectively, and by Σ 1 and Σ the system of all measurable subsets of [0,1] and [0,1] respectively. Let P : L ([0,1] ) L ([0,1]) be the conditional expectation operator which is defined by Px(t) = x(t,s)dµ 1 (s). It follows from [6, Theorem [0,1] 4.10] that P is strictly narrow. Choose a maximal system A Σ 1 such that µ 1 ( n B k ) > 0 for every n N and A 1,...,A n A. The maximality of A implies that either A A, or B A for every A,B Σ 1 with [0,1] = A B. Moreover, all the sets A Σ 1 with µ 1 (A) = 1 belong to the system A. Consider the finitely additive measure λ : Σ {0,1} on [0,1] defined by λ(a) = { 1, A A 0, A A. Observethattheformulag(x) = xdλdefinesalinearcontinuous functional g on L ([0,1]) and the formula f(x) = g(px) defines a linear continuous strictly narrow functional f on L ([0,1] ). Choose a sequence of sets B n A such that µ 1 (B n ) 1 n and set A n = B n [0,1] for every n N. It is clear that lim µ (A n ) = 0 and f(1 An ) = n g(1 Bn ) = 1 for every n N. 9
The following example shows that the assumption of the relative compactness of T(Z) in Propositions 3.1 and 4.1 is weaker than the compactness of T. Example 6.. There exists a linear continuous strictly narrow non-compact operator T : L 1 l 1 such that the set T(Z) is compact, where Z is the set of all signs in L 1. Proof. For every n N set A n = [ 1 1, n ] and for every x L n 1 1 set ( ) Tx = xdµ. It is clear that the operator T : L An 1 l 1 is linear and continuous with T = 1. Moreover, for every A Σ + there is a mean zero sign A such that A n xdµ = 0 for every n N. Thus, T is strictly narrow. Since A n zdµ 1 for every n N and z Z, the set T(Z) is n relatively compact. Finally, T is non-compact, because the standard basis of l 1 is contained in the image of the unit ball of L 1. The following question naturally arises in connection with Theorems 5.3 and 5.. Problem 6.3. Let 0 < p < 1. Is a sum of two narrow operators from L(L,L p ), at least one of which is compact, narrow? References [1] V. M. Kadets, M. I. Kadets, Rearrangements of series in Banach spaces, Trans. Math Monogr. Am. Mat. Soc., 86 (1991). [] V. M. Kadets, M. M. Popov. Some stability theorems about narrow operators on L 1 [0,1] and C(K). Mat. Fiz. Anal. Geom. 10 (1) (003), 49 60. [3] O. V. Maslyuchenko, V. V. Mykhaylyuk, M. M. Popov. A lattice approach to narrow operators. Positivity. 13 (009), 459 495. [4] Mykhaylyuk V.V., Popov M.M. On sums of narrow operators on Köthe function spaces, J. Math. Anal. Appl., 013 (013). pp.554-561. [5] A. M. Plichko and M. M. Popov, Symmetric function spaces on atomless probability spaces, Dissertationes Math. (Rozprawy Mat.) 306 (1990), pp. 1 85. 10
[6] M. Popov, B. Randrianantoanina, Narrow Operators on Function Spaces and Vector Lattices, De Gruyter Studies in Mathematics 45, De Gruyter. (013) [7] I. Singer, Bases in Banach Spaces II, Springer, (1981). [8] H. Schaefer, Topological vector spaces, Springer, (1970). [9] H. Schaefer, M.Wolff, Topological vector spaces, Springer, (1999). 11