第11章笔记：分布、Sobolev与无界算子入口

章目标

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

七课连接

• 测试函数与分布：核心 分布是测试函数空间上的连续线性泛函；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与测试函数与分布有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号11-1要求写出实际数值或序列；条件为使用测试函数与分布时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《弱导数》的对象、估计或反例来源。
• 弱导数：核心 ∫uφ'=-∫vφ定义弱导数v；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与弱导数有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号11-2要求写出实际数值或序列；条件为使用弱导数时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《Sobolev空间与范数》的对象、估计或反例来源。
• Sobolev空间与范数：核心 W^{k,p}同时控制函数和弱导数；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与Sobolev空间与范数有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号11-3要求写出实际数值或序列；条件为使用Sobolev空间与范数时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《稠密性、迹与边界条件》的对象、估计或反例来源。
• 稠密性、迹与边界条件：核心 边界条件通过迹而非逐点强加；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与稠密性、迹与边界条件有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号11-4要求写出实际数值或序列；条件为使用稠密性、迹与边界条件时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《闭算子与可闭算子》的对象、估计或反例来源。
• 闭算子与可闭算子：核心 图闭定义闭算子；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与闭算子与可闭算子有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号11-5要求写出实际数值或序列；条件为使用闭算子与可闭算子时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《自伴无界算子入口》的对象、估计或反例来源。
• 自伴无界算子入口：核心 无界自伴算子域必须稠密；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与自伴无界算子入口有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号11-6要求写出实际数值或序列；条件为使用自伴无界算子入口时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《离散弱导数实验》的对象、估计或反例来源。
• 离散弱导数实验：核心 分部求和模拟分部积分；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与离散弱导数实验有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号11-7要求写出实际数值或序列；条件为使用离散弱导数实验时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《强连续半群》的对象、估计或反例来源。

章内证明训练

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

错题闭环

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