No label defined (Q3972217)

[For the entire collection see Zbl 0702.00025.] The aim of this note is to prove the following version of Stinespring's theorem for a one parameter semigroup of completely positive maps. Theorem: Let \({\mathcal A}\) be a \(W^*\) algebra of operators containing the identity and acting in a Hilbert space \({\mathcal H}_ 0\) and let \(T_ t: {\mathcal A}\to{\mathcal A}\) be a one parameter semigroup of completely positive linear maps such that \(T_ 0\) is identity and \(T_ t(1)\equiv 1\). Then there exists a family \(\{{\mathcal H}_ t,\;t\geq 0\}\) of Hilbert spaces, \(W^*\) homomorphisms \(J_ t:{\mathcal A}\to {\mathcal B}({\mathcal H}_ t)\), the algebra of all operators on \({\mathcal H}_ t\) and isometries \(V(s,t): {\mathcal H}_ s\to{\mathcal H}_ t\), \(0\leq s<t<\infty\) such that \[ J_ 0(a)=a, \qquad V^ \dagger(s,t)J_ t(a)V(s,t)=J_ s(T_{t-s}(a)), \qquad V(t,u)V(s,t)=V(s,u) \] for all \(0<s<t<u<\infty\).