没有矩阵,连续性不再免费
在第一卷中,一旦选定基,有限维空间之间的每个线性变换都是一个矩阵,而且每个这样的映射都自动连续。这两个事实在无穷维中都蒸发了:既没有有限矩阵,线性映射还可能剧烈不连续,把一个收敛的输入序列送成发散的输出。
当存在常数 C 使得对所有 x 都有 ||Tx|| <= C ||x|| 时,算子 T 称为有界算子。此处“有界”并非指其取值困在某个盒子里——而是指它把长度的拉伸控制在某个固定倍数以内。决定性的定理是:对线性映射而言,有界等价于连续。所以有界算子恰好就是那些尊重极限的线性映射。
实例演练:移位、乘法、微分
Three operators on sequence/function spaces
1) RIGHT SHIFT on ell^2:
S(x_1, x_2, x_3, ...) = (0, x_1, x_2, ...)
||Sx|| = ||x|| exactly -> bounded, ||S|| = 1 (an isometry).
Note: S is injective but NOT surjective (nothing maps to e_1).
In finite dim, injective => surjective. Here it FAILS.
2) MULTIPLICATION on L^2[0,1]: (M_g f)(t) = g(t) f(t)
if |g(t)| <= K everywhere, ||M_g f|| <= K ||f||
-> bounded, ||M_g|| = sup |g| = ess-sup of g.
3) DIFFERENTIATION D f = f' on L^2:
take f_n(t) = sin(n t): ||f_n|| stays ~ constant,
but D f_n = n cos(n t): ||D f_n|| grows like n -> infinity.
No constant C bounds it -> D is UNBOUNDED (discontinuous).移位算子已然打破了第一卷一个承重的直觉:在有限维中,单射算子自动满射(秩-零化度定理保证了这一点)。右移位是单射,却完全漏掉了 e_1——左逆与右逆就此分道扬镳,单侧可逆成为一种真实现象。这个例子将在第五篇重返、缠绕住谱。
里斯表示与伴随算子
没有矩阵,我们如何重获转置?答案是里斯表示定理:在希尔伯特空间中,*每个*有界线性泛函 f(x) 都不过是与某个固定向量 v 作内积 f(x) = <x, v>,且 ||f|| = ||v||。泛函与向量是同一份数据。这就是把抽象的对偶陈述化回具体几何的引擎。
里斯表示让我们能用规则 <Tx, y> = <x, T* y>(对所有 x, y)来定义有界算子的伴随 T*。对矩阵而言,这恰好就是共轭转置,故 T* 推广了 A^T(在 C 上则是 A^*)。当 T = T* 时算子称为自伴——这是对称矩阵在无穷维中的孪生体——而正是自伴性,将在第四篇让谱定理运转起来。
Adjoint via <Tx, y> = <x, T*y>
Right shift S on ell^2: S(x_1, x_2, ...) = (0, x_1, x_2, ...)
<Sx, y> = x_1 y_2 + x_2 y_3 + ...
= <x, (y_2, y_3, y_4, ...)>
=> S*(y_1, y_2, y_3, ...) = (y_2, y_3, ...) = the LEFT shift.
So (right shift)* = left shift. Check the asymmetry:
S* S = I (left-then-right undoes -> identity)
S S* != I (S S* kills the first coordinate)
Left and right inverses differ -> a purely infinite-dim effect.