注：本文为 "数学分支" 相关合辑。
略作重排，未整理去重。
如有内容异常，请看原文。
数学到底有多少个分支？系统了解数学世界的版图
原创 遇见数学 2026 年 5 月 27 日 19:30 河南
文艺复兴之前，数学仅有算术 （Arithmetic，数的运算）与几何（Geometry，形状研究）两大领域，数学尚未与数字占卜、占星术等内容明确区分。
文艺复兴推动数学体系拓展，代数 （Algebra）与微积分 （Calculus）逐步形成。数学符号体系的建立，为代数发展提供基础，代数以表达式的推导与变换为研究对象。微积分包含微分学 与积分学 ，用于研究连续变化函数，描述非线性变量关系。算术、几何、代数、微积分四大领域的划分，延续至 19 世纪末。
天体力学、固体力学等早期由数学家研究的内容，现已归入物理学范畴。组合数学研究起源较早，17 世纪成为独立分支。19 世纪末，数学基础理论出现变革，公理化方法体系化，推动大量新分支诞生。依据《2020 数学学科分类标准》（MSC2020），数学一级学科数量为 63 个。现代数学分支围绕结构、空间、逻辑演进，传统领域进一步细分，20 世纪形成一批新方向。
一、数论：历史悠久的纯粹数学
图示为乌拉姆螺旋 （Ulam Spiral），用于可视化质数分布。图中沿对角线的深色点，对应哈代--李特尔伍德猜想 F（Hardy--Littlewood Conjecture F），该猜想指出：质数在某些二次多项式取值中近似呈独立分布。
数论早期研究对象为自然数 N \mathbb{N} N，后续拓展至整数 Z \mathbb{Z} Z 与有理数 Q \mathbb{Q} Q。数论曾被称作算术，现代算术语义多指向基础数值运算。数论起源可追溯至古巴比伦与古代中国，欧几里得、丢番图为古希腊代表学者。近代费马、欧拉奠定现代抽象数论基础，勒让德、高斯推动该领域成熟。数论命题表述简洁，证明需融合多分支理论工具。
- 费马大定理：整数 n > 2 n > 2 n>2 时，方程 x n + y n = z n x^n + y^n = z^n xn+yn=zn 无正整数解。1637 年提出，1994 年由安德鲁·怀尔斯完成证明，证明过程使用概形理论、范畴论、上同调代数等工具。
- 哥德巴赫猜想：任一大于 2 的偶数，均可表示为两个质数之和。
4 = 2 + 2 6 = 3 + 3 8 = 3 + 5 10 = 3 + 7 = 5 + 5 12 = 5 + 7 14 = 3 + 11 = 7 + 7 \begin{align*} 4 &= 2+2 \\ 6 &= 3+3 \\ 8 &= 3+5 \\ 10 &= 3+7 = 5+5 \\ 12 &= 5+7 \\ 14 &= 3+11 = 7+7 \end{align*} 468101214=2+2=3+3=3+5=3+7=5+5=5+7=3+11=7+7
该猜想 1742 年提出，已完成大范围数值验证，尚未形成严格理论证明。
数论子领域：
- 解析数论（Analytic Number Theory）
- 代数数论（Algebraic Number Theory）
- 几何数论（Geometry of Numbers）
- 丢番图方程（Diophantine Equations）
- 超越数论（Transcendence Theory）
二、几何：从丈量土地到空间本质
球面几何示意：欧几里得几何仅适用于局部近似，大尺度下三角形内角和不等于 180 ∘ 180^\circ 180∘。
几何起源于土地丈量、建筑营造等实践需求，早期以直线、角度、圆形等图形为研究对象。古希腊学者确立证明范式：几何结论需由公理与定理逻辑推导得出，而非仅依靠直观测量。古典几何将基础前提分为公设与公理，现代数学统一归入公理系统。
公元前 300 年，欧几里得《几何原本》建立完整公理体系，欧几里得几何 主导数学界两千余年。17 世纪笛卡尔引入坐标系，几何问题可通过代数与微积分求解，几何分为综合几何与解析几何。解析几何推动微分几何、代数几何发展。19 世纪，数学家否定欧几里得平行公设，建立自洽的非欧几何。
非欧几何与罗素悖论引发数学基础危机，学界认识到公理是人为设定的推理前提，而非绝对真理。
现代几何子领域：
- 射影几何、仿射几何
- 微分几何、代数几何
- 拓扑学、代数拓扑
- 离散几何、凸几何、复几何
- 流形理论、黎曼几何
三、代数：从解方程到抽象结构
代数以方程与表达式的变换为研究对象。3 世纪丢番图开创整数解方程研究，9 世纪花拉子米建立系统方程变换方法，"代数"一词源自其著作中 al-jabr（复原）。16 世纪末，弗朗索瓦·韦达引入字母符号体系，用字母表示已知量与未知量，奠定现代代数基础。
19 世纪中期，代数完成抽象化转型：变量可代表数字、矩阵、几何变换等满足运算规则的对象，代数结构 （集合 + 运算 + 规则）概念形成，发展为抽象代数，理论体系由艾米·诺特等人完善。魔方变换规律是群论的典型应用。
现代代数子领域：
- 域论、向量空间（线性代数）、环论
- 交换代数、同调代数、李代数与李群
- 布尔代数、泛代数、范畴论
范畴论起源于代数拓扑的结构化研究，成为描述数学结构的通用语言。
四、微积分与分析：研究连续变化
柯西序列（Cauchy sequence）：数列后续项之间的差值随序号递增趋于 0。
微积分全称无穷小微积分 ，17 世纪由牛顿与莱布尼茨独立创立，研究相互依赖变量的变化规律。18 世纪欧拉引入函数概念，完善理论体系。现代语境中，微积分指基础内容，高阶内容归入数学分析。
数学分析分支：
- 实分析：研究实数变量性质
- 复分析：研究复数变量性质
- 泛函分析：研究函数空间与变换
- 测度论与位势论：关联连续概率论
- 常微分方程、偏微分方程
- 数值分析：复杂数值问题的计算机求解
五、离散数学：面向可数对象的数学
离散数学以离散、可数对象为研究对象，典型对象为整数，连续分析工具不适用。算法实现与计算复杂性是离散数学的重点内容。20 世纪下半叶，四色定理、开普勒猜想相继解决，P vs NP 问题仍未解决。
图示为两状态马尔可夫链（Markov chain），状态用 A、E 表示，数字为状态转换概率。
离散数学子领域：
- 组合数学、图论与超图
- 编码理论、拟阵理论
- 离散几何、离散概率
- 博弈论、离散优化
六、数理逻辑与集合论：数学的底层地基
数理逻辑与集合论于 19 世纪末成为独立分支。此前集合未被视作标准数学对象，逻辑归属于哲学范畴。康托尔将无穷作为数学对象，用对角论证法证明无穷集合存在量级差异：自然数集的无穷小于实数集的无穷。
维恩图（Venn diagram）是一种常用的集合关系可视化工具。
数学基础危机推动公理化集合论 建立，数学对象由所属类与性质定义。自然数可由皮亚诺公理界定：
- 0 0 0 是自然数
- 每个自然数有唯一后继
- 除 0 0 0 外，每个自然数有唯一前驱
- 配套基础推理规则
哥德尔不完全性定理：任意足够强的自洽形式系统，必存在系统内不可证命题，数学基础无法达到完备状态。
数理逻辑子领域：
- 模型论、证明论、类型论
- 可计算性理论、计算复杂性理论
上述理论为编译器设计、形式化验证等计算机领域提供基础。
七、统计学与决策科学
无论总体分布（ μ \mu μ）的形式如何，样本均值（ x ˉ \bar{x} xˉ）趋于服从正态分布，其方差（ σ 2 / n \sigma^2/n σ2/n）由概率论中的中心极限定理（central limit theorem）给出。
统计学属于应用数学，以数据样本采集与处理为研究内容，理论基础为概率论。研究人员通过随机抽样、随机试验获取数据，以降低决策风险为目标，包括减小参数估计误差、控制假设检验错误率等。统计学与运筹学、控制理论、数理经济学等决策科学高度交叉。
中心极限定理表明：无论总体分布形式如何，样本均值趋于服从正态分布，方差由定理严格给出。
八、计算数学：面向实际问题的数值求解
计算数学研究大规模、超出人工计算能力的数学问题。数值分析是该领域的分支，依托泛函分析、逼近理论求解无解析解的分析问题，重点研究函数逼近、离散化、舍入误差控制等。广义数值分析与科学计算融合算法、矩阵理论、图论等内容。
计算数学子领域：
- 计算代数（Computer algebra）
- 符号计算（Symbolic computation）
结语
数学从古代算术与几何两大门类，发展为包含 63 个一级学科的完整体系，研究范围持续拓展，理论脉络保持连贯。各分支独立演进，共享逻辑根基，是人类以理性解构世界、梳理逻辑关系的体系化成果。
原内容及图片源自维基百科（Mathematics），遵循 CC BY-SA 4.0 协议。翻译：遇见数学，并补充部分图片。
【科普】数学是如何分类的？
知之为知之 发布于 2022-07-13 21:25
基础教育阶段的学习内容统一称作数学，高等教育阶段则设立高等数学相关课程。二者的内容划分与关联，可结合数学整体体系展开说明。
从宏观架构划分，数学分为基础数学、纯粹数学、应用数学三大门类。
基础数学
基础数学的研究范畴包含数学逻辑、集合论、范畴论，后续体系中将计算理论纳入该领域。
纯粹数学
日常学习与接触的数学内容，大多归属于纯粹数学范畴。从研究对象区分，纯粹数学分为数量、结构、空间、变化四个研究方向。
数量
数系划分经过版本更新。旧分类包含自然数、整数、有理数、实数、复数，共计 5 个类别；现行分类在原有基础上补充无限基数，整体划分为 6 个类别。
数学结构
该领域的分支范围完成扩充。旧分类包含数论、群论、图论、序理论，共计 4 个分支；现行分类在原有分支前端增加组合数学、末端增加代数，整体划分为 6 个分支。
数学空间
数学空间的分支分类未进行调整，仅板块内三角学、分形对应的图示标识做出改动。
数学变化
旧版数学一级分类体系中，离散数学隶属于基础数学。离散数学用于整合离散型、非连续型数学结构的相关研究内容。新版分类体系取消离散数学独立门类，并对其下属内容重新划分：组合数学、图论归入数学结构分支，计算理论归入基础数学，密码学归入应用数学。
应用数学
计算数学是应用数学中调整幅度较大的板块。下图为计算数学旧版分类架构。
下图为计算数学新版分类架构。新版保留数学物理、数学流体力学、数值分析、最优化、概率论、统计学、数学金融、博弈论、数理经济学、生物数学、控制论；移除作业研究，新增数理化学与密码学，同时调整部分分支的排列顺序与配套图示。
附图来源
本文全部配图源自知乎平台，图片链接为资源原始地址。
数学分类体系的作用
对数学研究的影响
分类体系明确各研究方向的边界范围，为研究选题划定对应领域。学科分支的划分脉络，可支撑科研人员开展分工协作，同时作为文献整编、学术活动组织、期刊栏目划分的统一参照标准。分类体系的迭代过程，可直观体现学科发展走向，对应各分支的演化进程。
对数学应用的影响
标准化分类可对接不同行业的使用需求，帮助各领域从业人员匹配对应数学分支，缩减知识检索与技术落地的流程。教育领域可依托分类体系，完成不同学段、不同专业的课程架构设计，匹配各阶段的教学内容。
三大门类的内在关联
基础数学搭建统一的逻辑规则、推演范式与论证体系，为纯粹数学、应用数学提供理论支撑。
纯粹数学完成理论体系构建与数学规律推导，产出的定理、模型、分析方法，可作为应用数学的工具来源。
应用数学结合现实场景完成理论落地，将基础数学与纯粹数学的内容转化为实操方法。现实应用中产生的各类问题，会推动纯粹数学开展理论延伸，同时促进基础数学完善逻辑与规则体系。
基础数学、纯粹数学、应用数学形成相互衔接的整体，共同构成完整的数学学科架构。
学习阶段与数学体系的对应关系
各阶段的数学学习内容，与学科分类存在明确对应关系。
基础教育阶段的学习，以纯粹数学的数量方向为起点，逐步拓展至数学空间方向，学习内容包含点、线、三角形、多边形等相关知识。
高等教育阶段，数学承担工具属性。数学专业开展各分支的专项研究；工科专业开设微积分、线性代数等课程，同时学习应用数学下属各分支内容。
数学分支全景经典文献
以下文献为长期再版的权威著作，覆盖数论、几何、代数、分析、离散数学、数理逻辑、统计、计算数学八大方向，可系统理解数学版图与分支演进。
一、数学全景与学科分类（总览级）
1. 《数学大辞典》（第二版）
- 主编：王元
- 出版社：科学出版社
- 出版年份：2017
- ISBN：9787030533364
- 简介：覆盖 17 大主题、万余词条，对应 MSC2020 的 63 个一级学科框架，梳理全部分支。
2. 《岩波数学辞典》（第 4 版，日文原版）
- 编者：日本数学会
- 出版社：岩波書店
- 出版年份：2007
- ISBN：9784000803090
- 简介：系统呈现现代数学分支结构、源流与成果，适合构建全局认知。总项目数 515，附 CD-ROM。
3. MSC2020《数学学科分类标准》
- 发布机构：美国数学学会（AMS）与 zbMATH 联合发布
- 备注：官方定义 63 个一级学科，为论文、图书、研究方向分类的标准参考文件；无 ISBN（官方公开标准文档）。
二、八大分支经典著作
1. 数论（最古老纯粹数学）
-
《数论导引》
- 作者：华罗庚 著
- 出版社：科学出版社
- 出版年份：1957（首版）
- ISBN：13031·377（旧版书号）
- 简介：中国数论经典，从基础到解析数论全覆盖。
-
An Introduction to the Theory of Numbers（第 6 版，英文原版）
- 作者：G. H. Hardy, E. M. Wright
- 出版社：Oxford University Press
- 出版年份：2008
- ISBN：9780199219865（平装）/ 9780199219858（精装）
- 简介：全球通行数论教材，覆盖初等、解析、代数数论内容。
2. 几何与拓扑（空间与连续变形）
-
《几何原本》
- 作者：古希腊 欧几里得 著
- 译者：张卜天 译
- 出版社：商务印书馆
- 出版年份：2022
- ISBN：9787100207058
- 简介：公理体系源头，奠定几何证明范式。
-
《拓扑学》（原书第 2 版）
- 作者：美 James R. Munkres 著
- 译者：熊金城 等译
- 出版社：机械工业出版社
- 出版年份：2006（首版中译）
- ISBN：9787111175070
- 简介：点集拓扑与代数拓扑入门经典。
-
《微分几何讲义》（第二版）
- 作者：陈省身、陈维桓 著
- 出版社：北京大学出版社
- 出版年份：2001
- ISBN：9787301051511
- 简介：现代微分几何权威教材。
3. 代数（抽象结构与方程）
-
《代数学》（原书第 2 版）
- 作者：美 Michael Artin 著
- 译者：郭晋云 译
- 出版社：机械工业出版社
- 出版年份：2009
- ISBN：9787111253563
- 简介：世界名校通用抽象代数教材。
-
《线性代数及其应用》（原书第 5 版）
- 作者：美 David C. Lay, Steven R. Lay 著
- 译者：刘深泉 等译
- 出版社：机械工业出版社
- 出版年份：2018
- ISBN：9787111602576
- 简介：连接理论与应用。全球广泛采用的线性代数教材。
-
《线性代数及其应用》
- 作者：美 Gilbert Strang 著
- 译者：侯自新、郑仲三、张延伦 译
- 出版社：南开大学出版社
- 出版年份：1990
- ISBN：7-310-00223-7/O·38
- 简介：Gilbert Strang 在麻省理工学院长期使用的教材。此为 Strang 原著 Linear Algebra and Its Applications（Academic Press, 1976）的中译本。
4. 微积分与数学分析（连续变化）
-
《数学分析原理》（原书第 4 版）
- 作者：美 Walter Rudin 著
- 译者：赵慈庚 等译
- 出版社：机械工业出版社
- 出版年份：2004/2005（中译版）
- ISBN：9787111526140
- 简介：分析学经典，严谨精炼，全球高校主流教材。
-
《数学分析概论》
- 作者：日 高木贞治 著
- 译者：冯速 等译
- 出版社：人民邮电出版社
- 出版年份：2019
- ISBN：9787115501719
- 简介：日本分析学经典。
-
《泛函分析》（原书第 2 版）
- 作者：美 Walter Rudin 著
- 译者：刘培德 译
- 出版社：机械工业出版社
- 出版年份：2004
- ISBN：9787111247482
- 简介：现代分析教材。
5. 离散数学（计算机）
-
《离散数学及其应用》（原书第 8 版·本科教学版）
- 作者：美 Kenneth H. Rosen 著
- 译者：徐六通、杨娟、吴斌 译
- 出版社：机械工业出版社
- 出版年份：2020
- ISBN：9787111642176
- 简介：体系完整，覆盖组合、图论、逻辑、算法。
-
《组合数学》（原书第 5 版）
- 作者：美 Richard A. Brualdi 著
- 译者：冯舜玺 等译
- 出版社：机械工业出版社
- 出版年份：2012
- ISBN：9787111377875
- 简介：国际经典，计数、设计、图论全面讲解。
-
《算法导论》（原书第 3 版）
- 作者：美 Thomas H. Cormen 等著
- 译者：殷建平 等译
- 出版社：机械工业出版社
- 出版年份：2012
- ISBN：9787111407010
- 简介：离散数学与计算复杂性应用。
6. 数理逻辑与集合论（数学地基）
-
《数理逻辑》
- 作者：美 Herbert B. Enderton 著
- 译者：沈复兴 等译
- 出版社：人民邮电出版社
- 出版年份：2007
- ISBN：9787115141453
- 简介：模型论、证明论、可计算性入门标准书。
-
《哥德尔证明》
- 作者：美 Ernest Nagel, James R. Newman 著
- 译者：陈东威、连永君 译
- 出版社：中国人民大学出版社
- 出版年份：2008
- ISBN：9787300088907
- 简介：讲解不完全性定理，对应数学基础危机。112 页，"当代世界学术名著·哲学系列"。
7. 统计学与概率（数据与决策）
-
《概率论及其应用》（第一卷，原书第 3 版）
- 作者：美 William Feller 著
- 译者：胡迪鹤 译
- 出版社：人民邮电出版社
- 出版年份：2021（新版）
- ISBN：9787115560049
- 简介：概率论传世经典，覆盖基础到随机过程。
-
《统计学》（原书第 5 版）
- 作者：美 William Mendenhall, Terry Sincich 著
- 译者：梁冯珍 等译
- 出版社：机械工业出版社
- 出版年份：2009
- ISBN：9787111264378
- 简介：理论与应用平衡，全球通用教材。
8. 计算数学（数值与符号计算）
-
《数值分析》（第 10 版）
- 作者：美 Richard L. Burden, J. Douglas Faires, Annette M. Burden 著
- 译者：赵廷刚 等译
- 出版社：电子工业出版社
- 出版年份：2022
- ISBN：9787121426179
- 简介：数值方法经典教材。
-
《矩阵计算》（原书第 4 版）
- 作者：美 Gene H. Golub, Charles F. Van Loan 著
- 译者：袁亚湘 等译
- 出版社：人民邮电出版社
- 出版年份：2020
- ISBN：9787115547354
- 简介：科学计算工具书。数值线性代数领域标准性参考文献。
三、阅建
- 入门全局：先读《数学大辞典》+ MSC2020 分类，建立分支框架。
- 分阶深入：按数论、几何、代数、分析、离散、逻辑、统计、计算数学顺序，搭配对应经典教材。
- 溯源理解：结合《几何原本》《哥德尔证明》等，把握分支演进脉络。
reference
- MSC2020 database
https://mathscinet.ams.org/mathscinet/msc/msc2020.html - MSC Classification Codes
https://cran.r-project.org/web/classifications/MSC.html - msc2020 翻译为中文版 - 知乎
https://zhuanlan.zhihu.com/p/423071177 - Mathematics by Classifications - IMKT
https://imkt.org/math-portal/mathematics-classifications/ - 数学到底有多少个分支？这篇文章带你系统了解数学世界的版图
https://mp.weixin.qq.com/s/XKoiquDXgT-5vQkZl2CDTA - 数学标准分类 | Pkmer-Math
https://pkm-er.github.io/Pkmer-Math/Other/数学分类/标准分类.html