第2章笔记：有界线性算子与对偶

章目标

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

七课连接

• 线性算子的有界与连续：核心 T有界等价于在0连续；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与线性算子的有界与连续有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号2-1要求写出实际数值或序列；条件为使用线性算子的有界与连续时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《算子范数的计算》的对象、估计或反例来源。
• 算子范数的计算：核心 ||T||=sup_{||x||≤1}||Tx||；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与算子范数的计算有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号2-2要求写出实际数值或序列；条件为使用算子范数的计算时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《核、像与逆算子入口》的对象、估计或反例来源。
• 核、像与逆算子入口：核心 有界逆需要双射与完备性；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与核、像与逆算子入口有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号2-3要求写出实际数值或序列；条件为使用核、像与逆算子入口时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《连续线性泛函》的对象、估计或反例来源。
• 连续线性泛函：核心 |f(x)|≤||f||||x||；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与连续线性泛函有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号2-4要求写出实际数值或序列；条件为使用连续线性泛函时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《对偶空间与典范嵌入》的对象、估计或反例来源。
• 对偶空间与典范嵌入：核心 Jx(f)=f(x)；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与对偶空间与典范嵌入有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号2-5要求写出实际数值或序列；条件为使用对偶空间与典范嵌入时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《算子空间也是Banach空间》的对象、估计或反例来源。
• 算子空间也是Banach空间：核心 B(X,Y)在Y完备时完备；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与算子空间也是Banach空间有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号2-6要求写出实际数值或序列；条件为使用算子空间也是Banach空间时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《矩阵算子范数实验》的对象、估计或反例来源。
• 矩阵算子范数实验：核心 矩阵范数依赖所选向量范数；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与矩阵算子范数实验有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号2-7要求写出实际数值或序列；条件为使用矩阵算子范数实验时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《延拓问题为何困难》的对象、估计或反例来源。

章内证明训练

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

错题闭环

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