[实变函数]5.2 非负简单函数的 Lebesgue 积分
1 设 $$\bex \phi(x)=\sum_{i=1}^j c_i\chi_{E_i}(x),\quad c_i\geq 0, \eex$$
其中 $$\bex E_i\mbox{ 可测},\quad E_i\mbox{ 两两不交},\quad E=\cup_{i=1}^j E_i, \eex$$
则定义 $$\bex \int_E \phi(x)\rd x=\sum_{i=1}^j c_i\cdot mE_i. \eex$$
若 $A(\subset E)$ 可测, 则定义 $$\bex \int_A\phi(x)\rd x=\sum_{i=1}^j c_i\cdot m(E_i\cap A). \eex$$
2 例: $\dps{D(x)=\sedd{\ba{ll} 1,&x\in\bbQ,\\ 0,&x\in\bbR\bs \bbQ \ea}}$ 的积分为 $$\bex \int_{\bbR}D(x)\rd x =1\cdot m(\bbQ)+0\cdot m(\bbR\bs \bbQ)=0. \eex$$
3 性质: 设 $\phi(x),\psi(x)$ 为非负简单函数, 则
(1) 正齐次性 $$\bex c\geq 0\ra \int_Ec\phi(x)\rd x =c\int_E \phi(x)\rd x. \eex$$
证明: $$\beex \bea \int_Ec\phi(x)\rd x =\sum_{i=1}^j cc_i\cdot mE_i =c\sum_{i=1}^j c_i\cdot mE_i =c\int_E\phi(x)\rd x. \eea \eeex$$
(2) 有限可加性 $$\bex \int_E[\phi(x)+\psi(x)]\rd x =\int_E \phi(x)\rd x +\int_E \psi(x)\rd x. \eex$$
证明: $$\beex \bea &\quad \phi(x)=\sum_{i=1}^j c_i\chi_{E_i},\quad \psi(x)=\sum_{k=1}^l d_k\chi_{F_k}\\ &\ra \phi(x)+\psi(x) =\sum_{i=1}^j \sum_{k=1}^l (c_i+d_k)\chi_{E_i\cap F_k}\\ &\ra \int_E[\phi(x)+\psi(x)]\rd x =\sum_{i=1}^j \sum_{k=1}^l (c_i+d_k)\cdot m(E_i\cap F_k)\\ &\qquad\qquad\qquad \ \ = \sum_{i=1}^j c_i\sum_{k=1}^l m(E_i\cap F_k) +\sum_{k=1}^l d_k\sum_{i=1}^jm(E_i\cap F_k)\\ &\qquad\qquad\qquad \ \ =\sum_{i=1}^j c_i\cdot mE_i +\sum_{k=1}^l d_k\cdot mF_k\\ &\qquad\qquad\qquad \ \ = \int_E\phi(x)\rd x +\int_E\psi(x)\rd x. \eea \eeex$$
(3) 对积分区域的有限可加性 $$\bex A,B(\subset E)\mbox{ 可测}\ra \int_{A\cup B}\phi(x)\rd x =\int_A\phi(x)\rd x +\int_B\phi(x)\rd x. \eex$$
证明: $$\beex \bea \int_{A\cup B}\phi(x)\rd x &=\sum_{i=1}^j c_i\cdot m(E\cap(A\cup B))\\ &=\sum_{i=1}^j c_i \cdot [m(E\cap A)+m(E\cap B)]\\ &\quad\sex{\mbox{在可测集 }A\mbox{ 的定义中取试验集 }T=E\cap (A\cap B)}\\ &=\int_A\phi(x)\rd x +\int_B\phi(x)\rd x. \eea \eeex$$
(4) 单增积分区域的极限 $$\bex A_i(\subset E)\mbox{ 单增}\ra \lim_{i\to\infty}\int_{A_i}\phi(x)\rd x =\int_{\lim_{i\to\infty}A_i}\phi(x)\rd x. \eex$$
证明: $$\beex \bea \lim_{i\to\infty}\int_{A_i}\phi(x)\rd x &=\lim_{i\to\infty}\sum_{i=1}^j c_i\cdot m(E\cap A_i)\\ &=\sum_{i=1}^jc_i\cdot m \sex{E\cap \lim_{i\to\infty}A_i}\\ &=\int_{\lim_{i\to\infty}A_i}\phi(x)\rd x. \eea \eeex$$
4 作业: Page 132 T 2.
[实变函数]5.2 非负简单函数的 Lebesgue 积分相关推荐
- [实变函数]5.3 非负可测函数的 Lebesgue 积分
本节中, 设 $f,g,f_i$ 是可测集 $E$ 上的非负可测函数, $A,B$ 是 $E$ 的可测子集. 1 定义: (1) $f$ 在 $E$ 上的 Lebesgue 积分 ...
- 《实变函数简明教程》,第四章:Lebesgue积分,零测集上的任意非负简单函数Lebesgue可积且积分值为0
<实变函数简明教程>,第四章:Lebesgue积分,零测集上的任意非负简单函数Lebesgue可积且积分值为0 待分析命题 证明过程 一点注记 待分析命题 设E⊂RnE\subset ...
- [实变函数]5.1 Riemann 积分的局限性, Lebesgue 积分简介
1 Riemann 积分的局限性 (1) Riemann 积分与极限的条件太严: $$\bex f_k\rightrightarrows f\ra \lim \int_a^b f_k ...
- 《实变函数简明教程》,第四章:Lebesgue积分,零测集上的任意非负实值函数Lebesgue可积且积分值为0
<实变函数简明教程>,第四章:Lebesgue积分,零测集上的任意非负实值函数Lebesgue可积且积分值为0 待分析命题 证明过程 待分析命题 设E⊂RnE\subset {{\ma ...
- 测度上Lebesgue积分的确定
本文假定读者有基本的测度论知识,故仅对测度做简单介绍. Definition 1 \text{Definition 1 }Definition 1 集合XXX的子集族τ\tauτ称为拓扑,若τ\tau ...
- [实变函数]5.6 Lebesgue 积分的几何意义 $\bullet$ Fubini 定理
1 本节推广数学分析中的 Fubini 定理. 为此, 先引入 (1)(从低到高) 对 $A\subset \bbR^p, B\subset\bbR^q$, $$\bex A\times B=\sed ...
- 正值实系数多项式函数所对应的导数累加和是否非负?
简 介: 对于多项式导数累计的性质证明,告诉我们数学的证明与工程上的证明是多么大的区别.这道微积分的考试题目让我思考了一整天,只有看到网络上的证明才会有感到恍然大悟的感觉. 这个证明太绝妙了. 关键词 ...
- 图论(四)------非负权有向图的单源最短路径问题,Dijkstra算法
Dijkstra算法解决了有向图G=(V,E)上带权的单源最短路径问题,但要求所有边的权值非负. Dijkstra算法是贪婪算法的一个很好的例子.设置一顶点集合S,从源点s到集合中的顶点的最终最短路径 ...
- [实变函数]5.5 Riemann 积分和 Lebesgue 积分
1 记号: 一元函数 $f$ 在 $[a,b]$ 上的 (1)Riemann 积分: $\dps{(R)\int_a^b f(x)\rd x}$; (2)Lebesgue 积分: $\dps{(L)\ ...
最新文章
- 2012年11月14日学习研究报告
- 如何在你的项目中集成 CAP【手把手视频教程】
- 论文浅尝 | 基于深度强化学习的远程监督数据集的降噪
- 计算机组成原理闭卷,《计算机组成原理》试卷A (闭卷)
- uft自动化测试工具安装步骤_自动化测试灵魂三问:是什么、为什么和做什么
- c#使用Transactions类完成多个数据库的事务操作
- 免费 Python 学习资源大全,你想要都在这里啦(持续更新,欢迎收藏关注点赞加评论哦)
- 利用反射和元数据编写的通用更新和通用查询
- 深海迷航坐标传送代码_《深海迷航》秘籍代码怎么用及深海迷航代码大全
- Nescafé2 月之谜 题解
- vs将项目发布到服务器,vs2010将项目发布到远程服务器上
- 我写的阿拉伯数字转中文大写的一个方法
- Typescript - enum 枚举类型(数值型枚举 / 字符串枚举 / 常量枚举 / 异构枚举 / 计算枚举成员 / 联合枚举和枚举成员类型 / 运行时的枚举 / 环境枚举 / 对象与枚举)教程
- 有若干只鸡兔同在一个笼子里,从上面数,有35个头;从下面数,有94只脚。求笼中各有几只鸡和兔?
- F5 BIG-IP LTM基础资料
- 20145212罗天晨 注入shellcode实验及Retuen-to-libc实验
- 牙齿底部粉色原因-ECR(External cervical resorption)
- 常用TCP/UDP端口号大全
- YOLO数据集划分参数trainval_percent 和train_percent的含义
- 对象流,管道流和随机访问文件流