|
此外总之证明:根据[A2]和[A3],定义了一个有界线性泛函功能 为什么D因此,对于每个, 当限制为可测量函数。自从是一种概率测度,定义为sigma有限。然后,根据罗登[41]第11章第7节第246页的Riesz表示定理这里有一个界限可测函数 唯一的excepton空集, 以至于(2.1.4)对于任何可测函数 为什么D无论如何, 允许.(2.1.5)通过[A3]-[A6],是一种概率测度(参见Whittle[42]第42页定理3.2.1),从(2.1.4)是一个期望函数;和(2.1.2)中是相应的条件期望函数,它将始终存在(参见比林斯利[40]第466页)。使用[A7],, 因此和对彼此而言是绝对连续的。自从是绝对连续的和=无论如何通过(2.1.4)和(2.1.5),函数在(2.1.4)中,对于, 以下是从以及Radon-Nikodym定理(参见Royden[41]第238页定理23)。自从是绝对连续的, 功能必须是局部挥发率未知的有限导数页| 207-10-13,概率小于1, 根据Randon-Nikodym定理可以被认为是绝对积极的。如果 那么,这是一个常数其中第二个等式来自公理[A3]和[A5]。这意味着 通过(2.1.4),使得(2.1.3)在(2.1.4)的情况下.
|