No label defined (Q4249083)

A generalization for map-valued measures is obtained. In fact, the authors represent a completely positive map-valued measure via the following dilation, namely, any completely positive map turns into multiplication by a projection in such a way that the map-valued measure is dilated to a spectral measure. Moreover, the Stinespring theorem [cf. \textit{W. F. Stinespring}, Proc. Am. Math. Soc. 6, 211-216 (1955; Zbl 0064.36703)] is reformulated in terms of conditional expectations in a von Neumann algebra. Let \({\mathcal M}\) be a von Neumann algebra of operators acting in a Hilbert space \(H\). \(\text{CP}({\mathcal M})\) denotes the set of completely positive linear maps in \({\mathcal M}\), and \((X,\Sigma)\) is a measurable space. Let \(Q:\Sigma\to \text{CP}({\mathcal M})\) be a \(\sigma\)-additive operator-valued measure, i.e., \(\Sigma\ni\Delta\mapsto Q(\Delta)x\) is \(\sigma\)-additive in the ultra weak topology in \({\mathcal M}\) for each \(x\in{\mathcal M}\). Note that \(Q(X)1=1\). Here is the main theorem: For a \(W^*\)-algebra \({\mathcal M}\) and for a measure \(Q:\Sigma\to \text{CP}({\mathcal M})\), there exist a \(W^*\)-algebra \({\mathcal N}\), \({\mathcal N}\supset{\mathcal M}\) (i.e., \({\mathcal M}\) is a \(W^*\)-subalgebra of \({\mathcal N}\)) and a spectral measure \(e:\Sigma\to \text{Proj }{\mathcal N}\) such that \(Q(\Delta)x= {\mathbf E}^{\mathcal M}(e(\Delta) \Phi(x))\) for some \(*\)-representation \(\Phi\) of \({\mathcal M}\) in \({\mathcal N}\) and a normal conditional expectation \({\mathbf E}^{\mathcal M}\) of \({\mathcal N}\) onto \({\mathcal M}\). For other related works, see e.g. the authors [Probab. Math. Stat. 17, No. 2, 365-375 (1997; Zbl 0897.46030)]. For the entire collection see [Zbl 0903.00097].