A Kolmogorov Extension Theorem for POVMs

We prove a theorem about positive-operator-valued measures (POVMs) that is an analog of the Kolmogorov extension theorem, a standard theorem of probability theory. According to our theorem, if a sequence of POVMs G _n on satisfies the consistency (or projectivity) condition then there is a POVM G on the space of infinite sequences that has G _n as its marginal for the first n entries of the sequence. We also describe an application in quantum theory. The main proof in this article was first formulated in my habilitation thesis 6].