数学到底有多少个分支？遇见数学

在文艺复兴之前，整个数学其实就只有两个领域：算术（Arithmetic，关于数的运算）和几何（Geometry，关于形状的研究）。

那时候，人们甚至还没把数学和数字占卜、占星术这些伪科学彻底分开。

文艺复兴的到来，打破了这种简单的划分。两个全新的领域逐渐发展起来：代数（Algebra）和微积分（Calculus）。

数学符号的发明，推动了代数的诞生。广义上讲，代数就是对公式的研究与操作。

微积分则分成了微分学（Differential Calculus）和积分学（Integral Calculus），研究连续变化的函数，用来描述那些非线性的变量关系。

这种将数学划分为四大领域的方式，一直持续到19世纪末。

像天体力学、固体力学这些学科，最早是数学家在研究，现在大多被归入了物理学。组合数学虽然很早就有人研究，但直到17世纪才成为独立的数学分支。

19世纪末，一场动摇整个数学根基的危机爆发了。随之而来的公理化方法的系统化，催生了大量全新的数学分支。

如今，《2020年数学学科分类标准》里已经列出了不少于63个一级学科。

其中一些延续了传统的划分，比如数论和几何；一些领域虽然名字里不含几何一词，但本质上还是几何的延伸；曾经的代数 and 微积分，也被拆分成了更多更细的领域；还有一些，是20世纪才诞生的全新方向，比如数理逻辑和数学基础。在这幅庞大的学科版图上，各个核心分支及子领域展现出各自逻辑演进路径。这些演变实际上是围绕结构、空间和逻辑这几个核心概念展开的。以下是目前最主要的八个研究方向。

数论：最古老的纯粹数学

这张图展示的是乌拉姆螺旋（Ulam Spiral），用于可视化质数的分布。图中沿对角线的深色点，暗示了一个猜想：质数在某些二次多项式取值中近似呈独立分布，这一猜想现被称为哈代-李特尔伍德猜想 F（Hardy–Littlewood Conjecture F）。

我们先从最古老的纯粹数学分支说起：数论（Number Theory）。

它起初只是对自然数 的研究，后来慢慢扩展到了整数 和有理数 。它曾经就叫算术，不过现在，算术大多用来指基础的数值计算了。

数论的历史可以追溯到古巴比伦，甚至更早的中国。古希腊的欧几里得、丢番图是早期的代表人物。到了近代，费马、欧拉奠定了现代抽象数论的基础，勒让德和高斯则让这个领域彻底成熟。

很多数论问题，表述起来简单到小学生都能看懂，解法却需要跨越多个数学分支的复杂工具。

比如费马大定理，它说当整数 时，方程 没有正整数解。这个命题1637年就被费马写在了书的边页上，却直到1994年才由安德鲁·怀尔斯彻底证明。为了证明它，怀尔斯动用了代数几何中的概形理论、范畴论、上同调代数等一堆听起来就遥不可及的工具。

另一个家喻户晓的例子是哥德巴赫猜想：每个大于2的偶数，都可以写成两个质数的和。

这个猜想1742年就提出来了，直到今天，我们验证了所有能算到的偶数，却始终没能给出一个严格的证明。

数论的子领域包括：

解析数论（Analytic Number Theory）

代数数论（Algebraic Number Theory）

几何数论（Geometry of Numbers）

丢番图方程（Diophantine Equations）

超越数论（Transcendence Theory）

几何：从丈量土地到空间的本质

在球面上，欧几里得几何仅适用于局部近似。若在更大尺度上，三角形的内角和将不等于 。

几何是最古老的数学分支之一。它起源于对直线、角度、圆这些形状的经验研究，最早是为了丈量土地、建造建筑服务的。

古希腊人给几何，甚至给整个数学，带来了一个革命性的概念：证明。

他们说，不能靠尺子量一下，就说两个线段相等。你必须从已知的定理和最基本的前提出发，一步步推出来，才能算数。

这些最基本的前提，当时分成了两类：

公设（Postulates）：几何里不需要证明的直观真理

公理（Axioms）：更通用的逻辑推理基础

要知道，在现代数学里，这两个区分已经消失了，它们都被统一归入了公理系统。

欧几里得在公元前300年的《几何原本》里，把这套体系完整地写了下来，由此诞生的欧几里得几何（Euclidean Geometry），统治了数学两千多年。

这种状态一直持续到17世纪，笛卡尔引入了笛卡尔坐标系。

通过把点的位置用数值坐标表示，几何问题第一次可以用代数，甚至微积分来解决。几何也由此分成了两个分支：

综合几何：只靠几何构造和逻辑推理

解析几何：用坐标系统研究几何问题

解析几何让我们能研究抛物线、椭圆这些任意曲线，也直接推动了微分几何、代数几何的诞生。

19世纪，数学家们做了一件石破天惊的事：他们否定了欧几里得的平行公设，结果居然构造出了一套完全自洽的几何体系——这就是非欧几何（Non-Euclidean Geometry）。

这个发现，和后来的罗素悖论一起，直接引爆了数学基础危机，让人们意识到，数学的公理不是什么绝对真理，只是我们设定的前提。

现代几何的子领域包括：

射影几何：由吉拉德·笛沙格于16世纪提出，引入无穷远点，统一了平行线和交点的处理

仿射几何：研究与平行性相关、但与长度无关的几何性质

微分几何：研究由可微函数定义的曲线、曲面及其推广

流形理论：研究不一定嵌入在更高维空间中的几何对象

黎曼几何：研究曲率空间中的距离与测度

代数几何：研究由多项式方程定义的几何对象

拓扑学：研究在连续变形下保持不变的性质

代数拓扑：用代数方法研究拓扑问题

离散几何：研究有限图形配置的几何性质

凸几何：研究凸集，广泛用于最优化问题

复几何：将实数替换为复数后得到的几何结构

代数：从解方程到抽象结构

魔方群是群论的一个具体应用。

代数，本质上是方程与公式的操作艺术。

它的两位奠基者，相隔了600年。一位是3世纪的丢番图，他最早开始研究带自然数解的方程，靠逻辑推导变换出答案。另一位是9世纪的阿拉伯数学家花拉子米，他引入了一套系统的方程变换方法，比如我们现在还在用的移项。