[实变函数]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)\ ...
最新文章
- 怎样在android平台上使用第三方jar包
- Apk文件结构, Dex反编译
- 自己整理的openresty安装步骤
- NB-IoT与LoraWan技术分析与前景展望
- python多版本控制操作方法
- 北京公交“十三五”将通过大数据实现线路优化
- java multiple_Java Math multipleExact()使用方法和实例
- lamp 测试mysql_搭建LAMP测试环境
- Trapcode套装插件原创图文/视频安装教程
- 容器技术Docker K8s 9 容器服务ACK应用场景
- html5 如何打包成apk,将H5封装成android应用APK文件的几种方法
- alc662声卡注入id_ALC662驱动方法AppleALC+Lilu+DSDTalc662
- R语言绘图--PCA图
- latex 输入下划线_
- 2009 SD 2.0大会北京温都水城盛大召开(10月22日)
- 威纶触摸屏485通信控制多台台达变频器程序
- SDL_ttf库显示字体
- Android源码开发之蓝牙通知振动
- 笔记软件,离线/本地化 or 云笔记?印象、思源笔记、notion、onenote、有道、Roamedit、专注笔记,我来,幕布、飞书、joplin、Obsidian、Logseq、语雀使用体会
- Win10开始菜单打不开
热门文章
- android 无线调试_Android 11的无线调试
- SpringBoot集成Redis报错链接超时以及无法识别的地址,存入redis中key乱码问题解决
- 安卓通讯之《蓝牙单片机通讯助手》②扫描设备、连接设备和双向通讯。
- Docker 退出容器但不关闭当前容器
- MP之自定义分页,多表查询带分页带条件(Error evaluating expression ‘ew.customSqlSegment‘.或 Invalid bound statement)
- 英语不好可以学编程嘛?程序员必备英文单词汇总
- 计算机教案制作电子表格,高中信息技术电子表格教案
- 在Mac OS X下获得电脑屏幕中任意颜色的RGB值
- linux下printf终端打印输出颜色控制
- MySQL字符串处理函数