Vladikavkaz Mathematical Journal 2023, Volume 25, Issue 2, P. 103-116
YAK 517.98
DOI 10.46698/i8046-3247-2616-q
POSITIVE ISOMETRIES OF ORLICZ-KANTOROVICH SPACES
B. S. Zakirov1 and V. I. Chilin2
1 Tashkent State Transport University, 1 Temiryulchilar St., Tashkent 100167, Uzbekistan;
2 National University of Uzbekistan, Vuzgorodok, Tashkent 100174, Uzbekistan E-mail: vladimirchil@gmail.com, botirzakirov@list.ru
Abstract. Let B be a complete Boolean algebra, Q(B) the Stone compact of B, and let C^(Q(B)) be the commutative unital algebra of all continuous functions x : Q(B) ^ [-<», assuming
possibly the values on nowhere-dense subsets of Q(B). We consider the Orlicz-Kantorovich spaces (L$(B,m), || • ) c (Q(B)) with the Luxembourg norm associated with an Orlicz function $ and a vector-valued measure m, with values in the algebra of real-valued measurable functions. It is shown, that in the case when $ satisfies the (A2)-condition, the norm || • ||$ is order continuous, that is, ||xn||$ I 0 for every sequence {xn} c L$(B,m) with xn ^ 0. Moreover, in this case, the norm || • ||$ is strictly monotone, that is, the conditions |x| ^ |y|, x,y £ L$(B,m), imply ||x||a> ^ ||y||a>. In addition, for positive elements x,y £ L$(B,m), the equality ||x + y||a> = ||x — y||a> is valid if and only if x • y = 0. Using these properties of the Luxembourg norm, we prove that for any positive linear isometry V : L$(B,m) ^ (B,m) there exists an injective normal homomorphisms T : C^(Q(B)) ^ C<x,(Q(B)) and a positive element y £ L$(B,m) such that V(x) = y • T(x) for all x £ L$(B,m).
Keywords: the Banach-Kantorovich space, the Orlicz function, vector-valued measure, positive isometry, normal homomorphism.
AMS Subject Classification: 46B04, 46B42, 46E30, 46G10.
For citation: Zakirov, B. S. and Chilin, V. I. Positive Isometries of Orlicz-Kantorovich Spaces, Vladikavkaz Math. J., 2023, vol. 25, no. 2, pp. 103-116. DOI: 10.46698/i8046-3247-2616-q.
1. Introduction
The development of the theory of integration for vector measures with values in complete vector lattices made it possible to construct useful examples of Banach-Kantorovich spaces. Important examples of such spaces include the "vector-valued" analogues of the Lp-spaces Lp(B,m), 1 ^ p < to (see [1, 2]), and the Orlicz spaces L$(B,m) [3-5] associated with a complete Boolean algebra B and the L0(Q)-valued measure m, where L0(Q) is the algebra of real measurable functions on the measure space (Q, £, y) with a ^-finite numerical measure y. If Q is a singleton, then the class of Banach-Kantorovich spaces coincides with the class of real Banach spaces, important examples of which are symmetric spaces Er(Q, A, y) of real-valued measurable functions on (Q, £,y). The study of the geometric and topological properties of the spaces Er(Q, A, y) is firmly related to the problem of describing linear isometries of such spaces. The work on this problem began with the results of S. Banach [6], who gave a description of linear isometries for the spaces Lp[0,1], p = 2. Later, Lamperti [7] described
© 2023 Zakirov, B. S. and Chilin, V. I.
all linear isometries of the spaces Lp(Q, £, ¡), p = 2, for any ^-finite measure spaces (Q, £, ¡). The approach in their proofs was to establish the property of preservation of disjointness for such isometries [8, Chapter 3].
To study surjective linear isometries on the broader class of functional symmetric spaces E(Q, A, ¡), different approaches are required, that depend on a scalar field. If EC(Q, A, ¡) is symmetric space of complex measurable functions on (Q, £,i), then G. Lumer's method [9] based on the theory of Hermitian operators can be effectively applied. For example, M. G. Zaidenberg [10, 11] used this method for description of all surjective linear isometries on the complex symmetric space EC(Q, A, ¡), where i is a continuous measure. For the real symmetric space E = ER([0, 1], A, ¡) of real-valued measurable functions on the segment [0,1] with a Lebesgue measure in the case when E is a separable space or has the Fatou property, a description of all surjective linear isometries on E was given by N. J. Kalton and B. Randrianantoanina [12]. They used methods of the theory of positive numerical operators. For real symmetric sequence spaces, a general form of surjective linear isometries was described by M. Sh. Braverman and E. M. Semenov [13, 14]. For complex separable symmetric sequence spaces (symmetric sequence spaces with the Fatou property), a general form of surjective linear isometries was described in [15] (respectively, in [16]).
However, the situation is more complicated in the case when isometries are not necessarily surjective. In this case, Y. Abramovich [17, Remark 2, p.78] emphasizes that, even positive isometries from a symmetric function space E into symmetric function space F may not necessarily have the "disjointness preserving" property. Still, in the commutative case, there exists an interesting and important special case when the latter property can be guaranteed for positive isometries "into". This special case was first considered in [18] and later reviewed and strengthened in [17, Corollary 6] (see also the proof of [19, Proposition 8]). The extra condition used in [17-19] is the requirement that the norm || ■ ||f on the Banach lattice F is strictly monotone, that is, 0 ^ x ^ y, x,y € F, implies that ||x|F < ||y||F. For the Orlicz function space L$(Q, X,i) with an Orlicz function $ satisfying the (A2)-condition, the strict monotonicity of the norm allows to obtain a description of its positive isometries [20]. We also note that F. A. Sukochev and A. S. Veksler [21] introduced the property of K-strict monotonicity of the norm for non-commutative symmetric spaces, and used this property to give a description of positive isometries of non-commutative symmetric spaces.
In this paper, we show that for an Orlicz function $ with the (A2)-condition the norm on the Banach-Kantorovich space L$(B,m) is strictly monotone. Using this property, we describe all positive isometries in L$(B,m).
We use the terminology and notation of the theory of Boolean algebras from [22], the theory of vector lattices from [23], the theory of vector integration and the theory of Banach-Kantorovich spaces from [1].
2. Preliminaries
Let X be a real vector space, and let F be a complete vector lattice. Denote F+ = {/ € F : f ^ 0}. The mapping || ■ || : X ^ F+ is called an F-valued norm if for any x,y € X, A € R, the following properties hold: ||x|| =0 ^ x = 0; ||Ax|| = |A| ||x||; ||x + y|| < ||x|| + ||y||.
An F-valued norm || ■ || is said to be decomposable if for any fi, f2 € F+ and x € X with ||x|| = fi + f2, there exist xi,x2 € X such that x = xi + x2 and ||xj|| = fi, i = 1,2.
A pair (X, || ■ ||) with an F-valued norm is called a lattice normed space. If, in addition, the norm || ■ || is decomposable, then (X, || ■ ||) is called decomposable.
We say that the net {xa}a&A from a lattice normed space (X, || ■ ||) (bo)-converges to an element x € X (writing x = (bo)-lim xa) if the net (||x — xa|)aeA (o)-converges to zero in the lattice F, that is, there exists a net {fa}a&A C F+ such that fa l 0, and ||x — xa|| ^ fa for all a € A. A net (xa)aeA C X is called (bo)-fundamental if the net (xa — x^)(a,^)eAxA (bo)-converges to zero.
A lattice normed space is called (bo)-complete if every (bo)-fundamental net in it (bo)-converges to an element of this space. A decomposable (bo)-complete lattice normed space is called a Banach-Kantorovich space.
An F-valued norm || ■ || on a vector lattice X is said to be monotonic if condition |x| ^ |y|, x,y € X, implies that ||x|| ^ ||y||. If a Banach-Kantorovich space (X, || ■ ||X) is a vector lattice and the norm || ■ ||x is monotonic, then it is called a Banach-Kantorovich lattice.
Let B be a complete Boolean algebra with zero 0 and unit 1. The exact upper and lower bounds of a set {e, q} C B are denoted by e V q and e A q. A Boolean subalgebra A in B is called a regular if sup E € A, and inf E € A for any subset E C A. Every regular Boolean subalgebra in B is a complete Boolean algebra.
A non-empty set E of nonzero elements from B is said to be disjoint if e A q = 0 for any e, q € E, e = q. A partition of unity in Boolean algebra is a disjoint family E in B such that sup E = 1.
Let Q(B) be the Stone compact of B, and let L0(B) := C^(Q(B)) be the commutative unital algebra over the field real numbers R of all continuous functions x : Q(B) ^ [—ro, assuming possibly the values on nowhere-dense subsets of Q(B) (see, for example, [1, Chapter 1, Section 1.4.2], [23, Chapter V]). With respect to the partial order x ^ y ^ y (t) — x(t) ^ 0 for all t € Q(B) \ (x-i(±ro) U y-i(±ro)), the algebra L0(B) is a complete vector lattice, and the set V of all idempotents in L0(B) is a complete Boolean algebra with respect to the partial order induced by L0(B). In addition, V is isomorphic to the Boolean algebra B. It is known that the set C(B) := C(Q(B)) of all continuous real-valued functions on Q(B) is a subalgebra in L0(B), and C(B) is a Banach space with respect to the uniform norm ||x||^ = supieQ(B) |x(t)|.
We denote by s(x) := supra^i {|x| > n-i}, the support of an element x € L0(B), where Xex = {|x| > A} € B is the characteristic function of the set E\ which is the closure in Q(B) of the set {t € Q(B) : |x(t)| > A}, A ^ 0.
For any nonzero x € L0(B) define i(x) as the inverse element to x on its support, i. e.,
1 if x{t) / 0,
i(x)(t) = { x(t)
0, if x(t) = 0.
It is clear that i(x) € L0(B) and i(x) ■ x = s(x).
Let (Q, X,i) be a ^-finite measure space, and let L0(Q) be the algebra of equivalence classes of almost everywhere finite real-valued measurable functions on Q. With respect to the partial order f ^ g ^ g — f ^ 0 (almost everywhere), the algebra L0(Q) is a complete vector lattice, and the set B(Q) of all idempotents in L0(Q) is a complete Boolean algebra with respect to the partial order induced by L0(Q). Since i is a ^-finite measure, it follows that B(Q) is a Boolean algebra of countable type, that is, any subset E C B(Q) of non-zero pairwise disjoint elements is at most countable. Thus, for any increasing net xa t x € L0(Q), {xa}aeA C L0(Q), there exists a sequence ai ^ a2 ^ ... ^ an ^ ... such that xan t x (see, for example, [23, Chapter VI, §2]).
A mapping m : B ^ L0(Q) is called a L0(Q)-valued measure if it satisfies the following conditions:
1) m(e) ^ 0 for all e € B;
2) m(e V g) = m(e) + m(g) for any e, g € B with e A g = 0;
3) m(ea) X 0 for any net ea X 0, {ea} C B.
A measure m is said to be strictly positive if m(e) = 0 implies e = 0. In this case, B is a Boolean algebra of countable type, thus, in condition 3) above, instead of the net ea X 0, one can take a sequence en X 0, {enC B.
A strictly positive L0(Q)-valued measure m is said to be decomposable if for any e € B and a decomposition m(e) = f1 + /2, /1,/2 € L0(Q)+, there exist e1,e2 € B, such that e = e1 V e2, and m(e^) = /¿, i = 1,2. A measure m is decomposable if and only if it is a Maharam measure, that is, for any e € B, 0 ^ / ^ m(e), / € L0(Q), there exists q € B, q ^ e, such that m(q) = / [24]. Maharam measures have the following important property.
Proposition 1 [24, Proposition 3.2]. For each L0(Q)-valued Maharam measure m : B ^ L0(Q) there exists a unique injective completely additive homomorphism ^ : B(Q) ^ B such that ^>(B(Q)) is a regular Boolean subalgebra of B, and m(^(q)e) = qm(e) for all q € B(Q), e € B.
Let m : B ^ L0(Q) be a Maharam measure. We identify B with the Boolean algebra of idempotents in L0(B), i. e., we assume that B C L0(B). By Proposition 1, there exists a regular Boolean subalgebra V(m) in B and an isomorphism ^ from B(Q) onto V(m) such that m(^(q)e) = qm(e) for all q € B (Q), e € B .In this case, the algebra L0(Q) is identified with the algebra L0(V(m)) = C^(Q(V(m))) (the corresponding isomorphism will also be denoted by ^>). Thus, the algebra C^(Q(V(m))) can be considered as a subalgebra and as a regular vector sublattice of L0(B) = C^(Q(B)) (this means that the exact upper and lower bounds for bounded subsets of L0(V(m)) are the same in L0(B) and in L0(V(m))). In particular, L0(B) is an L0(V(m))-module.
Consider the vector sublattice S(B) in L0(B) of all simple elements x = Y1 n=1 a^, where a € R, ei € B, = 0, i, j = 1,..., n. The formula
/n
xdm := ^aim(ei), x € S(B),
i=1
correctly defines the linear operator : S(B) ^ L0(Q).
A positive element x € L0(B)+ is called m-integrable, if there exists a sequence {xn}^c=1 C S(B), 0 ^ xn t x, such that there is a supremum supn^1 Im(xn) in the lattice L0(Q). In this case, the integral of the element x with respect to the measure m is defined by
Im(x) := / xdm := (o)- lim / xn dm. J
It is known that the definition of the integral /m(x) does not depend on the choice of the sequence {xn}^=1 C S(B), 0 ^ xn t x, for which there exists supn^1 Im(xn) (see, for example, [1, 6.1.3]).
An element x € L0(B) is called m-integrable if its positive and negative parts x+ and x_ are m-integrable. The set of all m-integrable elements is denoted by L1(B,m), and for every x € L1(B, m) we have
/xdm :=/ x+dm -/x- dm-
If ||x||1)m := / |x|dm, x € L1(B, m), then the pair (L1(B, m), ||x||1;TO) is a lattice normed space over L0(Q) [1, 6.1.3]. Moreover, in the case when m : B ^ L0(Q) is a Maharam measure,
the pair (L1 (B,m), ||x||1)TO) is a Banach-Kantorovich space. In addition,
L0(V(m)) ■ L1(B,m) C L1(B,m), y"(^>(a)x) dm = a J xdm, J xdm ^^ |x| dm
for all x € L1(B,m), a € L0(Q) [1, Theorem 6.1.10]. Let p € [1, to), and let
Lp(B,m) = {x € L0(B) : |x|p € L1(B,m)},
||p,m
|x|p dm
, x € Lp(B,m).
It is known that for the Maharam measure m the pair (Lp(B,m), ||x|p,m) is a Banach-Kantorovich space [2, 4.2.2]. In addition,
p(a)x € Lp(B, m) Vx € Lp(B, m), a € L0(Q), 1 < p < to,
and |^(a)x|p)m = |a|||x||p,m.
x
3. Orlicz—Kantorovich Lattices for L0-Valued Measures
Let B be a complete Boolean algebra, and let m : B ^ L°(Q) be a Maharam measure for which m(1B) = 1B(q). The algebra L0(Q) is identified with the algebra L0(V(m)) = C^(Q(V(m))), which is a subalgebra and a regular vector sublattice of L0(B) = C^(Q(B)).
Recall that a function $ : [0, to) ^ [0, to) is called an Orlicz function if $ is left continuous, convex, increasing function such that $(0) = 0, $(t) > 0 for all t > 0. It is known that the derivative $ exists almost everywhere on (0, to), and there is a unique increasing left-continuous function 0 : [0, to) ^ [0, to), such that 0 = $ almost everywhere on [0, to) and
t
$(t) = J 0(u) du (V t > 0).
0
In particular, $(t) < $(s) for all 0 < t < s (see, for example, [25, Chapter 13, § 13.1]).
For each function x € L0(B) the set G = {t € Q(B) : —to < x(t) < +to} is everywhere dense and open in Q(B). Therefore, for a continuous function $(x(t)), t € G, there is a unique continuous extension y(t) to Q(B) (see [23] , Lemma V.2.1), i. e., $(x) := y € L0(B). It is clear that
$(ex) = e$(x) (Ve € B). Moreover, since $ is a convex function on [0, to) and $(0) = 0, it follows that
y ■ $(|x|) ^ $(|y ■ x|) (Vx € L0(B), y € L0(B)) with 0 < y < 1. (1)
In addition, as the function $ is increasing and left continuity, we obtain the following Lemma 1. If xn, x € L0(B)+ and xn l x, then $(xn) l $(x).
Following the traditional scheme (see, for example, [26, Chapter 2]), we introduce the Orlicz classes and Orlicz spaces associated with an L0(Q)-valued measure m and an Orlicz function $. Let L0(Q)++ be the set of all positive elements A € L+(Q) such that s(A) = 1. It is clear that for any A € L0(Q)++ there exists A-1 € L0(Q)++ such that A ■ A-1 = 1.
As in [26, Chapter 2]) we define the Young class
:= Y$(B,m) = {x € L0(B) : $(|x|) € L1(B,m)}
and the Orlicz space
L$ := L$(B,m) = {x € L0(B) : $(A-1|x|) € L1(B,m) for some A € L0(Q)++}.
Let
:= H$(B,m) = {x € L0(B) : $(A-1|x|) € L1(B,m) for all A € L0(Q)++}.
If Q is a singleton, then the above definitions coincide with the well-known definitions of the Young class and the Orlicz space of measurable functions (see, for example, [26, Chapter 2]). It is clear that
H$(B,m) C Y$(B,m) C L$(B,m).
In addition, is a linear subspace of the linear space L$, and is an L0-convex subset of L$, that is, AY$ + (1 - A)Y$ C for all A € L0(Q), 0 < A < 1 (see (1)); however, may not be the same as L$. As in the case of classical Orlicz spaces, it is established that = L$ if and only if = 21$ (see, for example, [26, Chapter 2, Proposition 2.1.15]). Note also that if $(t) = tp/p, t ^ 0, 1 < p < to, we have L$(B, m) = Lp(B, m). Let
I$(x) = J $(|x|) dm, where x € Y$(B,m).
It is clear that
I$(ex) = e1$(x) (V e € B). In addition, using (1), we obtain for any 1 ^ A € L0(Q)
A-11$(x) = y A-1$(|x|) dm ^y $(|A-1 x|) dm = 1$(A-1x). (2)
Define an L0(Q)-valued Luxembourg norm on L$(B,m), setting
||x||$ := inf {A € L0(Q)++ : 1$(A-1x) < 1}, x € L$(B,m).
It is known that the pair (L$(B, m), || • ||$) is a Banach-Kantorovich lattice, called the Orlicz-Kantorovich lattice associated with L0(Q)-valued measure [3, 4]. Moreover, the norm || • ||$ has the following important property
||ax||$ = |a|||x||$ (Vx € L$(B,m), a € L0(Q))
(see [3, Proposition 2.7]). We also note that it follows from m(1) = 1 that 1 € L$(B, m), and therefore C(B) C L$(B,m). In addition, for any x € C(B) we get that
||x||$ ^ ||||x||<^ • = ||x||ro • ||1|$,
in particular, ||xn — x||^ ^ 0, xn, x € C(B) ||xn — x||$ ^ 0. We need the following inequalities.
Proposition 2. If 0 = x € L$(B, m), then s(x) ^ s(||x||$) and I$(i(||x||$)x) ^ s(||x||$). < Since
Hx(1 — s(||x||$ ))!$ = (1 — s(||x||$)) ||x||$ = 0, it follows that x(1 — s(||x||$)) = 0. Thus s(x) ^ s(||x||$).
Let's show now that I$(i(||x||$)x) ^ s(||x||$). Denote
A(x) = {A € L°(Q)++ : 1$(A-1x) < 1} and let A1, A2 € A(x). Then
q = {Ai < A2} € B(Q) and 7 = Ai A A2 = Aiq + A2(1 - q) € L°(Q)++, in addition,
1*(Y-1x) = 1^((A-1q + A-1(1 - q))x) = q1$(A-1x) +(1 - q)1$(A-1x) < q + (1 - q) = 1, that is, y € A(x). Using mathematical induction, we get that
inf Ai € A(x) for any finite subset {A1,..., An} C A(x).
Since B(Q) is a Boolean algebra of countable type, it follows that there exists a sequence {An} C A(x) such that
An I inf A(x) = ||x||$.
If e = s(||x||$), then e € L°(Q) and
Ane I e||x||$ A-1e t e ■ i(||x||$).
Since I^A-^x) ^ 1, it follows that 1$((A-1e)x) ^ e. Using now the theorem of monotone convergence [1, Chapter VI, Theorem 6.1.4], we obtain that
I$(i(||x||$)x) ^ e = s(||x||$). >
In the following proposition, we use the inequality a ^ fi, a, fi € L°(Q), which means that a ^ fi and a = fi.
Proposition 3. Let x € L$(B, m) and 0 = e € B(Q). Then
(i) the inequality ||
ex 11 ^ ^ e (resp., || ex 11 ^ ^ e) implies the inequality I$(ex) ^ e (resp.,
I$(ex) ^ e);
(ii) the inequality ||ex||$ ^ e implies the inequality I$(ex) ^ e;
(iii) if x € then ||
ex 11 ^ — e if and only if I$(ex) = e. < (i) Let x € L$(B,m), e € B(Q), 0 = ||ex||$ ^ e and g = s(||ex||$). Then g ^ e, g ^ i(||
ex 11 ^ ) and, using Proposition 2, we obtain that
I$(gex) ^ I$(i(||ex||$)ex) ^ g.
Moreover, from the equality ||ex - egx||$ = (e - eg)||ex||$ = 0, we get that ex = egx. Thus
I$(ex) = I$(egx) ^ g ^ e.
Let now ||ex||$ ^ e, that is, e = ||ex||$ ^ e. If s(||ex||$) = p < e, then ||ex||$ ^ p and s (ex) ^ s(||ex||$ ) = p, in particular, px = pex. From what was proved above, we get
I$(ex) = I$(pex) = I$(px) ^ p < e.
If s(||ex||$) = e, then there exist
e € (0,1), 0 = q ^ s(||ex||$) = g, q € B(Q), such that q||ex||$ ^ (1 - e)q.
Thus, <7i(||ea;||$) ^ Using Proposition 2, we get
I$(qex)
^ I$(qi(||ex||$)ex) = q1$(i(|| ex 11 $ )ex) ^ qg = q.
1 — e
If I$(ex) = e, then q1$(ex) = q and
I$(qex) q
q ^
1 e 1 e
which is wrong. Thus I$(ex) ^ e.
(ii) Let x € L$(B,m), e € B(Q) and ||ex||$ > e. Let us show that for any 0 = p ^ e, p € B(Q) there exists 0 = q ^ p, q € B(Q) such that I$(qx) > q.
Choose a € L0(Q)+ such that p ^ a ^ ||px||$. It is clear that s(a) = p and p > i(a). Since a ^ ||px||$ and
||px||$ = p||x||$ = inf {pA : A € L0(Q)++, 1$(A-1px) < 1} = inf {7 : 7 € pL0(Q)++, 1$(i(Y)px) ^ p},
it follows that I$(i(a)px) ^ p. Thus, there exists 0 = q ^ p, q € B(Q) such that
I$(i(a)qx) = q1$(i(a)px) > q.
Using the inequalities i(a) ^ p and (2), we obtain
i(a)1$(qx) ^ I$(i(a)qx) > q, e. a., I$(qx) > aq > q.
Using now the "Principle of Exhaustion" for complete Boolean algebras [22, Chapter III, §2], we get that there exists a disjoint set {qi}^/ C B(Q) such that
sup qi = e and I$(qix) > qi (V i € /). ¿e/
Consequently, I$(ex) > e.
(iii) Let x € H$, 0 = e € B(Q), and let ||ex||$ = e. Then by the part (i), we get that I$(ex) ^ e. If I$(ex) = e, then there exist e € (0,1) and 0 = p < e, p € B(Q) such that
,^(px) < (1 — e)p =—
Using (3), we get that ||px||$ ^ 1 — e. Thus
p = pe = p||ex||$ = ||px||$ ^ (1 — e)p,
which is impossible. Consequently, I$(ex) = e.
Let now I$(ex) = e. Suppose that ||ex||$ ^ e. Since s(||ex||$) ^ e, it follows that there exist 5 € (0,1) and 0 = q < e, q € B(Q) such that
||qx||$ = q||ex||$ > (1 + 5)q > q.
Thus, I$(qx) > q (see (ii)). Therefore, q = qe = q1$(ex) = I$(qx) > q. From this contradiction it follows that ||ex||$ ^ e. If ||ex||$ ^ e, then by the part (i), we get that e = I$(ex) ^ e, which is impossible. Thus ||ex||$ = e. >
Definition 1. An Orlicz function $ is said to satisfy the (A2)-condition if 0 < $(t) < to for all £ > 0 and sup0<t<oo < to.
Repeating the proof of Theorem 2.1.17 (1) [26, Chapter 2], we obtain the following version of it for the Orlicz-Kantorovich modules L$(B,m).
Proposition 4. If an Orlicz function $ satisfies the (A2)-condition, then L$ =
Using now Propositions 3 (iii) and 4, we get the following
Proposition 5. If an Orlicz function $ satisfies the (A2)-condition and x € L$(B,m), 0 = e € B(Q), then || ex 11 $ — e if and only if 1$(ex) = e.
We say that the Luxembourg norm || ■ ||$ is order continuous if ||xn||$ X 0 for every sequence {xn} C L$ with xn X 0. It is clear that in this case, for any sequence {xn} C L$ with xn t x € L$ we have that ||x — xn||$ X 0.
Proposition 6. If an Orlicz function $ satisfies the (A2)-condition, then the Luxembourg norm || ■ ||$ is order continuous.
< Let {xn} C L$ and xn X 0. By Lemma 1, we have $(xn) X 0. Since 0 ^ xn € L$ = (see Proposition 4), it follows that xn € L1(B, m) for all n, and using the convergence xn X 0, we obtain that 1$(xn) X 0.
Let's show that ||xn||$ X 0. Suppose that ||xn||$ X a = 0. Then there exist e > 0 and 0 = e € B(Q) such that ||exn||$ = e||xn||$ ^ ea > ee, that is, ||e(e-1 ■ xn)||$ > e for all n = 1,2,... Using now Proposition 3 (ii), we obtain e-1 1$(exn)) = I$(e(e-1 ■ xn)) > e, that is, e1$(xn)) = 1$(exn)) > e ■ e, n = 1,2,..., which contradicts the convergence 1$(xn)X 0. >
4. Positive Linear Isometries in Orlicz-Kantorovich Spaces
We say that the norm || ■ ||$ is strictly monotone if the conditions |x| % |y| x, y € L$(B, m) imply ||x||$ % ||y||$.
Using Proposition 5 we obtain the following
Proposition 7. If an Orlicz function $ satisfies the (A2)-condition, then the Luxembourg norm || ■ ||$ is strictly monotone.
< Let x,y € L$(B,m), 0 = |x| % |y|, and let a = ||y||$. Since s(y) ^ s(||y||$) (see Proposition 2), it follows that
||s(||y||$)i(a)y||$ = i(a)||y||$ = s(||y||$) € B(Q).
Using Proposition 5, we get that s(||y||$) = 1$(i(a)y). Since the function $ is strictly increasing and |x| % |y|, it follows that
1$ (i(a)x) = J $((i(a)|x|) dm %j $(i(a)|y|) dm = 1$ (i(a)y). (3)
If ||x||$ = ||y||$, then
||s(|yy$ )i(a)x)||$ = s(|yy$ )i(a)||x||$ = s(|yy$ )i(a)|yy$ = s(|yy$
and, by Proposition 5, we get
1$ (i(a)x) = 1$ (s(||y||$)i(a)x) = s(||y||$), which contradicts the inequality (3). Consequently, ||x||$ = ||y||$. >
Corollary 1. If an Orlicz function $ satisfies the (A2)-condition, and x,y € L$(B,m)+ then x ■ y = 0 if and only ||x + y||$ = ||x — y||$.
< If x = 0, y = 0 and x ■ y = 0, then |x + y| = |x — y| and ||x + y||$ = ||x — y||$. Conversely, let x,y € L$(B,m)+ and ||x + y||$ = ||x — y||$. Since $ satisfies the A2-
condition, it follows that the norm || ■ ||$ is strictly monotone (see Proposition 7). If x ■ y = 0, then |x — y| ^ |x + y|. Thus ||x + y||$ = ||x — y||$, which is not true. Consequently, x■ y = 0. > Recall that a linear operator T in a vector lattice X is called positive if T(x) ^ 0 for all 0 ^ x € X. For any positive operator T we have |T(x)| ^ T(|x|), where |x| = x+ + x-, and x+, x- are the positive and negative parts of an element x € X [1, Chapter 3, Section 3.1.1].
Corollary 2. Let the Orlicz function $ satisfy the (A2)-condition, and let V : L$(B, m) ^ L$(B, m) be a positive linear isometry. If x, y € L$(B, m)+ and x-y = 0, then V(x)-V(y) = 0.
< If x, y € L$(B, m)+ and x ■ y = 0, then |x + y| = |x — y| and
||V(x) + V(y)||$ = ||V(x + y)||$ = ||x + y||$ = |||x — y| ||$ = ||x — y||s = ||V (x — y)||* = ||V (x) — V (y)||*.
Since V(x) ^ 0, V(y) ^ 0, it follows that V(x) ■ V(y) = 0 (see Corollary 1). >
A linear operator T : L0(B) ^ L0(B) is called a homomorphism if T(x ■ y) = T(x) ■ T(y) for all x,y € L0(B). It is clear that any homomorphism T : L0(B) ^ L0(B) is a positive operator.
A positive linear operator T : L0(B) ^ L0(B) is called normal (resp., completely additive) if T(supa xa) = supa T(xa) for any increasing net {xa} C L0(B), such that
0 ^ xa t x € L0(B) (resp., T( ^ ¿e/ e») = supaeA T (ej), for every family of idempotents {ei}ie/ C B, e^ej = 0, i = j, i, j € I, where A = {a} is the directed poset of all finite subsets of I, ordered by inclusion).
It is clear that the normality property for a positive linear operator implies that this operator is a completely additive one. In the case when T : L0(B) ^ L0(B) is a homomorphism, the inverse implication is also valid, that is, every completely additive homomorphism of T : L0(B) ^ L0(B) is a normal operator [27, Theorem 4].
Since m(1) = 1 and ^ is a ^-finite measure, it follows that there exists a sequence {en} C B(Q) such that
Men) < to, enek = 0, n = k, n, k = 1,2,..., supen = 1,
and {en ■ m(q) : q € B} C L1(Q, X,^). Thus the function v(q) = enm(q)d^ is a
^-finite numerical measure on the Boolean algebra B, in particular, B is a Boolean algebra of countable type. In this case, in the definition of normality (resp., completely additivity) of a positive linear operator T : L0(B) ^ L0(B), instead of an increasing net {xa} C L0(B) (resp., a family of idempotents {ei}ie/ C B, e^ej = 0, i = j, i, j € /), one should take a sequence {xn} C L0(B) (resp., a countable family of idempotents {e^C B, e^ej = 0,
1 = j, i,j = 1, 2 ...).
The following theorem gives a description of all positive linear isometries acting in an Orlicz-Kantorovich spaces.
Theorem 1. Let an Orlicz function $ satisfy the (A2)-condition, and let V : L$(B, m) ^ L$(B,m) be a positive linear isometry. Then there exist an injective normal homomorphism T : L0(B) ^ L0(B) and a positive element y € L$(B,m) such that V(x) = y ■ T(x) for all x € L$(B, m).
< Define the mapping ^ : B ^ B, by setting <^(e) = s(V(e)), e € B, where s(V(e)) is the support of the element V(e) € L$(B, m). It is clear that <^(e) = 0 if and only if e = 0. If e,g € B and eg = 0, then V(e) ■ V(g) = 0 (see Corollary 2, thus <^(e) ■ ^>(g) = 0. Therefore,
^(e V g) = s(V(e + g)) = s(V(e) + V(g)) = s(V(e)) + s(V(g)) = p(e) + p(g) = p(e) V p(g).
Using mathematical induction, we obtain that
sup eA = sup )
for any finite set of pairwise disjoint idempotents {ei}™=1 C B.
Let {ei}°=1 C B be a countable set of pairwise disjoint idempotents, and let gn = sup1^i^n ei, n = 1,2,... Then gn t supn^1 gn = supi^1 ei := e, and, by Proposition 6, we get V(g„) t V(e). Thus
^(gn) = s(V(gn)) t s(V(e)) = <^(e), that is, sup<^(ei) = <^(e).
Moreover,
p(1) = p(e + Ce) = s(V (e + Ce)) = s(V (e) + V (Ce)) = s(V (e)) + s(V (Ce)) = p(e) + p(Ce),
that is, ^>(Ce) = ^>(1) — <^(e). Thus the mapping ^ : B ^ B satisfies all the properties of a regular isomorphism from Definition 3.2.3 [8, Chapter III, §3.2], so ^ is an injective completely additive Boolean homomorphism [8, Chapter III, §3.2, Remarks 3.2.4]. Using now Theorems 3 and 4 from [27], we get that there exists an injective normal homomorphism T : L0(B) ^ L0(B) such that T (e) = <^(e) for all e € B .In addition, the restriction A = T |C(B) is a || ■ 11^,-continuous injective homomorphism from C(B) into C(B). If e € B then
V (e) = V (1 — (1 — e))s(V (e)) = V (1)p(e) — V (1 — e)p(1 — e)p(e) = V (1Me) — V (1 — eM(1 — e)e) = V (1)p(e),
that is, V(e) = V(1)p(e). If
n
x = ^ aiei € S(B) C C(B), ei € B, eiej = 0, i = j, i, j = 1,... ,n, i=1
is a step element then
nn
V(x) = ^ aiV(ei) = V(1) J] a^T(ei) = V(1) ■ T(x). i=1 i=1
Let x € C(B), and let {xn}^c=1 C S(B) be a sequence of step elements such that ||xn — x||ro ^ 0. Then
||T(xn) — T(x)ll^ = ||A(xn) — A(x)||^ ^ 0.
Therefore,
||V(xn) — V(1)T(x)||$ = ||V(1) ■ T(xn) — V(1)T(x)||$ = ||V(1) ■ T(xn — x)||$ < ||V(1)||$ ■ ||T(xn — x)||^ ^ 0.
Since
||V(xn) — V(x)||$ = |||V(xn — x)|||$ < ||V(|xn — x|)||$ < ||xn — x||jV(1)||$ ^ 0,
it follows that V(x) = V(1)T(x).
Let us show that the equality Vx = V(1) ■ T(x) holds for all x € L$(B,m). It suffices to check this equality for all 0 ^ x € L$(B,m). Let 0 ^ x € L$(B,m), and let 0 ^ xn = x€ C(B). Since xn t x and the norm || ■ ||$ is order continuous norm (Proposition 6), it follows that
||V(1) ■ T(xn) — V(x)||$ = ||V(xn) — V(x)||$ = ||xn — x||$ ^ 0.
Using now the convergence T(xn) t T(x), we obtain that V (x) = V (1) ■ T(x), where 0 < V(1) € (B, m). >
In the case of the Orlicz function $(t) = tp/p, Theorem 1 entails the following description of all positive linear isometries acting in a Banach-Kantorovich Lp-space.
Corollary 3. Let m be the Maharam measure on a complete Boolean algebra B, and let V : Lp(B,m) ^ Lp(B,m), 1 ^ p < to, be a positive linear isometry. Then there exists an injective normal homomorphism T : L0(B) ^ L0(B) and a positive element y € Lp(B,m) such that V(x) = y ■ T(x) for all x € Lp(B, m).
References
1. Kusraev, A. G. Dominated Operators, Mathematics and its Applications, vol. 519, Dordrecht, Kluwer Academic Publishers, 2000.
2. Kusraev, A. G. Vektornaya dvoystvennost' i ee prilozheniya [Vekctor Duality and its Applications], Novosibirsk, Nauka, 1985 (in Russian).
3. Zakirov, B. S. The Luxemburg Norm on the Orlicz-Kantorovich Lattices, Uzbek Mathematical Journal, 2007, no. 2, pp. 32-44 (in Russian).
4. Zakirov, B. S. The Orlicz-Kantorovich Lattices, Associated with L0-Valued Measure, Uzbek Mathematical Journal, 2007, no. 4, pp. 18-34 (in Russian).
5. Zakirov, B. S., An Analytical Representation of the L0-Valued Homomorphisms in the Orlicz-Kantorovich Modules, Siberian Advances in Mathematics, 2009, vol. 19, no. 2, pp. 128-149. DOI: 10.3103/S1055134409020047.
6. Banach, S. Theory of Linear Operations, North-Holland, Amsterdam-New-York-Oxford-Tokyo, 1987.
7. Lamperti, J. On the Isometries of Some Function Spaces, Pacific Journal of Mathematics, 1958, vol. 8. pp. 459-466.
8. Fleming, R. and Jamison, J. Isometries on Banach Spaces: Function Spaces, Monographs and Surveys in Pure and Applied Mathematics, vol. 129, London, Chapman and Hall, 2003.
9. Lumer, G. On the Isometries of Reflexive Orlicz Spaces, Annales de l'Institut Fourier, 1963, vol. 13, pp. 99-109.
10. Zaidenberg, M. G. On Isometric Classification Of Symmetric Spaces, Soviet Mathematics — Doklady, 1977, vol. 18, pp. 636-639.
11. Zaidenberg, M. G. A Representation of Isometries of Functional Spaces, Matematicheskaya Fizika, Analiz, Geometriya [Mathematical Physics, Analysis, Geometry], 1997, vol. 4, no. 3, pp. 339-347.
12. Kalton, N. J. and Randrianantoanina, B. Surjective Isometries on Rearrangment-Invariant Spaces, Quarterly Journal of Mathematics, 1994, vol. 45, no. 2, pp. 301-327. DOI: 10.48550/arXiv.math/ 9211208.
13. Braverman, M. Sh. and Semenov, E. M. Isometries on Symmetric Spaces, Soviet Mathematics — Doklady, 1974, vol. 15. pp. 1027-1029.
14. Braverman, M. Sh. and Semenov, E. M. Isometries on Symmetric Spaces, Trudy Nauchno-Issledovatel'skogo Instituta Matematiki Voronezhskogo Universiteta, 1975, vol. 17, pp. 7-18 (in Russian).
15. Arazy, J. Isometries on Complex Symmetric Sequence Spaces, Mathematische Zeitschrift, 1985, vol. 188, pp. 427-431. DOI: 10.1007/BF01159187.
16. Aminov, B. R. and Chilin, V. I. Isometries and Hermitian Operators on Complex Symmetric Sequence Spaces, Siberian Advances in Mathematics, 2017, vol. 27, no. 4, pp. 239-251. DOI: 10.3103/S1055134417040022.
17. Abramovich, Y. Isometries of Norm Latties, Optimizatsiya, 1988, vol. 43 (60), pp. 74-80 (in Russian).
18. Veksler, A. Positive Isometries of Normed Solid Function Spaces, Proceedings of the Tashkent State University "Mathematical Analysis and Probability Theory", 7 p. 1984 (in Russian).
19. Abramovich, Y. Operators Preserving Disjointess on Rearrangement Invariant Spaces, Pacific Journal of Mathematics, 1991, vol. 148, no. 2, pp. 201-206. DOI: 10.2140/pjm.1991.148.201.
20. Abdullaev, R. and Chilin, V. Positive Isometries of Orlicz Spaces, Collection of Materials of the International Conference KROMSH-2020, Simferopol, Polyprint, 2020, pp. 28-31.
21. Sukochev, F. and Veksler, A. Positive Linear Isometries in Symmetric Operator Spaces, Integral Equations and Operator Theory, 2018, vol. 90, no. 5. DOI: 10.1007/s00020-018-2483-1.
22. Vladimirov, D. A. Bulevy algebry [Boolean Algebras], Moscow, Nauka, 1969 (in Russian).
23. Vulikh, B. Z. Vvedenie v teoriyu poluuporyadochennykh prostranstv [Introduction to the Theory of Partially Ordered Spaces], Moscow, Fizmatgiz, 1961 (in Russian).
24. Zakirov, B. S. and Chilin, V. I. Decomposable Measures with Values in Order Complete Vector Lattices, Vladikavkaz Mathematical Journal, 2008, vol. 10, no. 4, pp. 31-38 (in Russian).
25. Rubshtein, B. A., Grabarnik, G. Ya., Muratov, M. A. and Pashkova, Yu. S. Foundations of Symmetric Spaces of Measurable Functions. Lorentz, Marcinkiewicz and Orlicz Spaces, Springer International Publishing, 2016.
26. Edgar, G. A. and Sucheston, L. Stoping Times and Directed Processes, Encyclopedia of Mathematics and its Applications, vol. 47, Cambridge University Press, 1992.
27. Chilin, V. I. and Katz, A. A. A Note on Extensions of Homomorphisms of Boolean Algebras of Projections of Commutative AW*-Algebras, Proceedings of the International Conference on Topological Algebras and Their Applications, ICTAA 2021, pp. 62-73.
Received May 11, 2022
Botir S. Zakirov
Tashkent State Transport University,
1 Temiryulchilar St., Tashkent 100167, Uzbekistan,
Doctor of Physical and Mathematical Sciences, Professor
E-mail: botirzakirov@list.ru
https://orcid.org/0000-0001-8381-8518
Vladimir I. Chilin
National University of Uzbekistan,
Vuzgorodok, Tashkent 100174, Uzbekistan,
Doctor of Physical and Mathematical Sciences, Professor
E-mail: vladimirchil@gmail.com
https://orcid.org/0000-0002-7936-9649
Владикавказский математический журнал 2023, Том 25, Выпуск 2, С. 103-116
ПОЛОЖИТЕЛЬНЫЕ ИЗОМЕТРИИ ПРОСТРАНСТВ ОРЛИЧА - КАНТОРОВИЧА
Закиров Б. С.1, Чилин В. И.2
1 Ташкентский государственный транспортный университет, Узбекистан, 100167, Ташкент, ул. Темирйулчилар, 1; 2 Национальный университет Узбекистана, Узбекистан, Ташкент, 100174, Вузгородок E-mail: botirzakirov@list.ru, vladimirchil@gmail.com
Аннотация. Пусть B полная булева алгебра, Q(B) стоуновский компакт для B, и пусть C^(Q(B)) коммутативная алгебра всех непрерывных функций x : Q(B) ^ [-<», принимающихо, значения
на нигде не плотных подмножествах из Q(B). Мы рассматриваем пространства Орлича — Канторовича (L$(B,m), У • уФ) С C^(Q(B)) с нормой Люксембурга, построенные по функции Орлича Ф и
векторнозначной мере m со значениями в алгебре действительных измеримых функций. Показывается, что в случае наличия (Д2)-условия для функции Орлича Ф, норма у • ||Ф является порядково непрерывной, т. е. ||хп||ф I 0 для любой последовательности {xn} с ЬФ (B,m), xn ^ 0. Кроме того, в этом случае, норма || • |Ф является строго монотонной, т. е. из |x| ^ |у| x,y £ ЬФ(В,т) следует, что ||х||ф ^ ||у||Ф. При этом, для положительных элементов x,y £ ЬФ (В,т) равенство ||x + у||Ф = ||x — у||Ф выполняется тогда и только тогда, когда x • у = 0. Используя эти свойства нормы Люксембурга, доказывается, что для любой положительной линейной изометрии V : ЬФ(В,т) ^ ЬФ(В,т) существуют такие инъективный нормальный гомоморфизм T : (Q(B)) ^ C^(Q(B)) и положительный элемент у £ ЬФ (В,т), что V(x) = у • T(х) для всех x £ ЬФ (В,т).
Ключевые слова: пространство Банаха — Канторовича, функция Орлича, векторнозначная мера, положительная изометрия, нормальный гомоморфизм.
AMS Subject Classification: 46B04, 46B42, 46E30, 46G10.
Образец цитирования: Zakirov, B. S. and Chilin, V. I. Positive Isometries of Orlicz-Kantorovich Spaces // Владикавк. мат. журн.—2023.—Т. 25, № 2.—C. 103-116 (in English). DOI: 10.46698/i8046-3247-2616-q.