第4章笔记：Baire纲与三大基本定理

章目标

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

七课连接

• 稠密开集与Baire纲：核心 完备度量空间非可数个稀疏闭集之并；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与稠密开集与Baire纲有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号4-1要求写出实际数值或序列；条件为使用稠密开集与Baire纲时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《一致有界原理》的对象、估计或反例来源。
• 一致有界原理：核心 逐点有界推出范数一致有界；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与一致有界原理有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号4-2要求写出实际数值或序列；条件为使用一致有界原理时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《Banach–Steinhaus应用》的对象、估计或反例来源。
• Banach–Steinhaus应用：核心 条件必须对每个x成立；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与Banach–Steinhaus应用有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号4-3要求写出实际数值或序列；条件为使用Banach–Steinhaus应用时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《开映射定理》的对象、估计或反例来源。
• 开映射定理：核心 满射有界算子送开集为开集；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与开映射定理有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号4-4要求写出实际数值或序列；条件为使用开映射定理时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《有界逆定理》的对象、估计或反例来源。
• 有界逆定理：核心 双射有界算子逆有界；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与有界逆定理有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号4-5要求写出实际数值或序列；条件为使用有界逆定理时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《闭图定理》的对象、估计或反例来源。
• 闭图定理：核心 闭图加Banach定义域和值域推出有界；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与闭图定理有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号4-6要求写出实际数值或序列；条件为使用闭图定理时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《算子族增长实验》的对象、估计或反例来源。
• 算子族增长实验：核心 先比较逐点值再比较算子范数；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与算子族增长实验有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号4-7要求写出实际数值或序列；条件为使用算子族增长实验时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《强收敛和弱收敛》的对象、估计或反例来源。

章内证明训练

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

错题闭环

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