2-7 实变函数之经典习题

1.点集

  1. 设E1E_1E1​是[0,1]中的有理数全体,求E1E_1E1​在R1R^1R1中的E1′E_1'E1′​(导集:聚点组成的集合),E1o\overset{o}{E_1}E1​o​(开核:内点组成的集合),E1−\overset{-}{E_1}E1​−​(闭包).
    \quad解: E1′=[0,1]E_1'=[0,1]E1′​=[0,1];E1o=∅\overset{o}{E_1}=\emptyE1​o​=∅;E1−=[0,1]\overset{-}{E_1}=[0,1]E1​−​=[0,1]
    注: 聚点P:P的任意邻域与E的交成无限集。
    \quad\quad内点P:存在P的邻域是E的子集(显然有理数的任意邻域都含无理数)
    \quad\quad闭包:导集+孤立点。
  2. 设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}E2​o​,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\}E2​o​={(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.测度论

  1. 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.可测函数

  1. 设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. 积分论

  1. 设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=∫P0​​f(x)dx+∫P0​c​f(x)dx=0+∫P0​c​f(x)dx。
    于是只需求∫P0cf(x)dx\int_{{P_0}^c}f(x)dx∫P0​c​f(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∫P0​c​f(x)dx=∫i=1⋃∞​​En​​f(x)dx=∑i=1+∞​∫En​​f(x)dx=∑i=1+∞​n∗m(En​)=∑i=1+∞​n∗3n2n−1​=3<∞
  2. 求∑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)nx2​dx
    \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)nx2​dx=∑i=1∞​(L)∫[−1,1]​fn​(x)dx=(L)∫[−1,1]​∑i=1∞​fn​(x)dx=(L)∫[−1,1]​1dx=2
  3. 证明:若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)+∫ax​f(t)dt,

    \quad\quadf(x1)=f(a)+∫ax1f′(t)dtf(x_1)=f(a)+\int^{x_1}_{a}f'(t)dtf(x1​)=f(a)+∫ax1​​f′(t)dt,
    \quad\quadf(x2)=f(a)+∫ax2f′(t)dtf(x_2)=f(a)+\int^{x_2}_{a}f'(t)dtf(x2​)=f(a)+∫ax2​​f′(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​)=∫x1​x2​​f′(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]上是增函数。
  4. 设{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)+∫ax​fn′​(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∞​∫ax​fn​(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∞​∫ax​fn′​(t)dt
    =f(a)+∫axf(t)dt\quad\quad=f(a)+\int^{x}_{a}f(t)dt=f(a)+∫ax​f(t)dt
    即f(x)f(x)f(x)为[a,b]上的绝对连续函数。

往期:

2-1 实变函数之集合论
2-2 实变函数之集合论(点集)
2-3 实变函数之测度论
2-4 实变函数之可测函数
2-5 实变函数之积分论
2-6 实变函数之微分与不定积分

2-7 实变函数之经典习题相关推荐

  1. 已知长短轴求椭圆上任意一点的坐标_高中数学必修2:平面解析几何——椭圆(经典习题)...

    今天接着给大家分享关于高中数学必修2平面解析几何中椭圆知识点讲解,从三个方面进行讲解:基础梳理.要点整理.经典高考习题解题过程及答案. 一.基础梳理 1.椭圆的定义 2.椭圆的标准方程和几何性质 要点 ...

  2. 新颖的c语言题目,新颖版c语言经典习题100例(全面面)

    新颖版c语言经典习题100例(全面面) (66页) 本资源提供全文预览,点击全文预览即可全文预览,如果喜欢文档就下载吧,查找使用更方便哦! 19.90 积分 实用文档C语言习题100例(最新整理版) ...

  3. c语言全面,最新版c语言经典习题100例(最全面).doc

    最新版c语言经典习题100例(最全面).doc C语言习题100例(最新整理版) 习题目录:(按住Ctrl点击可以快速跳转到对应页面) TOC \o "1-3" \h \z \u ...

  4. 算法竞赛入门经典 习题3-2 分子量 Molar Mass

    给出一种物质的分子式(不带括号),求其分子量.本题分子式中只包含四种原子,分别为C.H.O.N,原子量分别为12.01,1.008,16.00,14.01.例如,C6H5OH的分子量为94.108g/ ...

  5. oracle经典习题(一)

    oracle经典习题(一) 1.显示与BLAKE在同一部门工作的雇员的姓名.工作和入职日期,但是BLAKE不包含在内 1.1 示例sql语句 SELECT ename,job,hiredate FRO ...

  6. oralce 经典习题系列-查询

    oralce 经典习题系列 数据库数据类型 The problem 1在已经创建的employee表中进行如下操作: (1)计算所有女员工('F')的工龄. (2)使用ROWNUM查询从第3条记录开始 ...

  7. 韩信点兵(hanxin)--算法竞赛经典习题2-2:相传韩信才智过人,从不清点自己军队的人数,只要让士兵先后以三人一排、五人一排、七人一排地变换队形,他每次只要掠一眼队伍的排尾就知道总数(C++实现)

    韩信点兵(hanxin)–算法竞赛经典习题2-2:相传韩信才智过人,从不清点自己军队的人数,只要让士兵先后以三人一排.五人一排.七人一排地变换队形,他每次只要掠一眼队伍的排尾就知道总数. (C++实现 ...

  8. 解析java多态经典习题

    解析java多态经典习题 1 题目一 1.1 题目内容 编写程序实现乐手弹奏乐器.乐手可以弹奏不同的乐器从 而发出不同的声音. 可以弹奏的乐器包括二胡.钢琴和琵琶. 实现思路及关键代码: ①定义乐器类 ...

  9. 基于matlab和proe的曲面建模,Proe曲面建模经典习题:创建电话

    原标题:Proe曲面建模经典习题:创建电话 上一期我们通过曲面建模的方式创建了一个灯罩,这一期就提高点难度,创建一个电话吧!本教程也涉及到不少曲面建模的命令,比如可变截面扫描.边界混合以及曲面修剪和合 ...

最新文章

  1. oracle存储过程dbms_output.put_line()显示打印结果
  2. linux 引用其它脚本中的变量
  3. 数据库备份还原顺序关系(环境:Microsoft SQL Server 2008 R2)
  4. VMware12.0下安装CentOS-6.9-x86_64-bin-DVD.iso
  5. 《天天数学》连载04:一月四日
  6. 【英语学习】【WOTD】ecstatic 释义/词源/示例
  7. [CF280D]k-Maximum Subsequence Sum
  8. 我的HTML学习之路03
  9. C/C++的memset函数的说明和使用
  10. el表达式里面fn的用法
  11. matlab直流电机转速 电流双闭环,转速 电流双闭环直流调速系统的课程设计(MATLAB Simulink)...
  12. 人生中第一次在优品拍拍买二手手机的经历
  13. 二维码学习笔记(一) | 二维码概述
  14. linux 向日葵 使用方法,远程控制工具——Centos7上向日葵安装使用
  15. 他妈的 Python(1):怎么发起一个同步的 HTTP 请求
  16. 爬虫工程师必备技术栈——加密解密以及字符编码原理
  17. Air724UG 4G LTE 模块AT指令连接服务器
  18. Java代理模式(Cglib)代理模式
  19. 70后80后90后00后网民研究报告(2017年)
  20. Python:实现carrier concentration载流子浓度算法(附完整源码)

热门文章

  1. 基于UMPC的移动电视演示
  2. vue中使用双循环v-for及点击切换active,默认使第n个添加active
  3. 主流的分布式文件系统
  4. CorelDRAW 9发生不可预期的错误解决方法
  5. 文件管理软件,教你智能管理电脑桌面上的所有文件
  6. 红杉资本遭入侵,黑客仿冒红杉员工发送欺诈邮件
  7. Gradle: SSL peer shut down incorrect与 read timeout处理
  8. 2022-2028年中国建筑机器人行业发展模式分析及未来前景规划报告
  9. 视觉 SLAM 十四讲 —— 第十三讲 建图
  10. 世界读书日线上知识竞赛答题活动方案及模板分享