泛函分析复习笔记

泛函分析复习笔记

banach空间上的有界线性算子

part 1 有界线性算子

算子的范数

​ 对于有界线性算子的概念，设$T$是从赋范线性空间$⟨X,\parallel \cdot {\parallel }_1⟩$到赋范线性空间$⟨X,\parallel \cdot {\parallel }_2⟩$的函数（或映射），如果对一切$x,y\in X$和数$\alpha ,\beta$都有
$$T(\alpha x+\beta y)=\alpha Tx+\beta Ty$$
则称$T$为从$X$到$Y$的线性算子，如果还存在常数$C>0$，使对一切$x\in X$都有
$$\parallel Tx{\parallel }_2\le C\parallel x{\parallel }_1,$$
则称$T$有界.从$X$到$Y$的全体有界线性算子的集合为$L(X,Y)$,而$L(X,Y)$简记为$L(X)$ .设$A\in L(X,Y)$,我们知道$A$的范数为
$$\parallel A\parallel =\underset{\parallel x\parallel =1}{\sup }\parallel Ax\parallel =\underset{\parallel x\parallel \le 1}{\sup }\parallel Ax\parallel =\underset{x\ne 0}{\sup }\frac{\parallel Ax\parallel }{\parallel x\parallel }.$$
关于$\underset{\parallel x\parallel =1}{\sup }\parallel Ax\parallel =\underset{\parallel x\parallel \le 1}{\sup }\parallel Ax\parallel$的证明：

我们知道关于算子范数的定义是如上的$C$的下确界，即以$A$为例， ∥ A ∥ = i n f { C > 0 ∣ ∥ T x ∥ 2 ≤ C ∥ x ∥ 1 } \parallel A\parallel=inf\lbrace C>0|\parallel Tx\parallel_2\le C\parallel x\parallel_1\rbrace ∥A∥=inf{C>0∣∥Tx∥2​≤C∥x∥1​}

从而有:
∥ A ∥ = i n f { C > 0 ∣ ∀ x ∈ X , ∥ T x ∥ 2 ≤ C ∥ x ∥ 1 } = i n f { C > 0 ∣ ∀ x ≠ θ x ∈ X , ∥ T x ∥ 2 ∥ x ∥ 1 ≤ C } = sup ⁡ x ∈ X x ≠ θ x ∥ T x ∥ x ∥ 1 ∥ 2 = sup ⁡ ∥ x ∥ 1 = 1 ∥ T x ∥ 2 \begin{align*} \parallel A\parallel&=inf\lbrace C>0|\forall x\in X,\parallel Tx\parallel_2\le C\parallel x\parallel_1\rbrace \\&=inf\lbrace C>0|\forall x\neq\theta_x\in X,\frac{\parallel Tx\parallel_2}{\parallel x\parallel_1}\le C\rbrace\\&=\sup_{\begin{aligned} x&\in X \\ x&\neq \theta_x \end{aligned}} \parallel T\frac{x}{\parallel x\parallel_1}\parallel_2\\&=\sup_{\parallel x\parallel_1=1}\parallel Tx\parallel_2 \end{align*} ∥A∥​=inf{C>0∣∀x∈X,∥Tx∥2​≤C∥x∥1​}=inf{C>0∣∀x=θx​∈X,∥x∥1​∥Tx∥2​​≤C}=xx​∈X=θx​​sup​∥T∥x∥1​x​∥2​=∥x∥1​=1sup​∥Tx∥2​​
现在我们证明右边第二个等号，注意到 $\underset{\parallel x{\parallel }_1=1}{\sup }\parallel Tx{\parallel }_2\le \underset{\parallel x{\parallel }_1\le 1}{\sup }\parallel Tx{\parallel }_2$这是显然的，故而我们只需要证明$\underset{\parallel x{\parallel }_1=1}{\sup }\parallel Tx{\parallel }_2\ge \underset{\parallel x{\parallel }_1\le 1}{\sup }\parallel Tx{\parallel }_2$即可,故而有对于任取$x$满足$\parallel x\parallel_1\le1 $,不妨令$y=\frac{x}{\parallel x\parallel_1}$,进而我们可以得出$\parallel y\parallel_1=1$,故有$\parallel Ty\parallel_2\le\sup\limits_{\parallel x\parallel=1}\parallel Tx\parallel_2$，同时对于$\parallel Ty\parallel_2$我们可以得到如下的这个式子：
$$\parallel Ty{\parallel }_2=\parallel T\frac{x}{\parallel x{\parallel }_1}{\parallel }_2=\frac{\parallel Tx{\parallel }_2}{\parallel x{\parallel }_1}.$$
从而我们可以进一步进行说明$\parallel Tx{\parallel }_2\le \frac{\parallel Tx{\parallel }_2}{\parallel x{\parallel }_1}\le \underset{\parallel x{\parallel }_1=1}{\sup }\parallel Tx{\parallel }_2$，现在思路就十分清晰了，我们可以利用数学分析的知识，得到$\underset{\parallel x{\parallel }_1=1}{\sup }\parallel Tx{\parallel }_2\ge \underset{\parallel x{\parallel }_1\le 1}{\sup }\parallel Tx{\parallel }_2$，从而得证。

现在叙述一些命题和定理并加以证明：

命题1.1：若$A,B\in L(X,Y),\alpha$是常数，则$A+B,\alpha A\in L(X,Y)$，而且
$$\parallel A+B\parallel \le \parallel A\parallel +\parallel B\parallel ,\parallel \alpha A\parallel \le |\alpha |\parallel A\parallel$$
此外若$\parallel A\parallel =0$当且仅当$A=0$，，从而我们可以由赋范线性空间的定义可以得到此时$L(X,Y)$按算子范数是赋范线性空间。

证明如下：
$$\begin{array}{rl}\parallel A+B\parallel & =\underset{\parallel x\parallel =1}{\sup }\parallel (A+B)x\parallel \\ & \le \underset{\parallel x\parallel =1}{\sup }(\parallel Ax\parallel +\parallel Bx\parallel )\\ & \le \underset{\parallel x\parallel =1}{\sup }\parallel Ax\parallel +\underset{\parallel x\parallel =1}{\sup }\parallel Bx\parallel \\ & =\parallel A\parallel +\parallel B\parallel \end{array}$$

$$\begin{array}{rl}\parallel \alpha A\parallel & =\underset{\parallel x\parallel =1}{\sup }\parallel (\alpha A)x\parallel \\ & =\underset{\parallel x\parallel =1}{\sup }\parallel \alpha (Ax)\parallel \\ & =|\alpha |\underset{\parallel x\parallel =1}{\sup }\parallel Ax\parallel \\ & =|\alpha |\parallel A\parallel \end{array}$$

此外，若$\parallel A\parallel =0\iff \underset{\parallel x\parallel =1}{\sup }\parallel Ax\parallel =0\iff \parallel Ax\parallel =0,\forall \parallel x\parallel =1\iff A=0$

证毕。

命题1.2 设$X$是赋范线性空间，$Y$是$Banach$空间，则$L(X,Y)$也是$Banach$空间.

证明如下：

我们由命题1.1可知，$L(X,Y)$是按算子范数的赋范线性空间，$Banach$空间的定义是完备的赋范线性空间。从而我们只需要证明$L(X,Y)$的完备性，复习一下完备性的定义，即距离空间中的任何柯西序列都收敛，并且收敛到该空间中，则称该距离空间是完备的。我们设 { A n } n = 1 ∞ \lbrace A_n\rbrace_{n=1}^{\infin} {An​}n=1∞​是$L(X,Y)$中的柯西序列，则对任何$x\in X$,从
$$\parallel A_{n}x-A_{m}x\parallel \le \parallel A_n-A_m\parallel \parallel x\parallel ,$$
从而有 { A n x } n = 1 ∞ \lbrace A_nx\rbrace_{n=1}^{\infin} {An​x}n=1∞​是$Y$中的柯西序列，而$Y$是完备的，从而我们可以得到的$\exists y\in Y$，使得$\underset{n\to \infty }{\lim }{A}_{n}x=y$.现在定义$Ax=y$，其中$Ax=\underset{n\to \infty }{\lim }{A}_{n}x=y$,从而我们可以知道$A$是线性的，现在我们证明$A\in L(X,Y)$,这里需要引入一个知识点（距离空间中的任何柯西序列都是有界的)，我们先来证明一下这个引入的知识点：

证明如下：

首先我们要知道什么是距离空间的有界，距离空间$X$中的点集$S$称为有界的，如果存在$X$中的某个球$B(x_0,r)$使得$B(x_0,r)\supset S$，那么对于距离空间中的任意一个柯西序列，我们设为 { x n } n = 1 ∞ \lbrace x_n\rbrace_{n=1}^{\infin} {xn​}n=1∞​,即有对于
$$\forall \epsilon >0,\exists N>0,s.tn,m\ge N,d(x_n,x_m)<\epsilon .$$
我们现在令$\epsilon =r_0,\exists N\in N^{\ast },s.t\forall n>N,d(x_n,x_N)<r_0$,再令
$$r_1=d(x_1,x_N),r_2=d(x_2,x_N),\cdots ,r_{N-1}=d(x_{N-1},x_N)$$
从而我们令 x 0 = x N , r = m a x { r 0 , r 1 , r 2 , ⋯   , r N − 1 } x_0=x_N,r=max\lbrace r_0,r_1,r_2,\cdots,r_{N-1}\rbrace x0​=xN​,r=max{r0​,r1​,r2​,⋯,rN−1​},那么则有$\forall n\ge 1,d(x_n,x_0)<r$,即$B(x_0,r)\supset S$,即证。

从而通过该知识点得到的结论，我们可以得出赋范线性空间的柯西序列都是有界的，从而存在一个常数$M>0$,使$\parallel A_n\parallel \le M,n=1,2,3,\cdots .$则
$$\parallel Ax\parallel =\underset{n\to \infty }{\lim }\parallel A_{n}x\parallel \le \underset{n\to \infty }{\lim }\parallel A_n\parallel \parallel x\parallel \le M\parallel x\parallel .$$
从而有，我们可以得到$A\in L(X,Y)$.
$$\begin{array}{rl}\parallel A_n-A\parallel & =\underset{\parallel x\parallel =1}{\sup }\parallel (A_n-A)x\parallel \\ & =\underset{\parallel x\parallel =1}{\sup }\underset{m\to \infty }{\lim }\parallel (A_n-A_m)x\parallel \\ & =\underset{m\to \infty }{\lim }\underset{\parallel x\parallel =1}{\sup }\parallel (A_n-A_m)x\parallel \\ & =\underset{m\to \infty }{\lim }\parallel A_n-A_m\parallel \to 0,\end{array}$$
故当$n\to \infty$.即有柯西列 { A n } n = 1 ∞ \lbrace A_n\rbrace_{n=1}^{\infin} {An​}n=1∞​收敛到$A$.从而完备性得证，即$L(X,Y)$为$Banach$空间.

命题1.3 设$A,B\in L(X)$,则$AB\in L(X)$,且
$$\parallel AB\parallel \le \parallel A\parallel \parallel B\parallel .$$
特别地，对任意的正整数$n$
$$\parallel A^n\parallel \le \parallel A{\parallel }^n.$$
证明如下：

对于$L(X)$即为从$X$到$X$上的全体有界线性算子得集合.因为$A,B\in L(X)$,存在常数$C,D>0.$我们有$\parallel Ax\parallel \le C\parallel x\parallel ,\parallel Bx\parallel \le D\parallel x\parallel$,现证明算子$AB$的线性性质，从而对于任意的常数$\alpha ,\beta$,以及任意的$x,y\in X$,我们有$(AB)(\alpha x+\beta y)=A(B(\alpha x+\beta y))$,通过$A,B$的线性性质，我们可以得到$\alpha (AB)x+\beta (AB)y$,从而线性性质得证，现证算子$AB$有界，对于
$$\parallel (AB)x\parallel =\parallel A(Bx)\parallel \le |C|\parallel Bx\parallel \le |C||D|\parallel x\parallel =|CD|\parallel x\parallel$$
从而有算子$AB\in L(X)$,我们现在证明$\parallel AB\parallel \le \parallel A\parallel \parallel B\parallel$,从而我们可以通过：
$$\begin{array}{rl}\parallel AB\parallel & =\underset{x\ne 0}{\max }\frac{\parallel ABx\parallel }{\parallel x\parallel }\\ & \le \underset{x\ne 0}{\max }\frac{\parallel A\parallel \parallel Bx\parallel }{\parallel x\parallel }\\ & =\parallel A\parallel \underset{x\ne 0}{\max }\frac{\parallel Bx\parallel }{\parallel x\parallel }\\ & =\parallel A\parallel \parallel B\parallel \end{array}$$
若$A=B$,则$\parallel A^n\parallel \le \parallel A{\parallel }^n$.利用上面结论，显然成立.

在叙述命题1.4之前，我们先给出一个定义：

定义1.1 设$\parallel \cdot {\parallel }_1$与$\parallel \cdot {\parallel }_2$都是线性空间$X$上的范数,如果对于$X$中任意点列 { x n } n = 1 ∞ , ∥ x n ∥ 1 → 0 \lbrace x_n\rbrace_{n=1}^{\infin},\parallel x_n\parallel_1\to0 {xn​}n=1∞​,∥xn​∥1​→0蕴含$\parallel x_n{\parallel }_2\to 0,$则称范数$\parallel \cdot {\parallel }_1$强于范数$\parallel \cdot {\parallel }_2$,如果两个范数任何一个都强于另外一个,则称它们为等价的范数.

下面我们来看命题1.4.

命题1.4 在线性空间$X$上的范数设$\parallel \cdot {\parallel }_1$与$\parallel \cdot {\parallel }_2$等价的充分必要条件为存在正数$r_1,r_2$,使
$$r_1\le \frac{\parallel x{\parallel }_2}{\parallel x{\parallel }_1}\le r_2,当x\ne 0.$$
证明如下：

我们先证明这样一个问题，即若$\parallel \cdot {\parallel }_1$强于$\parallel \cdot {\parallel }_2$，当且仅当存在一个常数$C>0\quad s.t\quad \parallel \cdot\parallel_2\le C\parallel\cdot\parallel_1 $.

充分性是显然的，现在我们主要去证明必要性.利用反证法，那么就有$\forall n\in N,\exists x_n\in X,s.t\parallel x_n{\parallel }_2\ge n\parallel x_n{\parallel }_1$,从而我们令$y_n\triangleq \frac{x_n}{\parallel x_n{\parallel }_2}$.我们可以得到$\parallel y_n{\parallel }_2=1,0\le \parallel y_n{\parallel }_1<\frac{1}{n}$.所以有$\parallel y_n{\parallel }_1\to 0(n\to \infty )$.而又因为$\parallel \cdot {\parallel }_1$强于$\parallel \cdot {\parallel }_2$.从而我们可以得出$\parallel y_n{\parallel }_2\to 0(n\to \infty )$，这与我们前文中的结果矛盾，从而假设不成立.证毕.

我们现在可以通过上面的这个证明，就可以完成命题1.4的证明.

算子的逆

命题1.5 设$X$和$Y$都是赋范线性空间，$A:X\to Y$是线性映射.那么$A$是单射的且定义在$R(A)$上的算子$A^{-1}$是连续的充分必要条件是存在常数$m>0$,使$\parallel Ax\parallel \ge m\parallel x\parallel ,\forall x\in X$.

证明如下：

先证充分性，首先我们先证明$A$是单射，即一对一的.那么若有$\exists x_1,x_2\in X,s.tA{x}_1=A{x}_2$,即有$A(x_1-x_2)=0$,从而由$m\parallel x_1-x_2\parallel \le \parallel A(x_1-x_2)\parallel =0$,可知$\parallel x_1-x_2\parallel =0$,那么就有$x_1=x_2$,故$A$为单射,那么我们可以得出$T^{-1}$是定义在$R(A)$上的线性映射.若设$y=Ax$,则$x=A^{-1}y$.由条件可知，$\parallel y\parallel \ge m\parallel A^{-1}y\parallel$.因为$m>0$,从而我们可以得知算子$A^{-1}$是有界的.那么它就是连续的.

现证必要性，利用反证法，那么即对于$\forall n\in N^{\ast },\exists x_n\in X,s.t\parallel A{x}_n\parallel <\frac{1}{n}\parallel x_n\parallel$.我们令$y_n=A{x}_n$.从而可知$\parallel y_n\parallel <\frac{1}{n}\parallel A^{-1}{y}_n\parallel$.从而由算子$A^{-1}$并不是有界的,这与题目条件中它是连续的矛盾.从而假设不成立.必要性即证.