AN ATLAS OF MATHEMATICAL IDEAS
函数怎样连接变化与空间？无穷为什么需要新的比较方式？沿着13条思想线索，从熟悉的课堂问题出发，看见概念背后的结构与联系。
选择一个入口 ↓先选一个好奇的主题，再顺着“例子—核心—联系”阅读。遇到实验入口，可以去动手验证直觉；遇到定理入口，可以继续追问为什么。连线呈现精选联系，不代表完整学科分类或固定先修顺序。
01 / CHOOSE YOUR ENTRY
从会算、会画，慢慢走向理解数学为什么这样组织。
用一个关系，描述一个量如何随着另一个量改变。
把“越来越接近”变成一个可以检验的数学陈述。
寻找变化之后依然保持的东西。
当数不完时，用一一对应比较两个集合。
从测量长度和角度，走向研究形状与连接。
单次结果难以预测，长期行为仍可以研究。
把一个目标拆成清楚、可执行的步骤。
从“我看见了”走向“为什么一定成立”。
把一整条曲线当作未知量，比较所有允许的微小改变。
记录局部数据、限制关系，以及相容数据怎样唯一黏合。
用环组织几何空间，再用层的整体不变量研究局部与整体。
研究随时间展开的随机对象，同时保留各个时刻之间的联系。
让局部连接随机开启，追问何时出现贯通的整体结构。
没有找到匹配的思想，试试“变化”“空间”或“算法”。
02 / FOLLOW THE CONNECTIONS
点击节点进入专题；连线表示可继续探索的联系，读完不妨再走回来。
例如：函数 → 极限 → 无穷；空间 → 算法 → 证明。窄屏可横向滑动地图。
03 / READ THE IDEAS
水位随着时间上升，面积随着边长变化：函数把变化中的依赖关系变成可以讨论的数学对象。输入、输出和对应规则共同构成函数；写出一个式子，只是表达函数的一种方式。
定义域中的每个输入，必须对应唯一的输出。不同输入可以得到相同输出。表格、图像、公式和语言都能表示函数；比较这些表示，可以看见同一关系的不同侧面。
正方形边长为 x 时，面积 A(x)=x²，实际情境要求 x>0。若把它看作定义在实数集上的纯数学函数，负数也可作为输入；情境限制与代数规则要分别说明。
函数图像把代数和几何连接起来；变化率引出导数，累积量引出积分，反复应用同一规则又会进入迭代与动力系统。
函数不一定有一个简洁公式，也不一定连续。竖线检验判断的是某幅平面图像能否表示 y 关于 x 的函数。
圆可以用越来越多边的多边形逼近，曲线下的面积可以用越来越细的矩形估计。极限关注的是一个过程趋向哪里，以及“接近”的程度能否被控制。
数列趋于 L，意味着对任意给定的正误差，充分靠后的每一项都落在 L 附近。无限过程需要完整条件：只看前几项，不能保证后面仍遵守同样的趋势。
把区间 [0,1] 等分为 n 份，用右端点高度估计 y=x² 下的面积。矩形面积和为 (n+1)(2n+1)/(6n²)，当 n 趋于无穷时趋于 1/3。
导数用极限描述局部变化，积分用极限描述累积。在连续等适当条件下，微积分基本定理将这两种操作联系起来。
极限值不要求某一项真正取到。一个函数在某点有极限，也不意味着函数在该点已有定义。
把正方形转过一个直角，它又与原来的位置重合。研究对称，就是研究哪些变换能够保持对象，以及这些变换怎样组合。
一个群包含一组元素和一种运算，运算满足封闭性、结合律、有单位元、每个元素有逆元。正方形的四种旋转构成一个群；再加入四种反射，就得到八个对称变换。
给正方形四个顶点临时编号。旋转 90° 相当于循环移动编号；连续做四次回到原位。加入反射后，先旋转再反射与先反射再旋转，结果可能不同。
几何变换通向群论，群论又能研究方程根之间的对称。这里展示的是概念之间的联系，不意味着学习群论必须先学会解高次方程。
“看起来均衡”不等于数学意义上的对称。讨论对称必须先说明允许什么变换，以及要求保留什么结构。
自然数与正偶数，哪一个更多？对于有限集合，真子集元素更少；对于无限集合，一一对应会给出与有限经验不同的答案。
若两个集合之间存在双射，它们就具有相同基数。映射 n↦2n 把正整数与正偶数一一配对。可数无限表示能与自然数建立这种配对，并不是“最终能够数完”。
把正有理数排成以分子、分母为坐标的网格，按对角线遍历并跳过重复分数，可以逐个列举所有正有理数。实数则不能这样列完；对角线论证说明任何可数列表都会遗漏实数。
无穷既涉及集合的大小，也进入极限过程。二者研究的问题不同：一个比较集合能否配对，一个研究变化能否逼近某个值。
自然数与偶数等势，不代表它们是同一个集合；“无限”也不意味着所有无限集合大小相同。
平面上的两点确定一条直线，球面上的最短路线却沿大圆弧延伸。几何的结论依赖我们选择的空间、距离以及允许的变换。
解析几何用坐标和方程描述图形；拓扑更关注连续变形时保留的结构。距离、角度与连通性属于不同层次，研究时应明确保留的是哪一种性质。
椭圆上任一点到两个焦点的距离和等于 2a。当焦点距离缩小至零，两焦点重合，椭圆成为圆。参数 a、b、c 满足 a²=b²+c²。
坐标把图形转化为方程；图论把具体道路抽象成点与边。两者都是选择合适语言、保留关键结构的例子。
球面三角形的内角和可以大于 180°，它的边要按大圆弧理解。平面几何结论不能直接搬到其他空间。
一枚硬币下一次会出现哪一面，通常无法确定；在固定概率、独立重复的模型中，大量试验的相对频率却呈现可研究的规律。概率论为不确定性建立了精确语言。
频率是已发生试验中的观测比例，概率是模型赋予事件的数值。对独立同分布的伯努利试验，样本均值随着次数增长依概率趋近 p。
一次试验中正面概率为 p，n 次独立试验的正面次数 K 的期望为 np，频率 K/n 的标准差为 √[p(1−p)/n]。这个量反映典型波动的尺度，不是每次实验误差的硬上界。
概率连接统计推断、随机算法和随机过程。统计学还要反过来追问：从有限数据出发，能对未知模型作出怎样的判断？
频率接近概率的趋势不保证每一步都更接近。先前偏多的正面，也不要求后面的反面“补回来”。
列竖式、求最大公因数、规划路线，都需要算法。描述算法时，要说明输入与输出、每一步怎样做，以及什么时候停止。
算法的正确性、是否终止以及资源消耗，是不同的问题。递归通过更小的同类问题定义过程；迭代则反复更新状态，二者常可互相表达。
欧几里得算法反复用余数替换较大的数。例如 gcd(48,18)=gcd(18,12)=gcd(12,6)=6。公因数保持不变，而非负余数严格下降，因而过程会终止。
在分形构造中，一个简单规则反复作用产生复杂图形。在图论中，算法可以寻找路径；理解结构则可能直接判断一条路径是否存在。
计算很多例子都成功，并不能证明算法对所有输入正确。浮点近似、舍入误差和终止条件也需要单独考虑。
观察和实验可以帮助发现规律，证明则要解释在给定假设下，结论为什么必然成立。一个准确的反例，就能推翻一个声称对所有对象成立的命题。
直接证明沿着假设推出结论；反证法从否定结论出发寻找矛盾；数学归纳法同时需要起始步骤和递推步骤。使用哪一种方法，取决于命题的结构。
若 √2=m/n 且 m、n 互质，则 m²=2n²，所以 m 为偶数。代回后又得 n 为偶数，与互质矛盾。关键不是计算了多少小数位，而是整数奇偶性的逻辑约束。
图论中的一笔画条件，把尝试路径变成研究顶点度数。实验用于发现条件，证明说明条件为什么必要、何时又充分。
反证法否定的是待证结论，并保留原假设。证明某个条件必要，不等于证明它也充分。
阅读层次：高中可读例子；核心推导需要大学微积分 建议基础：导数、定积分、分部积分；进阶需微分方程与函数空间
普通极值问题从许多数中选一个数；变分问题常从许多函数或路径中选一个。两点间哪条路最短，固定边界的薄膜怎样平衡，粒子沿什么轨道运动，都可以先给每个候选对象分配一个数，再研究这个数怎样变化。这个以函数为输入、数为输出的规则称为泛函。开始计算前，应先说明候选函数的光滑程度、端点和其他约束，因为不同的允许改变会产生不同的方程与边界条件。
考虑固定端点的 J[y]=∫ L(x,y,y′)dx。把 y 改为 y+εη，其中 η 在两端为零；若 y 是足够光滑的局部极小解，那么对每个允许的 η，关于 ε 的一阶导数在零处必须为零。分部积分后得到欧拉—拉格朗日方程。它表达一阶变分消失，是在相应正则性条件下的必要条件；找到方程的解，还要检查存在性、边界条件、二阶变分或凸性，才能判断是否真有极小值。
在所有连续可微、满足 y(0)=0、y(1)=1 的函数中，使 J[y]=∫₀¹(y′)²dx 最小。直线 y=x 是候选解。任一竞争函数可写成 y=x+h，且 h(0)=h(1)=0，于是 J[x+h]=1+∫₀¹(h′)²dx≥1；等号只在 h 恒为零时成立。这一次既有驻值方程，也有直接比较全部允许函数的极小值证明。注意 J 计算的是导数平方的累积，不能把它直接当作曲线弧长。
就像 f′(x)=0 可能找到极大点或鞍点，δJ=0 只是一阶条件。例如固定零端点的 J[y]=∫₀¹[(y′)²−4π²y²]dx 在 y=0 处驻值；沿 εsin(πx) 改变时 J 变负，沿 εsin(3πx) 改变时 J 变正，所以它是鞍点。前面的导数平方例子有非负余项，才足以证明极小。
第一层先比较具体路径和积分值；第二层学习第一变分、分部积分与驻值方程；第三层再讨论约束、自然边界条件、弱收敛与直接法。模型中写明什么被固定，比记住一条公式更先发生作用。
变分法连接测地线、最小曲面、偏微分方程与最优控制。在适当的作用量框架中，诺特定理把连续对称联系到守恒量。物理学中常称最小作用量原理，但准确的基本要求是作用量驻值，实际轨道不必总是极小解。
驻值不等于极小值，极小值不等于唯一的全局最小值。只解欧拉—拉格朗日方程，也不能保证允许函数中存在达到下确界的解。弱解和非光滑极小解还需要更合适的函数空间与变分表述。
阅读层次：先读函数例子；正式定义属大学高年级数学 建议基础：集合、函数及其限制；进阶需拓扑空间、开覆盖与代数结构
在一张曲面上，不一定有一套坐标能覆盖全部区域，但每个小区域里可以谈函数、解或其他数据。层论把每个开集上允许的数据，以及从大区域限制到小区域的规则，一起作为研究对象。这里的层不是把知识分成几个难度层级，也不只是把散落的信息装进同一个袋子：数学上必须说清楚哪些数据允许存在，哪些相等，以及区域交叠时怎样比较。
预层先为每个开集 U 指定一组截面 F(U)，并为 V⊂U 指定限制映射，要求限制到自身不变、连续限制两次与直接限制一致。在此基础上，层要求：对于开覆盖 U=∪Uᵢ，如果各局部截面在每个交叠 Uᵢ∩Uⱼ 上的限制都相同，就存在唯一的 U 上截面，其各个限制恰好是原来的局部截面。存在性和唯一性都不可省略。集合、阿贝尔群、环等不同类型的数据可以分别组成相应的层。
令 F(U) 为实直线开集 U 上的连续实值函数，限制映射就是缩小函数的定义域。取 U=(−2,1)、V=(−1,2)，两边都给出 f(x)=x²，它们在交叠上相同，因此唯一黏合成 (−2,2) 上的 x²。若 V 上改成 x²+1，交叠处已经不相容，层公理没有要求把它们黏成连续函数。层保证的是相容数据能够黏合，不能省去交叠检验。
截面是在一个开区域上给出的数据。函数在一点的芽，只保留它在足够小邻域中的行为；若两个局部函数在该点的某个共同邻域上相同，就代表同一个芽。把该点所有这样的芽收在一起得到层在该点的茎。x 与 x+x² 在零点值相同，却不是同一个芽，所以茎不能简化为该点的一个函数值。
层公理已经保证相容截面唯一黏合。上同调讨论的是另一类问题，例如在一列层的映射中，局部可提升的截面能否整体提升；不能说非零上同调推翻了层的黏合公理。先区分层、层之间的映射和相应的整体问题，再进入更高理论。
连续函数层把局部与整体的联系变成可检验的规则；流形、向量丛和微分方程也有相应的截面层。代数几何进一步把拓扑空间与结构层配在一起得到局部赋环空间，并用仿射概形作为局部模型。层上同调则在更高层次研究整体截面与提升问题。
任意局部信息的集合不一定是层。有界连续函数给出预层，却不满足任意开覆盖的层条件：用 Uₙ=(−n,n)（n=1,2,…）覆盖实直线，各 Uₙ 上的 fₙ(x)=x 都是有界连续函数，并在交叠上相容；唯一的连续黏合却是全实直线上的 x，无界，因此不在所要求的整体截面中。另一方面，局部函数在一点取相同值，也不意味着它们在附近相同。
阅读层次：大学高年级与研究生概念导览 建议基础：建议先读层；正式学习需交换环、理想、局部化、拓扑与同调代数
圆和抛物线可以写成方程，但方程的意义还取决于允许什么系数、在哪里求解，以及是否要保留重数和无穷小信息。概形为这些问题提供统一语言。上同调是研究整体性质的一类工具，并不是概形的另一种叫法；层又是安排局部数据的工具。三者在代数几何中紧密合作，但承担的任务不同。阅读本专题可以先掌握它们怎样分工，不需要假装已经学会全部定义。
给定含幺交换环 A，Spec A 的点是 A 的素理想，并带有扎里斯基拓扑和结构层；结构层通过局部化记录各个区域中的代数信息。概形是一个局部赋环空间，每点附近都与这样的仿射概形同构。阿贝尔层 F 的零阶上同调 H⁰(X,F) 就是整体截面 F(X)；更高的 Hⁱ(X,F) 在正式理论中由整体截面函子的右导出函子定义。需要指出空间、所选层和所用上同调理论，符号才有确定含义。
Spec Z 把整数的素理想放进同一个空间：除 (0) 外还有 (2)、(3)、(5) 等素数生成的理想。这里的点不能仅按普通平面上的位置理解。另一个例子是域 k 上的双数环 k[ε]/(ε²)：它的谱只有一个点，却仍保存 ε≠0、ε²=0 的代数信息。若只画出那一个点，便丢掉了结构层所记录的无穷小结构，因此底层点集不能代替整个概形。
在域 k 上的射影直线 P¹ 上，结构层 O 的 H¹ 为零，但线丛 O(−2) 的 H¹ 与 k 同构。用两个标准仿射开集计算 Čech 上同调时，后一种情形在交叠的 Laurent 多项式中留下一个不能由两边截面差消去的 t⁻¹ 项，因而得到一维结果。空间没有换，系数层换了，整体不变量便不同。
层负责规定局部数据及其限制；概形规定代数几何研究的空间；上同调给空间与层提取整体不变量。先学习交换环与素理想，再掌握局部化和层，最后进入短正合列、导出函子与具体上同调计算，是一条可行的进阶顺序；这里的关联图不承担完整课程的先修安排。
概形允许把代数方程的几何与整数、有限域上的算术放到统一框架中。层与上同调进入黎曼—罗赫型公式、韦伊猜想和现代丢番图几何；不同问题会选用相干层上同调、德拉姆上同调或 étale 上同调，不能把这些理论直接混为一谈。莫德尔猜想的现代证明也属于算术几何的发展脉络，但这个联系不等于一条初等证明。
上同调不是给空间数洞的通用口号。同一空间上选不同的层，结果可以不同；某些上同调与拓扑洞有关，需要相应定理和条件。也不能因为层保证相容截面可黏合，就断言所有更高上同调都为零。
阅读层次：高中可读离散例子；连续过程需要大学概率论 建议基础：概率、条件概率、独立性；进阶需矩阵、测度与极限
随机过程是一族定义在同一概率空间上的随机变量 {Xₜ}，指标 t 常表示离散或连续时间。固定一个时刻看 Xₜ，是研究当时的分布；固定一次随机结果看 t↦Xₜ，则得到一条样本路径。只分别列出每个时刻的分布还不够，必须描述不同时刻的联合关系：每天都以相同概率下雨，既可能每天独立，也可能长时间连晴连雨，这两种过程的路径很不相同。
离散时间马尔可夫链的核心条件是：给定当前状态后，下一步的条件分布不再依赖更早的历史。齐次链用同一个转移矩阵 P 描述每一步，矩阵元素非负且每行和为 1；还需给定初始分布才能确定过程。马尔可夫性质不等于各时刻彼此独立。对有限状态齐次链，不可约且非周期是一组保证从任意初始分布收敛到唯一平稳分布的充分条件；这组条件不声称是所有情形下的必要条件，也不能对任意链省去条件直接套用结论。
用晴、雨两个状态构造教学模型：今天晴则明天晴概率为 0.8，今天雨则明天晴概率为 0.3。若 qₙ 是第 n 天晴的概率，则 qₙ₊₁=0.3+0.5qₙ。从第零天确定为晴开始，q₁=0.8、q₂=0.7，并有 qₙ=0.6+0.4·2⁻ⁿ，趋于 0.6。平稳分布为晴 0.6、雨 0.4；这说的是模型中的分布，不是保证任何连续十天恰好六晴四雨，也不是实际天气预报。
标准布朗运动 Bₜ（t≥0）满足 B₀=0，不相交时间区间上的增量相互独立，Bₜ−Bₛ 服从均值 0、方差 t−s 的正态分布（s<t），且样本路径以概率 1 连续。路径还以概率 1 处处不可微，因此不能把普通可微曲线的导数规则原样套用。连续与可微是两种不同要求。
对独立、等概率取 ±1 的步长，n 步位置 Sₙ 的期望为零、方差为 n；典型位移尺度为 √n。适当压缩时间、把空间除以 √n，并对折线路径讨论分布收敛，才能得到布朗运动极限。不是把某一条有限随机游走放大，就得到了严格的连续过程。
随机游走连接图论、扩散和概率极限，马尔可夫链进入排队与随机算法。标准布朗运动以连续时间的随机路径为对象，是随机分析的重要起点。科尔莫戈洛夫为现代概率论及过程理论提供了基础框架；伯努利试验与大数定律可作为继续阅读的较熟悉入口。
马尔可夫不等于独立，平稳分布存在也不等于任意初始分布必然收敛。上面的交替链有平稳分布 (1/2,1/2)，但从确定状态出发会周期振荡。把随机图线画得很细，也不能证明它是布朗运动。
阅读层次：高中可读有限图例子；临界现象需要大学概率论 建议基础：独立事件、概率、图的顶点与边；进阶需无限图和极限
把材料孔隙、道路或传播关系抽象成图，再让每条边随机开启或关闭，可以问：两点是否连通，某个团簇能延伸多远，是否存在无限的开放连通分支？这是独立边渗流的一种基本模型。若改成每个顶点随机开放，就得到点渗流；两种模型不能共用一个未经说明的临界数值。渗流借助简单的局部随机规则研究整体连接，是概率论与统计物理相遇的一个入口。
本专题固定模型为二维无限正方格最近邻独立边渗流：顶点是 Z²，相距一个水平或竖直单位的点之间有边，每条边以概率 p 独立开放。记 θ(p) 为原点属于无限开放团簇的概率，临界参数可定义为使 θ(p)>0 的 p 的下确界。这个模型严格满足 p_c=1/2；p≤1/2 时以概率 1 不存在无限开放团簇，p>1/2 时以概率 1 存在唯一无限开放团簇。当 1/2<p<1，指定的原点并非必然属于它；p=1 时全部边开放，原点也必然属于这个无限团簇。
先看一个只有四条边的正方形，在两对角顶点之间有两条边不重合、各长两步的路线。一条路线开放的概率是 p²，两条路线独立，所以至少有一条开放路线的概率为 1−(1−p²)²。p=1/2 时结果是 7/16，而非必定贯通或必定不通。有限图的连接概率是 p 的多项式；无限模型的临界性质必须通过越来越大区域的极限来理解。
有限盒子始终只有有限团簇，只能测量跨越概率、最大团簇大小等量。网格边界、长宽比例和重复次数都会影响这些量。临界参数属于指定无限模型；在本模型 p=1/2 时，所有团簇几乎必然有限，仍可能出现尺度很大的有限团簇，所以临界不等于肉眼看不到大连接。
把 p 理解为连接开启率，可以帮助提出材料导通或传播网络的问题；实际系统可能有相关性、方向、非均匀性和有限尺寸，需重新验证模型。临界指数与普适性是更深一层的主题，哪些指数已严格证明依赖具体模型，不能只凭相似图像宣称所有系统具有同一规律。
相变关注宏观性质在参数变化时呈现的临界行为，不一定意味着数值突然跳跃。在渗流中，研究对象包括无限团簇出现、连接概率衰减和临界附近的尺度。渗流与随机团簇模型、磁性模型及共形不变性相连；不同图、维数、相关规则的结论需要分别证明。斯米尔诺夫、迪米尼尔—科潘等人的工作展示了这一领域的发展。
p_c=1/2 不能照搬给正方格点渗流、三维格、任意材料或有关联的模型。有限网格在 p<1/2 时仍可能贯通，在 p>1/2 时仍可能不贯通；一次贯通图像既不能给出精确阈值，也不能代替无限格定理。
SOURCES & READING NOTES
函数、极限、导数与积分，以及圆锥曲线的定义和基本关系，参照开放教材编写。
OpenStax · Calculus Volume 1 ↗OpenStax · Precalculus 2e ↗群的语言参照大学讲义；概率、图论和分形提供原作者教学材料入口。本站文字与图示为重新编写。
Oxford · Groups and Group Actions ↗OpenStax · Introductory Statistics 2e ↗Mathigon · Graphs and Networks ↗Mathigon · Fractals ↗面向中学生、教师和对数学感兴趣的读者。图示是理解的入口；有限次数的实验不能替代证明。各实验注明模型、范围和条件。
原创 SVG 数学图解，无需外部图片或字体即可浏览。资料日期：2026年10月。
返回数学数字图书馆首页 →