实变函数自制笔记5：勒贝格测度论

1、外侧度：

测度的背景：仅有连续函数和积分的古典理论并不足以解决数学分析的许多问题；由于黎曼积分在理论上具局限性，故需要将原有的积分定义进行改造；对于闭区间的正值连续函数，其积分就是平面曲边梯形的面积；而不可积函数这样的面积就不存在；所以我们需要将面积这一概念进行推广，使得更多的函数通过新的度量达到类似面积这样性质；
$\mathbb{R}^{n}$ 的开集度量：

$\mathbb{R}^{2}$ 中，开矩形 $I=\left \{ \left ( x,y \right )\mid a<x<b,c<y<d \right \}$ 的面积： $\left ( b-a \right )\left ( d-c \right )$ ；
$\mathbb{R}^{3}$ 中，开长方体 $I=\left \{ \left ( x,y,z \right )\mid a<x<b,c<y<d,l<z<h \right \}$ 的体积： $\left ( b-a \right )\left ( d-c \right )\left ( h-l \right )$ ；
……
$\mathbb{R}^{n}$ 中，开集/开长方体 $I=\left \{ \left ( x_{1},x_{2},\cdots ,x_{n} \right )\mid a_{i}<x_{i}<b_{i},i=1,2,\cdots ,n \right \}$ 的体积： $\left | I \right |=\prod_{i=1}^{n}\left ( b_{i}-a_{i} \right )$ ；

外侧度的背景：对于一般的点集，我们无法使用类似黎曼积分的分析方法（对 $\left [ a,b \right ]$ 分成 $n$ 份，以 $n$ 个长方形的面积之和代替积分；这里可以引申为分割的长方体之和代替体积）；为此这里采用外部挤压的办法，用矩形/正方形去覆盖点集，通过计算这些矩形的面积总和得出原点集的“面积”（明显这些矩形的面积值比原点集的“面积”值要大）；由此我们通过外侧度来推出测度的概念；
$L$ -覆盖：已知点集 $E\subset \mathbb{R}^{n}$ ， $\left \{ I_{k} \right \}$ 为 $\mathbb{R}^{n}$ 中的可数个开矩体，且 $E\subset \bigcup_{k=1}^{\infty }I_{k}$ ，则 $\left \{ I_{k} \right \}$ 为 $E$ 的一个 $L$ -覆盖；
勒贝格（Lebesgue）外侧度/外侧度 $m^{*}E$ / $m^{*}\left ( E \right )$ ： $m^{*}E=\inf \left (\sum_{k=1}^{\infty }\left | I_{k} \right | \right )$ ，其中 $E\subset \bigcup_{k=1}^{\infty }I_{k}$ ， $I_{n}$ 为开矩体（或称 $\left \{ I_{k} \right \}$ 为 $E$ 的 $L$ -覆盖）；
外侧度的性质和定理：

非负性： $m^{*}E\geqslant 0$ ； $m^{*}\varnothing =0$ ；
单调性： $A\subseteq B\Rightarrow m^{*}A\leqslant m^{*}B$ ；
次可加性： $m^{*}\left ( \bigcup_{k=1}^{\infty }E_{k} \right )\leqslant \sum_{k=1}^{\infty }m^{*}E_{k}$ ；
平移不变性： $E\subset \mathbb{R}^{n}$ ， $x_{0}\in \mathbb{R}^{n}$ ，若记 $E+\left \{ x_{0} \right \}=\left \{ x+x_{0},x\in E \right \}$ ，则 $m^{*}E=m^{*}\left ( E+\left \{ x_{0} \right \} \right )$ ；

2、可测集

可测集和不可测集的构建背景：我们总可以找到互不相交的 $\left \{ E_{k} \right \}$ ，有 $m^{*}\left ( \bigcup_{k=1}^{\infty }E_{k} \right )< \sum_{k=1}^{\infty }m^{*}E_{k}$ ，即外侧度不满足可数可加性；事实上，总有一些点集是不存在测度的，这些点集构成的集合便叫做不可测集；反过来说，具有可加性的点集集合就是可测集；
可测集和不可测集的判断方法：

采用内外侧度的方法：集合的外侧度是包住集合的矩体的体积和的下确界，而集合的内测度就是将集合挖去矩体后剩下部分的体积和的上确界（包含在集合中闭集测度的上确界），当内外侧度相等（ $m^{*}E=m_{*}E$ ）时，集合就为可测集；但这样的界定方式无法推广到一般的抽象背景上去，且从可加性角度看问题有重大缺陷，因为不能由内测度有可加性推出外侧度有可加性；
以可测集证可测集：若 $E\subset \mathbb{R}^{n}$ 为可测集，但我们并不知晓可测集的定义，而且 $\complement E=\mathbb{R}^{n}-E$ 也是可测集；之后验证在任意的开矩体 $I$ 上，总有 $m^{*}I=m^{*}\left ( I\cap E \right )+m^{*}\left ( I-E \right )$ ；再借此证明下面的可测集定义；

勒贝格可测集/ $m^{*}$ -可测集 $E$ ：当 $E\subset \mathbb{R}^{n}$ 时，若 $\forall$ 点集 $T\subset \mathbb{R}^{n}$ ，都有 $m^{*}T=m^{*}\left ( T\cap E \right )+m^{*}\left (T-E \right )$ （卡拉西奥多里（Carathéodory）条件，其等价于 $\forall A\subset E,B\subset \complement E,m^{*}\left ( A\cup B \right )=m^{*}A+m^{*}B$ ），则称 $E$ 为勒贝格可测集， $T$ 为试验集；可测集的全体集合称为可测集类； $m^{*}E$ 就为勒贝格测度 $mE$ ；
可测集的性质和定理：

常见的可测集： $\varnothing ,\mathbb{R}^{n}$ ，矩体 $I$ （满足 $m^{*}I=\left | I \right |$ ），开集，闭集，零测集，；
$E\subset \mathbb{R}^{n}$ 为可测集 $\Leftrightarrow \complement E=\mathbb{R}^{n}-E$ 为可测集；
$m^{*}E=0\Rightarrow E$ 为可测集；
$E_{1},E_{2}$ 为可测集 $\Rightarrow E_{1}\cup E_{2},E_{1}\cap E_{2},E_{1}-E_{2}$ 为可测集（即可测集有限次取交或并运算后的集合仍为可测集）；
可测集无限次取交或并运算后的集合仍为可测集；
可数可加性/ $\sigma$ -可加性：若可测集 $\left \{ E_{k} \right \}$ 互不相交， $m\left ( \bigcup_{k=1}^{\infty }E_{k} \right )=\sum_{k=1}^{\infty }mE_{k}$ ；
若有单调递增可测集列 $E_{1}\subset E_{2}\subset \cdots \subset E_{k}\subset \cdots$ ，则 $m\left ( \lim_{k\rightarrow \infty }E_{k} \right )=\lim_{k\rightarrow \infty }mE_{k}$ ；
若有单调递减可测集列 $E_{1}\supset E_{2}\supset \cdots \supset E_{k}\supset \cdots$ ，且 $\exists k_{0},mE_{k_{0}}< +\infty$ ，则 $m\left ( \lim_{k\rightarrow \infty }E_{k} \right )=\lim_{k\rightarrow \infty }mE_{k}$ ；（反例是： $E_{k}=\left ( k,+\infty \right ),m\left ( \lim_{k\rightarrow \infty }E_{k} \right )=m\left ( \varnothing \right )=0\neq \lim_{k\rightarrow \infty }mE_{k}=+\infty$ ）
已知可测集列 $\left \{ E_{i} \right \}$ ， $\lim_{k\rightarrow \infty }E_{k}$ 存在则 $\lim_{k\rightarrow \infty }E_{k}$ 可测；若 $\exists k_{0},m\left ( \bigcup_{k=k_{0}}^{\infty }E_{k} \right )< +\infty$ ，则 $m\left ( \lim_{k\rightarrow \infty }E_{k} \right )=\lim_{k\rightarrow \infty }mE_{k}$ ；
已知 $E\subset \mathbb{R}^{n}$ ，则 $\exists G_{\delta }$ 集（可数个开集的交） $G\supset E$ ，且有 $mG=m^{*}E$ ；

实变函数自制笔记5：勒贝格测度论相关推荐

实变函数自制笔记8：初识勒贝格积分
1.勒贝格(Lebesgue)积分: 背景:勒贝格积分是在勒贝格测度论的基础上建立起来的,这一理论可以统一处理函数有界.无界的情形,且函数也可以定义在更一般的点集(不一定是)上:特别的是它提供了比黎曼 ...
实变函数自制笔记3：集合的势
1.势的定义与康托-伯恩斯坦(Cantor-Bernstein)定理: 背景:对于集合所含元素的个数,有限个元素构成的集合(以下简称"有限集",对应的有"无限集" ...
DNS域名解析自制笔记
本文作于2022.1.22,用于个人加深印象一.DNS的引出识别主机的两种方式: ①主机名 hostname(如www.baidu.com)优点:可读性高,便于记忆 ②IP地址 IP addres ...
数学建模理论自制笔记1：微分方程及其模型
1.微分方程基础概念: 微分方程:含有自变量.未知函数及未知函数的导数或微分的等式,其定义式为: 常微分方程(Ordinary Differential Equations, ODE):不含偏导数或偏 ...
数学建模理论自制笔记2：差分方程及其模型
1.差分方程基础概念: 差分:这里的差分常指向前差分,即对于数列,差分算子为在处的向前差分:向后差分即是指:: 在处的阶差分::其中在处的2阶差分为,反映的是增量的增量: 差分方程:由以及差分所构成的 ...
我国数学家丁小平先生在微积分研究领域所取得的成就
图一丁小平先生回母校清华大学参加校庆时与同学合影来源:环球网时间: 2019-09-17 16:45 从丁小平先生在第四届世界数学科学大会发表<浅谈现行微积分原理的错误>和<新 ...
从数学史角度看丁小平的微积分研究
从丁小平先生在第四届世界数学科学大会发表<浅谈现行微积分原理的错误>和<新微积分原理简介>算起,至今已有九年.这九年中,丁小平先生一直通过发表论文和讲学等方式揭示现行微积分原理 ...
实变函数与泛函数分析学习笔记（二）：赋范线性空间
导语:现代数学入门的钥匙就是实变函数与泛函数分析.数学,物理学,计算机学科,神经生物学相互交叉构成了AI的基础.深入研究AI,尤其是神经规则推理以及下一代AI技术,必须修炼好内功.非数学专业的学生,可 ...
2-3 实变函数之测度论
2-3 实变函数之测度论 1.外测度定义:设EEE为RnR^nRn中任一点集,对于每一列覆盖EEE的开区间⋃i=1∞Ii⊂E\bigcup_{i=1}^{\infty}I_i\subset E⋃i= ...

实变函数自制笔记5：勒贝格测度论

实变函数自制笔记5：勒贝格测度论相关推荐

最新文章

热门文章