第10章笔记：Lp空间与对偶表示

章目标

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

七课连接

• Lp作为Banach空间：核心 ||f||p=(∫|f|^p)^{1/p}；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与Lp作为Banach空间有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号10-1要求写出实际数值或序列；条件为使用Lp作为Banach空间时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《Hölder与Minkowski再审》的对象、估计或反例来源。
• Hölder与Minkowski再审：核心 1/p+1/q=1；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与Hölder与Minkowski再审有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号10-2要求写出实际数值或序列；条件为使用Hölder与Minkowski再审时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《L1、Lp和L∞对偶》的对象、估计或反例来源。
• L1、Lp和L∞对偶：核心 1<p<∞时(Lp)*≅Lq；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与L1、Lp和L∞对偶有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号10-3要求写出实际数值或序列；条件为使用L1、Lp和L∞对偶时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《一致凸性与自反性》的对象、估计或反例来源。
• 一致凸性与自反性：核心 一致凸推出自反；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与一致凸性与自反性有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号10-4要求写出实际数值或序列；条件为使用一致凸性与自反性时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《弱收敛与积分配对》的对象、估计或反例来源。
• 弱收敛与积分配对：核心 弱收敛由所有Lq配对测试；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与弱收敛与积分配对有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号10-5要求写出实际数值或序列；条件为使用弱收敛与积分配对时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《算子在Lp上的有界性》的对象、估计或反例来源。
• 算子在Lp上的有界性：核心 核或乘子有界性需定理条件；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与算子在Lp上的有界性有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号10-6要求写出实际数值或序列；条件为使用算子在Lp上的有界性时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《离散Lp范数实验》的对象、估计或反例来源。
• 离散Lp范数实验：核心 有限加权和模拟积分；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与离散Lp范数实验有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号10-7要求写出实际数值或序列；条件为使用离散Lp范数实验时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《测试函数与分布》的对象、估计或反例来源。

章内证明训练

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

错题闭环

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