No label defined (Q4942999)

Let \((X,{\mathcal B})\) be a measure space, \(m\) a \(\sigma\)-finite measure on \((X,{\mathcal B})\) and \({\mathcal H}\) be a separable Hilbert space. A function \(F: X\to{\mathcal H}\) is said to be weakly measurable if the scalar function \(x\mapsto\langle F(x),y\rangle\) is measurable for every \(y\in{\mathcal H}\) with respect to \((X,{\mathcal B})\) and \(\mathbb{R}\) with its Borel-field on it. Finally, let \({\mathcal L}^2_{\mathcal H}(X)\) be the space of all weakly measurable functions \(F: X\to{\mathcal H}\) for which \(\int_X\|F(x)\|^2 dm(x)< \infty\). The authors give necessary and sufficient conditions on a measurable transformation \(\varphi:\) \(X\to X\) such that the operator \(C_\varphi:F\mapsto F\circ\varphi\) is a bounded linear operator on \({\mathcal L}^2_{\mathcal H}(X)\). The cases where \(C_\varphi\) is an isometry or a compact operator are discussed, too. A detailed example for a certain Hilbertian sequence space is presented. For the entire collection see [Zbl 0930.00093].