泛函分析笔记（2）

符号

$$\begin{gathered} \eta \\ \xi \\ \delta \\ \epsilon \\ \phi \\ \alpha \\ \beta \\ \gamma \\ \pi \\ \theta \\ \Lambda \\ \lambda \end{gathered}$$

一至七章笔记

隐函数存在定理：

$$设D=\{(x,y)|a\le x\le b,-\infty \le y\le +\infty \},F(x,y)在D上连续且m\le F_y(x,y)\le M,$$

$$其中0\le m\le M,(x,y)\in D.$$

$$则存在唯一的连续函数y=\phi (X).stF(x,\phi (X))\equiv 0,x\in [a,b].$$

证明：

（1）确定距离空间，建立映射

在连续函数$C[a,b]$考虑映射：
$$(T\phi )(x)=\phi (x)-\frac{1}{M}F(x,\phi (X)),x\in [a,b].$$
则$T$是$C[a,b]$到$C[a,b]$的映射。

(2)我们先证明连续函数空间$C[a,b]$是完备的。

设$x_n$是$C[a,b]$的任意柯西列，由柯西列定义：

任意$\epsilon >0$,存在$N\ge 0$,当$n,m\ge N$时，对任意$t_0\in [a,b]$,
$$|x_n(t_0)-x_m(t_0)|\le d(x_n,x_m)<\epsilon .$$
固定$t_0$时， { x n ( t 0 ) } \{x_n(t_0)\} { xn​(t0​)}是$R$的柯西列。

利用**$R$的完备性**(极限不会出去），存在$x(t_0)\in R$，
$$st\underset{x\to \infty }{\lim }{x}_n(t_0)=x(0)$$
在上面的不等式中，

​ 令$m\to \infty$,则当$n\ge N$时，
$$|x_n(t_0)-x_m(t_0)|\le \epsilon$$

定义$x=x(t)$,$t_0\in [a,b]$,当$n\ge N$时,
$$|x_n(t_0)-x(t_0)|\le \epsilon$$
即柯西列收敛。

（3)

压缩映射原理：

设$X$是完备距离空间，$T:X\to X$是压缩映射，则$T$有唯一的不动点，即存在唯一$\overline{x}\in X$,

使得$T\overline{x}=\overline{x}$.

双A定理：

$C[a,b]$中的子集$A$是列紧集当且仅当$A$中函数是一致有界和等度连续的。

一致有界：

存在$K>0$,$st$对每一点$t\in [a,b]$及一切$x\in A$，有$|x(t)|\le K$.

等度连续：

对任意$\epsilon >0$,存在$ \delta\geq0$,当$|t_1-t_2|\leq\delta $时，对一切$x\in A$，有:
$$|x(t_1)-x(t_2)|\le \epsilon .$$

列紧集：

设$A$时距离空间$X$的子集，若$A$中任意点列都必有一个$X$ 中的收敛子列，则称集合$A$为列紧集。

例子：

（1）$K^N$上每一个有界集都是列紧集。

紧集：

设$A$是距离空间$X$的子集，若存在一族开集 { G α ∣ α ∈ I } \{G_\alpha|\alpha\in I\} { Gα​∣α∈I}，$st$$A\subset {\bigcup }_{\alpha \in I}{G}_{\alpha }$,

则称开集 { G α ∣ α ∈ I } \{G_\alpha|\alpha\in I\} { Gα​∣α∈I}是$A$的一个开覆盖。

如果$A$任意开覆盖必存在有限子覆盖，则称$A$为紧集。

紧集的等价刻画：

**定理：**设$A$是距离空间$X$的子集，则$A$是紧集当且仅当$A$是列紧的闭集。

开集与闭集

距离空间中的任意开集可以表示成可数个闭集的并；

证明：

距离空间中的任意闭集可以表示成可数个开集的交；

证明：
A = A ‾ = { x ∣ d ( x , A ) = 0 } = ⋂ n = 1 ∞ { x ∣ d ( x , A ) < 1 n } A=\overline{A}=\{x|d(x,A)=0\}=\bigcap_{n=1}^\infty \{x|d(x,A)<\frac{1}{n}\} A=A={ x∣d(x,A)=0}=n=1⋂∞​{ x∣d(x,A)<n1​}

赋范空间的定义

设$X$是数域$K$上的线性空间，若存在映射$||\cdot ||$:$X\to R$满足
$$\begin{array}{rl}& (1)对任意x\in X,||X||\ge 0;且||X||=0\iff x=\varnothing ;(非负性)\\ & (2)对任意x\in X,及\alpha \in K,|\alpha |||x||;(正齐次性)\\ & (3)对任意x,y\in X,||x+y||\le ||x||+||y||.(三角不等式)\end{array}$$
则称$||\cdot ||$为$X$的一个范数，定义了范数的线性空间称为赋范线性空间，记为（$X$,$||\cdot ||$),或简记为$X$.

可分性定义

设$X$是一个距离空间，若$X$中存在一个可数的稠密子集，

则称$X$是可分的距离空间。

设$A$是$X$的一个子集，若$X$中存在一个可数子集$B$，使得

$B$在$A$中稠密，则$A$是可分的。

$\mathrm{Minkowski}$不等式

设
$$p\ge 1,{\xi }_k,{\eta }_k\in C,(k=1,2,\cdots )$$
则有
$$(\sum _{k=1}^{\infty }|{\xi }_k+{\eta }_k{|}^p{)}^{\frac{1}{p}}\le (\sum _{k=1}^{\infty }|{\xi }_k{|}^p{)}^{}$$