第8章笔记：有界算子的谱理论

章目标

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

七课连接

• 谱、预解集与谱半径：核心 σ(T)={λ:T-λI不可逆}；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与谱、预解集与谱半径有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号8-1要求写出实际数值或序列；条件为使用谱、预解集与谱半径时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《Neumann级数与可逆性》的对象、估计或反例来源。
• Neumann级数与可逆性：核心 ||A||<1则(I-A)^{-1}=ΣA^n；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与Neumann级数与可逆性有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号8-2要求写出实际数值或序列；条件为使用Neumann级数与可逆性时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《谱半径公式》的对象、估计或反例来源。
• 谱半径公式：核心 r(T)=lim||T^n||^{1/n}；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与谱半径公式有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号8-3要求写出实际数值或序列；条件为使用谱半径公式时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《自伴算子与数值域》的对象、估计或反例来源。
• 自伴算子与数值域：核心 自伴算子谱为实且数值域受控；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与自伴算子与数值域有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号8-4要求写出实际数值或序列；条件为使用自伴算子与数值域时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《正算子与平方根》的对象、估计或反例来源。
• 正算子与平方根：核心 正算子满足<Tx,x>≥0；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与正算子与平方根有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号8-5要求写出实际数值或序列；条件为使用正算子与平方根时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《正常算子和连续函数演算入口》的对象、估计或反例来源。
• 正常算子和连续函数演算入口：核心 正常算子满足TT*=T*T；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与正常算子和连续函数演算入口有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号8-6要求写出实际数值或序列；条件为使用正常算子和连续函数演算入口时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《对角谱实验》的对象、估计或反例来源。
• 对角谱实验：核心 对角算子谱由对角值闭包决定；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与对角谱实验有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号8-7要求写出实际数值或序列；条件为使用对角谱实验时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《赋范代数与单位化》的对象、估计或反例来源。

章内证明训练

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

错题闭环

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