第1章笔记：赋范空间与完备化

章目标

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

七课连接

• 从距离到范数：核心 ||x||≥0且三角不等式；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与从距离到范数有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号1-1要求写出实际数值或序列；条件为使用从距离到范数时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《范数等价与有限维直觉》的对象、估计或反例来源。
• 范数等价与有限维直觉：核心 有限维所有范数诱导同一拓扑；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与范数等价与有限维直觉有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号1-2要求写出实际数值或序列；条件为使用范数等价与有限维直觉时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《Banach空间和Cauchy列》的对象、估计或反例来源。
• Banach空间和Cauchy列：核心 Cauchy列在空间内收敛；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与Banach空间和Cauchy列有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号1-3要求写出实际数值或序列；条件为使用Banach空间和Cauchy列时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《子空间、商空间与商范数》的对象、估计或反例来源。
• 子空间、商空间与商范数：核心 ||x+M||=inf_{m∈M}||x+m||；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与子空间、商空间与商范数有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号1-4要求写出实际数值或序列；条件为使用子空间、商空间与商范数时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《乘积空间与直和》的对象、估计或反例来源。
• 乘积空间与直和：核心 有限积范数彼此等价；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与乘积空间与直和有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号1-5要求写出实际数值或序列；条件为使用乘积空间与直和时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《完备化的构造与唯一性》的对象、估计或反例来源。
• 完备化的构造与唯一性：核心 等距稠密嵌入到完备空间；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与完备化的构造与唯一性有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号1-6要求写出实际数值或序列；条件为使用完备化的构造与唯一性时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《有限序列空间实验》的对象、估计或反例来源。
• 有限序列空间实验：核心 离散范数可逐项复算；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与有限序列空间实验有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号1-7要求写出实际数值或序列；条件为使用有限序列空间实验时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《线性算子的有界与连续》的对象、估计或反例来源。

章内证明训练

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

错题闭环

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