3.2.2
设 $\mathscr X,\mathscr Y$ 是两个 Banach 空间, $T\in\mathscr L(\mathscr X,\mathscr Y)$ 是满射. 定义
$$
\widetilde T:\mathscr X/N(T)\to \mathscr Y,\qquad \widetilde T([x])=Tx,
$$
其中 $[x]=x+N(T)$ 为陪集. 证明:$\widetilde T$ 是线性同胚映射.
📝证明
线性性:
$\widetilde{T}(\alpha[x]+\beta[y])=\widetilde{T}([\alpha x+\beta y])=T(\alpha x+\beta y)=\alpha Tx+\beta Ty=\alpha \widetilde{T}([x])+\beta\widetilde{T}([y])$.
由 $T$ 是满射, 故 $\widetilde{T}$ 是满射.
下证 $\widetilde{T}$ 是单射, 设 $\widetilde{T}([x])=\widetilde{T}([y])$, 则有 $Tx=Ty$, 故 $T(x-y)=0$, 即 $x-y\in N(T)$. 所以 $y=x+y-x\in [x]$. 即 $[x]=[y]$.
所以 $\widetilde{T}$ 是双射.
此外 $\norm{\widetilde{T}([x])}=\Vert T(x+z) \Vert\leqslant \Vert T \Vert\Vert x+z \Vert\quad\forall z\in N(T)$.
故 $\norm{\widetilde{T}([x])}\leqslant\Vert T \Vert\inf\limits_{z\in N(T)}\Vert x+z \Vert=\Vert T \Vert\Vert [x] \Vert$.
从而 $\widetilde{T}$ 有界.
由 $X$ 完备, $N(T)$ 是闭子空间, 从而 $X/N(T)$ 完备.
再由 $X/N(T),Y$ 完备, 根据 Banach 逆映射定理知 $\widetilde{T}^{-1}$ 也有界.
综上 $\widetilde{T}$ 是线性同胚映射.
3.2.3
设 $\mathscr X$ 是 Banach 空间, $M,N_1,N_2$ 都是 $\mathscr X$ 的闭线性子空间. 若
$$
\mathscr X=M\oplus N_1=\;M\oplus N_2,
$$
证明:$N_1$ 和 $N_2$ 同胚. (提示:只要证明 $N_1,N_2$ 都与 $\mathscr X/M$ 同胚. )
📝证明
由
$X=M\oplus N_1$, 故
$\forall x\in X$, 可唯一表示为
$x=x_0+x_1,x_0\in M, x_1\in N_1$.
定义 $T: X\to N_1,\quad Tx=x_1$.
线性性: $T(\alpha x+\beta x')=T(\alpha x_0+\beta x_0'+\alpha x_1+\beta x_1')=\alpha x_1+\beta x_1'=\alpha T(x_0+x_1)+\beta T(x_0'+x_1')=\alpha T(x)+\beta T(x')$.
有界性:
考虑 $x_n\to x$ 于 $X$ 且 $Tx_n\to y$ 于 $N_1$.
设 $x_n=m_n+n_n(m_n\in M, n_n\in N_1)$, 则 $n_n\to y$.
且 $m_n=x_n-n_n\to x-y$, 由 $M$ 是闭的, $x-y\in M$, 由 $N_1$ 是闭的, $y\in N_1$.
所以 $x=(x-y)+y$ 是 $x$ 的分解, 且有 $Tx=y$. 故 $T$ 为闭算子.
再根据闭图像定理得到 $T$ 是有界算子.
又 $\forall x_1\in N_1$, $Tx_1=x_1$, 所以 $T$ 是满射.
由 $N(T)=M$, 定义 $\widetilde{T}:X/M\to N_1,\quad \widetilde{T}([x])=Tx$. 由 3.2.2 结论, $\widetilde{T}$ 是线性同胚映射, 从而 $N_1$ 和 $X/M$ 同胚.
同理, $N_2$ 和 $X/M$ 同胚.
故 $N_1$ 和 $N_2$ 同胚, 因为可以将上述两个线性同胚映射复合.
3.2.4
设 $A\in \mathfrak{C}(\mathscr X)$, $T=I-A$. 证明:
1. 对任意 $[x]\in \mathscr X/N(T)$, 存在 $x_0\in [x]$ 使得 $\|x_0\|=\|[x]\|$;
1. 若 $y\in\mathscr X$ 使方程 $Tx=y$ 有解, 则其中必有一个解达到范数最小.
📝证明
- [(1)]$\forall x\in N(T)$, 满足 $(I-A)x=0\Rightarrow Ax=x$.
根据商空间等价类定义, 存在点列 $\lbrace x_n\rbrace $ 满足 $\Vert x_n \Vert\leqslant \Vert [x] \Vert+\frac1n$. 任取一代表元 $x_0$, 则点列 $\lbrace x_n-x_0\rbrace $ 是 $N(T)$ 中的有界列.
记 $y_n=x_n-x_0$, 由 $A$ 是紧算子, 所以 $\lbrace Ay_n\rbrace $ 是列紧的, 又 $Ay_n=y_n$, 所以 $\lbrace y_n\rbrace $ 是列紧的, 设 $\lbrace y_{n_k}\rbrace $ 收敛. 由 $T$ 是有界线性算子, 从而 $\text{Ker} T$ 是闭的, 故 $y_{n_k}\to y\in \text{Ker}T$. 所以 $x_0+y_{n_k}\to x_0+y\in [x]$. 且由 $\lbrace x_n\rbrace $ 的取法直接有 $\Vert x_0+y \Vert=\Vert [x] \Vert$.
- ((2)) 若有解 $x$, 那么 $[x]=x+N(T)$ 均是 $Tx=y$ 的解. 由上一问知 $\exists x_0$, 使得 $\Vert x_0 \Vert=\Vert [x] \Vert$. 故 (2) 成立.
3.2.5
设 $A\in \mathfrak{C}(\mathscr X)$, 且 $T=I-A$. 对任意 $k\in\mathbb N$, 证明:
1. $N(T^k)$ 是有限维的;
1. $R(T^k)$ 是闭的.
📝证明
- [(1)] 考虑
$T^k=(I-A)^K=I-\sum\limits_{j=1}^k\binom{k}{j}(-1)^{k-1}A^k\triangleq I-T'$. 由
$A$ 是紧算子, 所以
$T'$ 也是紧算子. 所以根据 Riesz-Fredholm 定理
$N(T^k)=N(I-T')$ 是有限维的.
- [(2)] 同 (1)
$T^k=I-T'$, 故由 Riesz-Fredholm (i) 可知
$R(I-T')$ 是闭的.
3.3.2
在 $C[0,1]$ 中, 考虑映射
$$
T:x(t)\mapsto \int_0^t x(s)\,ds,\qquad x\in C[0,1].
$$
- 证明: $T$ 是紧算子;
- 求 $\sigma(T)$ 及 $T$ 的一个非平凡的闭不变子空间.
📝证明
- [(1)] 由微积分基本定理 $Tx(t)$ 关于 $t$ 可导, 故 $Tx\in C[0,1]$.
线性性: 由积分的线性性, $T(\alpha x(t)+\beta y(t))=\displaystyle\int_{0}^{t} \alpha x(s)+\beta y(s)\text{d} s=\alpha Tx(t)+\beta Ty(t)$.
有界性: $\Vert Tx \Vert=\max\limits_{t\in[0,1]}|Tx(t)|\leqslant\max\limits_{t\in[0,1]}t\Vert x \Vert\leqslant\Vert x \Vert$.
任取 $X$ 中的有界列 $\lbrace x_n\rbrace $, $\lbrace Tx_n\rbrace \subset C[0,1]$, 根据 AA 定理, $\lbrace Tx_n\rbrace $ 列紧 $\Leftrightarrow$ $\lbrace Tx_n\rbrace $ 一致有界且等度连续.
由 $\lbrace x_n\rbrace $ 有界, 故存在 $M>0$, 满足 $\Vert x_n \Vert<M$, 于是 $|Tx_n(t)|\leqslant t M\leqslant M$. 故一致有界.
$|Tx_n(t_1)-Tx_n(t_2)|\leqslant|t_2-t_1|M$, 故对任意 $\varepsilon>0$, 取 $\delta=\frac{\varepsilon}{M}$ 则有 $|Tx_n(t_1)-Tx_n(t_2)|\leqslant \varepsilon$ 即等度连续.
从而 $\lbrace Tx_n\rbrace $ 列紧.
综上 $T$ 是紧算子.
- [(2)] 由 Riesz-Schauder 理论, $\sigma(T)\setminus\lbrace 0\rbrace =\sigma_p(T)\setminus\lbrace 0\rbrace $, 且连续函数空间维数是无穷故 $0\in\sigma(T)$.
当 $\lambda\neq 0$ 时.
设 $Tx(t)=\lambda x(t)$, 由微积分基本定理, 等式左侧可导, 从而右侧也可导, 故有 $x(t)\in C^1[0,1]$.
则有 $x(t)=\lambda x'(t)$.
再带入 $t=0$, $\lambda x(0) = Tx(0)=\displaystyle\int_{0}^{0} x(s)\text{d} s=0$, 故 $x(0)=0$.
下面解微分方程 $x(t)=\lambda x'(t)$ 得到 $x(t)=Ce^{t/\lambda}$, 带入 $x(0)=0$ 得 $C=0$. 从而 $x=0$ 即 $(\lambda I-T)x=0$ 只有零解.
故 $\sigma_p(T)$ 中不含非 0 元.
结合 Riesz-Schauder 非零谱点均为特征值, 从而谱点只有 $0$.
综上 $\sigma(T)=\lbrace 0\rbrace $.
不变子空间部分不考.