一类效应代数的态表示定理

摘要

1994年,Foulis和Bennett在表示不可精确测量的量子逻辑结构时引入了效应代数.该文用直接构造的方法,给出一类效应代数上的态表示定理.即,若Ω是紧的Hausdorff拓扑空间,令E(Ω)={f:f∈C(Ω),0≤f≤1},则φ是(E(Ω),,0,1)上的态当且仅当Ω上存在唯一的正则Borel概率测度μ使得对每个f∈(E(Ω),,0,1),φ(f)=∫_Ωfdμ.