On the extension of a family of projections to a positive operator-valued measure

Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05) Vector-valued set functions, measures and integrals (28B05) Linear operators belonging to operator ideals (nuclear, (p)-summing, in the Schatten-von Neumann classes, etc.) (47B10) Coherent states (81R30) Quantum measurement theory, state operations, state preparations (81P15) Positive linear operators and order-bounded operators (47B65) Quantifier elimination, model completeness, and related topics (03C10) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)