单位分解

在数学和物理学中，我们常常面临一个根本性的挑战：当我们只能在微小、简单、局部的片上定义一个复杂、弯曲的物体的属性时，我们如何才能完整地描述它？这就是从局部理解走向全局理解的根本问题——如何将小的、平坦的地图拼接起来，以代表一个弯曲的世界，同时不产生丑陋的人为接缝。简单地将局部描述拼凑在一起的尝试往往在重叠处失败，造成的不一致性暴露了其底层现实的光滑本质。

本文介绍了一个极其优雅的解决方案：​​单位分解​​。这种强大的数学方法提供了一套“混合函数”，使我们能够将局部数据无缝地融合成一个单一、内聚且光滑的全局结构。它是表达局部到全局原理的权威工具，而该原理支撑着现代几何学和分析学的大部分内容。在接下来的章节中，您将发现这个巧妙概念的内部运作机制。《原理与机制》一章将揭开单位分解的神秘面纱，阐明它们如何通过局部有限性来驯服无穷问题，以及一个空间必须满足哪些精确的拓扑条件才能使它们存在。随后，《应用与跨学科联系》一章将展示这一工具的巨大威力，演示它如何被用来构造几何学的基本结构，证明拓扑学中的基础定理，并推动分析与计算中的高级技术。

想象一下，你是一位来自被遗忘时代的地图绘制师，任务是创作一幅完美、无缝的全球地图。但问题在于，你的工具只允许你制作高度精确但范围很小的局部地图。你可以无可挑剔地绘制一个城市、一个山谷或一个岛屿的细节，但你无法一次性勘测整个地球。你的每一张局部地图都是一张完全平坦的纸。你将如何把它们拼接起来，以代表地球的曲面？

你可能会把它们铺开，在相交处将边缘重叠。但这带来了一个问题。在重叠区域，哪张地图才是“正确”的？如果你简单地剪下一张，然后粘贴在另一张上面，就会产生一道丑陋的接缝。我们知道，世界是光滑的，没有接缝。自然界给数学家带来的挑战恰恰是：当你只能在微小、重叠、简单的片上定义一个事物时，你如何为它创建一个单一、全局、光滑的描述？这就是将局部拼凑成全局的问题。

这个难题的巧妙答案是一个极其优雅且强大的工具：​​单位分解​​。这个名字本身就极富描述性。它是一个函数族，将数字1“分割”——或者更确切地说，是“分配”——到我们整个空间。可以把它看作一套“混合函数”或“责任函数”。

假设我们的世界 $X$（比如一个圆、一个球面或某些更奇特的流形）被一族重叠的局部地图所覆盖，我们称之为开集 $\{U_\alpha\}$。一个从属于这个覆盖的单位分解是一个新的函数族 $\{\phi_\alpha\}$，它具有两个神奇的性质：

1. ​​它们之和恒为一。​​ 在我们世界上的任何一点 $x$，如果你把所有混合函数的值加起来，你得到的结果恰好是1：$\sum_\alpha \phi_\alpha(x) = 1$。这就是“单位”的含义。这就像是在说，在每一个位置，描述该点的100%的“责任”都被考虑到了，并分配给了各个局部地图。

2. ​​每个函数都只在其对应的图上“存活”。​​ 每个混合函数 $\phi_\alpha$ 仅在其对应的地图 $U_\alpha$ 内部是“活跃”的（即非零）。事实上，它在其地图的边缘处会平缓地衰减到零，因此它的​​支集​​——即它不为零的区域，包括其边界——被安全地包含在 $U_\alpha$ 之内。

为了亲眼看到这一点，让我们暂时抛开地球，考虑一个简单的线段，比如说从0到4。想象我们用两个重叠的“地图”覆盖这个线段 $X = [0, 4]$：$U_1 = (-1, 3)$ 和 $U_2 = (1, 5)$。我们如何构建混合函数 $\phi_1$ 和 $\phi_2$？一个非常简单的方法是使用距离。对于 $\phi_1$，它的任务是在 $U_1$ 上活跃。所以，我们通过一个点 $x$ 离 $U_1$ 外部的距离来定义它的“强度”。在线段 $[0,4]$ 上，$U_1$ 外部的部分是区间 $[3,4]$。函数 $g_1(x) = d(x, [3,4])$ 正是做了这件事：当 $x \lt 3$ 时它为正，在 $x=3$ 时变为零。类似地，对于 $\phi_2$，我们线段中在其地图 $U_2$ 之外的部分是 $[0,1]$。所以我们定义 $g_2(x) = d(x, [0,1])$。

现在，我们只需将它们归一化，以确保它们的和为一： $\phi_1(x) = \frac{g_1(x)}{g_1(x) + g_2(x)} \quad \text{和} \quad \phi_2(x) = \frac{g_2(x)}{g_1(x) + g_2(x)}$ 让我们看看这是如何运作的。

• 对于一个在0和1之间的点，它在 $U_1$ 中但不在 $U_2$ 中。此时，$g_2(x)=0$，所以 $\phi_1(x) = g_1(x)/g_1(x) = 1$。函数 $\phi_1$ 承担了全部责任。
• 对于一个在3和4之间的点，它在 $U_2$ 中但不在 $U_1$ 中。此时，$g_1(x)=0$，所以 $\phi_1(x) = 0$ 且 $\phi_2(x)=1$。现在 $\phi_2$ 承担了全部责任。
• 在关键的重叠区域，从1到3，$g_1(x)$ 和 $g_2(x)$ 都是正的。此时，$\phi_1(x) = (3-x)/2$ 且 $\phi_2(x) = (x-1)/2$。当 $x$ 从1变到3时，你可以看到 $\phi_1$ 从1平滑地减小到0，而 $\phi_2$ 从0平滑地增加到1。并且在两者之间的每一点，它们的和都为1：$\frac{3-x}{2} + \frac{x-1}{2} = \frac{2}{2} = 1$。我们创造了一个完美的平滑交接，一种无缝的混合。

上面的例子很简单，只有两张地图。但如果我们的世界如此复杂，以至于需要无限多张地图来覆盖它呢？那样我们就会有一个无限的混合函数族 $\{\phi_\alpha\}$。求和 $\sum_\alpha \phi_\alpha(x)$ 现在变成了一个无穷级数。这应该会让任何数学家感到紧张。一个无穷个连续函数的和不一定是连续的。事实上，它甚至可能得不到一个有限的数值！

那么自然界是如何处理这个问题的呢？答案不是禁止无限覆盖，而是要求我们的函数族具有一个更微妙的性质：​​局部有限性​​。

这个优美的思想是 ​​Problem 1565995​​ 的核心。它指出，为了使求和行为良好，混合函数支集的族必须是​​局部有限​​的。这意味着对于我们空间中的任何一点 $x$，我们都能在它周围找到一个小的邻域，这个邻域只与有限个支集相交。

可以这样想。想象你站在一片广阔、黑暗的田野里，有无限多盏灯散布其中。如果它们全部打开，光线会令人目眩。但假设这些灯都设计了灯罩，使得每一盏灯只照亮它周围的一小块区域（它的支集）。再假设它们的排列方式是，无论你站在哪里，你都只会被你最近的三四盏灯照亮。从你的视角看，所有其他无限多的灯都是暗的。在你的小邻域里，情况是简单且有限的。

这正是局部有限性为我们求和所做的事情。在任何一点 $x$，你都处在一个只有有限个函数（比如 $\phi_1, \phi_2, \dots, \phi_N$）非零的邻域中。在该邻域内，所有其他函数都为零。因此，那个宏大的无限和 $\sum_{\alpha} \phi_{\alpha}(x)$，对你和你所有的邻居来说，都简化成了一个简单的有限和 $\sum_{i=1}^N \phi_i(x)$。有限个光滑、连续函数的和总是光滑且连续的。无穷带来的问题被驯服了，不是通过消除它，而是通过确保它在近处总是看起来是有限的。

现在我们有了这个绝妙的混合配方，我们能用它来建造什么呢？答案是，几乎任何东西。让我们试着建造一个真正基础的东西：一个​​黎曼度量​​。这是一个花哨的名字，指的是一把“标尺”，一种在弯曲流形上每一点测量长度和角度的一致方法。它是让我们能够进行几何研究的数学对象。

在我们流形的一个小的、平坦的片上（一个坐标卡），我们已经有了一把标尺：学校里学的普通欧几里得距离，$ds^2 = dx^2 + dy^2$。让我们把坐标卡 $U_i$ 上的局部标尺记作 $g_i$。问题在于，一个坐标卡上的标尺可能与一个重叠坐标卡上的标尺不一致。

这时单位分解就来救场了。我们取我们的混合函数族 $\{\phi_i\}$，然后定义一个新的全局标尺 $g$ 作为所有局部标尺的加权平均： $g = \sum_i \phi_i g_i$ 在每一点 $x$，我们的新标尺 $g(x)$ 是局部标尺的混合体，每个局部标尺 $g_i$ 的权重由它在该点的“责任” $\phi_i(x)$ 决定。

这为什么能行得通呢？

1. ​​它是光滑的：​​ 因为函数族 $\{\phi_i\}$ 是局部有限的，所以在任何小邻域内，这个和总是一个有限和。它是光滑对象（局部度量 $g_i$ 和混合函数 $\phi_i$）的有限和，因此得到的全局标尺 $g$ 是完全光滑的。
2. ​​它是一把有效的标尺：​​ 这是最精妙和美丽的部分。要成为一把有效的标尺，$g$ 必须是​​正定​​的。这意味着它必须为任何非零切向量赋予一个正的长度。一个向量的长度为零当且仅当它是零向量。那么，有效标尺的加权平均也是一把有效标尺吗？

答案是响亮的“是”，其原因深植于线性代数的结构中。一个向量空间上所有正定标尺（对称双线性形式）的集合构成一个​​凸锥​​。这是来自 ​​Problem 2975251​​ 的一个关键洞见。“凸”意味着如果你在该集合中取任意两点并画一条直线连接它们，整条线段都会留在集合内部。像我们用 $\sum \phi_i g_i$ 进行加权平均，就像是在所有局部标尺 $g_i$ 之间的一个多维“线段”上选择一个点。由于所有的 $g_i$ 都在“好标尺”的凸集内，而我们的权重 $\phi_i(x)$ 都是非负的且和为一，所以得到的标尺 $g(x)$ 也保证会落在这个集合中。它无法逃逸。凸性确保了我们的构造是稳健的。

为了真正领会这种凸性的魔力，看看它在什么情况下会失效是很有启发性的。如果我们想构建一个​​伪黎曼度量​​，即爱因斯坦相对论中使用的那种度量，会怎样？在时空中，“标尺”不是正定的。它具有混合符号差，例如 $(+, -, -, -)$。这种标尺可以为非零向量赋予零、正或负的“长度”。

让我们试着用我们的单位分解配方来粘合局部的伪黎曼度量。我们取两个局部度量 $g_1$ 和 $g_2$，它们都有相同的不定符号差。如果我们对它们取平均，$\frac{1}{2}g_1 + \frac{1}{2}g_2$，会发生什么？

考虑这个来自线性代数的简单而惊人的例子。让标尺 $g_1$ 由矩阵 $G_1 = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}$ 表示，而 $g_2$ 由 $G_2 = \begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix}$ 表示。两者都是符号差为 $(1,1)$ 的完全有效、非退化的标尺。但它们的平均是： $\frac{1}{2}G_1 + \frac{1}{2}G_2 = \frac{1}{2}\begin{pmatrix} 1-1 & 0 \\ 0 & -1+1 \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}$ 结果是零矩阵！一个完全退化的、无用的标尺。我们混合了两个完全良好（尽管是不定的）的标尺，结果却一无所获。这是因为具有固定不定符号差的度量集合不是凸的。你可以通过取平均离开这个集合。全局伪黎曼度量的存在性是一个更为微妙的事情，常常是不可能的，并且取决于流形的深层拓扑性质。黎曼度量的简单、有保证的存在性是一份礼物，由正定性这一美妙的简单性质所赐予。

所以，这个宏伟的工具是存在的。但什么样的空间才足够“行为良好”，以保证我们总能为任何开覆盖构造一个光滑的单位分解？我们找到了一把神奇的锤子；现在我们需要知道它能敲哪些钉子。

答案是，空间必须是​​仿紧​​且​​豪斯多夫​​的。在光滑流形的世界里，标准的初始假设——空间是​​豪斯多夫​​的（任何两个不同的点都可以被不相交的邻域分离）和​​第二可数​​的（拓扑可以由可数个基本开集生成）——正是证明其为仿紧空间所需要的。仿紧性是指每个开覆盖都有一个局部有限的开加细。这正是我们驯服无穷所需要的条件！事实上，这两个概念是等价的：一个豪斯多夫流形是仿紧的，当且仅当它对任何开覆盖都容许单位分解。

一堆病态空间的“反派画廊”向我们展示了为什么这些假设中的每一个都至关重要。

• ​​如果我们放弃豪斯多夫性质会怎样？​​ 考虑“带两个原点的直线”。它就像实数线，但点0被替换为两个不同的点 $p_1$ 和 $p_2$，它们在“拓扑上粘在一起”。$p_1$ 的任何开邻域和 $p_2$ 的任何开邻域都必须重叠。你无法将它们分开。这使得构建一个在 $p_1$ 处为1、在 $p_2$ 处为0的函数成为不可能，而这是单位分解的基本要求。不满足豪斯多夫性质导致我们分离和局部化能力的失败。一个类似的非豪斯多夫空间可以用两个“长直线”的副本来构造。

• ​​如果我们放弃第二可数性会怎样？​​ ​​长直线​​是一个奇异的对象，它局部上就像实数线并且是豪斯多夫的，但它是“不可数地长”。这种缺乏第二可数性意味着它不是仿紧的。存在一些覆盖它的开集的方式，使得不存在局部有限的加细。单位分解的机制在此失效。

• ​​如果我们放弃光滑性会怎样？​​ 如果我们的局部地图只是连续地粘合在一起，而不是光滑地粘合呢？根据定义，黎曼度量是一个光滑的对象。它的定义本身就依赖于光滑切丛的存在，而切丛的构造需要坐标卡之间有光滑的过渡映射。如果你的过渡映射是像 $x \mapsto x^{1/3}$ 这样的函数，它在原点是连续但不可微的，那么微积分的规则在那一点就崩溃了。“光滑张量”的概念在不同坐标卡之间会变得不一致。一些拓扑流形，比如奇特的 $E_8$ 流形，根本不容许任何光滑结构。在这样的空间上，没有光滑的切丛，黎曼度量的问题从一开始就毫无意义。

这些条件中的每一个，初看起来可能像是抽象的技术细节，但它们都是支撑整个大厦的支柱。放弃任何一个，从局部到全局的桥梁就会坍塌。但对于广阔而美丽的宇宙——光滑流形——而言，单位分解提供了一条有保证、稳健且优雅的途径，让我们能够将局部的简单性编织成全局的复杂性。

掌握了单位分解的优雅机制后，你可能会想，“这个巧妙的工具到底用于什么？”你可能感觉像一个刚被递给一瓶神奇、万能胶水的孩子。我们能用它建造出什么奇迹呢？事实证明，答案是几乎所有东西。将全局的复杂性分解为局部的简单性，然后无缝地重新组装起来，这一原理是所有现代科学中最深刻、影响最深远的策略之一。单位分解是数学家对这一策略的精髓表达，是一条贯穿几何学、拓扑学、分析学乃至随机过程的随机世界的线索。

让我们踏上一段穿越这些不同领域的旅程，看看这一个思想如何将它们统一起来。

如何描述一个弯曲的宇宙？一种方法是外蕴路径，即想象我们弯曲的世界嵌入在一个更大的、不可见的平坦空间中，就像一张揉皱的纸放在一个三维房间里。著名的 Whitney 和 Nash 嵌入定理告诉我们，这总是可能的。但这种方法感觉有点像作弊；它用我们宇宙之外的东西来定义我们的宇宙。有没有一种更诚实、内蕴的方式？作为流形的居民，我们能否只使用本地材料来构建其几何结构？

这就是单位分解大显身手的地方。想象我们的流形被大量微小的、重叠的坐标片所覆盖。在每个微小的片上——它只是一块毫无特征的欧几里得空间 $\mathbb{R}^n$——几何是简单的。我们可以使用标准的毕达哥拉斯定理——欧几里得度量——来定义长度和角度的含义。问题是，这些简单的局部度量在重叠区域并不一致。如果你从一个片走到另一个片，你的标尺可能会突然看起来缩小或变长。我们如何创造一个单一、一致、全局的几何概念？

我们通过平均来做到这一点。一个从属于我们的坐标片覆盖 $\\{U_{\alpha}\\}$ 的单位分解 $\\{\psi_{\alpha}\\}$ 给了我们一套光滑的、局部的“混合函数”。然后我们将全局度量 $g$ 定义为局部欧几里得度量 $g_{\alpha}$ 的加权平均：

在任何一点 $p$，这都是简单的正定形式的凸组合。因为正定形式的集合是一个凸锥，所以得到的平均值 $g_p$ 也保证是正定的。单位分解的局部有限性确保了求和总是有限的，并且得到的度量是光滑的。

就这样，我们用一堆简单的、平坦的碎布片，编织出了一个光滑的、全局的黎曼度量——几何学的基本织物。这个构造在它的威力和简单性上都令人惊叹。它保证了任何光滑流形都可以被赋予一个黎曼度量，一块可以描绘所有几何学和物理学的画布。这个方法不仅仅是一个存在性证明；它是一个构造性范式。我们得到的度量取决于我们选择的坐标卡和单位分解，这意味着一个流形可以被赋予无限多种不同的几何结构。

这项技术如此强大，以至于我们可以进行几何显微手术般的壮举。想象一下，我们在一个流形的两个重叠区域上有两个不同的度量，我们想创造一个单一的全局度量，它在一个集合 $A$ 上与第一个度量完全匹配，在一个集合 $B$ 上与第二个度量完全匹配。利用单位分解的灵活性，我们可以构造特殊的混合函数，它们在 $A$ 上恰好为 $1$，在 $B$ 上为 $0$（另一个函数则反之），从而使我们能够平滑地将两个度量焊接在一起，同时在我们需要的地方精确地保留它们。我们甚至可以用这种方法给一个带边流形在其边缘附近赋予一个特殊的“乘积”结构，就像给一件衬衫缝上一个整齐的圆柱形领子——这对于研究受限空间中的场论至关重要。

物理学告诉我们，自然的基本定律是对称的。无论你是在纽约还是在东京（平移对称性），或者面朝北还是东（旋转对称性），运动定律都是相同的。当一个流形被赋予了这种由李群 $G$ 的作用所描述的对称性时，我们常常需要我们的几何结构来尊重它。我们能用单位分解来构造 $G$-不变的黎曼度量吗？

当然可以。一个优美的方法是利用群作用本身作为最终的平均工具。首先，你可以用单位分解构造任何一个旧的黎曼度量 $g_0$，完全不考虑对称性。这个度量相对于群作用很可能是“凹凸不平”和不规则的。然后，你可以通过在整个群上取平均来治愈它的不对称性。对于一个拥有自然体积概念（Haar 测度 $\mu$）的紧群 $G$，我们可以通过对 $g_0$ 所有被推动后的版本进行积分来定义一个新的、完全对称的度量 $g$：

这里，$k^*g_0$ 是被群元 $k \in G$ 拉回的度量 $g_0$。最终的度量 $g$ 是光滑的、黎曼的，并且由于其构造方式，是完全 $G$-不变的。单位分解提供了初始的原材料，而群平均提供了对称的修饰。这个两步过程——局部拼凑，然后全局平均以获得对称性——是几何学和物理学中一个反复出现的主题。

单位分解的力量超越了定义背景结构，深入到拓扑学的核心。考虑庞加莱引理（Poincaré Lemma），它是向量微积分及其推广的基石。它指出，在一个“简单”的空间上（一个可缩空间，比如一个球体），任何闭形式 $\omega$（$d\omega=0$）也都是恰当形式（$\omega=d\eta$ 对某个形式 $\eta$ 成立）。可以把它看作是任何旋度为零的向量场都是某个势函数的梯度的陈述。

这在一个单独的坐标球上很容易证明。但是，对于一个更复杂、不仅仅是一个球体的可缩流形，你如何证明它呢？策略是用一族这样的球体 $\\{B_{\alpha}\\}$ 覆盖流形。在每个球体上，局部的庞加莱引理给了我们一个局部原函数 $\eta_{\alpha}$，使得 $d\eta_{\alpha} = \omega$。自然的冲动是尝试用单位分解将这些局部原函数粘合在一起：$\eta \stackrel{?}{=} \sum_{\alpha} \psi_{\alpha} \eta_{\alpha}$。

如果我们计算这个猜测的导数，我们会发现 $d\eta = \omega + (\text{误差项})$，其中误差项是 $\sum_{\alpha} d\psi_{\alpha} \wedge \eta_{\alpha}$。简单的平均失败了！但这不是死胡同；它是一个更深刻故事的开端。误差项本身可以被理解和修正。在两个球 $B_{\alpha} \cap B_{\beta}$ 的重叠部分，局部原函数的差 $\eta_{\alpha} - \eta_{\beta}$ 是闭的，并且由于重叠部分也是可缩的，它必须是恰当的：$\eta_{\alpha} - \eta_{\beta} = d\theta_{\alpha\beta}$。我们可以再次使用单位分解函数，将这些“修正”形式 $\theta_{\alpha\beta}$ 拼凑成一个全局修正项，当从我们最初的猜测中减去它时，会抵消误差。这个优美的、迭代的过程，在其中单位分解被用于多个阶段以定义初始猜测然后构建相继的修正，是该证明的核心。

在层论的高度抽象语言中，整个过程被总结为 de Rham 复形是常数层 $\underline{\mathbb{R}}$ 的一个细分解。微分形式层的“细性”——一个关键的技术属性，它使得整个抽象的上同调机制得以运作——是流形上存在光滑单位分解的直接结果。这个不起眼的单位分解是支撑起一个庞大而强大的理论大厦的关键。

单位分解的影响力在分析和计算这些更应用的世界中同样强大。要在流形上研究偏微分方程（PDEs），需要一种方法来衡量函数的大小和光滑度。这就是 Sobolev 空间 $W^{k,p}(M)$ 的作用。这些空间在弯曲流形上是如何定义的？我们再次从局部片构建它们。我们使用单位分解将一个函数 $u$ 分解为一族函数 $\psi_{\alpha} u$ 的和，每个函数都支承在一个单一的坐标片上。我们将每个部分映射到平坦的 $\mathbb{R}^n$ 上，使用标准微积分在那里测量它的 Sobolev 范数，然后将结果（以一种特定的方式）相加，得到 $u$ 的全局范数。

深层的问题是：这个定义是否依赖于我们对片和混合函数的选择？对于具有“有界几何”的流形——一个粗略地意味着曲率在任何地方都不会失控的条件——答案是否定的。得到的函数空间及其拓扑是流形内蕴的。单位分解作为一个坚固的脚手架，让我们能够将分析工具从平坦空间移植到弯曲世界，并确信最终的构造独立于脚手架本身。

这一原理在计算科学和工程学中找到了直接而强大的应用。在现代求解 PDE 的“无网格方法”中，人们寻求在不需要刚性、预定义网格的情况下逼近解。取而代之的是，人们使用一团散乱的节点。单位分解法（PUM）提供了一种直接从这些节点构造逼近的基函数的方法。光滑的、紧支集的权重函数以每个节点为中心，它们的重叠被仔细控制。充分的重叠确保了用于构建基函数（如移动最小二乘法）的局部“混合”过程是稳定且良态的。紧支集确保了得到的代数系统是稀疏的，从而使计算变得可行。在这里，抽象的单位分解不再只是一个理论工具；它是一个解决从流体动力学到固体力学等现实世界问题的具体数值蓝图。

我们的旅程在概率论的前沿结束。想象一个粒子在弯曲的流形上进行随机行走。它的路径由一个随机微分方程（SDE）描述，其概率密度的演化由一个相应的 PDE 控制。这类过程中一个引人入胜的类别是“退化”的，意味着粒子的随机运动在每一瞬间都受到约束，无法探索所有方向。人们可能会猜测概率分布会“卡住”并且不光滑。

Hörmander 关于亚椭圆性的著名定理表明情况并非如此。如果允许的运动方向，连同通过沿它们来回“摆动”所产生的方向（通过李括号计算），张成了所有可能的方向，那么过程将会扩散开来，其概率密度将是光滑的。这个深刻结果的证明及其对一般流形的推广，关键依赖于局部化论证。问题通过单位分解被分解成小片，在这些小片上可以进行局部分析。微分算子与单位分解函数的交换子的性质是将局部光滑性信息重新拼凑成全局陈述的关键。因此，我们这个简单的粘合工具有助于阐明几何、随机性以及微分方程解的正则性之间微妙的相互作用。

从弯曲世界的定义，到计算其性质和理解其中随机性的实践，单位分解不仅仅是一个工具。它是一种哲学——是对局部到全局原理力量的证明。它是那个沉默的、无名的英雄，使我们能够一次一个简单、平滑连接的片，构建一个连贯、统一的复杂世界理解。