泛函分析笔记

符号

$$\begin{gathered} \eta \\ \xi \\ \delta \\ \epsilon \\ \phi \\ \alpha \\ \beta \\ \gamma \\ \pi \\ \theta \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$为列紧集。

紧集：

设$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$.

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{)}^{\frac{1}{p}}+(\sum _{k=1}^{\infty }|{\eta }_k{|}^p{)}^{\frac{1}{p}}$$
且当右边的两个级数收敛时，左边的级数收敛。

Holder不等式

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

Banach空间：

Banach空间的定义：

设$(X,||\cdot ||)$是赋范空间，$d$是范数诱导的距离，若$(X,d)$是完备的距离空间，则称$(X,||\cdot ||)$

为Banach空间。

赋范空间的级数：

设 { x n } \{x_n\} {xn​}是赋范空间$X$中的点列，若它的前n项和
$$S_n=x_1+x_2+\cdots +x_n$$
收敛，即存在$x\in X$，使得$S_n\to x(n\to \infty )$.则称${\sum }_{n=1}^{\infty }{x}_n$收敛。

并称$x$为基数的和，记为$x={\sum }_{n=1}^{\infty }{x}_n$。

若${\sum }_{n=1}^{\infty }||x_n||$收敛，则称级数${\sum }_{n=1}^{\infty }{x}_n$绝对收敛。（正项级数）

Banach空间的性质：

设$X$是赋范空间，则$X$是Banach空间的充要条件是$X$中的任一绝对收敛的级数都收敛。

证明：（必要性）

设$X$是Banach空间，${\sum }_{n=1}{x}_n^{\infty }$绝对收敛。记${\sum }_{n=1}{x}_n^{\infty }$的部分和数列为 { S n } \{S_n\} {Sn​}.

由数项级数的柯西收敛准则，

对任意$\epsilon >0$,存在$N$,当$n>N$时，对任意的正整数$p$，
$$||S_{n+p}-S_n||=||x_{n+1}+\cdots +x_{n+p}||\le ||x_{n+1}||+\cdots +||x_{n+p}||<\epsilon$$
因此$S_n$是$X$中的柯西列,由完备性知 { S n } \{S_{n}\} {Sn​}收敛，即${\sum }_{n=1}{x}_n^{\infty }$收敛。

子空间的完备性：

设$X$是Banach空间，$E$是$X$的子空间，则$E$是Banach空间的充要条件是$E$为$X$的闭子空间。

非闭子空间的例子：

设$P[1,0]$是$[0,1]$上的多项式全体，则$P[0,1]$作为$C[0,1]$的子空间不是Banach空间。

**证明：**令
$$p_n(t)=\sum _{k=0}^n\frac{t^k}{k!}(n=1,2,\cdots ).$$
并记$p(t)=e^t$.则 { p n } ⊂ P [ 0 , 1 ] \{p_n\}\sub P[0,1] {pn​}⊂P[0,1]，且
$$||p_n-p||=ma{x}_{t\in [0,1]}|p_n(t)-e^t|=ma{x}_{t\in [0,1]}|\sum _{k=0}^n\frac{t^k}{k!}-\sum _{k=0}^{\infty }\frac{t^k}{k!}|$$

$$=ma{x}_{t\in [0,1]}|\sum _{k=n+1}^{\infty }\frac{t^k}{k!}|\le |\sum _{k=n+1}^{\infty }\frac{1}{k!}|\to 0(n\to \infty ).$$

故$p_n\to p$.但$p\notin P[0,1]$,所以$P[0,1]$不是闭子空间，从而不完备。

注：$P[0,1]$完备化空间为$C[0,1]$。

凸集：

定义：

设$X$是线性空间，$A\subset X$,若对任意$x,y\in A$,任意$\alpha \in [0,1]$,有
$$
\alpha x+(1-\alpha)y \in A,

$$
则称$A$是$X$的凸集。

命题：

设$A,B$是$X$中的凸集，则$A\bigcap B$也是$X$中的凸集。

单位开球是凸集：

赋范空间$X$的单位开球 B ( θ , 1 ) = { x ∈ X ∣ ∣ ∣ x ∣ ∣ < 1 } B(\theta,1)=\{x\in X|\quad||x||<1\} B(θ,1)={x∈X∣∣∣x∣∣<1}是凸集。

Hamel基

设$X$是线性空间。若存在$B\subset X$,满足

（1）$B$是线性无关集

（2） s p a n { B } = X span\{B\}=X span{B}=X

则称$B$是$X$的Hamel基。

任何非 { θ } \{\theta\} {θ}线性空间必存在$\mathrm{Hamel}$基。

赋范空间的$\mathrm{Schauder}$基：

定义：

设$X$是无限维的赋范空间， { e n } \{e_n\} {en​}是$X$中的点列，若对任意$x\in X$,

存在唯一数列 { α n } ⊂ K \{\alpha_n\}\sub K {αn​}⊂K,使得
$$x=\sum _{n=1}^{\infty }{\alpha }_n{e}_n$$
则称 { e n } \{e_n\} {en​}为$X$的**$\mathrm{Schauder}$基**。

$\mathrm{Schauder}$基与可分性

具有$\mathrm{Schauder}$基的赋范空间$X$是可分的。

$$
则称 { e n } \{e_n\} {en​}为$X$的**$\mathrm{Schauder}$基**。

$\mathrm{Schauder}$基与可分性

具有$\mathrm{Schauder}$基的赋范空间$X$是可分的。