A Kolmogorov extension theorem for POVMs (Q934988)

The main result of the paper is the following Theorem. Let \(H\) be a Hilbert space, \({\mathcal B}(H)\) be the space of bounded operators on \(H,T\) be an index set and, for every \(t\in{T}\), let \((M_t,{\mathcal A}_t)\) be a measurable space such that \({\mathcal A}_t\) is \(\sigma\)-isomorphic to the \(\sigma\)-algebra of Borel subsets of the real line (the original assumption is a little bit more general). Let \(\bigotimes_{t\in{T}}{\mathcal A}_t\) be the \(\sigma\)-algebra of subsets of \(\prod_{t\in{K}}M_t\) generated by finite-dimensional cylinders. For each finite set \(K\subset{T}\), there is given a positive operator-valued measure \(G_K:(\prod_{t\in{K}}M_t,\bigotimes_{t\in{K}}{\mathcal A}_t)\to{{\mathcal B}(H)}\) such that if \(K\subset{K'}\) and \(A\in\bigotimes_{t\in{K}}{\mathcal A}_t\), then \(G_{K'}(A\times\prod_{t\in{K'\setminus{K}}}M_t)=G_K(A)\). Then there exists (a unique) positive measure \(G:(\prod_{t\in{T}}M_t,\bigotimes_{t\in{T}}{\mathcal A}_t)\to{{\mathcal B}(H)}\) such that each \(G_K\) is its marginal measure. Moreover, if \(\psi\in{H}\), then \(\langle\psi,G\psi\rangle\) is the only real measure on \((\prod_{t\in{T}}M_t,\bigotimes_{t\in{T}}{\mathcal A}_t)\) such that \(\langle\psi,G_K\psi\rangle\) is, for each \(K\), its marginal. Reviewer's remarks. There are known at least a few papers concerning projective limits of vector or group valued measures [cf.\ \textit{H.\,Millington} and \textit{M.\,Sion}, Pac.\ J.\ Math.\ 44, 637--650 (1973; Zbl 0246.28007); \textit{F.\,J.\thinspace Fernandez} and \textit{P.\,Jimenez Guerra}, Rev.\ Mat.\ Univ.\ Complutense Madr.\ 3, No.\,2--3, 125--142 (1990; Zbl 0718.28002)]. If no positivity is considered, then the result of the present author can be treated as a particular case of the results of Millington and Sion; however, in the paper under review, positivity is the essential point.