Научная статья на тему 'Operators on injective Banach lattices'

Operators on injective Banach lattices Текст научной статьи по специальности «Математика»

CC BY
79
9
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
AL-SPACE / AM-SPACE / INJECTIVE BANACH LATTICE / BOOLEAN-VALUED MODEL / BOOLEAN-VALUED TRANSFER PRINCIPLE / DAUGAVET EQUATION / CYCLICALLY COMPACT OPERATOR / CONE B-SUMMING OPERATOR

Аннотация научной статьи по математике, автор научной работы — Kusraev Anatoly Georgievich

The paper deals with some properties of bounded linear operators on injective Banach lattice using a Boolean-valued transfer principle from AL-spaces to injectives stated in author's previous work.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Operators on injective Banach lattices»

Владикавказский математический журнал 2016, Том 18, Выпуск 1, С. 42-50

УДК 517.98

OPERATORS ON INJECTIVE BANACH LATTICES1 A. G. Kusraev

To Alexander Gutman on occasion of his 50th birthday

The paper deals with some properties of bounded linear operators on injective Banach lattice using

a Boolean-valued transfer principle from AL-spaces to injectives stated in author's previous work.

Mathematics Subject Classification (2010): 46B04, 46B42, 47B65, 03C90, 03C98.

Key words: AL-space, AM-space, injective Banach lattice, Boolean-valued model, Boolean-valued

transfer principle, Daugavet equation, cyclically compact operator, cone B-summing operator.

1. Introduction

In this paper we consider some properties of bounded linear operators on injective Banach lattices using a Boolean-valued transfer principle from AL-spaces to injective Banach lattices stated in Kusraev [1]. In Section 2 we collect some Boolean valued representation results for Banach lattices and regular operators (Theorems 2.2, 2.4, and 2.5). In Section 3 we present a Daugavet type equation (Theorem 3.5 and Corollary 3.9) and a Daugavet type inequality (Theorem 3.8) for operators on injective Banach lattices. Section 4 deals with the problem when the spaces of regular (Theorem 4.4), cyclically compact (Theorem 4.7), and cone B-summing (Theorem 4.10) operators are injective Banach lattice.

Recall some basic definitions. A real Banach lattice X is said to be injective if, for every Banach lattice Y, every closed vector sublattice Y0 с Y, and every positive linear operator T0 : Y0 ^ X there exists a positive linear extension T : Y ^ X of T0 with 11 Toll = ||T ||. A Dedekind complete AM-space with unit (Abramovich [2] and Lotz [3]) as well as an AL-space (Lotz [3]) is an injective Banach lattice, see Meyer-Nieberg [4].

We denote by P(X) the Boolean algebra of all band projections on a vector lattice X. A crucial role in the structure theory of injective Banach lattice plays the concept of M-projection. A band projection n in a Banach lattice X is called an M-projection if ||x|| = max{||nx||, x||} for all x G X, where := IX — n. The set M(X) of all M-projections in X forms a Boolean subalgebra of P(X). Haydon [5] proved that an injective Banach lattice X is an AL-space if and only if M(X) = {0, Ix}.

In what follows X and Y denote Banach lattices, while L(X, Y) and Lr (X, Y) stand respectively for the spaces of bounded and regular operators from X into Y and ||T|| r stands for the regular norm of T G Lr (X, Y), i.e., ||T ||r := || |T | ||. Throughout the sequel B is

© 2016 Kusraev A. G.

1 The study was supported by the grants from Russian Foundation for Basic Research, projects № 14-0191339 ННИО-а and № 15-51-53119 ГФЕН-а.

a complete Boolean algebra with unit 1 and zero O, while A:= A(B) is a Dedekind complete AM-space with unit such that B ~ P(A); in this event B and P(A) are identified with 1 taken as the unit both in B and P(A). A partition of unity in B is a family (b%)%gs C B such that V^gs = 1 and A bn = O whenever £ = n

For the theory of Banach lattices and positive operators we refer to the books MeyerNieberg [4] and Aliprantic and Burkinshaw [6]. The needed information on the theory of Boolean-valued models is briefly presented in Kusraev [7, Chapter 9] and Kusraev and Ku-tateladze [8, Chapter 1]; details may be found in Bell [9], Kusraev and Kutateladze [10], Takeuti and Zaring [11]. We let := denote the assignment by definition, while N, Q, and H symbolize the naturals, the rationals, and the reals.

2. Boolean Valued Representation

In this section we present some Boolean valued representation results needed in the sequel. Assume that X is a Banach lattice and B is a complete subalgebra of a complete Boolean algebra B(X) consisting of projection bands and denote by B the corresponding Boolean algebra of band projections. We will identify P(A) and B.

Definition 2.1. If (b%)%gs is a partition of unity in B and (x%)%gs is a family in X, then there is at most one element x e X with = x for all £ e S. This element x, if existing, is called the mixing of (x%) by (b%). Clearly, x = o-^. A Banach lattice X is said to be B-cyclic or B-complete if the mixing of every family in the unit ball U (X) of X by each partition of unity in B (with the same index set) exists in U(X).

A Banach lattice (X, || ■ ||) is B-cyclic with respect to a complete Boolean algebra B of band projections on X if and only if there exists a A(B)-valued norm || on X such that (X, ||) is a Banach-Kantorovich space, \x\ ^ \y\ implies \x\ ^ \y \ for all x,y e X, and ||ir|| = |||ic|||oo (x e X), see Kusraev and Kutateladze [8, Theorems 5.8.11 and 5.9.1].

Theorem 2.2. A restricted descent of a Banach lattice from the model V(B) is a B-cyclic Banach lattice. Conversely, if X is a B-cyclic Banach lattice, then in the model V(B) there exists up to the isometric isomorphism a unique Banach lattice X whose restricted descent X4 is isometrically B-isomorphic to X. Moreover, B = M(X) if and only if [there is no M-projection in X other than 0 and Ix ] = 1-

< See Kusraev and Kutateladze [8, Theorem 5.9.1]. >

Definition 2.3. The elements X e V(B) in Theorem 2.2 and T e V(B) in Theorem 2.4 below are said to be the Boolean valued representations of X and T, respectively.

Denote by LB (X, Y) the space of all regular B-linear operators from X to Y equipped with the regular norm ||T||r := inf{||S|| : S e LB(X,Y), ±T < S}. Let X and Y be the Boolean valued representations of B-cyclic Banach lattices X and Y, respectively, while Lr (X, Y) stands for the space of all regular operators from X to Y with the regular norm within V(B). The following result states that Lr (X, Y) is the Boolean valued representation of LB (X, Y).

Theorem 2.4. Assume that X and Y are B-cyclic Banach lattices, while X and Y are their respective Boolean valued representation. The space LB (X, Y) is order B-isometric to the bounded descent Lr(X, Yof Lr(X, Y). The isomorphism is set up by assigning to any T e LB (X, Y) the element T := Tt of V(B) is uniquely determined from the formulas [ T : X ^ Y] = 1 and [ Tx = Tx] = 1 (x e X).

< According to Theorem 2.2 we may assume without loss of generality that X and Y are the bounded descents of some Banach lattices X and Y. Moreover, LB(X, Y) and

L(X, Yare B-isometric by [7, Theorem 8.3.6]. Since T(X+)t = Tt(X+t) = T(X+), it follows that T(X+) c Y+ if and only if [T(X+) C Y+] = 1. This means that the bijection T o T = Tt preserves positivity and hence is an order B-isomorphism between L$(X", Y) and J^r(X, Since for S G and J? := the relations ±T ^ S

and ^ .Yj = t are equivalent, we have [||^||r = |T|r] = 1, where \T\r = inf{|S'| :

S G ^¿(X,Y), ±T ^ S} and l^l := sup-flS^ : \x\ ^ 1}. Thus, it remains to prove that mir = |||T|r||00 (T<=JZ%(X,Y)).

If ±T < S then IIITIIloo < IIISIIloo = ||S|| and hence ||T||r ^ HITy^. To prove the reverse inequality take an arbitrary 0 < e e R and choose a partition of unity (n£)^es in B and a family (S^gs in ^¿(X,Y) such that S( > ±T and vr^l < (1 + e)|T|r for all £ e S. Define an operator S e Lb (X, Y) by Sx := mix^gs x (x e X), where the mixing exists in Y, since |S£ir| ^ (1 + £)|T|r|ir| and hence (S^x) is norm bounded in Y. Moreover, Sx = k^S^x in the sense of A-valued norm on Y. Therefore, S ^ ±T and IS"! ^ (1+e) IT\r, whence ||T||r < ||S|| = |||SHU < (1 + e)|||T|rH^. >

Theorem 2.5. Let X be a B-cyclic Banach lattice and let X be its Boolean valued representation in V(B). Then the following hold:

(1) V(B) N "X is Dedekind complete" if and only if X is Dedekind complete.

(2) V(B) N "X is injective" if and only if X is injective.

(3) V(B) N "X is an AM-space" if and only if X is an AM-space.

(4) V(B) N "X is an AL-space" if and only if X is injective and B ~ M(X).

< See Kusraev and Kutateladze [8, Theorems 5.9.6 (1) and 5.12.1]. >

Remark 2.6. As was mentioned in the introduction, Boolean valued analysis approach plays a key role in the proofs below. An alternative approach relies upon Gutman's theory of bundle representation of lattice normed spaces developed in [12, 13].

3. The Daugavet Equation in Injective Banach Latices

Definition 3.1. If X is a real Banach space, a bounded linear operator T : X ^ X is said to satisfy the Daugavet equation if ||/X + T|| = 1 + ||T||.

Theorem 3.2. If T is a bounded operator on an AL-space X then either T or —T satisfies the Daugavet equation.

< The proof and the history of this theorem see in Abramovich and Aliprantis [14, Theorem 11.23], see also Abramovich [15] and Schmidt [16]. >

Definition 3.3. Fix a complete Boolean algebra B of band projection in X, i.e., B is a complete subalgebra of P(X). A bounded linear operator T : X ^ X is said to satisfiy the Daugavet equation B-uniformly if ||n + Tn|| = 1 + ||Tn|| for all nonzero n e B. Say that p e P(X) is nonzero over B, whenever np = 0 for all nonzero n e B.

Lemma 3.4. Let A be a normed lattice with the projection property, X be a decomposable lattice normed space over A and ||ir|| := |||ic||U (% G X). Then for 0 < p G R and

i i x,y £ X the inequality \x\ ^ (1 + holds if and only if ||7nr|| ^ (1 + ||7ry||p)p for all

0 / vr G P(A).

i i

< Prove that (W G P(A)) ||7rir|| ^ (1+ \\iry\\p)p implies \x\ ^ (t + \yf)p. If the inequality

i

\x\ ^ (1 + |y\p)p is not true then there exist a nonzero 7Tq G P(A) and 0 < e G R such that

i

(l + e)7ro|ic| < 7ro(l + |y|p)p. Notice that || is P(A)-homogeneous, i.e., 7r|ir| = |7rir| and hence tt(1 + |y\p)p = (vrl + \iry\p)p for all x G X and vr G P(A), see [8, 5.8.3]. It follows that

IIttozH < (1 + 6)11^11 = IKl + ejTToNlloo < || (tt01 + |tto3/|p)^ H^ = ||(1 + \\*ov\\p)»

a contradiction. The converse implication is immediate from the relations

\*x\ = Tl\x\ > 7t(1 + I yfY = (vrl + Ivr yfY, || (1 + M^L = (1 + \\\y\r\\Poo)» • >

Theorem 3.5. Let X be an injective Banach lattice and an operator T e L(X) commutes with all M-projections. Then there exist pair-wise disjoint M-projections n0, n1, and n2 in X such that n0 + n + n2 = IX and the operators n o T + n0 o T — n2 o T and ni o T — n0 o T — n2 o T satisfy the Daugavet equation M(X)-uniformly. Moreover, for any nonzero M-projections pk ^ (k = 1,2) the operators —p2 o T and p1 o T fail to satisfy the Daugavet equation.

< Let X, T e V(B) be the Boolean valued representations of X and T, respectively. By Theorem 3.3 [X is an AL-space and T e L(X)] = 1. Let the formula ^(T) formalize the sentence 'T satisfies the Daugavet equation' and put n 1 = [^(T)], n2 = T)], n0 = n1 on2, and n = nrj—n0. Clearly, n0, n1, and n2 are pair-wise disjoint. Boolean valued transfer principle together with Theorem 3.1 imply that [either T or — T satisfies the Daugavet equation] = 1. It follows from the Transfer Principle that n 1 V n2 = [^(T) V T)] = 1, whence n1 + n0 + n2 = 1. Denote by S the mixing of (T, T, —T) by (n1,n0, n2), i. e. no + n < [S = T] and n2 < [S = —T] If S := S4 then S := n1 o T + no o T — n2 o T. By applying [7, A.5 (6)] we have vr0 + vn < A [«^ = < and vr2 <

A [y = < [^(5)1 which imply = 1. Since [||J^|| = |S|] = 1, we have

\I+S\ = l+IS"! and taking into account Lemma 3.4 and the easy relation ||l+A||oo = l+||A||oo with A e A yields ||n + Sn|| ^ 1 + ||Sn|| and hence the required equality ||n + S|| = 1 + ||Sn|| for all nonzero n e B. The operator n1 o T — n0 o T — n2 o T is handled similarly. >

We now consider Daugavet type inequalities for regular operators.

For 1 ^ p e R and arbitrary s,t e R we denote tp := sgn(t)|t|p and ap(s,i):= (s1/p+t1/p)p, where 1/p:= p-1. In a vector lattice X, we introduce new vector operations © and *, while the original ordering ^ remain unchanged:

x

© y := CTp(x, y) := (x1/p + y1/p)p, t * x := tpx (x,y G X; t G R).

Then X(p) := (X, ©, *, is again a vector lattice. Moreover, (X(p), ||-||p) with ||x||p := ||x|1/p is a Banach lattice called the p- convexification of X, see Lindenstrauss and Tzafriri [17, pp. 53, 54]. Observe that P(X(p)) = P(X) and M(X) = M(X). Given a Banach lattice X e and 1 ^ p e R, we denote by X:= X) the pA-convexification of X within Moreover, if || and ||p are the respective descents (see [8, 1.5.6]) of || • || and || • ||p then \x\p = \x\1/p for all x £ X.

Theorem 3.6. Let X be an AL-space with a weak order unit and T be a regular linear operator on , 1 < p G R. Then & _L if and only if \\p±£?p\\r ^ (1 + for

all nonzero band projections p in X(p).

< This is a reformulation of the main result (Theorem 9) in Schep [18], since in the case of a function space X we have X= {f : |f |p e X}. >

To perform the Boolean valued interpretation of Theorem 3.6 we need an auxiliary fact.

Lemma 3.7. Let X be a Banach lattice within V(B). Then for each 1 ^ p e R we have

(X(p) = (X^)(p).

< See Kusraev [19, Lemma 4]. >

Theorem 3.8. Let X be an injective Banach lattice with a weak order unit and an operator T e Lr (X(p)) commutes with M-projections on X(p). The following are equivalent:

(1) T ± Ix(P).

(2) ||7rp±7rTp||r ^ (1 + ||7rTp||?)p with 0/7re M(X) and p £ P(X) nonzero over M(X).

(3) ||p ± Tp\\r ^ (1 + \\Tp\\p)p for all nonzero p £ P(X).

< Let again X e V(B) stand for the Boolean valued representation of X. Then X is an AL-space with a weak order unit within V(B) by Theorem 2.5, while X(p) = (X(p))4 by Lemma 3.7. According to Theorem 2.4 there exists a regular operator T e Lr(X(p)) such that T = T^. By Boolean valued transfer principle, Schep's result (Theorem 3.6) is valid within V(B), i.e., [T ± IX(P)J = 1 if and only if [||p ± Tp||r ^ (1 + ||Tp||pA)1/pA for all nonzero band projections p on X] = 1. Clearly, [p = 0] = 1 if and only if np = 0 for all nonzero ir £ M(X). Observe also that \T\r = ||T|| and thus ||T||r = HITIJoo, since an injective Banach lattice is order complete, see [8, Corollary 5.10.7]. It follows that T ± Ix(p

if and only if \p±Tp\r ^ (l + \Tp\p)r for each p e P(X) nonzero over M(X). By Lemma 3.4

the last inequality is equivalent to ||vrp ± irTp\\r ^ (1 + ||7rTp||r)p for all nonzero 7r e M(X) and p e P(X) nonzero over M(X). Thus, (1) ^^ (2), while (3) (2) is trivial. To prove (2) (3), take arbitrary nonzero p e P(X) and put := sup{n e M(X) : np = 0}, p:= p + and n := n^-. Then p is nonzero over M(X) and np = p. Now, making use of (2), we deduce \\p±Tp\\r = ||vrp ± 7rTp||r ^ (1 + \\fTp\\pr)v = (1 + \\Tp\\?)p. >

The following corollary generalizes Theorem 1 from Shvidkoy [21].

Corollary 3.9. Assume that X is an injective Banach lattice with a weak order unit and an operator T e Lr (X) commutes with all M-projections on X. Then T ± Ix if and only if T satisfy the Daugavet equation P(X)-uniformly.

< This is immediate from Theorem 3.8 and Proposition 2 in Shvidkoy [21]. >

4. Injective Banach Latices of Operators

We consider now under which conditions the space of regular operators between Banach lattices is an injective Banach lattice. First, we state results obtained by Wickstead in [22].

Theorem 4.1. If X and Y are Banach lattices, neither of which is the zero space, with Y Dedekind complete then Lr (X, Y) is an AL-space under the regular norm if and only if X is an AM-space and Y is an AL-space.

< See Wickstead [22, Theorem 2.1]. >

Theorem 4.2. If Y is a nonzero Dedekind complete Banach lattices then Lr (X, Y) is an AM-space under the regular norm for every AL-space X if and only if Y is an AM-space with a Fatou norm.

< See Wickstead [22, Theorem 2.3]. >

Denote by Kr(X, Y) the linear span of positive compact operators from X to Y endowed with the k-norm defined as ||T||k := inf{||S|| : ±T < S e K(X, Y)}, see [22].

Theorem 4.3. If X and Y are nonzero Banach lattices, then Kr (X, Y) is an AL-space under the k-norm if and only if X is an AM-space and Y is an AL-space.

< See Wickstead [22, Theorem 2.5 (i)]. >

By Boolean valued transfer principle the above three theorems are true within each Boolean valued model. The proofs below are carried out by externalization of these internal facts with X, Y and T standing for Boolean valued representations of X, Y and T, respectively.

Theorem 4.4. Let X and Y be B-cyclic Banach lattices with Y Dedekind complete. Then LjT(X, Y) is an injective Banach lattice under the regular norm with B ~ M(LB(X, Y)) if and only if X is an AM-space and Y is an injective Banach lattice with B ~ M(Y).

< This a Boolean valued interpretation of Theorem 4.1. According to Theorems 2.4 and 2.5(4) Lb (X, Y) is an injective Banach lattice under the regular norm with B(LB(X, Y)) isomorphic to B if and only if Lr (X, Y) is an AL-space under the regular norm within V(B). Theorem 4.1 (applicable by Theorem 2.5 (1)) tells us that the latter is equivalent to saying that X is an AM-space and Y is an AL-space. It remains to refer again to Theorem 2.5 (3,4). >

Theorem 4.5. Let Y be a nonzero B-cyclic Dedekind complete Banach lattices. Then Lr (X, Y) is an AM-space under the regular norm with M(LJ(X, Y)) ~ B for every injective Banach lattice X with B = M(X) if and only if Y is an AM-space with a Fatou norm.

< The proof is similar to that of Theorem 4.4: Theorem 4.2 is true within V(B) and hence Lr (X, Y) is an AM-space under the regular norm for every AL-space X if and only if Y is an AM-space with a Fatou norm. Moreover, Y has the Fatou norm if and only if [Y has the Fatou norm] = 1, see [8, Theorem 5.9.6(2)]. Now, combining Theorems 2.4 and 2.5 completes the proof. >

Definition 4.6. Denote by Prt(B) (respectively, PrtCT(B)) the set of all partitions (respectively, countable partitions) of unity in B. A set U in X is said to be mix-complete if, for all )%gs e Prt(B) and (u%)%gs C U, there is u e U such that u = mix%gs . Suppose that X is a B-cyclic Banach lattice, (xn)ngN C X, and x e X. Say that a sequence (xn)ngN B-approximates x if, for each k e N, we have inf{supn^k ||nn(xn—x)|| : e PrtCT(B)} = 0.

Call a set K C X mix-compact if K is mix-complete and for every sequence (xn)ngN C K there is x G K such that (ir„)ragN IB-approximates x. Observe that if ||ir|| = |||ic|||oo (% G X) with a A(B)-valued norm ||, then a sequence (ir„)ragN in X IB-approximates x if and only if inf— x\ for all k G N. An operator with values in a IB-cyclic Banach lattice is called cyclically compact if (or mix-compact) the image of any bounded subset is contained in a cyclically compact set.

It is clear that in case E = R mix-compactness is equivalent to compactness in the norm topology. Note also that the concept of mix-compactness in Gutman and Lisovskaya [20] coincides with that of cyclically compactness introduced by Kusraev [7], see [20, Theorem 3.4] and [8, Proposition 2.12.C.5].

Given B-cyclic Banach lattices X and Y, denote by KB" (X, Y) the linear span of positive B-linear cyclically compact operators from X to Y, see [7, 8.5.5]. This is a Banach lattice under the k-norm defined as

||T||fc := inf{||S|| : ±T < S e KBr(X, Y)}.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Note that Kr(X, Y) := KB(X, Y), whenever B = {0,1}, cp. [22].

Theorem 4.7. Let X and Y be B-cyclic Banach lattices. Then KB (X, Y) is an injective Banach lattice under the k-norm with M(LB(X, Y)) ~ B if and only if X is an AM-space and Y is an injective Banach lattice with M(Y) ~ B.

< The proof runs along the lines of the proof of Theorem 4.4. We have only to observe that an operator T e LB (X, Y) is mix-compact if and only if [ T = is a compact linear operator from X into Y] = 1, see [7, Proposition 8.5.5 (1)]. Thus the B-isometry between LBr(X, Y) and Lr(X, Yinduces a B-isometry between KB(X, Y) and Kr(X, Y>

Definition 4.8. Let X be a Banach lattice and Y be a B-cyclic Banach space. Denote by Pfln (X) the collection of all finite subsets of X. For every T e L (X, Y) define

f n n N

a(T):=supi inf sup V ||nfeTxi|| : {xi,...,xn}e Pfin(X), V |x»| < 1

I (nfc)ePrtCT(B) fceN J

An operator T e L(X, Y) is said to be cone B-summing if a(T) < to. Thus, T is cone B-summing if and only if there exists a positive constant C such that for any finite collection x1,..., xn e X there is a countable partition of unity (nk)keN in B with

nn

supV ||nfcTxi|| ^ C y |xi|

moreover, in this event a(T) = inf{C}. Denote by SB(X, Y) the set of all cone B-summing operators. The class SB(X, Y) was introduced in Kusraev [23, Definition 7.1], see also Kusraev and Kutateladze [8, 5.13.1]. Observe that if B = {0,iy} then S(X, Y) := SB(X, Y) is the space of cone absolutely summing operators, see Schaefer [24, Ch. 4, § 3, Proposition 3.3 (d)] or (which is the same) 1-concave operators, see Diestel, Jarchow, and Tonge [25, p. 330]. Cone absolutely summing operators were introduced by Levin [26] and later independently by Schlotterbeck, see [24, Ch. 4].

Theorem 4.9. Let X and Y be nonzero Banach lattices. The following are equivalent:

(1) S(X, Y) is an AL-space.

(2) X is an AM-space and Y is an AL-space.

< This result was obtained by Schlotterbeck, see Schaefer [24, Ch. 4, Proposition 4.5]. > Theorem 4.10. Let X be a nonzero Banach lattice and Y be a B-cyclic Banach lattice.

The following are equivalent:

(1) SB(X, Y) is an injective Banach lattice with M(SB(X, Y)) isomorphic to B.

(2) X is an AM-space and Y is an injective Banach lattice with M(Y) isomorphic to B.

< Suppose that X is a Banach lattice, X is the completion of the metric space XA within V(B), and Y is the Boolean valued representation of a B-cyclic Banach space Y. Then [X is a Banach lattice] = 1 and the map x ^ xA is a lattice isometry from X to X4. Moreover, for every T e Sb(X, Y) there exists a unique T := T|e V(B) determined from the formulas

[T e S(X, Y)] = 1, [TxA = Tx] = 1 (x e X).

The map T ^ T is an order preserving B-isometry from Sb (X, Y) onto the restricted descent S(X, Y)4, see Kusraev and Kutateladze [7, 8.3.4] and [8, Theorem 5.13.6]. Note also that X is an AM-space if and only if [ X is an AM-space] = 1 by Theorem 2.5 (3). Now, the proof can be carried out in similar lines by Boolean valued interpretation of Theorem 4.9. >

The author thanks the referee for useful remarks leading to improvement of the article.

References

1. Kusraev A. G. Boolean valued transfer principle for injective Banach lattices // Siberian Math. J.— 2015.-Vol. 56, № 5.-P. 1111-1129.

2. Abramovich Yu. A. Weakly compact sets in topological Dedekind complete vector lattices // Teor. Funkcii, Funkcional. Anal, i Prilozen.—1972.—Vol. 15.—P. 27-35.

3. Lotz H. P. Extensions and liftings of positive linear mappings on Banach lattices // Trans. Amer. Math. Soc.-1975.-Vol. 211.—P. 85-100.

4. Meyer-Nieberg P. Banach Lattices.—Springer: Berlin etc., 1991.—xvi+395 p.

5. Haydon R. Injective Banach lattices // Math. Z—1974—Vol. 156.-P. 19-47.

6. Aliprantis C. D. and Burkinshaw O. Positive Operators.—N. Y.: Acad. Press, 1985.—xvi+367 p.

7. Kusraev A. G. Dominated Operators.—Dordrecht: Kluwer, 2000.—405 p.

8. Kusraev A. G. and Kutateladze S. S. Boolean Valued Analysis: Selected Topics.—Vladikavkaz: SMI VSC RAS, 2014.—iv+400 p.

9. Bell J. L. Boolean-Valued Models and Independence Proofs in Set Theory.—N. Y. etc.: Clarendon Press, 1985.—xx+165 p.

10. Kusraev A. G. and Kutateladze S. S. Boolean valued analysis.—Dordrecht a. o.: Kluwer, 1995.

11. Takeuti G. and Zaring W. M. Axiomatic set Theory.—N. Y.: Springer-Verlag, 1973.—238 p.

12. Gutman A. E. Banach bundles in the theory of lattice-normed spaces // Linear Operators Compatible with Order.—Novosibirsk: Sobolev Institute Press, 1995.—P. 63-211.—[in Russian].

13. Gutman A. E. Disjointness preserving operators // Vector Lattices and Integral Operators / Ed. S. S. Kutateladze—Dordrecht etc.: Kluwer Acad. Publ., 1996—P. 361-454.

14. Abramovich Y. A. and Aliprantis C. D. An Invitation to Operator Theory.—Providence (R. I.): Amer. Math. Soc, 2002.—iv+530 p.

15. Abramovich Y. A. A generalization of a theorem of J. Holub // Proc. Amer. Math. Soc.—1990.— Vol. 108.—P. 937-939.

16. Schmidt K. D. Daugavet's equation and orthomorphisms // Proc. Amer. Math. Soc.—1990.—Vol. 108.— P. 905-911.

17. Lindenstrauss J. and Tzafriri L. Classical Banach Spaces. Vol. 2. Function Spaces.—Berlin etc.: Springer-Verlag, 1979.-243 p.

18. Schep A. R. Daugavet type inequality for operators on Lp-spaces // Positivity.—2003.—Vol. 7 (1-2)— P. 103-111.

19. Kusraev A. G. Kantorovich's Principle in Action: AW*-modules and injective Banach lattices // Vladikavkaz Math. J.-2012.-Vol. 14, № l.-P. 67-74.

20. Gutman A. E. and Lisovskaya S. A. The boundedness principle for lattice-normed // Siberian Math. J.—2009.—Vol. 50 (5).—P. 830-837.

21. Shvidkoy R. V. The largest linear space of operators satisfying the Daugavet equation in Li // Proc. Amer. Math.-2002.-Vol. 120(3).-P. 773-777.

22. Wickstead A. W. AL-spaces and AM-spaces of operators // Positivity—2000 —Vol. 4 (3).—P. 303-311.

23. Kusraev A. G. Boolean Valued Analysis Approach to Injective Banach Lattices.—Vladikavkaz: Southern Math. Inst. VSC RAS, 2011.-28 p"-(Preprint № 1).

24. Schaefer H. H. Banach Lattices and Positive Operators.—Berlin etc.: Springer-Verlag, 1974.—376 p.

25. Diestel J., Jarchow H., and Tonge A. Absolutely Summing Operators.—Cambridge etc.: Cambridge Univ. Press, 1995.—xv+474 p.

26. Levin V. L. Tensor products and functors in categories of Banach spaces determined by KB-lineals // Dokl. Acad. Nauk SSSR.-1965.-Vol. 163(5).-P. 1058-1060.

Received November 13, 2015.

Kusraev Anatoly Georgievich

Vladikavkaz Science Center of the RAS, Chaiman

22 Markus Street, Vladikavkaz, 362027, Russia;

North Ossetian State University

44-46 Vatutin Street, Vladikavkaz, 362025, Russia

E-mail: kusraev@smath.ru

ОПЕРАТОРЫ В ИНЪЕКТИВНЫХ БАНАХОВЫХ РЕШЕТКАХ

Кусраев А. Г.

Изучаются некоторые свойства ограниченных линейных операторов в инъективных банаховых решетках, используя булевозначный принцип переноса с ЛЬ -пространств на инъвктивныв банаховы решетки, полученный в работе автора [1|.

Ключевые слова: ЛМ-пространство, ЛЬ-пространство, инъективная банахова решетка, буле-возначная модель, булевозначный принцип переноса, уравнение Даугавета, циклически компактный оператор, Б-суммирующий оператор.

i Надоели баннеры? Вы всегда можете отключить рекламу.