依然范德彪202539https://opetope.cc/index/index/index/數林廣記按学科查找概念，或沿专题阅读定义、例子与定理。不同阅读路线共享同一批知识条目。数学分类逻辑 代数 数论 代数与复几何 几何 拓扑 Lie 理论及其推广 分析 动力系统 偏微分方程 数学物理 概率 组合学 计算机科学中的数学 数值分析与科学计算 控制理论与优化 统计与数据分析 随机与微分建模 数学教育与数学传播 数学史专题阅读代数基础：群、环、域、向量空间及其映射。 范畴论与代数理论：结构、模型与内部对象。 拓扑基础：空间、连续性、可数性、分离与完备化。 分析：赋范空间、内积与算子。 微分几何：坐标、张量、微分形式、联络与曲率。 曲面与复结构：亏格、定向与 Riemann–Roch。 随机图：分枝近似、巨分支及连通阈值。 逻辑研究路径：八个专题及其基础工具。完整学科目录 · 作者ReferencesContextBacklinks依然范德彪2026331https://opetope.cc/001D/001D/001D/分析入口Outline这一部分目前集中在线性分析、拓扑与泛函分析交界处的基础例子，帮助读者熟悉常见的度量、范数、内积与拓扑来源。当前条目赋范向量空间：由范数诱导的拓扑 内积空间：由内积诱导角度、正交性和范数 复 Euclidean 空间的标准内积与连续函数空间的积分内积：有限维和函数空间中的两个基本例子 内积空间中的正交与标准正交集：正交几何的基本语言 内积范数专题：诱导范数定理与平行四边形恒等式 泛函分析：von Neumann 双交换子定理：交换子、算子拓扑与 von Neumann 代数 序列空间 ℓ^p：经典函数分析中的基本对象 拓扑向量空间专题：定义、零点邻域及线性初始拓扑 半范数与局部凸拓扑：从范数推广到半范数族 对偶对、弱拓扑与连续对偶：由线性泛函生成拓扑初始拓扑提供统一的拓扑构造语言；Hilbert 空间与正交投影连接内积几何和算子代数。内积空间给出赋范空间的重要来源，其几何结构由 Pythagoras 定理、Bessel 不等式 和 Schwarz 不等式 控制 von Neumann 双交换子定理 说明算子代数中的代数闭包条件与算子拓扑闭包条件等价返回博客首页依然范德彪2026331https://opetope.cc/0020/0020/0020/数理逻辑入口Outline数理逻辑的主题包括公理与集合宇宙、模型与可定义性、可计算性及分类复杂度。逻辑学科目录按研究方向导航，现代逻辑的研究路径连接这些方向，基础工具提供共享的前置概念。范畴逻辑与量子逻辑量子逻辑简介：主题总览 量子逻辑的玩具模型：空间直线：从直观例子切入 量子逻辑的代数语义学：格与正交模格：代数结构背景 正交模律及其等价形式：核心定义 正交框架与关系语义：关系语义视角 量子逻辑与经典逻辑的比较：经典逻辑与量子逻辑的分野 Kochen–Specker 定理：量子基础中的关键结论 代数理论：语法与语义：等式理论与范畴语义 代数理论的模型与内部群：把方程解释为有限积范畴中的交换图阅读建议研究模型与语义可从一阶逻辑的阅读路径或代数理论进入；研究量子命题可从量子逻辑简介进入。不同阅读路径复用同一组概念，不要求按页面编号阅读。返回博客首页Related依然范德彪2026928https://opetope.cc/0064/0064/0064/代数与复几何Outline代数与复几何研究多项式方程、复解析结构及其空间不变量，也与交换代数和数论相连。研究专题模空间的内蕴构造：代数叠、好模空间与 Θ 稳定性 非阿贝尔 Hodge 理论与线性 Shafarevich 猜想：局部系统、对数联络与万有覆盖 超曲面的有理性：函数域、参数化与收缩有理性 Cremona 群的代数子群：双有理作用、正则化与极大子群 无空间的交上同调：拟阵、多胞形与矩图 三维 flop 与收缩代数：双有理变换与非交换不变量 各向同性约化群的初等子群：挠子与同伦不变性 驯服几何、积分与有理点：可定义几何与计数其他专题曲面分类、亏格与复结构：Riemann 曲面、除子与 Riemann–Roch。依然范德彪2026924https://opetope.cc/0067/0067/0067/Lie 理论及其推广OutlineLie 理论研究连续对称性、代数群及其表示，并与几何和分析相联系。研究专题约化代数群的倾斜模：特征标与支持簇 无空间的交上同调：矩图、Hecke 代数与 Soergel 双模 寡轨群与张量范畴 模型论群、尖锐传递与 Burnside 问题其他专题建筑与旗的几何：Coxeter 复形、公寓与群作用。依然范德彪2026924https://opetope.cc/0062/0062/0062/代数Outline从表示、对称性、同调与几何不变量出发，选择感兴趣的研究专题。研究专题约化代数群的倾斜模：特征标与支持簇：最高权、p 典范基与上同调支持 尖点 Hopf 代数与张量范畴：Nichols 代数、玻色化与余循环变形 高秩算术群的共轭宽度：正规生成、同余子群与词宽度 无空间的交上同调：偏序、拟阵、矩图与 Soergel 双模 模性提升启发的交换代数：自由性、导出作用与 Wiles 数值判据 有限群的特征标对应：Clifford 理论、局部对应与 McKay 问题 全正 Toeplitz 矩阵：经典与现代：参数化、量子 Schubert 多项式与极限 表示论中的几何模型：Gentle 代数、曲面、导出范畴与变形 寡轨群与张量范畴：轨道、测度、Fraïssé 构造与范畴 各向同性约化群的初等子群：非稳定 K₁、局部整体原理与挠子 三维 flop 与收缩代数：非交换不变量、导出商与奇点 平移铺砌：结构与非周期性：阿贝尔群上的周期性与不可判定性其他专题范畴逻辑与代数理论：等式理论、模型与内部对象 模型论群、尖锐传递与 Burnside 问题：有限 Morley 秩与几何群论 NIP 域、赋值与整环：可定义性与赋值分类专题之间的联系依然范德彪2026924https://opetope.cc/006A/006A/006A/偏微分方程Outline偏微分方程研究方程的可解性、正则性、稳定性与渐近行为。暂未收录独立专题。依然范德彪2026924https://opetope.cc/0065/0065/0065/几何Outline几何从局部形状、整体结构与对称性研究空间。研究专题平移铺砌的结构与非周期性：离散形状与周期性 寡轨群与张量范畴：有限结构、对称性与轨道其他专题高斯绝妙定理：曲面的内蕴曲率 联络、曲率与微分几何：流形、张量与微分形式依然范德彪2026924https://opetope.cc/0068/0068/0068/分析Outline分析通过极限、积分、拓扑与算子研究连续结构。研究专题平移铺砌的结构与非周期性：离散结构与分析方法 驯服几何、积分与有理点：积分、准备定理与计数其他专题von Neumann 双交换子定理：算子代数与算子拓扑 对偶对、弱拓扑与连续对偶 局部凸空间与半范数 内积几何与诱导范数依然范德彪2026924https://opetope.cc/0069/0069/0069/动力系统Outline动力系统研究变换的长期行为、分类及其复杂度。研究专题遍历系统的分类复杂度：测度同构、Kakutani 等价与光滑实现 平移铺砌的结构与非周期性：符号编码与轨道结构依然范德彪2026924https://opetope.cc/0066/0066/0066/拓扑Outline拓扑研究空间的整体形状、连续变形与空间之间的构造。研究专题空间与高阶范畴的合成视角：路径归纳、单价性、合成 Yoneda 引理与有向单价性。 寡轨群与张量范畴：置换群拓扑、轨道与表示范畴。其他专题Jordan 曲线与平面分离 曲面分类、亏格与复结构 空间构造的范畴论方法依然范德彪2026924https://opetope.cc/0070/0070/0070/控制理论与优化Outline控制理论与优化研究最优解、可控性、可观测性及系统的稳定性。暂未收录独立专题。依然范德彪2026924https://opetope.cc/006F/006F/006F/数值分析与科学计算Outline数值分析与科学计算研究算法的精度、稳定性、收敛性与计算复杂度。暂未收录独立专题。依然范德彪2026924https://opetope.cc/0074/0074/0074/数学史Outline数学史研究概念、定理、文本与学术传统的历史演变。暂未收录独立专题。依然范德彪2026924https://opetope.cc/0060/0060/0060/数学学科目录Outline选择学科后可直接进入具体专题。同一专题可以出现在多个学科中，所需定义与证明通过专题内的链接查阅。1. 逻辑 2. 代数 3. 数论 4. 代数与复几何 5. 几何 6. 拓扑 7. Lie 理论及其推广 8. 分析 9. 动力系统 10. 偏微分方程 11. 数学物理 12. 概率 13. 组合学 14. 计算机科学中的数学 15. 数值分析与科学计算 16. 控制理论与优化 17. 统计与数据分析 18. 随机与微分建模 19. 数学教育与数学传播 20. 数学史依然范德彪2026924https://opetope.cc/0073/0073/0073/数学教育与数学传播Outline数学教育与数学传播研究数学的学习、教学和面向不同读者的表达。暂未收录独立专题。依然范德彪2026924https://opetope.cc/006B/006B/006B/数学物理Outline数学物理借助几何、分析、概率和代数描述物理结构。其他专题量子逻辑：命题结构与可观测量 von Neumann 双交换子定理：算子代数的闭包结构 联络、曲率与微分几何：几何结构与物理依然范德彪2026924https://opetope.cc/0063/0063/0063/数论Outline有理点、局部域与算术群的研究相互联系。研究专题曲线有理点与显式 p 进方法：Chabauty、积分与局部整体约束 自守谱的密度与算术计数：异常谱、矩阵提升与同余群 驯服几何、积分与有理点：指数和、动机积分与有理点计数 NIP 域、赋值与整环：Hensel 性与赋值域分类 平移铺砌的结构与非周期性：加法结构、周期与编码 高秩算术群的共轭宽度：同余子群与局部整体方法 模性提升启发的交换代数：自由性与 Wiles 数值判据依然范德彪2026924https://opetope.cc/006C/006C/006C/概率Outline概率研究随机结构、随机过程及其极限行为。研究专题局部问题的组合与算法复杂度：随机标记、独立同分布因子与局部约束 遍历系统的分类复杂度：保测系统与随机过程其他专题Erdős–Rényi 随机图：分枝近似、巨分支与连通阈值。依然范德彪2026924https://opetope.cc/006D/006D/006D/组合学Outline组合学研究离散结构、计数、局部约束及其代数和几何联系。研究专题无空间的交上同调：拟阵、多胞形与偏序 全正 Toeplitz 矩阵：子式、Schubert 多项式与参数化 局部问题的组合与算法复杂度：无限图上的可定义解 平移铺砌的结构与非周期性：有限形状、周期与编码其他专题Erdős–Rényi 随机图：概率组合与阈值 建筑与旗的几何：有限几何与广义多边形依然范德彪2026924https://opetope.cc/0071/0071/0071/统计与数据分析Outline统计与数据分析研究从样本到结构的推断、学习与不确定性。研究专题NIP 域、赋值与整环：通过 VC 维与有限组合复杂度连接模型论和学习理论。依然范德彪2026924https://opetope.cc/006E/006E/006E/计算机科学中的数学Outline计算、复杂度与语义为算法和数学结构提供共同语言。研究专题局部问题与分布式算法：LOCAL 模型及与可定义组合学的对应 平移铺砌的结构与不可判定性：局部编码与计算复杂度其他专题范畴逻辑：代数理论的语法与语义。依然范德彪2026924https://opetope.cc/0061/0061/0061/逻辑Outline从公理、模型、可定义性与复杂度出发，选择感兴趣的研究专题。研究专题强迫公理与连续统：公理选择与集合宇宙 连续逻辑与度量结构：连续取值的语义与模型 局部问题的组合与算法复杂度：可定义解与分布式计算 驯服几何、积分与有理点：准备定理与计数 遍历系统的分类复杂度：描述集合论与动力系统 平移铺砌的结构与非周期性：刚性、编码与不可判定性 NIP 域、赋值与整环：有限组合复杂度的代数后果 模型论群、尖锐传递与 Burnside 问题：有限秩与几何群论其他专题范畴逻辑：代数理论的语法与语义 量子逻辑：正交模格与量子命题专题之间的联系 · 范畴语义与量子命题的阅读路线依然范德彪2026924https://opetope.cc/0072/0072/0072/随机与微分建模Outline随机与微分建模以概率和演化方程描述复杂系统。其他专题随机图与网络模型：Erdős–Rényi 模型、巨分支与连通阈值。依然范德彪2026920https://opetope.cc/0075/0075/0075/现代逻辑的研究路径Outline逻辑通过公理、可定义性、复杂度与模型来研究数学结构。不同方向共享方法，却关注不同问题：集合论询问宇宙的结构，模型论分析可定义对象，描述集合论衡量分类难度，逻辑与计算的交叉则揭示局部约束的可解性。可从基础工具补充前置概念，也可直接选择下列主题，并沿正文链接逐步理解依赖。基础定义、研究定理、证明思路与开放问题分别标记，避免将猜想当成已证明的结论。强迫公理与连续统 连续逻辑与度量结构 局部问题的组合与算法复杂度 驯服几何、积分与有理点 遍历系统的分类复杂度 平移铺砌的结构与非周期性 NIP 域、赋值与整环 模型论群、尖锐传递与 Burnside 问题范畴逻辑与量子逻辑提供另外两条阅读路径。研究主题之间不是互斥分类，例如赋值域同时属于模型论和数论，铺砌同时连接动力系统与组合学。依然范德彪2026920https://opetope.cc/001F/001F/001F/范畴论入口Outline从对象和态射开始，经过函子与有限积，再进入等式理论的范畴语义。范畴、函子与自然变换 代数理论的语法与例子 模型、内部群与逐点构造 空间与高阶范畴的合成视角：Yoneda 引理、箭头归纳与有向单价性。拓扑学中的范畴构造提供另一条应用阅读路径。依然范德彪2026920https://opetope.cc/0076/0076/0076/逻辑与相邻学科的基础工具Outline模型论、集合论、描述集合论和动力系统共用下列基础概念。代数理论的模型以运算与等式为数据；一阶模型还容许关系与量词。模型论的共同语言一阶语言、结构与可定义集合 初等等价与初等嵌入 类型、饱和模型与类型空间 超滤子、超积与 Łoś 定理 一阶逻辑的紧致性定理 Löwenheim–Skolem 定理与可分模型 VC 维数与无独立性质 NIP dp 秩、dp 极小与有限依赖维数 稳定性、序性质与 ω 稳定性 可定义群与解释 Morley 秩与有限秩群集合论与可计算性序数、基数与幂集 ZFC、公理模型与相对一致性 连续统假设及其独立性 内模型、可构造宇宙与相对可构造性 力迫偏序、稠密集与滤子 可数模型的泛型滤子与 Cohen 实数 闭无界集、平稳集与遗传小集合 大基数与初等嵌入的强度 无限博弈与决定性公理 Turing 可归约性与 Turing 度 可判定性、半判定与计算归约描述集合论与拓扑Polish 空间与标准 Borel 空间 Borel 可测性、Baire 可测性与零集 解析集与完全解析集 Borel 归约与分类问题 极端点、Choquet 单纯形与 Bauer 单纯形概率与动力系统概率空间、积分与几乎处处 保测变换、共轭与保测流 遍历、弱混合与混合 Kolmogorov–Sinai 熵与 K 性质 诱导变换、悬挂流与 Kakutani 等价 移位作用、柱集与子移位 群作用、Cayley 图与自由群域与可定义几何理想、局部环与 Krull 维数 赋值、赋值环、值群与剩余域 Hensel 性与单根提升 p 进数与形式 Laurent 级数 代数闭域、实闭域与可分闭域 o 极小结构与可定义维数 半代数集合与量词消去 Haar 测度与非阿基米德积分群论与线性代数的基本符号可从代数入口查阅，包括子群、陪集、商群、稳定子、子空间与基。依然范德彪2026424https://opetope.cc/005C/005C/005C/复杂网络分析：Erdős-Rényi 随机图OutlineErdős-Rényi 随机图 是复杂网络分析中最基本的零模型。它的主线是：从独立随机连边出发，理解稀疏尺度下的分枝过程近似、巨分支相变、连通性阈值，以及它作为复杂网络零模型的意义与局限。在 、c 固定时，每个顶点平均只有常数量级的邻居，局部探索近似分枝过程。c 越过一时，分枝过程出现正的生存概率，对应图中巨分支的形成。但出现巨分支不等于整张图连通：许多孤立点仍留在外部，直到 达到 附近才消失，连通性阈值因而处于更大的尺度。这些结果提供了可计算的随机基线。要用它比较真实网络，还须说明哪些结构已由独立连边解释、哪些属于相对基线的偏离；零模型专题通过距离和聚类说明这一用途及其局限。Erdős-Rényi 随机图的定义与基本统计量 稀疏随机图与 Poisson 分枝过程近似 Erdős-Rényi 随机图的巨分支相变 Erdős-Rényi 随机图的连通性阈值 Erdős-Rényi 模型作为复杂网络的零模型基础链从概率空间、随机变量、独立性和简单图开始。依然范德彪2026414https://opetope.cc/0040/0040/0040/几何与物理：微分几何基础Outline换一套坐标后，怎样判断两个公式描述的是同一个几何对象？光滑流形用相容的局部坐标承载微积分；切向量通过对函数求导获得坐标无关的意义，余切向量和张量则把这种描述推广到多线性量。度量在此基础上加入长度与角度，而非由坐标本身决定。微分与积分沿两条相连的路线展开。微分形式具有不需度量或联络的外微分，并可在选定取向后积分。联络则另行规定怎样沿方向微分向量场，从而定义平行移动、测地线和曲率。正定度量、取向与无挠性是不同的附加条件；度量相容与无挠两者一起才确定Levi-Civita 联络。曲面提供贯穿这些构造的例子：第一基本形式记录内部度量，第二基本形式记录法向弯曲。Gauss 方程把二者联系起来，使形算子的行列式可以由度量的导数计算。这正是高斯绝妙定理从外在描述走向内蕴几何的关键。下面按这条路线列出各个定义、计算与证明。坐标基础：坐标观点、Euclidean 光滑性、光滑流形、光滑映射、求和约定。 切向几何：切空间、推前、向量场、Lie 括号、余切空间、余切拉回。 张量与度量：张量场、伪 Riemann 度量、Riemann 度量、指标升降。 形式与积分：外幂与外积、微分形式、形式内积、取向、体积形式、L² 内积、Hodge 星、四维自对偶分解。 自然微分：外微分、形式拉回、外微分自然性、平方为零、主动变分。 联络：仿射联络、Euclidean 例子、Christoffel 符号、联络之差、挠率、沿曲线平行移动、平行向量场、曲率。 测地线与度量：测地线、指数映射、子流形、全测地性质、度量相容、Levi-Civita 定理、平行移动保持配对。 曲面：正则参数曲面、第一基本形式、第二基本形式与形算子、高斯曲率、Gauss 方程、等温坐标、高斯绝妙定理、平面与圆柱、球面。坐标与形式的专题路线：求和与指标升降、向量场与括号、余切与拉回、张量与度量、外代数与微分形式专题、体积与积分及外微分与拉回专题。联络与曲面的专题路线：联络与标准例子、Christoffel 符号与差张量、平行移动与平行场、测地线及其相关构造、度量联络专题、Gauss 方程与等温坐标及高斯绝妙定理导读。依然范德彪2026331https://opetope.cc/001C/001C/001C/代数入口Outline进阶所需的模、同调与概形基础按独立定义组织，可从具体专题逐项回查。代数结构、表示与几何汇集这些基础通向的研究问题。代数研究由运算与关系组织的结构。群论、环论与线性代数可以从各自的基础定义进入，也可用于模型论和范畴逻辑中的叙述。群论基础群的定义、群的例子、对称群 子群、生成子群、元素的阶 陪集、子群指数、拉格朗日定理 正规子群、商群、群同态 群作用、轨道、稳定子 自由群、生成元与关系表示、Cayley 图其他阅读路径环、理想与维数 向量空间、子空间、基与维数专题、线性映射 代数理论：语法与语义 BN 对与 Bruhat 分解、建筑与旗的几何依然范德彪2026331https://opetope.cc/001D/001D/001D/分析入口Outline这一部分目前集中在线性分析、拓扑与泛函分析交界处的基础例子，帮助读者熟悉常见的度量、范数、内积与拓扑来源。当前条目赋范向量空间：由范数诱导的拓扑 内积空间：由内积诱导角度、正交性和范数 复 Euclidean 空间的标准内积与连续函数空间的积分内积：有限维和函数空间中的两个基本例子 内积空间中的正交与标准正交集：正交几何的基本语言 内积范数专题：诱导范数定理与平行四边形恒等式 泛函分析：von Neumann 双交换子定理：交换子、算子拓扑与 von Neumann 代数 序列空间 ℓ^p：经典函数分析中的基本对象 拓扑向量空间专题：定义、零点邻域及线性初始拓扑 半范数与局部凸拓扑：从范数推广到半范数族 对偶对、弱拓扑与连续对偶：由线性泛函生成拓扑初始拓扑提供统一的拓扑构造语言；Hilbert 空间与正交投影连接内积几何和算子代数。内积空间给出赋范空间的重要来源，其几何结构由 Pythagoras 定理、Bessel 不等式 和 Schwarz 不等式 控制 von Neumann 双交换子定理 说明算子代数中的代数闭包条件与算子拓扑闭包条件等价返回博客首页依然范德彪2026331https://opetope.cc/001E/001E/001E/拓扑学入口Outline拓扑学以开集、连续映射和空间构造描述不依赖具体距离的结构。以下路线共享同一批基础定义。拓扑空间的基本概念：开闭集、连续映射、同胚与拓扑粗细。 邻域、内部与闭包：局部接近、稠密性与边界。 基、子基与生成拓扑：用较小数据指定开集。 度量与完备化：距离、收敛、Cauchy 条件、完备化。 初始拓扑与积拓扑、四种空间构造。 紧空间、连通空间、连通分支。 可数公理与分离公理。 曲面分类、亏格与复结构。 Jordan 曲线与平面分离。依然范德彪2025324https://opetope.cc/000D/000D/000D/曲面分类、亏格与复结构Outline每个拓扑曲面局部都像平面，但局部相同并不意味着整体同胚。分类问题要辨认哪些全局数据决定曲面的形状，首先须区分连通性、紧性以及是否有边界。可定向性检验局部方向能否在整个曲面上一致选择。Möbius 带展示了沿闭路返回时方向反转的障碍，也提醒我们把有边界与无边界的情况分开。连通和则提供从简单曲面构造复杂曲面的操作。紧致曲面分类定理说明：对紧连通曲面，可定向性、亏格和边界圆周数给出完整的同胚分类。Euler 示性数把这些参数联系为可计算的整数；在闭连通可定向范围内，它已经能区分亏格，超出这个范围还需记录其他分类数据。在曲面上进一步选择相容的复坐标，就进入Riemann 曲面的研究。球极投影给球面提供复平面坐标，是拓扑模型与复解析结构相遇的基本例子。复结构带来全纯函数与微分，因而提出拓扑分类之外的解析问题。在紧 Riemann 曲面上，若允许函数有指定的零点与极点，所得函数空间有多大？除子记录这些阶数条件，典范除子记录亚纯微分的零极点。Riemann–Roch 定理将相应空间的维数差与除子度数、亏格联系起来，说明拓扑数据如何约束解析对象。https://opetope.cc/author/author/author/依然范德彪Person一位热爱数学的学者，专注于代数几何和范畴论的研究。Contributions