泛函分析 04.06 有界线性算子 - 习题课

$\color{blue}{\S 4.6 有界线性算子习题课}$

$1.设 \sup \limits_{n \geq 1} |\alpha_n| < \infty, 在 l^1 上定义算子 T : y = Tx,$
$其中 x = \lbrace \xi_k \rbrace, y = \lbrace \eta_k \rbrace, \eta_k = \alpha_k \xi_k (k = 1, 2, \cdots).$
$证明:T 是 l^1 上的有界线性算子并且 \Vert T \Vert = \sup \limits_{n \geq 1} |\alpha_n|.$
$分析:$
$\bullet 本题用到{\color{blue}{线性算子}}的定义 4.1.1,$
$\bullet {\color{blue}{有界线性算子}}的定义 4.1.2,$
$\bullet {\color{blue}{有界线性算子范数}}的定义 4.1.8,$
$\bullet {\color{green}{有界线性算子的范数的计算方法}}(定理 4.1.10)这些基本概念和基本定理.$
$证明:(1){\color{brown}{验证 T 是从 l^1 到 l^1 的有界线性算子.}}$
$显然 T 是线性的, 且对于任意的 x \in l^1 有$
$\qquad {\color{blue}{\Vert Tx \Vert }} = \sum \limits_{n=1}^{\infty} |\alpha_n \xi_n|$
$\qquad \leq \sup \limits_{n \geq 1} |\alpha_n| \cdot \sum \limits_{n=1}^{\infty} |\xi_n| = {\color{blue}{\sup \limits_{n \geq 1}|\alpha_n| \cdot \Vert x \Vert}},$
$由定义 4.1.2 可知 T 是从 l^1 到 l^1 的有界线性算子.$
$(2){\color{brown}{计算算子 T 的范数}}.$
$根据范数的定义 4.1.8 和 (4.1.7)式知,$
$\qquad {\color{blue}{\Vert T \Vert \leq \sup \limits_{n \geq 1}|\alpha_n|}}.$
$另一方面, 取 e_n = (0, \cdots, 0, {^1_n}, 0, \cdots) \in l^1, {\color{red}{\Vert e_n \Vert = 1}},$
$则由定理 4.1.10, 得到$
$\Vert T \Vert = \sup \limits_{\Vert x \Vert = 1}\Vert Tx \Vert \geq \Vert T e_n \Vert = |\alpha_n|(n = 1, 2, \cdots),$
$从而得到$
$\qquad {\color{blue}{\Vert T \Vert \geq \sup \limits_{n \geq 1} |\alpha_n|}}.$
$综上$
$\qquad \Vert T \Vert = \sup \limits_{n \geq 1} |\alpha_n|.$

$2.设 x(t) \in C[a, b], f(x) = x(a) - x(b), 证明 f 是$
$C[a, b] 上的有界线性泛函, 并求 \Vert f \Vert.$
$分析:用到{\color{blue}{有界线性泛函的范数}}的定义 4.1.2,$
$和{\color{red}{计算算子范数的定理 4.1.10}}.$
$证明:显然 f 是线性泛函, 由于$
$|f(x)| = |x(a) - x(b)| \leq |x(a)| + |x(b)| \leq 2 \Vert x \Vert,$
$由定义 4.1.2, 我们知道, f 是有界的, 且 {\color{blue}{\Vert f \Vert \leq 2}}.$
$另一方面, 取 {\color{green}{x_0 \in C[a, b]}}, x_0(a) = 1, x_0(b) = -1 且$
$x_0 是单调递减函数, 则 {\color{green}{\Vert x_0 \Vert = 1}},$
$由定理 4.1.10 知,$
$\qquad {\color{blue}{\Vert f \Vert \geq }} |f(x_0)| = |x_0(a) - x_0(b)| = {\color{blue}{2}}.$
$综上可知 \Vert f \Vert = 2.$

$3.对 f \in L[a, b], 定义$
$\qquad (Tf)(x) = \int_a^x f(t) dt$
$证明:(1) T 为 L[a, b] \to C[a, b]的算子, 则 \Vert T \Vert = 1;$
$(2) 若 T 为 L[a, b] \to L[a, b] 的算子, 则 \Vert T \Vert = b - a.$
$分析: 本题用到{\color{blue}{有界线性算子的范数}}的定义 4.1.8,$
$和{\color{green}{计算算子范数的定理}} 4.1.10.$
$注意(1) T: L[a, b] \to C[a, b],$
$\qquad (2) T: L[a, b] \to L[a, b],$
$空间 C[a, b] 与空间 L[a, b] 不同, 导致了{\color{red}{算子 T 的范数不同}}$
$(事实上是{\color{blue}{两个不同的算子}}).$
$证明:(1) \forall f \in L[a, b], 已知 (Tf)(x) = \int_a^x f(t) dt {\color{blue}{连续}},$
$T 是 {\color{blue}{L[a, b] \to C[a, b]}}的线性算子,$
$为了计算算子 T 的范数, 取 f \in L[a, b], 且$
${\color{red}{\Vert f \Vert = \int_a^b |f(t)| dt = 1}}, Tf 在 C[a, b]中的范数为$
$\qquad {\color{blue}{\Vert Tf \Vert}} = \max \limits_{x \in [a, b]} |(Tf)(x)| = \max \limits_{x \in [a, b]} |\int_a^x f(t) dt |$
$\qquad \leq \max \limits_{x \in [a, b]} \int_a^x |f(t)| dt = \int_a^b |f(t)| dt = 1,$
$根据范数的定义 4.1.8 和 (4.1.7)式, 有界线性算子 T$
$的范数是最小的上界, 知$
$\qquad {\color{red}{\Vert T \Vert \leq 1}}.$
$另一方面, 取{\color{blue}{f_0(t) = \dfrac{1}{b-a} }} \in L[a, b], 显然 \Vert f_0 \Vert = 1,$
$根据定理 4.1.10,$
$\qquad \Vert T \Vert = \sup \limits_{\Vert f \Vert = 1} \Vert Tf \Vert \geq \Vert T f_0 \Vert$
$\qquad = \max \limits_{x \in [a, b]} \int_a^x \dfrac{1}{b-a} dt = \int_a^b \dfrac{1}{b-a} dt = 1,$
$故 \Vert T \Vert \geq 1. 综上即得 \Vert T \Vert = 1.$
$(2) (Tf)(x) = \int_a^x f(t) dt 看作是$
$\qquad L[a, b] \to L[a, b]$
$是线性算子.$
$任取 f \in L[a, b], 使得 {\color{red}{ \Vert f \Vert = \int_a^b |f(t)| dt = 1}}, 则$
$\Vert Tf \Vert = \int_a^b | \int_a^x f(t) dt |dx \leq \int_a^b \int_a^x |f(t)| dt dx$
$\qquad \leq \int_a^b \int_a^b |f(t)| dt dx = \int_a^b 1 dx = b - a,$
$根据范数的定义 4.1.8 和 (4.1.7)式, 有界线性算子 T$
$的范数是最小的上界, 知$
$\qquad {\color{red}{\Vert T \Vert \leq b - a}}.$
$另一方面, 对任意使 a + \dfrac{1}{n} < b 的自然数n, 令$
$\qquad f_n(x) = \left \lbrace \begin{array}{l} n, x \in [a, a+\dfrac{1}{n}], \\ 0, x \in [a + \dfrac{1}{n}, b] \end{array} \right.$
$则 {\color{blue}{\Vert f_n \Vert = 1}}.$
$\qquad {\color{blue}{\Vert Tf_n \Vert}} = \int_a^b |\int_a^x f_n(t) dt | dx$
$\qquad = \int_a^{a +\frac{1}{n}} n(x-a) dx + \int_{a+\frac{1}{a}}^b 1 dx$
$\qquad = b - a - \dfrac{1}{2n},$
$则由定理 4.1.10, 得到$
$\qquad {\color{red}{\Vert T \Vert \geq}} \sup \limits_{n \geq 1} \Vert Tf_n \Vert = {\color{red}{b-a}}.$
$综上得到 \Vert T \Vert = b - a.$

$4.考虑算子 T: C^1[-1, 1] \to C[-1, 1]:$
$\qquad {\color{red}{(Tx)(t) = \dfrac{dx(t)}{dt}, \forall x \in C^1[-1, 1]}}.$
$这里 C^1[-1, 1] 是在 [-1, 1] 中一阶导数连续的全体函数.$
$(1)若 C^1[-1, 1] 中的范数是$
$\qquad {\color{blue}{\Vert x \Vert _1 = \max \limits_{-1 \leq t \leq 1} |x(t)|}},$
$问 T 是否有界;$
$(2) 若 C^1[-1, 1] 中的范数是$
$\qquad {\color{blue}{ \Vert x \Vert _2 = \max \limits_{-1 \leq t \leq1}|x(t)| + \max \limits_{-1 \leq t \leq 1} |x^{\prime}(t)| }}.$
$问 T 是否有界.$
$解(1) T 定义在空间(C^1[-1, 1], \Vert \cdot \Vert _1)中, {\color{blue}{T是无界的线性算子}}.$
$事实上, 对于{\color{red}{x_n(t) = \sin nt \in C^1[-1, 1]}}, 我们有：$
$\qquad T(\sin nt) = n \cos nt,$
$\qquad \Vert x_n \Vert _1 = \max \limits_{-1 \leq t \leq 1} |x_n(t)| = 1(n \geq 2),$
$但是 {\color{blue}{\Vert Tx_n \Vert = n \to \infty(n \to \infty)}}. 即 T 是无界的.$
$注：T 是 C[a, b]到 C[a, b] 的无界线性算子.$
$(2) T 定义在空间(C^1[-1, 1], \Vert \cdot \Vert _2)中:$
$我们知道 {\color{brown}{(C^1[-1, 1], \Vert \cdot \Vert_2) 是一个完备的距离空间}}$
$(第一章习题课第6题),$
$\because \Vert Tx \Vert = \Vert x^{\prime}(t) \Vert = \max \limits_{-1 \leq t \leq 1} |x^{\prime}(t)|$
$\qquad \leq \max \limits_{-1 \leq t \leq 1} |x(t)| + \max \limits_{-1 \leq t \leq 1} |x^{\prime}(t)| = \Vert x \Vert _2$
$所以{\color{red}{T有界}}, 且 \Vert T \Vert \leq 1.$
$注1：T是{\color{blue}{(C^1[-1, 1], \Vert \cdot \Vert _2) 到 C[a, b] 的有界线性算子}}.$
$注2：本题说明, {\color{green}{同样的算子}}(运算), 在{\color{green}{不同的赋范空间}}中$
$可能有界也可能无界.$
$注3：是否可以考虑：若在C^1[-1, 1]中定义$
$\qquad {\color{blue}{\Vert x \Vert _3 = \max \limits_{-1 \leq t \leq 1} |x^{\prime}(t)|}}.$
$问 T 是否有界?$

$5. 考虑 C[0, 1] 到 C[0, 1]的算子序列\lbrace T_n \rbrace, 其中$
$\qquad (T_nx)(t) = x(t^{1+\frac{1}{n}})$
$则 \lbrace T_n \rbrace {\color{blue}{强收敛}}于某一有界线性算子, 但{\color{red}{不按范数收敛}}于该算子.$
$分析:1.根据定义 4.2.3, 可知要证明\lbrace T_n \rbrace 强收敛于恒同算子I,即证明$
$\qquad {\color{blue}{\forall x \in X, \Vert T_n x - I x \Vert \to 0 (n \to \infty) }}.$
$证明: {\color{red}{\forall x(t) \in C[0, 1]}}, 因为 x(t) 在[0, 1]上一致连续,$
$所以对于 {\color{red}{\forall \varepsilon > 0}}, 存在 \delta > 0, 当 t_1, t_2 \in [0, 1]且$
${\color{green}{|t_1 - t_2| \leq \delta}} 时,$
$\qquad {\color{blue}{|x(t_1) - x(t_2)| \leq \varepsilon }} \quad (4.1.1)$
$由于$
$\qquad |t^{1 + \frac{1}{n}} - t| = |t| |t^{\frac{1}{t}} - 1| \leq |t^{\frac{1}{n}} - 1|,$
$因为 t^{\frac{1}{n}} \to 1 (n \to \infty), 所以对于上述 \delta > 0, {\color{red}{存在 N,当n > N 时}},$
$\qquad {\color{blue}{|t^{1+\frac{1}{n}} - t| \leq |t^{\frac{1}{n}} - 1| \leq \delta}}$
$结合 (4.1.1)式 我们有:$
$\qquad |x(t^{1+\frac{1}{n}}) - x(t)| < \varepsilon,$
$注意上式对任意的 t \in (0, 1] 都成立, 所以$
$\qquad \max \limits_{0 \leq t \leq 1} |x(t^{1+\frac{1}{n}}) - x(t)| \leq \varepsilon,$
$即$
$\qquad {\color{blue}{\Vert T_n x - Ix \Vert \leq \varepsilon }} .$
$故 T_n 强收敛于恒同算子 I.$
$分析2. \lbrace T_n \rbrace {\color{blue}{是否按范数收敛}}(一致收敛)于恒同算子I.$
$\bullet 根据定义 4.2.1 以及定理 4.2.2 可知$
$\qquad \Vert T_n - I \Vert \to 0 (n \to \infty).$
$意味着: \forall \varepsilon > 0, \exists N, 当 n > N 时,$
$\qquad {\color{blue}{\Vert (T_n - I) x \Vert \leq \varepsilon }}(\forall x \in C[0, 1], \Vert x \Vert = 1).$
$\bullet 什么是\lbrace T_n \rbrace {\color{red}{不按范数收敛}} 于恒同算子I?$
$\exists \varepsilon_0 > 0, 对于 \forall N, \exists n > N 和 x_n(t) \in C[0,1] 满足$
${\color{blue}{\Vert x_n \Vert = 1}}, 使得$
${\color{blue}{\Vert T_n - I \Vert \geq \Vert (T_n - I) x \Vert \geq \varepsilon_0}}.$
$证明:{\color{blue}{对每个 n}}, 我们作 C[0, 1]中函数 x_n(t) 如下$
$\qquad x_n(t) = \left \lbrace \begin{array}{l} 0, t \in [0, t_0^{1+\frac{1}{n}}]; \\ 1, t \in [t_0, 1]; \\ 线性, t \in [t_0^{1+\frac{1}{n}}, t_0] \end{array} \right. \quad (4.1.2)$
$其中 t_0 \in (0, 1).$
$则 \Vert x_n \Vert = 1. 注意到(T_n x)(t) = x(t^{1+\frac{1}{n}}), 我们有:$
$\qquad {\color{red}{\Vert (T_n - I) x_n \Vert \geq }} |x_n(t_0^{1+\frac{1}{n}}) - x_n(t_0)| = 1.$
$故 \lbrace T_n \rbrace 不按范数收敛于 I.$
$注 {\color{brown}{ \lbrace T_n \rbrace 按范数收敛到 T (一致收敛) \Rightarrow T_n \stackrel{强}{\to} T}}.$
$\bullet 事实上$
$\qquad \Vert T_n - T \Vert < \varepsilon (n > N) \Rightarrow$
$\Vert (T_n - T) x \Vert \leq \Vert T_n - T \Vert \Vert x \Vert < \varepsilon \Vert x \Vert (n > N), \forall x \in X,$
$\bullet 本题说明{\color{blue}{强收敛不一定是一致收敛}}.$

$6. 设 X 是完备的距离空间.\mathfrak{F} 是 X 上的实连续函数族且$
$具有性质: 对于每一个 x \in X, 存在常数 {\color{green}{M_x > 0}},$
$使得对于每一个 F \in \mathfrak{F},$
$\qquad |F(x)| \leq M_x,$
$证明:{\color{blue}{存在开集U以及常数M > 0}},$
$使得对于每一个 x \in U 及所有 F \in \mathfrak{F}, 有$
$\qquad |F(x)| \leq M.$
$分析: 注意到 X 是完备的距离空间, 证明考虑使用 Baire纲定理 4.3.3,$
$用到第一纲集、第二纲集的定义 4.3.2,$
$用到疏集的定义 4.3.1.$
$证明:令$
$\qquad M_k = \lbrace x \in X | |F(x)| \leq k, \forall F \in \mathfrak{F} \rbrace$
$\qquad {\color{blue}{= \bigcap \limits _{F \in \mathfrak{F}} \lbrace x \in X | |F(x)| \leq k \rbrace }}.$
$因为 F(x) 是 X 上的连续函数,$
$因此 {\color{brown}{\lbrace x \in X | |F(x)| \leq k \rbrace 是闭集}} (闭集的原像是闭集).$
$任意个闭集的交集是闭集(定理 1.3.3), 故 M_k 是闭集.$
$又有条件知这族实函数点点有界, 我们有$
$\qquad {\color{red}{X = \bigcup \limits_{k=1}^{\infty} M_k }}.$
$因为 X 是完备的, 根据 Baire 纲定理 4.3.3 知道,$
$X 是第二纲集 (定义 4.3.2).$
$因此必{\color{red}{存在k_0}}, {\color{blue}{M_{k_0} 不是疏集}} (定义 4.3.1),$
$即{\color{red}{存在某个非空开集U}}使得M_{k_0} 在 U 中稠密. 即$
$\qquad \overline {M_{k_0}} \supseteq U,$
$由 M_{k_0} 是闭集有 M_{k_0} = \overline{M_{k_0}} \supseteq U, 我们有:$
$\qquad {\color{blue}{ |F(x)| \leq k_0, \forall x \in U \subseteq M_{k_0} }}.$
$定义结论得证.$
$注：对照一致有界原则 4.3.7.$
$本题的结论是在一个{\color{brown}{开集U上一致有界}},$
$\bullet 二者的区别在于:一致有界原则中, 条件是:{\color{red}{线性算子}},$
$\blacktriangleright 一致有界原则中, 结论是线性算子族在{\color{green}{全空间一致有界}}.$
$由于算子是线性的, 可以通过“平移”把上面的开集U$
$转变到{\color{red}{以原点为中心的开球上(保持一致有界)}},$
$再由{\color{blue}{开球的“吸收性”和算子的线性性}},$
$推出算子族在全空间有界.$

$7.设 X 是 l^{\infty} 中只有有限多项不为零的序列构成的子空间.$
$定义线性算子 T : X \to X,$
$x = \lbrace x_1, \cdots, x_n, \cdots \rbrace \to y = (y_1, \cdots, y_n, \cdots),$
$其中 y_k = \dfrac{1}{k} x_k, (k = 1, 2, \cdots)(有限个 x_k 不为零).$
$证明:(1) T \in \mathscr{B}(X), 并{\color{blue}{计算 \Vert T \Vert}};$
$(2) {\color{blue}{T^{-1} 无界}}.$
$(3) 这是否与 {\color{red}{Banach 逆算子定理}} 矛盾?$
$分析: 本题用到有界线性算子范数的定义 4.1.8,$
$有界线性算子的范数的计算方法(定理 4.1.10)等基本概念和基本定理.$
$Banach 逆算子定理 4.4.5.$
$证明:(1) 显然 Tx = y \in X,$
$T 是从 X 到 X 的线性算子.$
$\qquad \Vert Tx \Vert = \sup \limits_{k} |\dfrac{1}{k} x_k| \leq \sup \limits_{k} |x_k| = \Vert X \Vert.$
$即 \Vert T \Vert \leq 1.$
$反之取 x = \lbrace 1, 0, \cdots, 0, \cdots \rbrace \in X, \Vert x \Vert = 1.$
$Tx = \lbrace 1, 0, \cdots, 0, \cdots \rbrace \in X, 而 \Vert T \Vert \geq \Vert Tx \Vert = 1.$
$从而得到 \Vert T \Vert = 1.$
$(2) T^{-1} 是存在的.$
$y = \lbrace y_1, \cdots, y_n, \cdots \rbrace (只有有限个 y_k 不等于零),$
$\qquad T^{-1} y = x = \lbrace x_1, \cdots, x_n, \cdots \rbrace,$
$其中: x_k = ky_k, (k =1, 2, \cdots)$
$令 {\color{red}{e_n = \lbrace 0, \cdots, 0, 1, 0, \cdots \rbrace}}, 显然 e_n \in X 且$
${\color{red}{\Vert e_n \Vert = 1}}, (n = 1, 2, \cdots).$
$\qquad \because T^{-1} e_n = x_n = \lbrace 0, \cdots, 0, n, 0, \cdots \rbrace,$
$\qquad {\color{blue}{\therefore \Vert T^{-1} e_n \Vert = \Vert x_n \Vert = n}},$
$所以 T^{-1} 是无界算子.$
$(3) 这与 Banach 逆算子定理 4.4.5 并不矛盾, {\color{brown}{因为X不完备}}.$
$事实上, 令$
$\qquad \lbrace x_n \rbrace \subset X, {\color{blue}{x_n = \lbrace 1, \dfrac{1}{2}, \dfrac{1}{3}, \cdots, \dfrac{1}{n}, 0, \cdots \rbrace }},$
$\qquad x = \lbrace 1, \dfrac{1}{2}, \dfrac{1}{3}, \cdots, \dfrac{1}{n}, \cdots \rbrace \in l^{\infty},$
$容易验证 \lbrace x_n \rbrace 是 X 中的 Cauchy 列,$
$在 l^{\infty} 中, \Vert x_n - x \Vert \to 0 (n \to 0), 其中$
$\qquad {\color{red}{x = \lbrace 1, \dfrac{1}{2}, \dfrac{1}{3}, \cdots, \dfrac{1}{n}, \cdots \rbrace }},$
$但是 x 不属于 X. 说明X不完备, {\color{blue}{逆算子定理的条件不满足}}.$
$注:{\color{green}{逆算子定理要求}} T 是从 Banach 空间{\color{red}{上}}到 Banach$
$空间{\color{red}{上}}的一对一的有界线性算子.$
$\bullet 此章中的定理对于 T 的{\color{blue}{定义域和值域是不是“在上”}}$
$(是不是全空间)有严格的要求, 运用定理时(开映射定$
$理 4.4.4, Banach 逆算子定理 4.4.5, 闭图像定理$
$4.5.7)一定要仔细验证定理要求的条件.$