第7章笔记：紧算子与Fredholm思想

章目标

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

七课连接

• 紧集与相对紧性：核心 紧性要求任意序列有收敛子列；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与紧集与相对紧性有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号7-1要求写出实际数值或序列；条件为使用紧集与相对紧性时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《紧算子的定义和序列判据》的对象、估计或反例来源。
• 紧算子的定义和序列判据：核心 紧算子把有界列送到相对紧列；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与紧算子的定义和序列判据有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号7-2要求写出实际数值或序列；条件为使用紧算子的定义和序列判据时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《有限秩逼近》的对象、估计或反例来源。
• 有限秩逼近：核心 有限秩算子是紧的；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与有限秩逼近有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号7-3要求写出实际数值或序列；条件为使用有限秩逼近时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《紧算子的理想性质》的对象、估计或反例来源。
• 紧算子的理想性质：核心 有界算子与紧算子复合仍紧；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与紧算子的理想性质有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号7-4要求写出实际数值或序列；条件为使用紧算子的理想性质时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《紧算子谱的初步结构》的对象、估计或反例来源。
• 紧算子谱的初步结构：核心 非零谱点只能离散聚到0；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与紧算子谱的初步结构有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号7-5要求写出实际数值或序列；条件为使用紧算子谱的初步结构时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《Fredholm择一定理》的对象、估计或反例来源。
• Fredholm择一定理：核心 I-K或单射或齐次方程有非零解；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与Fredholm择一定理有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号7-6要求写出实际数值或序列；条件为使用Fredholm择一定理时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《低秩近似实验》的对象、估计或反例来源。
• 低秩近似实验：核心 截断奇异方向得到低秩模型；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与低秩近似实验有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号7-7要求写出实际数值或序列；条件为使用低秩近似实验时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《谱、预解集与谱半径》的对象、估计或反例来源。

章内证明训练

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

错题闭环

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