希爾伯特空間

把你在帶點積的 R^n 中喜愛的一切——長度、角度、正交投影、畢氏定理——拿出來，然後問：當維數有無窮多個時，這些還能全部保留嗎？希爾伯特空間就是答案。它是一個帶內積 <u,v> 的向量空間，內積給出範數 ||v|| = sqrt(<v,v>)，再加上一個額外要求：空間是完備的。正是這條完備性，使得無窮展開真的能收斂到一個仍在空間內部的點。

精確地說：希爾伯特空間 H 是一個內積空間，並且在度量 d(u,v) = ||u - v|| 下完備，即每個柯西序列都在 H 中有極限。內積免費送給你全部有限維幾何：柯西-施瓦茨不等式 |<u,v>| <= ||u|| ||v||、平行四邊形法則，以及當 <v,w> = 0 時的正交性 v perp w。完備性是新成分——沒有它，幾何裡就有你會掉進去的洞。

為什麼重要：在希爾伯特空間裡，第一門課中最好的結論都原封不動地活了下來。閉子空間有正交補，每個向量都唯一地分解為一個投影加一個垂直餘項，而且存在可供展開的標準正交基。這是傅立葉級數、量子力學以及無窮維最小二乘的自然家園。有限維內積空間自動完備，所以它們每一個都是希爾伯特空間——只有維數無窮時這個概念才變得有趣。

需要帶在身上的一個警告：許多舒適的有限維事實都暗中要求子空間是閉的。一個僅在代數意義上的子空間可以是稠密的（它的閉包是整個空間）卻又不等於整個空間，對它的投影可能根本不存在。在無窮維中，伸手去用正交補或投影之前，你必須先問這個子空間是不是閉的。