泛函分析复习笔记（二）线性算子与线性泛函

Chapter 2 线性算子与线性泛函

线性算子：线性空间之间的线性映射：$\mathcal{X},\mathcal{Y},D\subset \mathcal{X}$为线性子空间，$T:D\to \mathcal{Y},D$称为T的定义域，记做$D(T)$，$R(T)$称为值域。若T线性：$T(\alpha x+\beta y)=\alpha Tx+\beta Ty$，则称为线性算子

线性泛函：取值于实数/复数的线性算子，记为**$f(x)$或$<f,x>$**（注意内积是圆括号）

连续：假设空间$\mathcal{X},\mathcal{Y}$带有度量（$F^{\ast }$），则线性算子称作连续，若 { x n } ⊂ D ( T ) → x 0 ⇒ T x n → T x 0 \{x_n\}\subset D(T)\rightarrow x_0 \Rightarrow Tx_n\rightarrow Tx_0 { xn​}⊂D(T)→x0​⇒Txn​→Tx0​

有界：存在M，$||Tx|{|}_{\mathcal{Y}}\le M||x|{|}_{\mathcal{X}},\forall x\in D(T)$

定理：连续$\iff$有界

有界线性算子集：$\mathcal{L}(\mathcal{X},\mathcal{Y})$，定义范数为$||T||={\sup }_{x\in \mathcal{X}/\theta }||Tx||/||x||={\sup }_{||x||=1}||Tx||$，自然地可以在其上定义线性运算，且如果$\mathcal{X}{B}^{\ast },\mathcal{Y}B$，则$(\mathcal{L},||\cdot ||)B$

Riesz表示定理：Hilbert空间上的连续线性泛函$f$唯一对应于一个$y_f\in \mathcal{X}$, s.t. $f(x)=(x,y_f)$（相当于对$f$的零空间做垂直投影内积）

推论：如果为f也引入线性结构，则可以得到对共轭双线性函数用变换内积的表示定理：$a(x,y)=(x,Ay)$，根据Lax-Milgram定理，如果$|a(x,y)|\le M||x||||y||,|a(x,x)|\ge \delta ||x|{|}^2$，则还可以利用Banach定理证明A为有连续逆的连续线性算子，并且$||A^{-1}||\le 1/\delta$

Radon-Nikodym定理：设 $(\Omega ,\mathcal{B},\mu ),(\Omega ,\mathcal{B},\nu )$ 是两个 $\sigma$-有限测度，且 $\nu$ 关于 $\mu$ 绝对连续, 即$E\in \mathcal{B},\mu (E)=0\Rightarrow \nu (E)=0,$

则存在关于 $\mu$ 的可测函数 $g$, 且 $g(x)⩾0$ a.e. $\mu$, 使得$\nu (E)={\int }_{E}g(x)\mathrm{d}\mu ,\forall E\in \mathcal{B}$

线性算子求逆：

疏集：$E\subset (\mathcal{X},\rho )$称为疏集，若${\bar{E}}^o=\varnothing$$\iff$ 对任意球，存在子闭球和$\bar{E}$的交为空

第一纲集：疏集的可列并 第二纲集：非第一纲集

Baire定理：完备度量空间必为第二纲集（思路：每个球都必然有子球与疏集无交=>构造球列）

T的性质与逆的关系：

若$T$为单射，则逆运算在$R(T)$上存在；若$T$为满射，则逆运算$T^{-1}\in \mathcal{L}(\mathcal{Y},\mathcal{X})$

Banach定理：$T\in \mathcal{L}(\mathcal{X},\mathcal{Y})$为双射且$\mathcal{X},\mathcal{Y}B$$\Rightarrow T^{-1}\in \mathcal{L}(\mathcal{Y},\mathcal{X})$

开映射定理：只要$T$是满射，$T$就是开映射（任意开集的像为开集）

思路：$\mathcal{Y}={\cup }_{i=1}^{\infty }TU(\theta ,i)$，则由于完备=>第二纲=>存在i，使得$TU(\theta ,i)$非疏，不妨设i=1=>闭包有内点，由对称性$\theta$也为内点=>对$y\in U(\theta ,\delta )$做逐次逼近，使得证明$y$的任何原像$x\in U(\theta ,1)$，则$U(\theta ,\delta )\subset TU(\theta ,1)$，从而命题得证

特别的，若T为单射，有$T^{-1}\le 1/\delta$

在证明过程中有两处可以放宽要求：一个是只要像集为第二纲集，另一个逐次逼近的收敛只需要$D(T)$为闭算子而无需$T$有界（连续）

闭算子：线性算子$T$： { x n } ⊂ D ( T ) , x n → x , T x n → y ⇒ x ∈ D ( T ) , y = T x \{x_n\}\subset D(T), x_n\rightarrow x, Tx_n\rightarrow y\Rightarrow x\in D(T), y=Tx { xn​}⊂D(T),xn​→x,Txn​→y⇒x∈D(T),y=Tx（定义域不一定要是闭的）

广义开映射定理：只要$T$是闭线性算子，$R(T)$是第二纲集，就有$T$为满射和开映射

连续性和闭性的关联：

事实上，如果闭算子的定义域是闭的，则其为连续算子

推论：任何一个映射到$\mathcal{Y}$的连续线性算子都可以将$R(T)$延拓到$\overline{R(T)}$上

等价范数定理：如果线性空间$\mathcal{X}$关于两个范数都Banach，且一个比另一个强，则其必定等价

共鸣定理（一致有界定理）：如果$\mathcal{X}B,\mathcal{Y}{B}^{\ast }$，$\mathcal{L}(\mathcal{X},\mathcal{Y})$的子集$W$满足$\forall x\in \mathcal{X},{\sup }_{A\in W}||Ax||\le \infty$，则存在常数M，$||A||\le M,\forall A$（点点有界蕴含一致有界）

Banach-Steinhaus定理：如果$\mathcal{X}B,\mathcal{Y}{B}^{\ast }$, $M$ 是 $\mathcal{X}$ 的某个稠密子集. 若 $A_n(n=1,2,\cdots ),A\in$ $\mathcal{L}(\mathcal{X},\mathcal{Y})$, 则 $\forall x\in \mathcal{X}$ 都有${\lim }_{n\to \infty }{A}_{n}x=Ax$当且仅当：(1) $\Vert A_n\Vert$ 有界 (2)原式对 $\forall x\in M$ 成立

线性泛函的延拓与凸集分离

实 Hahn-Banach 定理：设 $\mathcal{X}$ 是实线性空间， $p$ 是定义在 $\mathcal{X}$ 上的次线性泛函, X 0