2-7 实变函数之经典习题
2-7 实变函数之经典习题
1.点集
- 设E1E_1E1是[0,1]中的有理数全体,求E1E_1E1在R1R^1R1中的E1′E_1'E1′(导集:聚点组成的集合),E1o\overset{o}{E_1}E1o(开核:内点组成的集合),E1−\overset{-}{E_1}E1−(闭包).
\quad解: E1′=[0,1]E_1'=[0,1]E1′=[0,1];E1o=∅\overset{o}{E_1}=\emptyE1o=∅;E1−=[0,1]\overset{-}{E_1}=[0,1]E1−=[0,1]
注: 聚点P:P的任意邻域与E的交成无限集。
\quad\quad内点P:存在P的邻域是E的子集(显然有理数的任意邻域都含无理数)
\quad\quad闭包:导集+孤立点。 - 设E2={(x,y)∣x2+y2<1}E_2=\{(x,y)|x^2+y^2<1\}E2={(x,y)∣x2+y2<1},求E2E_2E2在R2R^2R2中的E2′E_2'E2′,E2o\overset{o}{E_2}E2o,E2−\overset{-}{E_2}E2−.
\quad解: E2′={(x,y)∣x2+y2≤1}E_2'=\{(x,y)|x^2+y^2\leq1\}E2′={(x,y)∣x2+y2≤1};
E2o={(x,y)∣x2+y2<1}\overset{o}{E_2}=\{(x,y)|x^2+y^2<1\}E2o={(x,y)∣x2+y2<1};
E2−={(x,y)∣x2+y2≤1}\overset{-}{E_2}=\{(x,y)|x^2+y^2\leq1\}E2−={(x,y)∣x2+y2≤1}
2.测度论
- E可测的充要条件是∀ϵ>0,∃\forall\epsilon>0,\exist∀ϵ>0,∃开集G,s.t.E⊂GE\subset GE⊂G,且
m∗(G−E)<ϵm^*(G-E)<\epsilonm∗(G−E)<ϵ
\quad证: ⟹\implies⟹设mE<+∞,则∃开集{Ii},i=1,....mE<+\infty,则\exist开集\{I_i\},i=1,....mE<+∞,则∃开集{Ii},i=1,....使得
⋃∞i=1Ii⊃E\underset{i=1}{\overset{\infty}{\bigcup}}I_i\supset Ei=1⋃∞Ii⊃E且∑i=1∞∣Ii∣<m∗E+ϵ\sum^{\infty}_{i=1}|I_i|<m^*E+\epsilon∑i=1∞∣Ii∣<m∗E+ϵ,令G=⋃∞i=1IiG=\underset{i=1}{\overset{\infty}{\bigcup}}I_iG=i=1⋃∞Ii,则G为开集。且G⊃EG\supset EG⊃E,于是
m∗E<m∗G<∑i=1∞mIi+ϵm^*E<m^*G<\sum^{\infty}_{i=1}mI_i+\epsilonm∗E<m∗G<∑i=1∞mIi+ϵ得证
⟸\impliedby⟸若∀ϵ>0,∃\forall\epsilon>0,\exist∀ϵ>0,∃开集G,s.t. E⊂G,m∗(G−E)<ϵE\subset G,m^*(G-E)<\epsilonE⊂G,m∗(G−E)<ϵ令ϵ=1n\epsilon=\frac{1}{n}ϵ=n1,∃开集Gn⊃E,令G=⋂Gn\exist开集G_n\supset E,令G=\bigcap G_n∃开集Gn⊃E,令G=⋂Gn,则G是GδG_\deltaGδ型集,是开集,且G⊃E,m∗(G−E)<m∗(Gn−E)<1nG\supset E,m^*(G-E)<m^*(G_n-E)<\frac{1}{n}G⊃E,m∗(G−E)<m∗(Gn−E)<n1于是m∗(Gn−E)=0m^*(G_n-E)=0m∗(Gn−E)=0,从而G-E可测,又因为G是开集,所以E可测。
3.可测函数
- 设mE[f≠g]=0mE[f\neq g]=0mE[f=g]=0,若fff可测则ggg可测。
\quad解: 令E1=E[f≠g],E2=[f=g]E_1=E[f\neq g],E_2=[f=g]E1=E[f=g],E2=[f=g],则,由题意知,mE1=0,mE_1=0,mE1=0,故g在E1E_1E1上可测。又因为f在E上可测,则f在E2E_2E2上可测,故g在E2E_2E2上可测,所以g在E上可测。
4. 积分论
- 设P0P_0P0为[0,1]上的cantor集,在P0P_0P0上定义函数f(x)=0f(x)=0f(x)=0,在余集长为13n\frac{1}{3^n}3n1的构成区间上定义为f(x)=nf(x)=nf(x)=n,证明:fff在[0,1]上L可积,并求出积分值。
\quad证: 积分值有限则可积,在cantor集上函数的定义为0,于是L积分为0.假设函数在[0,1]可积,那么∫[0,1]f(x)dx<∞\int_{[0,1]}f(x)dx<\infty∫[0,1]f(x)dx<∞,由题意∫[0,1]f(x)dx=∫P0f(x)dx+∫P0cf(x)dx=0+∫P0cf(x)dx\int_{[0,1]}f(x)dx=\int_{P_0}f(x)dx+\int_{{P_0}^c}f(x)dx=0+\int_{{P_0}^c}f(x)dx∫[0,1]f(x)dx=∫P0f(x)dx+∫P0cf(x)dx=0+∫P0cf(x)dx。
于是只需求∫P0cf(x)dx\int_{{P_0}^c}f(x)dx∫P0cf(x)dx:
\quad \quad∫P0cf(x)dx=∫⋃∞i=1Enf(x)dx=∑i=1+∞∫Enf(x)dx=∑i=1+∞n∗m(En)=∑i=1+∞n∗2n−13n=3<∞\int_{{P_0}^c}f(x)dx=\int_{\underset{i=1}{\overset{\infty}{\bigcup}}E_n}f(x)dx=\sum^{+\infty}_{i=1}\int_{E_n}f(x)dx=\sum^{+\infty}_{i=1}n*m(E_n)=\sum^{+\infty}_{i=1}n*\frac{2^{n-1}}{3^n}=3<\infty∫P0cf(x)dx=∫i=1⋃∞Enf(x)dx=∑i=1+∞∫Enf(x)dx=∑i=1+∞n∗m(En)=∑i=1+∞n∗3n2n−1=3<∞ - 求∑i=1∞(R)∫−11x2(1+x2)ndx\sum^{\infty}_{i=1}(R)\int^{1}_{-1}\frac{x^2}{(1+x^2)^n}dx∑i=1∞(R)∫−11(1+x2)nx2dx
\quad解: 令fn(x)=x2(1+x2)nf_n(x)=\frac{x^2}{(1+x^2)^n}fn(x)=(1+x2)nx2,则fff在[-1,1]上为非负连续函数,于是fff在[-1,1]上为非负可测,由逐项积分定理
∑i=1∞(R)∫−11x2(1+x2)ndx=∑i=1∞(L)∫[−1,1]fn(x)dx=(L)∫[−1,1]∑i=1∞fn(x)dx=(L)∫[−1,1]1dx=2\sum^{\infty}_{i=1}(R)\int^{1}_{-1}\frac{x^2}{(1+x^2)^n}dx=\sum^{\infty}_{i=1}(L)\int_{[-1,1]}f_n(x)dx=(L)\int_{[-1,1]}\sum^{\infty}_{i=1}f_n(x)dx=(L)\int_{[-1,1]}1dx=2∑i=1∞(R)∫−11(1+x2)nx2dx=∑i=1∞(L)∫[−1,1]fn(x)dx=(L)∫[−1,1]∑i=1∞fn(x)dx=(L)∫[−1,1]1dx=2 - 证明:若f(x)f(x)f(x)在[a,b]上绝对连续,f′(x)≥0f'(x)\geq0f′(x)≥0,a.e.于[a,b],则f(x)f(x)f(x)为增函数。
\quad证: 对∀x1,x2∈[a,b],\forall x_1,x_2\in[a,b],∀x1,x2∈[a,b],不妨设x1<x2x_1<x_2x1<x2由于fff绝对连续,于是f(x)f(x)f(x)可表示为f(x)=f(a)+∫axf(t)dtf(x)=f(a)+\int^{x}_{a}f(t)dtf(x)=f(a)+∫axf(t)dt,
故
\quad\quadf(x1)=f(a)+∫ax1f′(t)dtf(x_1)=f(a)+\int^{x_1}_{a}f'(t)dtf(x1)=f(a)+∫ax1f′(t)dt,
\quad\quadf(x2)=f(a)+∫ax2f′(t)dtf(x_2)=f(a)+\int^{x_2}_{a}f'(t)dtf(x2)=f(a)+∫ax2f′(t)dt.
\quad\quadf(x2)−f(x1)=∫x1x2f′(t)dxf(x_2)-f(x_1)=\int^{x_2}_{x_1}f'(t)dxf(x2)−f(x1)=∫x1x2f′(t)dx
由于f′(x)≥0f'(x)\geq0f′(x)≥0,a.e.于[a,b],故f(x2)−f(x1)≥0,ff(x_2)-f(x_1)\geq0,ff(x2)−f(x1)≥0,f在[a,b]上是增函数。 - 设{fn(x)}\{f_n(x)\}{fn(x)}是[a,b]上一列绝对连续的增函数,若级数
f(x)=∑i=1∞fn(x)f(x)=\sum^{\infty}_{i=1}f_n(x)f(x)=∑i=1∞fn(x)在[a,b]上处处收敛,证明:f(x)f(x)f(x)是[a,b]上的绝对连续函数。
\quad证: 对于∀n>0\forall n>0∀n>0,由于fn(x)f_n(x)fn(x)在[a,b]上绝对连续,于是有
fn(x)=fn(a)+∫axfn′(t)dtf_n(x)=f_n(a)+\int^{x}_{a}f'_n(t)dtfn(x)=fn(a)+∫axfn′(t)dt又因为fn(x)f_n(x)fn(x)处处收敛,于是∑i=1∞fn(a)=f(a)\sum^{\infty}_{i=1}f_n(a)=f(a)∑i=1∞fn(a)=f(a),又因为f′(x)≥0f'(x)\geq0f′(x)≥0且绝对连续,从而∑i=1∞∫axfn(t)dt=∫ax∑i=1∞fn(t)dt\sum^{\infty}_{i=1}\int^{x}_{a}f_n(t)dt=\int^{x}_{a}\sum^{\infty}_{i=1}f_n(t)dt∑i=1∞∫axfn(t)dt=∫ax∑i=1∞fn(t)dt
所以有
f(x)=∑i=1∞fn(x)=fn(x)f(x)=\sum^{\infty}_{i=1}f_n(x)=f_n(x)f(x)=∑i=1∞fn(x)=fn(x)
=∑i=1∞fn(a)+∑i=1∞∫axfn′(t)dt\quad\quad=\sum^{\infty}_{i=1}f_n(a)+\sum^{\infty}_{i=1}\int^{x}_{a}f'_n(t)dt=∑i=1∞fn(a)+∑i=1∞∫axfn′(t)dt
=f(a)+∫axf(t)dt\quad\quad=f(a)+\int^{x}_{a}f(t)dt=f(a)+∫axf(t)dt
即f(x)f(x)f(x)为[a,b]上的绝对连续函数。
往期:
2-1 实变函数之集合论
2-2 实变函数之集合论(点集)
2-3 实变函数之测度论
2-4 实变函数之可测函数
2-5 实变函数之积分论
2-6 实变函数之微分与不定积分
2-7 实变函数之经典习题相关推荐
- 已知长短轴求椭圆上任意一点的坐标_高中数学必修2:平面解析几何——椭圆(经典习题)...
今天接着给大家分享关于高中数学必修2平面解析几何中椭圆知识点讲解,从三个方面进行讲解:基础梳理.要点整理.经典高考习题解题过程及答案. 一.基础梳理 1.椭圆的定义 2.椭圆的标准方程和几何性质 要点 ...
- 新颖的c语言题目,新颖版c语言经典习题100例(全面面)
新颖版c语言经典习题100例(全面面) (66页) 本资源提供全文预览,点击全文预览即可全文预览,如果喜欢文档就下载吧,查找使用更方便哦! 19.90 积分 实用文档C语言习题100例(最新整理版) ...
- c语言全面,最新版c语言经典习题100例(最全面).doc
最新版c语言经典习题100例(最全面).doc C语言习题100例(最新整理版) 习题目录:(按住Ctrl点击可以快速跳转到对应页面) TOC \o "1-3" \h \z \u ...
- 算法竞赛入门经典 习题3-2 分子量 Molar Mass
给出一种物质的分子式(不带括号),求其分子量.本题分子式中只包含四种原子,分别为C.H.O.N,原子量分别为12.01,1.008,16.00,14.01.例如,C6H5OH的分子量为94.108g/ ...
- oracle经典习题(一)
oracle经典习题(一) 1.显示与BLAKE在同一部门工作的雇员的姓名.工作和入职日期,但是BLAKE不包含在内 1.1 示例sql语句 SELECT ename,job,hiredate FRO ...
- oralce 经典习题系列-查询
oralce 经典习题系列 数据库数据类型 The problem 1在已经创建的employee表中进行如下操作: (1)计算所有女员工('F')的工龄. (2)使用ROWNUM查询从第3条记录开始 ...
- 韩信点兵(hanxin)--算法竞赛经典习题2-2:相传韩信才智过人,从不清点自己军队的人数,只要让士兵先后以三人一排、五人一排、七人一排地变换队形,他每次只要掠一眼队伍的排尾就知道总数(C++实现)
韩信点兵(hanxin)–算法竞赛经典习题2-2:相传韩信才智过人,从不清点自己军队的人数,只要让士兵先后以三人一排.五人一排.七人一排地变换队形,他每次只要掠一眼队伍的排尾就知道总数. (C++实现 ...
- 解析java多态经典习题
解析java多态经典习题 1 题目一 1.1 题目内容 编写程序实现乐手弹奏乐器.乐手可以弹奏不同的乐器从 而发出不同的声音. 可以弹奏的乐器包括二胡.钢琴和琵琶. 实现思路及关键代码: ①定义乐器类 ...
- 基于matlab和proe的曲面建模,Proe曲面建模经典习题:创建电话
原标题:Proe曲面建模经典习题:创建电话 上一期我们通过曲面建模的方式创建了一个灯罩,这一期就提高点难度,创建一个电话吧!本教程也涉及到不少曲面建模的命令,比如可变截面扫描.边界混合以及曲面修剪和合 ...
最新文章
- oracle存储过程dbms_output.put_line()显示打印结果
- linux 引用其它脚本中的变量
- 数据库备份还原顺序关系(环境:Microsoft SQL Server 2008 R2)
- VMware12.0下安装CentOS-6.9-x86_64-bin-DVD.iso
- 《天天数学》连载04:一月四日
- 【英语学习】【WOTD】ecstatic 释义/词源/示例
- [CF280D]k-Maximum Subsequence Sum
- 我的HTML学习之路03
- C/C++的memset函数的说明和使用
- el表达式里面fn的用法
- matlab直流电机转速 电流双闭环,转速 电流双闭环直流调速系统的课程设计(MATLAB Simulink)...
- 人生中第一次在优品拍拍买二手手机的经历
- 二维码学习笔记(一) | 二维码概述
- linux 向日葵 使用方法,远程控制工具——Centos7上向日葵安装使用
- 他妈的 Python(1):怎么发起一个同步的 HTTP 请求
- 爬虫工程师必备技术栈——加密解密以及字符编码原理
- Air724UG 4G LTE 模块AT指令连接服务器
- Java代理模式(Cglib)代理模式
- 70后80后90后00后网民研究报告(2017年)
- Python:实现carrier concentration载流子浓度算法(附完整源码)