A bilinear version of Orlicz-Pettis theorem (Q947549)

The authors establish an Orlicz-Pettis theorem with respect to a bounded, bilinear map. Let \(X,Y,Z\) be Banach spaces and \(b:X\times Y^{\prime }\rightarrow Z\) be a bounded bilinear map. A sequence \( \{x_{n}\}\subset X\) is \(b\)-unconditionally summable if \(\sum_{n=1}^{\infty }\left| \left\langle z^{\prime },b(x_{n},y^{\prime })\right\rangle \right| <\infty \) and for every \(M\subset\mathbb{N}\) there exists \(x_{M}\in X\) such that \(\sum_{n=1}^{\infty }\left\langle z^{\prime },b(x_{n},y^{\prime })\right\rangle =\left\langle z^{\prime },b(x_{M},y^{\prime })\right\rangle \) for all \(z^{\prime }\in Z^{\prime },y^{\prime }\in Y^{\prime }\). The space \(X\) is \(b\)-normed if there exists \(k\) such that \(\left\| x\right\| \leq k\left\| b(x,\cdot )\right\| \) for all \(x\in X\). The authors show that if the conditions (a) \(X\) is \(b\)-normed, (b) the unit ball of \(Y^{\prime }\) is sequentially compact, and (c) \( b(x,\cdot ):Y^{\prime }\rightarrow Z\) is weak*-norm continuous for every \( x\in X\) are satisfied, then every \(b\)-unconditionally summable sequence is unconditionally summable in \(X\). Applications to the Pettis integral and integration with respect to a vector measure are given. It would be of interest to consider the necessity of the conditions (a)--(c). The authors also consider spaces of vector valued sequences which are summable with respect to a bounded, bilinear operator. Numerous examples are given.