Radon．Nikodym定理的两种证明方式的比较.PDF

维普资讯 第24卷 第5期 重 庆 交 通 学 院 学 报 2005年 1O月 V_01．24 NO．5 JOURNALOFCHONGQINGJIAOTONGUNIVERSITY Oct．．2005 Radon．Nikodym定理的两种证明方式的比较 胡 必锦 (重庆交通学院 数学与应用数学研究所， 重庆 400074) 摘要：笔者在本文讨论应用Riesz-Frechet定理证明R-N定理．拟定的证明改进 了文 【1】中给出的简略证明， 且在 问题的处理方面与文 【1】的论述略有不同．R-N定理的两种证明方式各有其独特之处．这两种证法都值得研究． 关 键 词：R-N定理；测度；有界线性泛函；线性子空间；绝对连续 中图分类号：O122．2 文献标识码：A 文章编号：1001．716X(2005)05·0167·02 R-N定理在概率论中是非常重要的基本定理之 非负有限测度，且v ，则 (+ )为 () 一 ． 它是条件期望理论发展的依据．而条件期望理 的一个线性子空间． 论又引伸出 Markov过程论和半鞅过程论．由此可 证：显然， (，+ )的零元素为 ()的零 见，R-N定理的重要意义．目前，大量文献表述 R-N 元素．现在设：厂∈71()， 且 定理，如文[2】时都是追随传统的测度论的思路和方 f=0(mod~／)．令K=(colf(co)≠0)，则／t(K) 法．文[1】给出了一个采用泛 函分析方式的简略证明 = 0．按假设条件：v ，可得： ()=0．故 方案，利用Riesz-Frechet定理来证明R-N定理，很 f=0(modv)．从而，f=0(mod(v-I-))．这表 具有启发性．但在此文献的简略证明中，缺乏利用 明： ()的零元素为 (，+ )的零元素．归纳 测度之 间 的绝对 连续性条件 ”’， 来论证 起来，可得： (，+ )与 ()有相同的零元素． (，+ )与71()之间的关系．由分析可知，条 显然， L2(，+ )=L2()nL2() L2()． 件”v ’保证 (，+ )为 ()的一个线性子 故 (，+ )为71()的一个线性子空间． 空间(本文中的引理2)．只有这样后面的证明才能保 注：如果条件 v 不成立，即v关于 不是 证可引用 Hahn．Banach延拓定理或者将有界线性 绝对连续的，则 (1，+ )与 ()没有共同的原 泛函限制到子空间．采用泛函分析方式证明R-N定 点．因此， (，+ )就不为71()的线性子空间． 理有其简明性， 是值得研究的． 如果 v关于 是奇异的， 即当 ( =0时， 定义 1：设Q为样本空间．(f2，U)为一个可测 v(EnK )=0，(re∈U)，则 (，+ )就不是 空间，其中 为 Q 上的 o．代数．，’，为可测空间 ()的线性子空间．因为 (，+ )的原点不必 )上的两个测度．若 ㈣ =0， 其中E∈U ， 为71()的原点．这时，在后面的证明中，就不能 必有 v㈣ =0 ，则称v关于 绝对连续．记为 v ． (在本文中)采用Riesz-Banach延拓定理或(在文[1】中) 记 ()为关于测度 的平方可积的函数空间，即 采用有界线性泛函到线性子空间上的限制． ￡()=(xlI~x ∞ 推论：71(+ )为 (／0的线性子空间的 注： ()为一个Hibert空间， 其元素 的 充要条件为：v ． 范数记为 引理3： 设 ，v为可测空间(Q，)上的两个 非负有限测度．定义 = (I ∞)l，