移位算子

移位算子是那個一舉擊碎有限維直覺的小而具體的例子。在 ell^2 上，右移把序列 (x_1, x_2, x_3, ...) 整體向右推一格，插入一個零：(0, x_1, x_2, x_3, ...)。它簡單到不能再簡單，卻做了任何矩陣都做不到的事：它是單射且保長度的，卻不是滿射。

精確地說：ell^2 上的右移 S 為 S(x_1, x_2, ...) = (0, x_1, x_2, ...)。它是等距的，對所有 x 都有 ||S x|| = ||x||，因而單射且有界，||S|| = 1。但它的值域恰是以 0 開頭的序列，一個真的閉子空間——所以 S 不是滿射，也沒有逆。它的伴隨是左移 S^*(x_1, x_2, ...) = (x_2, x_3, ...)，左移滿射但不單射。

為什麼它擊碎直覺：在有限維中，線性映射單射當且僅當滿射（秩-零化度迫使如此）。移位表明這種等價純粹是有限維的。S 是一對一的，卻漏掉了整整一個坐標份額的空間。更驚人的是，S 根本沒有特徵值——S x = lambda x 迫使 x = 0——所以它的點譜為空，而它的譜是整個閉單位圓盤。

為什麼重要：移位是算子理論普適的基本構件。沃爾德分解把任意等距算子用移位表示出來；移位的不變子空間由伯靈定理通過哈代空間中的內函數刻畫；而每當有人忘記無窮維是不同的，它就是標準的反例。把它揣在口袋裡，作為過度信任有限維本能的解毒劑。