第一章、连续大陆好的我们这就把数学星球上最古老、最直观但也最深刻的一块大陆——连续大陆——放到显微镜下仔仔细细地看个究竟。想象你正站在一片由最纯净、最光滑的玉石铺成的无边大地上。你脚下没有任何缝隙无论你走到哪里都是浑然一体的。这就是连续大陆的根本特征无缝、可无限细分。一、大陆的“空气”极限——永远在路上在这片大陆上你呼吸的空气叫极限Limit。它不关心“是什么”只关心“正变成什么”。芝诺的箭古希腊人芝诺说飞箭在任何一个瞬间都占据一个固定位置所以它是静止的运动是幻觉。这个悖论困扰了人类上千年。在连续大陆上我们用“极限”呼吸就能轻松化解运动不是在单个瞬间“是”什么而是在一个瞬间的极限过程中“趋向于”什么。我们研究的是趋势不是静止的快照。0.999… 真的等于 1 吗是的。它不是“非常接近”它就是“1”的另一种写法。因为在连续大陆的“极限”法则里一个无穷数列{0.9,0.99,0.999,...}\{0.9, 0.99, 0.999, ...\}{0.9,0.99,0.999,...}无止境地趋近的那个点就是它唯一的归宿。这个数列的归宿就是1。没有“无穷小”的差距那个差距被极限抹平了。极限思想让你能安全地处理“无穷”把一个动态的、永无止境的过程封装成一个静态的、可以计算的结果。这就是整个微积分的根基。二、大陆的地表连续与光滑的千姿百态不是所有“连续”的地貌都一样。让我们来触摸一下地表的不同质感。1. 连续但不光滑科赫雪花描述你有一条线段把中间三分之一换成一个小三角形然后对每条新线段重复这个操作无穷无尽。地表触感你会发现一个惊人的怪物。它有无限长的周长却只围住一个有限的面积。更关键的是它处处连续但处处不光滑。你放大了看任何一个点都长着尖锐的锯齿根本无法定义切线。这就是著名的分形。股票价格曲线就很像它整体趋势连续但在任何一点上都粗糙、不可导。2. 光滑但“坏脾气”分析中的幽灵连续大陆上不只有善良的居民还有些被构造出来的“幽灵”专门用来警示我们不要过度依赖直觉。魏尔斯特拉斯函数这是一个处处连续但处处不可导的函数。它的图像就像一条布满锯齿的震动线你无论怎么放大看到的都只是更密集的锯齿。它证明了“连续”不必然意味着“光滑”也证明了数学直觉需要严格的逻辑来守护。康托尔集你有一条线段挖掉中间三分之一再挖掉剩下两段中间的三分之一……无穷次操作后剩下的“灰尘”就是康托尔集。它看起来像散沙但里面的点竟然和最初的整条线段上的点“一样多”它告诉你“大小”和“数量”在无穷世界里是两回事直接催生了现代测度论。这些“坏脾气”的例子是连续大陆上的重要路标时刻提醒我们直觉能带你入门但只有逻辑才能带你深入。三、大陆的基础设施微积分——丈量与驾驭变化为了在这片充满无穷和变化的大陆上生活我们建立了最核心的两大基础设施。1. 微分学超级显微镜核心功能瞬间放大把握趋势。数学化身导数。工作原理你想知道一辆车在某个瞬间的速度但“瞬间”没有位移。怎么办你就看它在无限短的时间内的位移趋势。导数就是一台超级显微镜能把一条曲线在一点附近无限放大。放到极致时几乎所有曲线看起来都变成了直线。导数的值就是那条局部直线的斜率。这是“线性性”山脉的起点把一个复杂的非线性曲线在局部用一条简单的直线来替代这就是整个“线性化”思想的源头。2. 积分学终极累加器核心功能化整为零再积零为整。数学化身积分。工作原理你想知道一个不规则湖泊的面积。不能直接套用规则公式但你把它切成无数条无限细的竖条每条近似看成矩形再把它们全部加起来。这个“无限细分、无限求和”的极限过程就是积分。它能把一个连续变化的量累加出一个确定的总量。牛顿的惊天洞见微分和积分竟然是互逆的运算就像加法和减法一样。这个发现微积分基本定理直接宣告了现代科学的诞生因为它把“变化率”和“累积量”这两个宇宙中最根本的量完美地联通了起来。四、大陆的精密测量局测度论——量出“不能量”的尺寸微积分能处理连续的图形但很快我们遇到了像康托尔集这样的“灰尘”。它的总长度是多少普通的尺子根本没法用。测度论就是为此而生的“超级卡尺”。它不问对象形状多古怪只关心如何逻辑自洽地给任何一个点集分配一个“长度、面积、体积”。它先规定好一套不能违反的公理比如不重叠的集合其总长必须等于各自长度之和然后在这套公理下进行最大可能的测量。它构成了概率论公理化的基石。五、大陆的橡皮泥艺术拓扑学——洞见本质如果说微积分关心的是“曲率、面积”这些精细尺寸拓扑学关心的就是物体最最根本的形状属性。一块橡皮泥你可以揉、拉、压只要不撕破、不粘合你就是在做拓扑变换。在这个变换下一个三角形和一个圆等价因为你可以把圆搓成三角形。但一个球体和一个甜甜圈面包圈永远不等价因为你需要“挖洞”才能改变本质。这个“洞”的数量就是这个物体的拓扑不变量。这属于“不变性”山脉的典型地貌在拉伸这种剧烈的连续变化下寻找那个永恒不变的“洞数”。连续大陆与世界的连接与离散大陆通过极限这条隧道连接。离散的无限序列和级数通过极限就能抵达连续的彼岸。比如用无穷级数来表示圆周率π。与随机大陆通过测度论这座桥梁连接。概率本质上就是一种特殊的测度它把一个可能事件的集合映射成0到1之间的一个数字。与整张“地质图”连续大陆上的微积分是线性性山脉的起点局部线性化拓扑学是不变性山脉的典范傅里叶分析则是谱理论山脉的王冠。连续大陆的核心哲学就是在无穷小中看清趋势在无限分中求得总量在极限中把握永恒。它是人类理性最伟大的成就之一而你现在正站在这片大陆最肥沃的平原上。第二章、离散大陆好的欢迎来到第二块大陆。如果说第一块“连续大陆”是水、是风、是流动的柔美那么你即将踏上的离散大陆就是钢、是锁、是跳跃的格律。在这里没有“差不多”没有“趋近于”。你脚下不再是光滑的玉石而是一级一级分明的阶梯。在1和2之间是万丈深渊没有1.5。所有东西都是可以掰着手指头数清楚的哪怕多到数不完也必须是“一个、两个、三个”这样孤立、跳跃的存在。这片大陆要解决的终极问题是结构和关系。它不关心东西本身是什么做的只关心它们是怎么被连接、组合、变换的以及背后支配这些操作的“交通法规”。一、大陆的“建筑法规”运算与封闭性在离散大陆我们建立一切的基础是运算。但这里有个严苛到不近人情的根本法叫封闭性。想象一个只有“加减乘除”的完美数字世界。你随便拿两个整数做加法结果永远是整数。这说明整数对加法是封闭的。但如果只给你奇数的世界两个奇数相加会变成偶数这个偶数就“跳”出了奇数的边界。所以奇数对加法不封闭。这片大陆上所有坚固的城堡都是封闭的。你进去用里面的规则玩永远绕不出来也不必出来。一个群就是封闭得最完美的城堡只有一种运算而且你能在里面找到捷径和回家的路逆元。你现在刷手机时屏幕的每一次旋转背后所有可能旋转的方式就构成了一个封闭、完美、自洽的“旋转群”。二、大陆的核心景观数论——最硬的宝石矿这片大陆的皇冠明珠是数论。它研究的对象出奇的简单就是你们最熟悉的石头1, 2, 3, 4…这些自然数。但不要被它们的朴素骗了这是整颗数学星球上最硬、最深邃的矿脉随便挖一颗宝石都能照亮千年。1. 质数不可再分的原子质数是大于1且只能被1和自身整除的数。2, 3, 5, 7, 11… 它们是离散大陆上最基本、最坚硬的原子。算术基本定理任何大于1的自然数都可以被唯一地分解为一系列质数的乘积。就像每个分子都能被分解为唯一的原子组合。6就是2和3这两种原子的化合物。无尽的探索有多少颗这样的原子欧几里得在两千多年前就用一个绝妙的证明告诉你无穷多。它们如何分布为什么有时紧挨着孪生质数有时又相隔万里这是人类智慧悬赏百万美元的问题黎曼猜想它关乎这个“质数原子”序列最根本的规律。2. 模运算时钟上的算术这是一个“生活在圆圈上”的算术系统。你家的时钟就是模12的世界。9点加6小时不是15点而是3点。在离散大陆我们写为9 6 ≡ 3 (mod 12)。这看似儿戏却是整片大陆的交通枢纽。同余两个数之差能被模数整除它们就“同余”。在模12下1和13是等同的。这是一种等价关系它将无穷的整数世界压缩成一个有限的、闭环的系统。密码学基石你现在能安全地在网上支付背后的RSA加密算法就建立在“大数分解很难但在模运算下计算某次幂很容易”这个离散大陆的非对称性地基上。三、大陆的骨架图论——万物互联的蓝图如果数论研究的是最硬的“点”那么图论研究的就是“点与点之间的线”。它不在乎点是什么是城市、是人、是网页它只在乎谁和谁连在一起。哥尼斯堡七桥问题这是图论的创世故事。市民想找一条路不重复地走完城里的七座桥。大数学家欧拉说别找了不可能。他把四块陆地抽象为“点”七座桥抽象为“线”然后证明只有当至多两个点连接着奇数条线时才可能一笔画完。在这里桥有多长、路有多宽都是废话。只有连接方式才是唯一的真理。四色定理给任何一张地图上色要求相邻国家颜色不同。直觉上复杂的图案可能需要很多色但事实是四种颜色永远足够。这个猜想的证明最终不得不靠计算机穷举所有可能的图结构。它是人类数学直觉第一次向机器辅助证明低头。网络科学你今天看到的互联网、社交网络、病毒传播路径本质上都是图。研究如何让信息最快传播中心性哪个节点是致命瓶颈关键路径哪个社区正在形成社团发现都源自这个由点和线构成的骨架。四、大陆的“上帝视角”群论与对称的奥秘在前面我们提到了“旋转群”。现在我们正式登上这座名为群论的通天塔它提供了俯瞰整颗星球的上帝视角研究的对象是“对称”本身。什么是群一个集合G配上一种运算满足四条公理封闭内部运行、结合律连加顺序不影响结果、有单位元存在“什么都不做”的元素、有逆元每步都能撤销。就这么简单。但一旦你穿上这四件套“潜水服”你就能潜入任何一个领域看见别人看不见的结构。代数方程的对称为什么你能轻松解出二次方程x22x10x^22x10x22x10的根却无法给五次方程写出一个通用的求根公式因为方程背后有一个“根的对称群”伽罗瓦群。如果一个方程的这个群结构太复杂复杂到无法被“拆解”成一连串简单的步骤那么它就不能被代数方法求解。方程能不能解不取决于系数而取决于根的对称方式。几何变换的群欧氏几何的群是平移和旋转。双曲几何的群是另一种更复杂的变换。克莱因在19世纪一声怒吼给出了石破天惊的爱尔朗根纲领每一种几何学就是在研究它自己的变换群下的不变量。于是几何被统一了。基本粒子的“身份证”物理学家发现基本粒子的一些奇特性质竟然完美对应着某些抽象群如SU(3)群的结构。他们根据群论表上的一个空白预言了一个新粒子的存在后来真的找到了。对称竟能预测物质的存在。五、大陆的通用翻译术同构与同态群论让我们看到了结构。但如何比较两个穿不同外衣的结构是不是本质上同一个这就要用同构这把终极标尺。你把数字加法群 {…,-1,0,1…} 和正实数乘法群 {…, 0.5, 1, 2…} 比较。一个用加法一个用乘法看似完全不同。但如果你建立一个映射把整数nnn映射到实数2n2^n2n。奇迹发生了加法变乘法2mn2m×2n2^{mn} 2^m \times 2^n2mn2m×2n。这两个群完全同构。它们只是穿了不同衣服的同一个骨架。同态则更普遍它允许你在映射中损失一些信息但核心结构必须保留。就像一张黑白照片是你脸的同态像它丢失了色彩但忠实保留了你的轮廓和表情。所有代数系统间的同态构成了现代数学最深层的构造。离散大陆与世界的连接与连续大陆的连接极限之桥一个无穷长的离散数列通过“极限”这口气可以抵达连续的彼岸。用无穷级数表示π。代数拓扑之桥用离散的群基本群来分类连续的拓扑空间。一个圆的基本群是整数加群Z因为绕1圈、2圈、-1圈都是离散的。与地质图的连接群论与不变性山脉群就是“对称”这个不变性概念的数学化身。每个群定义了一种特定的“不变”方式。模运算与等价关系山脉模运算下的同余是一种典型的等价关系将无穷化为有限。图论与对偶性山脉每个平面图都有一个对偶图面变点点变面把连接问题换个角度。公理化方法与结构主义整个离散大陆的最高精神就是用最少的公理抓住最核心的结构。这是整个数学“结构主义”精神的发源地。站在离散大陆上你所见的万物皆由离散的原子通过简洁严密的法则构筑成了复杂的宇宙。它能用最少的积木和规则让你领略到创造和结构的极致之美。第三章、随机大陆欢迎来到第三块大陆。这里和你之前到访的任何地方都截然不同。如果说第一大陆是水第二大陆是钢那么这第三块大陆就是雾。在这里你眼前的一切都不再清晰。没有光滑的曲线也没有分明的阶梯。你看到的是无数个可能性的重叠是云朵般变幻的概率。一件事会发生吗答案不是一个“是”或“否”而是一个介于0和1之间的数。这就是随机大陆它要解决的终极问题是如何在不确性中找到确定性如何从无知中提取知识。一、大陆的“空气”概率——量化“不确定”的语言随机大陆的空气和我们日常呼吸的空气不同。它的成分很纯粹就是一种叫概率的东西。概率在这里不是预测未来的水晶球而是一把精确度量“可能性”的尺子。抛硬币的真相我们说抛硬币正面概率是0.5。这不是说抛10次一定5次正面。它说的是当你抛无数次后正面频率会趋近的那个理想值。概率是随机事件在无限次重复中的稳定归宿。公理化的根基整个随机大陆建立在三条不可动摇的公理之上任何事的概率是一个0到1之间的实数。必然发生的事概率为1绝无可能的事概率为0。两件互斥的事至少有一件发生的概率等于它们各自概率之和。就这三条如定海神针支撑起了整个概率论大厦。无论遇到多么复杂的随机现象我们都能用这套语言去拆解、去度量。二、大陆的“地形图”分布——随机现象的全息蓝图光有“概率”这把尺子还不够。要完整描述一个随机现象我们需要一张全方位的地形图这张图就叫分布。它能告诉我们所有可能的结果以及每个结果对应的概率。上帝掷骰子掷一枚均匀的骰子结果1到6每个概率都是1/6。这是一个离散分布因为结果是跳跃的。射击手的误差一个神枪手射击大部分弹孔在靶心越往外越少。画成图就是一个中间高、两边低的钟形曲线。这就是连续分布因为落点可以无限细分。著名的正态分布就是这条最美的钟形曲线它统治着自然界无数现象身高、体重、测量误差……都服它管。分布的两把快刀我们不可能每次都画张图。于是数学家磨出两把快刀两刀下去一个分布的精髓就抓住了。期望均值就是这个分布的重心告诉你“典型情况”大概在哪。方差就是这个分布的肥胖程度告诉你“不确定性”有多大。方差越大结果越散越难预测。三、大陆的交通枢纽条件概率——信息如何改变世界这是整个随机大陆最迷人、也最反直觉的地方。它的核心思想是当你知道了一件新事情你对世界的看法应该如何被彻底改写贝叶斯定理学习的数学本质一个简单的公式P(A∣B)P(B∣A)⋅P(A)P(B)P(A|B) \frac{P(B|A) \cdot P(A)}{P(B)}P(A∣B)P(B)P(B∣A)⋅P(A)​。拆解一下P(A)P(A)P(A)是先验概率你一开始对A的信念。P(B∣A)P(B|A)P(B∣A)是似然度如果A成立你观察到B的可能性。P(B)P(B)P(B)是证据B本身发生的总概率。P(A∣B)P(A|B)P(A∣B)是后验概率在观察到B之后你更新后对A的新信念。这就是学习的数学公式。你的大脑无时无刻不在做这件事看到乌云证据B你就会更新“要下雨”事件A的信念。整个机器学习、人工智能的根基之一就建立在这条定理之上。辛普森悖论直觉的深渊这也是条件概率制造的一个著名“鬼打墙”。一种新药在男性组里用了药的康复率比没用药高在女性组里也是如此。但把男女数据合并起来看总康复率反而可能是没用药的更高。同一组数据在不同条件下看能得出完全相反的结论。它像一块警示碑告诉所有踏上随机大陆的旅人当你看到任何统计数据时先别急着下结论一定要问一句它是在什么“条件”下得出的四、大陆的终极法则大数定律与中心极限定理——混沌中的秩序到这里你可能会问如果一个随机事件如此不可捉摸那研究它还有什么用别急随机大陆上矗立着两道伟大的法则它们能从混沌中提炼出坚不可摧的秩序。大数定律概率的“万有引力”这条定律说只要试验次数足够多最终的平均结果就一定会无比接近它的期望值。你抛10次硬币可能8次正面但你抛100万次正面的频率就会死死地咬在50%附近绝不松口。它是赌场老板稳赚不赔的定心丸是保险公司敢给我们保单的底气所在。在微观的混乱之上宏观的确定性必然涌现。中心极限定理为何世界钟爱正态分布这条定理更神奇。它说不管原来每个个体的分布多么奇形怪状只要你把一大堆独立的微小因素加起来它们的总和最终一定会服从那个美丽的钟形曲线——正态分布。这就是为什么身高、体重、测量误差都近似正态分布因为它们都是无数基因、环境、微小误差累加的结果。纷繁复杂的源头最终都汇入了正态分布的海洋。五、大陆的探照灯统计学——从“结果”反推“原因”的艺术如果说概率论是“由因推果”知道骰子是均匀的推导掷出1的概率那么统计学就是它最勇敢的逆过程由果推因。你手里只有一份数据也就是上帝掷完骰子留下的记录你却被要求去猜上帝用的是什么骰子。最大似然估计最“像”的答案这是统计学家最锋利的直觉刀。举个例子一个箱子里有白球黑球但你不知道比例。你随机抽了10个球发现9个白1个黑。那么箱子里白球比例是多少最大似然估计给出的答案是90%。因为只有在这个参数下“抽出9白1黑”这件事的概率才是最大的。它不问“哪个答案最正确”只问“哪个答案最能让我已经看到的事发生”。假设检验你是真的还是运气好新药比旧药有效吗新教学方法能提高学生成绩吗统计学用一套“反证法”来回答。它先假设“新药无效”零假设然后看在这种假设下观察到现有数据的概率有多大p值。如果这个概率极其小比如小于5%统计学家就说那“新药无效”这个假设太可疑了我们有理由拒绝它。整个过程就像一场与随机性的官司我们用逻辑和概率宣告一个结论“显著”成立。随机大陆与世界的连接与连续大陆测度论是连接两片大陆的跨海大桥。概率就是一种特殊的测度全样本空间的测度刚好为1。与离散大陆信息论是连接点。一个离散信源的“不确定度”熵如何度量用概率。一个通讯信道最多能传输多少离散符号答案也落在概率方程里。与整张地质图期望是线性性山脉的延伸因为它是最重要的线性算子。条件概率是对偶性山脉的体现它让你在“A下的B”和“B下的A”之间灵活切换。中心极限定理揭示了不变性无论源头如何千奇百怪累加结果都趋向同一种分布。马尔可夫链的平稳分布是状态转移矩阵特征值为1的特征向量直通谱理论山脉的心脏。随机大陆的核心哲学是教我们如何在迷雾中航行用概率量化无知用条件更新信念在足够大的样本里找到必然并勇于从结果反推原因。站在这片大陆上你看到的就不再是一个确定、僵硬的世界而是一个由无数可能性交织而成、但依然能被我们理性理解和驾驭的、流动的宇宙。