eorem)是与量子物理中概率解释相关的一个数学结果。它建立了希尔伯特空间上的投影算子与相应的概率之间的联系，可以被视作量子测量假设的数学支撑。更进一步说， 是量子逻辑的基石且是证明定域隐变量理论和量子力学不相容。迹类算子formula_14可以是密度算子，也可以是量子态。这个定理有效的说明了空间上的任何合理测量结果的概率测度都是有某种量子态生成。