從 R^n 邁向無窮維：範數、完備性與躍遷

第一卷的舒適區在何處終結

第一卷的全部內容都發生在有限維向量空間中：取定一組基，每個向量便是一串有限的座標。長度來自範數，角度來自內積，而生活之所以輕鬆，是因為維數是單一的有限數。但在分析學中真正重要的空間——函數空間、無窮序列空間、訊號空間——根本沒有有限的基。

考慮平方可和序列之集：x = (x_1, x_2, x_3, ...)，且 sum |x_n|^2 有限。這是一個真正的向量空間——你可以將序列相加、對其縮放——但它是無窮維的：標準單位向量 e_1, e_2, e_3, ... 線性無關且有無窮多個。任何有限的基都張不出它。我們需要能熬過這一躍遷的新工具。

完備性：取代維數的性質

在 R^n 中有一個基本到你從未為之命名的事實：每個柯西序列都收斂到一個*位於空間之內*的極限。這就是完備性，在有限維中它是免費贈送的。在無窮維中它可能失效——而一旦失效，微積分便崩塌，因為逼近的極限可能徹底漏出空間之外。

Incompleteness in the wild — continuous functions on [-1, 1]
with the L^2 "length"  ||f|| = sqrt( integral |f|^2 ).

Approximate a step function by continuous ramps f_n:

  f_n(x) = -1            for x <= -1/n
         =  n*x          for -1/n < x < 1/n   (a steep ramp)
         = +1            for x >= 1/n

  Each f_n is CONTINUOUS.
  The sequence (f_n) is Cauchy in the L^2 norm.
  But its limit is the sign function sgn(x), which JUMPS at 0
  -> the limit is NOT continuous.

So (continuous functions, L^2 norm) is INCOMPLETE:
the Cauchy sequence converges to something outside the space.

一列連續函數構成的柯西序列，其 L^2 極限卻不連續——空間有「洞」。

兩個新家園：巴拿赫空間與希爾伯特空間

一個完備的賦範向量空間稱為巴拿赫空間：它有長度（一個範數）且沒有「洞」。若範數還來自一個內積——於是你同時擁有角度、正交性與平行四邊形法則——這個完備空間便是希爾伯特空間。每個希爾伯特空間都是巴拿赫空間；反之不成立，而那額外的內積幾何，正是讓希爾伯特空間感覺像無窮維 R^n 的東西。

Family tree of the spaces in this volume

  vector space
      |  add a length
  normed space            ||x||
      |  add: no holes (every Cauchy seq converges)
  BANACH space            complete + norm
      |  add: the norm comes from <x, y>
  HILBERT space           complete + inner product

Canonical examples:
  ell^2  = square-summable sequences      -> HILBERT   ||x||^2 = sum |x_n|^2
  L^2    = square-integrable functions    -> HILBERT   ||f||^2 = integral |f|^2
  ell^p, L^p  (p != 2)                    -> BANACH but NOT Hilbert
  C[0,1] with sup norm                    -> BANACH but NOT Hilbert

Test: does the parallelogram law hold?
   ||x+y||^2 + ||x-y||^2 = 2||x||^2 + 2||y||^2
   YES  -> norm comes from an inner product (Hilbert)
   NO   -> Banach only.

巴拿赫 = 完備 + 範數；希爾伯特 = 完備 + 內積。平行四邊形法則將二者區分開。

自此以後，ell^2 與 L^2便是我們貫穿全程的範例：二者都是希爾伯特空間、無窮維且完備。本專題的計劃，是把第一卷的幾何——標準正交基、投影、特徵值——跨過無窮維的鴻溝搬運過去，保留倖存者，標記出破碎者。