格里森定理 格里森定理Gleasons Theorem是与量子物理中概率解释相关的一个数学结果它建立了希尔伯特空间上的投影算子与相应的概率之间的联系可以被视作量子测量假设的数学支撑更进一步说 是量子逻辑的基石且是证明定域隐变量理论和量子力学不相容 定理 假设 H 是可分的希尔伯特空间 H displaystyle H 上的一个测度函数 f displaystyle f  其中 f displaystyle f 是从 H displaystyle H 的闭子空间到非负实数的映射 设  A i  textstyle Ai 是 H displaystyle H 的互相正交子空间的可数集 这个可数集的线性生成空间是 B 且有 f  B    i f  A i  textstyle fBsum ifAi  若 dim   H    textstyle dimHgeq  那么任意一种测度 f displaystyle f 都可以写成 f  A   t r  W P A  textstyle fAmathrm tr WPA  其中 W W 是半正定的迹类算子 P A textstyle PA 是 A textstyle A 的正交投影 迹类算子 W textstyle W 可以是密度算子也可以是量子态这个定理有效的说明了空间上的任何合理测量结果的概率测度都是有某种量子态生成