实变函数证明第八题？ 第1页
1
zhai-sen-8 网友的相关建议:
首先我不清楚这里的分布函数的定义是什么（有些孤陋寡闻了，知道的请帮忙指出）。如果是类比概率论里的定义 ，那么原命题是不对的。比如 ， ， ，则左边积分是有限值，然而由于 充分大时恒有 ，故右边积分是无穷大。
如果定义 ，那么原命题是对的（尽管有可能不是题主的问题）。首先需要一个引理：
引理 设 是 -有限测度空间。如果 是 上的非负 -可测函数，那么
证明：注意到 。利用Fubini-Tonelli定理，
现在证明题主的命题。将 代入到引理中的 ，有
换元 可得
该积分
（这里为什么可以换元？Lebesgue积分确实存在相应的换元定理；或者注意到 是单调函数，故间断点至多可数个，因此被积函数几乎处处连续，故可以通过取极限转成反常Riemann积分）
1
相关话题
对于所有的无穷小，能否把它们趋于0的速度定义为一个数，使得趋于0速度较小的一定是较低阶的无穷小？Pn(z)是首项系数为1的n次多项式，怎么证明当|z|<=1时，|Pn(z)|的最大值大于等于1？
复变函数如何进行映射？
Γ（i）怎么算？
如何证明所谓 是一个闭集？
｛mr+n！ | m∈Z，n∈N｝是否在R上稠密？
将一部分复变函数、傅里叶变换加入高考数学，一部分哈密顿力学拉格朗日变分法加入高考物理，大家是否赞同？
还是实变函数的，友友们帮帮忙?
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
内测度的缺陷是什么？
前一个讨论
大佬请帮我理解一下这个有关dx的正规数学表达？
相关的话题
能不能让两个与 π 无关的两个数之和等于 π？有限正函数，在任意区间里可测且勒贝格积分无限的函数怎么构造？
Pn(z)是首项系数为1的n次多项式，怎么证明当|z|<=1时，|Pn(z)|的最大值大于等于1？
作为维数公式的黎曼-洛赫定理在数学上的重要性体现在什么地方？
有没有一种行之有效的方法可以将一种函数展开成另外一种函数的级数？
如何显式构造出包含于[0, 1]Q的正测度闭集F？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
如何显式构造出包含于[0, 1]Q的正测度闭集F？
Lp空间上的分析学在其他数学分支有哪些应用？
请问这个集合不是零测集有什么具体例子吗？
｛mr+n！ | m∈Z，n∈N｝是否在R上稠密？
实变函数，泛函分析，拓扑学中重要的定理概念有哪些？
如何证明这个收敛性问题？
Rⁿ 中任意单连通的开集是否都同胚于 Rⁿ？
测度论中，环为什么不一定是σ环？
关于Stein《复分析》中一个定理证明的疑问，怎么推导出来的？
如何显式构造出包含于[0, 1]Q的正测度闭集F？
共轭函数的意义？
一般度量空间内的连续映射将闭集映为闭集吗？将有界闭集映为有界闭集吗？
如何证明这个实分析有关问题？
Cauchy定理的证明是否依赖于Jordan曲线定理？
请问开集和闭集如何理解？
logz是否是全纯的？
复数范围内，一个数的整数次方是不是永远只有一个值？以及如何证明一个数的无理数次方对应无穷个值？
什么是「测度论」？
这几个有关贝塞尔函数的拉普拉斯变换是怎么推导的？
复变函数学完之后有那些可以衔接的知识可以学习？并同时还能巩固复变函数的知识？
如何显式构造出包含于[0, 1]Q的正测度闭集F？
变分法与泛函分析这门课知识框架的思维导图是什么？
柯西黎曼条件为什么这么神奇?