第5章笔记：弱拓扑、弱星拓扑与对偶性

章目标

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

七课连接

• 强收敛和弱收敛：核心 x_n弱收敛x当且仅当所有f值收敛；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与强收敛和弱收敛有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号5-1要求写出实际数值或序列；条件为使用强收敛和弱收敛时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《弱拓扑的半范数生成》的对象、估计或反例来源。
• 弱拓扑的半范数生成：核心 σ(X,X*)由对偶泛函生成；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与弱拓扑的半范数生成有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号5-2要求写出实际数值或序列；条件为使用弱拓扑的半范数生成时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《弱星拓扑》的对象、估计或反例来源。
• 弱星拓扑：核心 σ(X*,X)只用典范配对测试；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与弱星拓扑有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号5-3要求写出实际数值或序列；条件为使用弱星拓扑时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《Banach–Alaoglu定理》的对象、估计或反例来源。
• Banach–Alaoglu定理：核心 对偶单位球弱星紧；例题为在R^3或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与Banach–Alaoglu定理有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号5-4要求写出实际数值或序列；条件为使用Banach–Alaoglu定理时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《弱紧性与自反性》的对象、估计或反例来源。
• 弱紧性与自反性：核心 自反空间有界列出现弱收敛子列；例题为在R^4或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与弱紧性与自反性有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号5-5要求写出实际数值或序列；条件为使用弱紧性与自反性时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《凸集的弱闭包》的对象、估计或反例来源。
• 凸集的弱闭包：核心 凸集的范数闭包等于弱闭包；例题为在R^5或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与凸集的弱闭包有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号5-6要求写出实际数值或序列；条件为使用凸集的弱闭包时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《弱收敛测试实验》的对象、估计或反例来源。
• 弱收敛测试实验：核心 有限测试泛函只能近似弱证据；例题为在R^2或有限序列空间中选取具体向量、矩阵或泛函，逐项算出与弱收敛测试实验有关的范数、配对或谱量；反例任务为去掉本节关键条件后，用有限维退化例、非完备子空间、移动基向量、尖峰函数或无界算子中的一种给出明确失败对象；本课编号5-7要求写出实际数值或序列；条件为使用弱收敛测试实验时必须声明空间是否Banach/Hilbert、算子是否线性有界、拓扑是强/弱/弱星，以及结论中的闭性、紧性、自反性或定义域条件；本节结论将作为《内积、范数与平行四边形律》的对象、估计或反例来源。

章内证明训练

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

错题闭环

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