效应域和效应代数上状态通过积分的表示

我们通过积分描述了效应域上的$\sigma$-可加状态。效应域是单调$\sigma$-完备的效应代数，其运算逐点定义。然后我们证明，效应代数上的每个状态都可以通过一个Borel正则概率测度表示为积分。最后，我们证明，在单调$\sigma$-完备效应代数上，极值状态的每个$\sigma$-凸组合都是一个Jauch-Piron状态。