量子结构上的可观测量涂抹与谱测度

量子结构上的一个可观测量是量子结构的任意 $\sigma$-同态，它从实直线的 Borel $\sigma$-代数映射到量子结构中，在我们的情形下该量子结构是具有 Riesz 分解性质的单调 $\sigma$-完备效应代数。我们证明每个可观测量都是一个取值于该效应代数的 Boolean $\sigma$-子代数的尖锐可观测量的涂抹，并证明对于该效应代数的每个元素都存在其谱测度。