Semivariation and operator semivariation of Hilbert space valued measures (Q798792): Difference between revisions

Let H and K be a pair of Hilbert spaces. B(H) denotes the Banach space of all bounded linear operators on H. Let \(X=S(H,K)\) be the Hilbert space of all Hilbert-Schmidt class operators from H into K where the inner product and the norm are respectively defined by \(<x,y>_ X=Tr(x*y)\) and \(\| x\|_ X=<x,x>_ X^{1/2}\) for x,\(y\in X.\) Let (\(\Omega\),\({\mathcal F})\) be a measurable space. Denote by \(ca(\Omega;X)\) the set of all X-valued bounded and countably additive (in the norm of X) measures on \({\mathcal F}\). The operator semivariation of \(\xi\in ca(\Omega;X)\) is the function \(\|\xi \|_ 0(\cdot)\) whose values on a set \(A\in {\mathcal F}\) is given by \(\|\xi \|_ 0(A)=\sup\| \sum^{n}_{k=1}\xi (A_ k)a_ k\|_ X\) where the supremum is taken for all finite measurable partitions \(\{A_ 1,...,A_ n\}\) of A and for all finite subsets \(\{a_ 1,...,a_ n\}\subset B(H)\) with \(\| a_ k\|\leq 1\), 1\(\leq k\leq n\). Then it holds that \(\|\xi (A)\|_ X\leq\| \xi\| (A)\leq\| \xi\|_ 0(A),\) \(A\in {\mathcal F}\) where \(\|\xi \| (\cdot)\) is the semivariation of \(\xi\). The characterization of those measures \(\xi \in ca(\Omega;X)\) is obtained for which the condition \(\|\xi \|_ 0(A)=\|\xi (A)\|_ X,\) \(A\in {\mathcal F}\) is satisfied. That is, a measure \(\xi\in ca(\Omega;X)\) satisfies that \(\|\xi \|_ 0(A)=\|\xi (A)\|_ X\) for every \(A\in {\mathcal F}\) if and only if it satisfies that \(\xi (A)^*\xi (B)\geq 0\) for every A,\(B\in {\mathcal F}\).