从 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便是我们贯穿全程的范例：二者都是希尔伯特空间、无穷维且完备。本专题的计划，是把第一卷的几何——标准正交基、投影、特征值——跨过无穷维的鸿沟搬运过去，保留幸存者，标记出破碎者。