数学分析、实变函数与泛函分析

数学分析、实变函数与泛函分析

实数

泛函的观点：自然数到有理数，有理数到柯西列（元素为有理数），实数就是所有柯西列收敛的极限点的集合

实数的性质

1、若 $x<y$，则 $\exists r\in \mathbb{Q}$，使得 $x<r<y$。

2、若 $\forall ϵ>0,a<b+ϵ$，则 $a\le b$。（反证法）

有界集

定义：$S\subset \mathbb{R}$，对一切 $x\in S$，均有 $x\le M$，则称 $M$为 $S$ 的一个上界。同理下界定义

上确界定义：一个实数集合 $S$，若有一个实数 $\eta$，
(1) $S$中任何数都不超过 $\eta$
(2) $\forall \alpha <\eta ,\exists x_0\in S,s.t.x_0>\alpha$，

类似下确界

性质

1、上确界、下确界唯一

2、下确界一定小于等于上确界

3、上确界、下确界可能不属于 $S$

s u p { S } ∈ S    ⟺    s u p { S } = m a x { S } sup\{S\} \in S \iff sup\{S\}=max\{S\} sup{S}∈S⟺sup{S}=max{S}

确界原理

$S$若有上界，则必有上确界。

$S$若有下界，则必有下确界。

上界必然大于等于上确界。

下界必然小于等于下确界。

推广版：非空数集必有上下确界（含$\infty$）

数列的极限

{ a n } \{a_n\} {an​}为数列，$a$为一个实数，若
$\forall ϵ>0,\exists Ns.t.\forall n>N,|a_n-a|<ϵ$，则称$li{m}_{n\to \infty }{a}_n=a$。

注：$N$与 $ϵ$ 有关。

性质

1、唯一性：若数列收敛，则极限唯一。（反证法，a<b就会有两个邻域）

2、有界性：若数列收敛，则有界。（后面无穷项小于某数，且前面有限项找最大值）

3、保号性：若$li{m}_{n\to \infty }{a}_n=a>0$，则对任何 $x<a$，存在$N$使得$n>N$时，$a_n>x$。

4、保不等式： { a n } , { b n } \{a_n\}, \{b_n\} {an​},{bn​}均收敛，若存在$N$使得$n>N$时，$a_n\le b_n$或$a_n<b_n$，则$li{m}_{n\to \infty }{a}_n\le li{m}_{n\to \infty }{b}_n$。

5、夹逼定理

6、四则运算（均收敛才能使用）

7、收敛等价于任何子列收敛

8、单调有界必有极限

9、若 s u p { S } ∉ S sup\{S\} \notin S sup{S}∈/​S，则存在严格的递增子列使得其极限为 s u p { S } sup\{S\} sup{S}

10、任何数列有单调子列

11、任何有界数列有收敛子列

12、柯西收敛准则。

函数的极限

前提：$f$在$x_0$的某个空心邻域$\mathring{U}(x_0)$有定义。

存在常数$A$，使得对任意$ϵ>0$，存在$\delta >0,\mathring{U}(x_0,\delta )\subset \mathring{U}(x_0)$，在$\mathring{U}(x_0,\delta )$中有$|f(x)-A|<ϵ$。则称$li{m}_{x\to x_0}f(x)=A$。

性质

1、唯一性：$li{m}_{x\to x_0}f(x)$若存在，则唯一。

2、保不等式：$li{m}_{x\to x_0}f(x)$和$li{m}_{x\to x_0}g(x)$均存在且存在一个邻域，在这个邻域中，$f(x)\le g(x)$，则$li{m}_{x\to x_0}f(x)\le li{m}_{x\to x_0}g(x)$。

函数列

点点收敛

对于$D$上每一个点$x$，函数列 { f n ( x ) } \{f_n(x)\} {fn​(x)}均收敛到一个值，因此极限值也形成了函数，记作
$$li{m}_{n\to \infty }{f}_n(x)=f(x),x\in D$$。

固定$x$，$\forall ϵ>0,\exists N(x,ϵ)s.t.\forall n>N,|f_n(x)-f(x)|<ϵ$。

例如：$f_n(x)=x^n$，在$(-1,1]$点点收敛到

$$f(x)=0,|x|<1;1,x=1$$。

注意：点点收敛，跟据点的不同，收敛速度不同。比如$f_n(x)=x^n$，$x$越接近$1$，越“难”收敛。事实上，如果令$x_n=1-\frac{1}{n}$，则$f_n(x_n)=(1-1/n{)}^n$的极限为$\frac{1}{e}$。

一致收敛

$\forall ϵ>0,\exists N(ϵ)s.t.\forall n>N,\forall x\in D,|f_n(x)-f(x)|<ϵ$。

一致收敛和点点收敛的联系

叶果洛夫（Egoroff）定理：设 $E$ 是 ${\mathbb{R}}^n$ 中的可测集，且$mE<\infty$，$f_n(x)$是 $E$ 上几乎处处有限的可测函数序列，$f(x)$ 是 $E$ 上几乎处处有限的可测函数，则下列各命题等价。

（1）$f_n(x)$几乎处处收敛到$f(x)$；

（2）对任意正数$\delta$，存在 $E$ 的可测子集 $E_{\delta }$，使得$m(E-E_{\delta })<\delta$，而在 $E_{\delta }$ 上，$f_n(x)$一致收敛到$f(x)$。

Note：点点收敛的函数只要刨掉一些（$N$控制不住的点），剩下的都能一致收敛（取$N$比较大就控制住了）。

在 $E_{\delta }$ 上由于函数列是一致收敛的，所以很多问题很容易得到解决，然而在 $E-E_{\delta }$ 上怎么办呢？后面我们将看到，$E-E_{\delta }$ 上的性质决定了积分和极限号能否互换。