纯数学基础（第零批）¶
导读 本目录是机器人学博士前数学路线图 第零层（Layer-0） 的完整合集。全部内容围绕两条支柱展开：代数/拓扑支柱（Batch A） 包含集合论、高等线性代数（细分为五个子模块）、点集拓扑、抽象代数；分析支柱（Batch B） 包含实分析、测度论、泛函分析、常微分方程。两条支柱在泛函分析处汇合——它同时吸收内积与谱、完备度量与紧性、一致收敛、\(L^p\) 与对偶，是第零层的综合考。常微分方程独立性最高，仅依赖实分析 + 线性代数基础，可与测度论并行学习。
阅读建议：依赖关系的核心规则是：集合论是一切起点；向量空间/内积/极小多项式先于实分析；实分析 + 点集拓扑先于测度论；内积/极小多项式 + 点集拓扑 + 实分析 + 测度论四重硬依赖先于泛函分析；抽象代数与分析线几乎解耦，是理想的并行车道填充任务。
目录¶
| 编号 | 专题 | 说明 |
|---|---|---|
| 10 | 集合论与数理逻辑 | ZFC 公理骨架与一阶逻辑符号系统 |
| 15 | 高等线性代数总大纲 | 线性代数五子模块总览 |
| 20 | 向量空间与线性变换 | 抽象向量空间、线性映射与对偶空间 |
| 30 | 内积空间与伴随算子 | 内积、正交、伴随算子与正规算子 |
| 40 | 谱定理SVD与极分解 | 有限维谱定理、奇异值分解与极分解 |
| 50 | 极小多项式与Jordan标准形 | Cayley-Hamilton、极小多项式与 Jordan 分解 |
| 60 | 多线性代数与张量积 | 张量积、外代数与多线性映射 |
| 70 | 点集拓扑 | 紧性、连通性、商拓扑的统一语言 |
| 80 | 抽象代数 | 群/环/域/模/伽罗瓦的结构学 |
| 90 | 实分析 | epsilon-delta 严格化与多元微积分 |
| 100 | 测度论与Lebesgue积分 | Lebesgue 积分、概率测度与 \(L^p\) 空间 |
| 110 | 泛函分析 | Banach/Hilbert 空间与算子理论 |
| 120 | 常微分方程 | 存在唯一性、Lyapunov 稳定性与动力系统 |
学习旅程总结¶
走到这里，读者已经完成了第零层全部 8 个任务、98 条核心定理的完整旅程。
代数/拓扑支柱 从 ZFC 公理语言出发，经五个子模块将线性代数提升到算子-谱-分解-Lie 代数的研究生水准，经点集拓扑建立紧性-连通性-分离公理统一语言，至抽象代数用群/环/域/模的结构学为 Lie 群提供代数骨架。核心能力：结构辨识。
分析支柱 从 epsilon-delta 严格化起步，经测度论将积分理论重建为 Lebesgue 并建立概率测度的合法语言，经泛函分析把有限维线代推广到无穷维空间并证明三大支柱定理，至常微分方程完成存在唯一性与 Lyapunov 稳定性理论。核心能力：逼近控制。
两条支柱在泛函分析处汇合——它恰恰是"用代数结构组织分析对象"的学科，把结构直觉与分析直觉融为一体。