继物理学地图之后，今天要给大家带来的是一张通往数学世界的地图，概括了所有的数学分支。
故事还得从头开始。一切都始于计数。
事实上，计数不仅仅只是人类的特性，其它的动物（比如鸟、猴子等）也有计数的能力。人类在木头、骨头或石头上的计数符号从史前时代就开始被使用了。在石器时代的文化中，他们会使用计数符号进行赌博、私人服务和交易。
一切起源于计数。
最近的几千年里，在不同的国度，数学都得到了发展。古埃及人写下了第一个方程。古希腊人则在许多方面都有贡献，比如几何和数秘术。中国数学家早就有了负数的概念。“0”这个数字则在印度首次被使用。接着在波斯伊斯兰教的黄金时期，数学家又跨越了一大步，书写了第一部代数学的书籍。在文艺复兴时期，数学与科学则共同欣荣发展。
当然，以上提到的仅仅是数学历史中的冰山一角，我不打算在这里提及更多。我的主要目标是要带你们进入现代数学的分支。
现代数学可以大致被分为两个领域：纯粹数学（研究数学本身）和应用数学（用以解决更实际的问题）。但我们要记住的是，它们之间其实有着紧密的关联。如果能的话，这张地图更应该是一张网络，连接着每个相关的分支。但我们现在只能尽量把它呈现在二维的平面上。
左边为纯粹数学，右边为应用数学。
事实上，从历史中我们会发现，有许多数学家一开始只是出于好奇以及对美的追求去研究数学，然后发展了一系列美丽而又有趣的数学分支，但对于真实世界却一点用处都没有。令人惊喜的是，比如在100年后，当有些科学家正在试图解决物理学或计算机科学最前沿的问题时发现，他们所需要的数学其实早就在纯粹数学里被发展出来了。这样的例子不胜枚举，比如广义相对论的发展依赖于黎曼度规；弦理论则需要卡-丘空间等等。这些抽象的概念最终被应用在其它的科学领域中是非常令人欣喜的一件事。
先抛开纯粹数学是否有一天能被应用在现实中去，其实研究纯粹数学本身也是非常有价值的事。如果你问一位数学家为什么要研究纯粹数学，我想很多人的答案会简洁到只有一个字，那就是：美！
现在我们首先进入纯粹数学的领域。
纯粹数学
纯粹数学主要包括四个部分：
纯粹数学包括数字系统、结构、空间和变化。
【数字系统】
数字系统的研究起源于数，一开始为熟悉的自然数（1、2、3...）及整数（…-2、-1、0、1、2...）与被描述在算术内的自然数及整数的算术运算（＋－× ÷ ）。当数系进一步发展时，整数被视为有理数（-7、1/2、2.32...）的子集，而有理数则包含于实数（-4π、e、√2...）中。实数则可以进一步被广义化为复数（4+3i、-4i...）。除此外，还有其它一系列的数（比如四元数、八元数和基数等）。还有一些数深受数学家的喜爱，比如π、e和质数（1，3，11...）。
刚才提到的这些数字都有一些有意思的性质，例如，尽管实数和整数都有无限多，但实数要比整数多。所以有一些无限实际要比另一些大。
【结构】
对结构的研究起始于将数字以变量的形式代入方程（y=mx+c）。如何解这些方程的规则包含在代数之中。在这个分支中，还有矢量和矩阵，它们都是多维数，而它们之间的联系于线性代数中被研究。
在这个分支内，有一个被誉为“最纯”的数学领域，那就是数论。数论专注于研究在“数字系统”中提到的所有数的特征，比如质数的性质（质数产生了很多非专业人士也能理解而又悬而未解的问题，如哥德巴赫猜想，孪生质数猜想等）。
另一方面，组合数学是一门研究可数或离散对象的数学分支，比如树、图论等，一些著名的问题包括地图着色问题、船夫过河问题等等。群论则是研究名为群的代数结构，一个熟悉的例子就是魔方，是一个置换群。序理论是研究捕获数学排序的直觉概念的各种二元关系的数学分支，比如哈斯图，是用来表示有限偏序集的一种数学图标。
【空间】
纯粹数学的另一个部分是研究形状和它们在空间中的行为。空间的研究源自于几何——尤其是欧几里得几何。三角学则结合了空间及数，且包含有著名的勾股定理。还有一些比较有趣的领域，比如分形，它是一种具有尺度不变性的数学模式，意思是说你无论你怎么放大它们看起来都是一样的。
在其许多分支中，拓扑学可能是20世纪数学中有着最大进展的领域。拓扑学研究的是空间的不同性质，你可以连续不断地将它们变形，但不能将它们撕裂或粘合。例如，无论你对莫比乌斯带做什么，它永远只有一个面和一个边界。在拓扑学里，咖啡杯和甜甜圈是一样的东西。拓扑学包含了存在已久的庞加莱猜想（2006年由数学家格里戈里·佩雷尔曼证明）以及颇有争议的四色定理（1976年由计算机证明）。
测度论是一种给空间或集分配数值的数学分支，它将数和空间联系起来。最后，微分几何是非常重要的一个数学分支，它研究在弯曲表面上的形状的性质，比如三角形在弯曲的表面中内角和跟在欧式空间中的不一样。
【变化】
了解及描述变化在自然科学里是一个普遍的议题，而微积分更加使研究变化的有力工具。函数诞生于此，作为描述一变化的量的核心概念。微积分是研究极限、微分学（函数的梯度的行为）、积分学（函数下的面积）和无穷级数的一个分支。而向量分析关注的则是向量场的微分和积分。
除此外，还有一系列其它的研究方向。动力系统描述的是系统如何随着时间流逝从一个状态演化到另一个状态，比如流体流动或任何有反馈环路的东西（如生态系统）。混沌理论则是对系统的既不可预测而又是决定的行为作明确的描述，它对于初始条件非常敏感，比如著名的蝴蝶效应。最后是复分析，对于实数及实变函数的严格研究为实分析，而复分析则为复数的等价领域。数学中最大的未解问题之一——黎曼猜想便是以复分析来描述的。
以上这些便是纯粹数学的各个分支。接下来我们进入应用数学的领域。应用数学的主旨在于将抽象的数学工具运用在解答科学、工程、商业及其他领域上的现实问题。
应用数学
数学被广泛地应用在各个科学领域。
我们从物理学开始。基本上在纯粹数学提到的所有分支都多多少少的被应用于物理学上。数学和理论物理跟纯粹数学的关系是密不可分的。许多数学理论是在物理问题的基础上发展起来的；也有很多数学方法和工具通常只在物理学中找到实际应用。例如，微分方程被应用在经典力学和量子力学；场论被应用在电磁场、引力场和规范场；群论和表示论别应用在粒子物理学中。
除了物理外，数学也被应用在其它的自然科学上，特别是在数学化学和生物数学上。在数学化学中，数学模型通常被用以模拟分子；拓扑化学也是一个热门的研究领域（2016年的诺贝尔化学奖就跟拓扑有关）。数学也大量应用在生物学中，如由于基因学的发展，生物学家采集到的大量数据必须通过解析方法加以处理；演化生物学和生态学都大量使用数学理论等等。
数学也被大量应用在工程学上，自古埃及和巴比伦时期，数学就被大量应用在建筑上。非常复杂的电路系统，比如在飞机或电网中，就利用了动力系统的方法，叫控制理论。
（这里推荐一本Mary Boas写的教材《Mathematical Methods in the Physical Sciences》，对于那些本科选择物理、化学和工程专业的学生，这本书可以快速的帮你们掌握所需要的数学知识。）
当一些数学太过于复杂我们无法有效地解决时，我们就会用到数值分析，它也包含了对计算中舍入误差或其它来源的误差之研究。例如，如果你把一个圆圈放进一个正方形中，并向它扔许多的飞镖，接着比较飞镖在圆圈和正方形的数量，你就可以得到 π 的近似值。但在现实中，数值分析通常会使用大型计算机来实现。
博弈论专注于思考游戏中的个体的预测行为和实际行为，并研究它们的优化策略。主要研究公式化了的激励结构（游戏）间的相互作用。其中一个代表性的应用例子是囚徒困境。博弈论在经济学、心理学、生物学、国际关系、政治学等其它学科都有广泛的应用。
概率论是集中研究概率及随机现象的数学分支，最简单的随机事件为扔硬币、抽扑克或掷骰子。应用数学中的一个重要领域为统计学，它利用概率论为其工具并允许对含有机会成分的现象进行描述、分析与预测。大部分的实验、调查及观察研究都依赖于统计分析。因此被广泛地应用在各门学科，从自然科学、社会科学到人文学科。特别是在金融行业，通过统计分析以获取最大的利益。
跟最大化利益相关的是最优化，你试图计算的是在一系列不同选择或限制下的最佳选择，也就是找到一个函数的最高或最低点。最优化问题是人类的第二天性，我们一直在都在进行最优化选择，比如试图最优化我们的快乐程度，购买的时候想要物有所值等等。
另一个领域跟纯数学有非常深的联系，那就是计算机科学。计算机科学的规则事实上是从纯数学中推导出来的。机器学习是实现人工智能的一个途径，即以机器学习为手段解决人工智能中的问题。机器学习是一门多领域的交叉学科，利用了数学的许多领域，比如线性代数、最优化、动力系统和概率论等等。
最后，密码术也是非常重要且实用的一个数学分支，应用到了纯粹数学研究，比如组合数学和数论等。
现在我们已经概括了纯粹数学和应用数学的主要部分。但是，还没有结束，我们不能够忽略数学的基础。
基础
数学的基础试图理解数学本身的性质，并且追问所有数学规则的基础是什么。是否存在着一套称为公理的完整的基本规则？我们要如何证明它是否自洽？数理逻辑、集合论和范畴论就试图回答这个问题。在数理逻辑中有一个非常著名的成果叫做哥德尔不完备定理，对大多数人来说，数学并没有一套完整和自洽的公理，意味着它们都是由我们人类创造的。这听起来很奇怪，因为数学如此完美的解释了宇宙中的许多事物。为什么我们会认为由人类创造的东西可以做到如此地步？这是一个非常深奥的谜题。
我们还有计算理论，它专注于研究不同的计算模型，基于这些模型如何能够有效地解决问题。它包含了复杂性理论，其中P/NP问题是该领域中至今没有解决的问题。
现在，我们有了一张通往数学世界的完整地图：
数学地图。（图片来源：Dominic Walliman）
数学是一个非常抽象和美妙的世界，如果要用一句话形容它的重要性，那么我会选择伽利略曾经说过的：“如果一个人不懂得宇宙的语言，即数学的语言，他就不能够阅读宇宙这本伟大的书。”
你们认为学习或研究数学最大的乐趣是什么？