实分析

实分析

0. 简介

实分析部分很多内容放在了之前的第二章（微积分I）里面，所以也需要回去复习一下。其中主要包括一些重要概念：极限，微分，黎曼积分，中值定理，均值定理，微积分基本定理，数列。
在这一章中，主要介绍了实数的性质以及勒贝格积分。

1. 实数的完备性

上下界

（1）X是一个实数的非空集合.对一个$u$有$u\ge x$对每一个$x\in X$成立，那么$u$称为X的上界
注1：同理可以定义下界.
注2：u不一定在X内，任何的大（小）于u的数都是上（下）界，故上下界可以有多个.

（2）X是一个具有上界的实数的集合，其上界u满足不存在比u小的数是X的上界，则u是X的最小上界.记作$u=lubX$.最小上界也被称作supremum，即$supX$. 两种记号等价.同理定义最大下界(glb) infimum，记作$infX$

最小上界公理（Least Upper Bound Axiom）

若X是一个有上界实数集合，那么有且仅有一个实数u是X的最小上界.

注：对比有理数则不存在该性质，考虑一个序列${\sum }_{i=1}^n\frac{1}{i!}$，其极限为e，而e为实数，所以不存在一个最小有理数上界。

注：可以由Least upper bound axiom证明最大下界定理，两者等价.
注：上面的定理证明了实数中没有 “洞”，也就是说，只要实数希望收敛，总是可以找到一个实数值作为收敛目标。

Cauchy序列（熟悉的ε-N语言）

（1）定义
一个序列 { X n } \{X_n\} {Xn​}是Cauchy序列，对于任意$ϵ>0$，$\exists$ 一个整数N，对任意的m,n$\ge$N，都有$|x_m-x_n|<ϵ$.

（2）收敛定理
每一个Cauchy序列都是实数收敛的.

注：保证Cauchy列收敛的度量空间称为完备空间，R就是一个完备空间。

2.勒贝格测度

定义

首先记R中加入了无穷为$\overline{R}$.

A是R的任意子集. $(a_i,b_i)$是开区间，称A被可数个开区间覆盖，即$A\subseteq {\bigcup }_{i=1}^{\infty }(a_i,b_i)$.
定义一个函数 $${\mu }^{\ast }(A)=inf(\sum _{i=1}^{\infty }(b_i-a_i),forA\subseteq \bigcup _{i=1}^{\infty }(a_i,b_i))$$
注：上述方程可以取值到∞
注：（自己的理解）上面定义一系列开区间，可数个开区间覆盖可能会导致开区间有重叠，尽管重叠是必要的，因为开区间必须要接起来不能产生断点。但是在计算测度的时候，通过取下界，得到最小覆盖长度，就是上面集合A的测度。

Lebesgue可测集合

下面还需要定义可测集M，即函数$\mu$的定义域. 记子族M包含所有的M.
M是可测集，当且仅当对任意$A\subset R$，有${\mu }^{\ast }(A)={\mu }^{\ast }(A\bigcap M)+{\mu }^{\ast }(A\bigcap M^c)$

注：书中此处有错，上述式子的含义即为，M可以将R的任意子集测度分为如上两部分之和。

Lebesgue可测集合的性质

1. R上的开区间，闭区间，有限集和可数无限集都是Lebesgue可测的.
2. 可测集的补可测，可测集的有限或可数的并和交也是可测的.
3. M并不是所有的P( R)，即不是所有的R的子集均可测（构造一个不可测集是相对困难的）

其它重要性质

4. 空集可测且测度为0. 单点集（singleton）测度为0. 更进一步可以知道Z和Q的测度都是0，（因为有洞hhh（其实是洞太多
5. 开闭区间测度一致，为|b-a|. 无交有限区间的并的测度即为测度相加.包含无穷区间的测度为无穷.
6. 若$M_1\subseteq M_2$，则$\mu (M_1)\le \mu (M_2)$

勒贝格可测函数

定义

一个函数$f:R\to R$是可测函数，如果对R上的每个开集O，逆象$f^{-1}(O)$是一个Lebesgue可测集.

由于连续函数的逆象得到的还是开区间，所以连续必然可测. 但是存在非连续但可测的函数（有一些非常重要）
注：求和，求导，乘积和取绝对值都不改变可测性.

特征函数（characteristic）

若A是R的任意子集，则可以定义R上的函数${\chi }_A$，称为A的特征函数，满足$${\chi }_A(x)=\{\begin{array}{ll}1,& \text{if x∈A}\\ 0,& \text{if x∈/A}\end{array}$$
注：A可测等价于${\chi }_A$可测.

阶梯函数(step function)

对每一个区间$A_i$都赋一个实值，所以就是阶梯状的函数，即多个特征函数的线性组合.

注1：如果每一个区间都可测，那么step function也可测.
注2：step function的值域是R的有限子集

为了从step function 得到勒贝格积分，需要如下定理：
$f$是一个定义在$R$上的可测恒正函数，一定存在一个step function 的序列$(s_1,s_2,...,)$使得$0\le s_1\le s_2\le ...$且$li{m}_{n\to \infty }{s}_n=f$（即对任意$x$，都有$li{m}_{n\to \infty }{s}_n(x)=f(x)$）
更加广义地，如果$f_n$对每个n可测，且$f_n\to f$ almost everywhere，可以得到$f$也是可测的.
注：需要复习一下函数极限和函数序列的问题

勒贝格可积函数

勒贝格可积（对step function讨论）

首先定义step function，满足$A_i$都可测，则s也可测$$s=\sum _{i=1}^n{a}_i{\chi }_{A_i}$$
Lesbegue可积条件为$$a_i̸=0\Rightarrow \mu (A_i)<\infty$$
满足可积条件的s的Lesbegue Integral为$$\int sd\mu =\sum _{i=1}^n{a}_i\mu (A_i)$$
注：Lebesgue测度$\mu (A_i)$类似长度单位

对一般的函数

首先定义一般函数的Lesbegue可积性.
1.需要是Lesbegue可测且$f>0$的函数.
2.对于任意step function $s$，满足$0\le s\le f$，都是Lesbegue可积的，且$\int sd\mu <+\infty$
Lesbegue Integral的值为 ∫ f d μ = s u p { ∫ s d μ } \int fd\mu = sup\{\int sd\mu\} ∫fdμ=sup{∫sdμ}
注：可积保证了其下每一个step function都可积，因此可以通过step function来逼近f的值.

更加一般的，放松$f>0$的条件。但将此类函数转化为正的函数进行求解，具体转换方法为：考虑$f=f^{+}+f^{-}$，其中$f^{+}=\frac{1}{2}(|f|+f)$当f为正时等于f，否则等于0，$f^{-}=\frac{1}{2}(|f|-f)$，相反（等于-f，就是把负的部分反过来）.

与黎曼积分的比较

由于勒贝格积分采取了从值域的逆象取得一个可测集（而不需要是区间），因此对于一些存在间断点问题的黎曼不可积问题，勒贝格积分可以给出积分结果.
例子：$$f(x)={\chi }_Q(x)=\{\begin{array}{ll}1,& \text{if x is irrational}\\ 0,& \text{if x is rational}\end{array}$$
由于函数处处不连续，因此黎曼不可积，而考虑Lebesgue integral$$\int {\chi }_{Q}d\mu =1\ast \mu (Q)+0\ast \mu (Q^c)=0$$