Positive Schur properties in spaces of regular operators (Q2355137): Difference between revisions

Let \(E,F\) be Banach lattices. In this paper, properties of Schur type are studied for regular operators and tensor products. \(E\) has the positive Schur property (PSP) if every weakly null sequence of positive elements \((x_n)\) in \(E\) is norm convergent to zero. If every sequence of positive functionals \((x^*_n)\) in the dual \(E^*\) which is weak* convergent to zero is norm convergent to zero, then \(E\) is said to have the dual positive Schur property (DPSP). \(E\) is said to have the positive Grothendieck property (PGP) if every sequence of positive elements \((x^*_n)\) in the dual which is weak* null is also weakly null. An operator \(T: E \rightarrow F\) is called positive if \(Tx\in F_+\) whenever \(x\in E_+\). The space of regular operators \(L_r(E,F)\) is the linear space generated by the positive operators in the space \(L_b(E,F)\) of order bounded operators. Given a Dedekind complete Banach lattice \(F\), for every Banach lattice \(E\), the space \(L_r(E,F)\) is again a Banach lattice with the norm \[ \|T\|_r = \inf\{\|S\|: S\in L_+(E,F), |Tx|\leq S|x| ,x\in E\}. \] Given vector spaces \(E,F\), the algebraic tensor product is denoted by \(E\otimes F\). The Fremlin tensor product of Banach lattices \(E,F\) is the completion of \(E\otimes F\) with respect to the norm \[ \|u\|_{|\pi|} = \inf\{\sum _{i=1}^{n} \|x_i\|\|y_i\|:x_i\in E_+,y_i\in F_+,|u|\leq \sum x_i \otimes y_i\}. \] This space, with the order given by the closure of \(E_+\otimes F_+\) with respect to the norm \(|\pi|\), is a Banach lattice. \(L_r(E,F)\) has the woT-PSP if, for every sequence of positive operators \((T_n)\) in \(L_r(E,F)\) with \(T_n \rightarrow 0\) in the weak operator topology, we have \(\|T_n\| \rightarrow 0\). \(L_r(E,F^*)\) has the weak*oT-PSP if, for every sequence of positive operators \((T_n)\) in \(L_r(E,F^*)\) with \(T_n \rightarrow 0\) in the weak*-operator topology, we have \(\|T_n\| \rightarrow 0\). Theorem. \(L_r(E,F)\) has the woT-PSP if and only if \(E\) has the DPSP and \(F\) has the PSP. Let us note that the mapping \(T:(E\otimes_{|\pi|} F)^* \rightarrow L_r(E,F^*)\), \(\Phi\mapsto T_\Phi\), where \(T_\Phi\) is given by \(\left\langle T_\Phi x,y\right\rangle= \Phi(x\otimes y)\) for every \(x\in E\), \(y\in F\), defines a surjective Riesz isometry. Concerning the weak*oT-PSP, the author gives the following. Theorem. The following are equivalent: {\parindent=6mm \begin{itemize}\item[(1)] \(E\) and \(F\) have DPSP. \item[(2)] \(L_r(E,F^*)\) has w*oT-PSP. \item[(3)] \(E\otimes_{|\pi|}F\) has DPSP. \end{itemize}} In the final part of the paper, the author studies the positive Grothendieck property in \(L_r(E,F)\). \(L_r(E,F^*)\) has the weak*oT positive Grothendieck property if, for every sequence of positive operators \((T_n)\) with \(T_n\rightarrow 0\) in the weak*oT, we have \(T_n\rightarrow 0\) weakly. Theorem. Given Banach lattices \(E\) and \(F\), the following are equivalent. {\parindent=6mm \begin{itemize}\item[(1)] \(E\) and \(F\) have PGP. \item[(2)] \(L_r(E,F^*)\) has w*oT-PGP. \item[(3)] \(E\otimes_{|\pi|}F\) has PGP. \end{itemize}} Editorial remark. As pointed out in [\textit{Q.-Y. Bu}, Proc. Am. Math. Soc. 148, No.~6, 2459--2467 (2020; Zbl 1447.46020)] and confirmed by the author, there is a gap in the proof of Theorem~5, which is incorrect as stated.