Hahn-Banach

泛函分析（四）：对偶空间与 Hahn-Banach 定理 —— 线性泛函的驯服

Hahn-Banach 定理保证了足够多的连续线性泛函存在，以区分点——这是泛函分析中对偶理论的基础。