  We prove a theorem about positive-operator-valued measures (POVMs) that is ananalog of the Kolmogorov extension theorem, a standard theorem of probabilitytheory. According to our theorem, if a sequence of POVMs G_n on $\mathbb{R}^n$satisfies the consistency (or projectivity) condition $G_{n+1}(A\times\mathbb{R}) = G_n(A)$ then there is a POVM G on the space$\mathbb{R}^\mathbb{N}$ of infinite sequences that has G_n as its marginal forthe first n entries of the sequence. We also describe an application in quantumtheory.
According to our theorem, if a sequence of POVMs G_n on $\mathbb{R}^n$ satisfies the consistency (or projectivity) condition $G_{n+1}(A\times\mathbb{R}) = G_n(A)$