沒有矩陣,連續性不再免費
在第一卷中,一旦選定基,有限維空間之間的每個線性變換都是一個矩陣,而且每個這樣的映射都自動連續。這兩個事實在無窮維中都蒸發了:既沒有有限矩陣,線性映射還可能劇烈不連續,把一個收斂的輸入序列送成發散的輸出。
當存在常數 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.