Lattice Properties of Operators Defined By Random Measures (Q4463701)

Let \((X,{\mathcal X},\mu)\), \((Y,{\mathcal Y},\nu)\) be \(\sigma\)-finite measure spaces. A vector lattice \(E\) is said to be a Riesz space, and a subset \(L\subset E\) is said to be an ideal if \(| g|<| f|\), \(f\in L\), \(g\in E\) imply that \(g\in L\). The ideal \(B\subset E\) is said to be a band if each increasing sequence \(\{f_\alpha\}\) with \(f_\alpha\in B\) which converges to \(f\in E\), has its limit \(f\) in \(B\). The class of bounded operators mapping a Riesz space \(E\) into a Riesz space \(F\) is denoted by \({\mathcal L}_b(E,F)\) and, if \(L,M\) are classes of measurable functions on \(Y,X\), respectively, then the ordered subspace of \({\mathcal L}_b(L,M)\) consisting of operators representable as \(T_1-T_2\), where \(T_1,T_2\) are pseudo-integral operators, is denoted by \({\mathcal L}_{rm} (L,M)\). In one of the main theorems of this paper, the authors show that if \(T\in{\mathcal L}_{rm} (L,M)\), then \(T\) is representable as a pseudo-integral operator in terms of a random signed measure \(\nu_T(x,.)\) by \[ T(f)(x)=\int_Y f(y)\nu_T (x,dy),\;x\in X, \] and the decompositions \(T^+,T^-\) and \(| T |\) are similarly representable in terms of random measures \(\nu_T^+ (x,.)\), \(\nu_T^-(x,.)\), \(|\nu_T|(x,.)\). In addition, if \(S\in{\mathcal L}_{rm} (L,M)\) is representable in terms of a random measure \(\nu_S(x,.)\), then \(S\vee T\) and \(S\wedge T\) are representable in terms of \((\nu_S\vee\nu_T)\), \((\nu_S\wedge\nu_T)\), respectively. The statements of the paper refer to earlier similar representations including, in particular, the results of \textit{A. R. Sourour} [Pac. J. Math. 99, 145--159 (1982; Zbl 0508.47032)].