第6章笔记：Hilbert空间的几何

章目标

围绕Hilbert空间的几何建立定义、几何直觉、证明链与条件反查。 七课不是并列名词，而是从定义、有限维模型、关键估计到无限维定理和反例的连续证明链。

七课连接

• 内积、范数与平行四边形律：核心 ||x||²=<x,x>；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与内积、范数与平行四边形律有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号6-1要求写出实际数值或序列；条件为使用内积、范数与平行四边形律时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《正交与勾股恒等式》的对象、估计或反例来源。
• 正交与勾股恒等式：核心 x⊥y推出平方范数可加；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与正交与勾股恒等式有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号6-2要求写出实际数值或序列；条件为使用正交与勾股恒等式时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《最佳逼近与投影定理》的对象、估计或反例来源。
• 最佳逼近与投影定理：核心 闭凸集存在唯一最近点；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与最佳逼近与投影定理有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号6-3要求写出实际数值或序列；条件为使用最佳逼近与投影定理时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《正交补与闭子空间分解》的对象、估计或反例来源。
• 正交补与闭子空间分解：核心 H=M⊕M⊥；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与正交补与闭子空间分解有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号6-4要求写出实际数值或序列；条件为使用正交补与闭子空间分解时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《Riesz表示定理》的对象、估计或反例来源。
• Riesz表示定理：核心 每个连续泛函由唯一内积向量表示；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与Riesz表示定理有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号6-5要求写出实际数值或序列；条件为使用Riesz表示定理时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《正交规范系与Parseval》的对象、估计或反例来源。
• 正交规范系与Parseval：核心 完备正交系给出Parseval；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与正交规范系与Parseval有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号6-6要求写出实际数值或序列；条件为使用正交规范系与Parseval时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《Gram–Schmidt实验》的对象、估计或反例来源。
• Gram–Schmidt实验：核心 正交化每步去掉已有投影；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与Gram–Schmidt实验有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号6-7要求写出实际数值或序列；条件为使用Gram–Schmidt实验时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《紧集与相对紧性》的对象、估计或反例来源。

章内证明训练

闭卷写每节对象与量词，再重建关键构造和估计。每次引用定理列出空间、拓扑、完备/闭/紧条件；随后删去一个条件，写出明确序列、函数、子空间或算子展示失败。章末Python实验必须运行四组测试，并说明有限模型不能证明哪一条无限维结论。

错题闭环

把错误编码为定义、量词、拓扑、完备性、紧性、定义域、估计方向或反例不完整。一周后更换空间和数据重做阶段卷；能从对象和条件推回结论，才算真正掌握。