从行列式到外微分

luyuanhong

从行列式到外微分

原创  煦若射  机器学习与数学  2025 年 07 月 30 日 22:11  浙江

引言：从熟悉到陌生，从具体到抽象

想象一下，你小学时学过长方形面积，中学时学过平行四边形面积，高中时学过平行六面体体积。这些呢都是几何学里最基本的「量」。但如果图形是弯曲的呢？如果空间本身是弯曲的呢？我们如何定义「微小的面积」或「微小的体积」，并把它们加起来求出总的量？

这就是我们今天要探讨的核心问题。而答案，就藏在从「行列式」到「外微分」的演进中。本文我们将看到：

行列式：最初是为了解决线性方程组而生，却意外地揭示了几何中「有向体积」的奥秘。

格拉斯曼（Hermann Grassmann）：一位被低估的天才，他看到行列式背后更深层次的代数结构，并创造了「外代数」，赋予几何量以代数运算的能力。

庞加莱（Henri Poincaré） 和埃利·嘉当（Elie Cartan）：两位数学巨擘，他们将格拉斯曼的「外代数」思想与微积分结合，创造了「外微分」，使我们能够在弯曲空间中优雅地进行微分和积分运算。

应用案例：从电磁学到广义相对论，外微分无处不在，它以简洁而强大的语言描述了物理世界的奥秘。

这是一场从「数」到「形」再到「流形」的抽象升级，最终指向物理世界中最本质的规律。

第一站：行列式，有向体积的开端

要理解外微分，我们必须从行列式开始。因为行列式正是外微分概念的「萌芽」。

1.1 行列式的诞生：求解线性方程组的利器

背景人物：

● 戈特弗里德·威廉·莱布尼茨（Gottried Wilhelm Leibniz, 1646-1716）：这位与牛顿共享微积分发明权的德国数学家，在 17 世纪末就提出了行列式的概念，用于解决线性方程组。他发现，当方程组的系数按照一定规则排列成方阵时，可以用一个特定的「组合」来判断方程组是否有唯一解。

● 加布里埃尔·克拉默（Gabriel Cramer, 1704-1752）：18 世纪瑞士数学家，以「克拉默法则」闻名，它系统地利用行列式来表示线性方程组的解。

● 奥古斯丁·路易·柯西（Augustin-Louis Cauchy, 1789-1857）：法国数学家，他在 19 世纪初给出了行列式的现代定义，并系统研究了其性质。

动机：



1.2 行列式的几何意义：有向面积与有向体积

仅仅是解方程组，还不足以揭示行列式的全部魅力。它的几何意义才是通向外微分的关键。

二维情况：有向面积



三维情况：有向体积

类似地，对于三维空间中的三个向量 v1,v2,v3 ，它们张成的平行六面体的体积就是由它们组成的矩阵的行列式的绝对值。而行列式的符号则表示了这三个向量的「手性」（是右手系还是左手系）。这被称为「有向体积」。

1.3 行列式的核心性质

无论维度高低，行列式都具有一些关键性质，而这些性质正是外微分概念的基石：



这些性质看起来简单，但却是至关重要的。它们告诉我们，行列式不仅仅是一个数字，它是一种能够「测量」由向量张成的「有向体积」的工具，并且这种测量方式具有特殊的对称性。

1.4 行列式的局限性

行列式很强大，但它也有局限性：

● 它需要输入固定数量的向量（比如 n 维空间就需要 n 个向量）。

● 它在欧几里得空间（平直空间）中表现良好。但如果我们的空间是弯曲的（比如地球表面），我们如何测量其上的「微小面积」或「微小体积」呢？

● 我们如何将这些「微小量」联系起来，并对它们进行微积分运算呢？

这些问题指向了更普遍、更抽象的数学结构，即外代数和外微分。

第二站：格拉斯曼的外代数，几何量的代数化

在行列式作为几何工具的背后，还隐藏着更深层的代数结构，这要归功于一位被长期忽视的天才。

2.1 背景人物：赫尔曼·格拉斯曼（Hermann Grassmann, 1809-1877）

一位特立独行的天才：格拉斯曼是 19 世纪德国的数学家、语言学家、物理学家和出版商。他最著名的数学工作是他在 1844 年出版的《线形扩张论》(Die Ausdehnungslehre），这部著作提出了「向量空间」、「线性独立」、「维度」等现代线性代数的核心概念，并且引入了我们今天称之为「外积」或「楔积」的运算。

生不逢时：格拉斯曼的思想超前于时代，他的著作晦涩难懂，且与当时主流的数学研究方向格格不入。他的工作在当时几乎无人问津，甚至被当时的数学界误解和忽视。他一度放弃数学研究，转而投身语言学，成为梵语和哥特语的专家。直到 20 世纪初，他的工作才被庞加莱、埃利·嘉当等人重新发现和重视，并逐渐成为现代数学和物理学的基石。

2.2 动机：给几何对象以「乘法」

格拉斯曼的动机非常纯粹：他希望创建一个统一的数学系统，能够直接地、代数地表示和操作几何对象（如点、线段、平面、体积），而不仅仅是它们的数值属性。他观察到：

● 向量的加法可以表示力的合成，位移的叠加。

● 向量与标量的乘法可以表示向量的伸缩。

● 但如何表示两个向量「张成」的面积？如何表示三个向量「张成」的体积？

他需要一种新的「乘法」来捕捉这种几何张成关系，并且这种乘法要能反映行列式的那些重要性质（特别是交错性）。

2.3 外积（楔积）：∧ 符号的诞生



2.4 外代数（Exterior Algebra）

格拉斯曼的外积运算构成了外代数。

● 0-形式（0-forms）：标量（常数）。

● 1-形式（1-forms）：向量（更准确地说是对偶向量，但为了通俗理解，可以暂时看作是向量）。它们是能够输入一个向量并输出一个标量的线性函数。例如，一个力矢量，可以看作一个 1-形式，当作用在一个位移向量上时，输出做功（标量）。

● 2-形式（2-forms）：由两个 1-形式的外积构成，代表有向面积元素。它们输入两个向量，输出一个标量（比如通过这个面积的通量）。

● k-形式（k-forms）：由 k 个 1-形式的外积构成，代表 k 维有向体积元素。

外代数提供了一个描述几何对象及其「张成」关系的统一代数框架。它比传统的向量代数更强大，因为它能直接操作高维度的几何量。

第三站：埃利·嘉当的外微分，在弯曲空间中跳舞

格拉斯曼奠定了外代数的基础，但要将其应用于微积分和复杂的几何结构（如曲面和流形），还需要更多的工作。

3.1 背景人物：庞加莱与埃利·嘉当

儒勒·亨利·庞加莱（Jules Henri Poincaré, 1854-1912）：法国数学家、物理学家和理论家，被誉为「最后一位全能的数学家」。他在拓扑学、动力系统、数论等领域都有卓越贡献。他独立地发展了类似外微分的思想，并在他的拓扑学著作中引入了「微分形式」的概念，特别是著名的「庞加莱引理」（ d^2=0 ）。

埃利·约瑟夫·嘉当（Elie Joseph Cartan, 1869-1951）：法国数学家，黎曼几何和李群理论的奠基人之一。他系统地发展了外微分（differential forms）理论，并将其广泛应用于微分几何、拓扑学和物理学。他将格拉斯曼的外代数与黎曼几何结合起来，使得在任意弯曲空间中进行微积分成为可能。可以说，是他让外微分理论真正成熟并发挥出巨大威力。

3.2 动机：推广微积分的「基本定理」



在多元微积分中，我们有：

● 格林公式（Green's Theorem）：将平面上的二重积分与曲线积分联系起来。

● 高斯散度定理（Gauss's Divergence Theorem）：将三维空间中的三重积分与闭合曲面积分联系起来。

● 斯托克斯定理（Stokes' Theorem）：将三维空间中的曲面积分与闭合曲线积分联系起来。

这些定理看起来各不相同，但庞加莱和嘉当发现，它们其实都是同一个普适定理在不同维度和不同空间上的特殊情况。这个普适定理就是广义斯托克斯定理，而实现这一推广的关键就是「外微分」。

3.3 微分形式（Differential Forms）：在每一点上测量的工具



3.4 外微分（Exterior Derivative）：微分算子的统一



3.5 外微分的核心性质：d^2=0



3.6 广义斯托克斯定理：微积分的终极统一



第四站：外微分的应用案例，物理学的简洁语言

外微分不仅是纯数学的瑰宝，更是物理学描述自然规律的强大工具。它的抽象性和普适性使其在多个领域都大放异彩。

4.1 电磁学：麦克斯韦方程组的优雅表达

这是外微分最经典、最震撼的应用之一。传统的麦克斯韦方程组在笛卡尔坐标系下有八个分量，看起来有些复杂。但用微分形式表达，它们可以浓缩成两个惊人简洁的方程。



4.2 广义相对论：描述引力与时空的语言

背景：阿尔伯特·爱因斯坦（Albert Einstein , 1879-1955）：20 世纪最伟大的物理学家之一，创立了相对论。广义相对论将引力解释为时空的弯曲，而描述这种弯曲的数学工具正是微分几何，其中外微分扮演了关键角色。

应用：广义相对论的核心是爱因斯坦场方程，它将时空的弯曲（由黎曼曲率张量描述）与物质和能量的分布（由能量-动量张量描述）联系起来。在更高级的微分几何和理论物理中，外微分被用来构建和操作描述时空几何的张量，例如曲率形式（curvature forms）和挠率形式（torsion forms）。这些形式用微分形式的语言描述了时空如何弯曲，以及粒子如何在其中运动。虽然方程本身很复杂，但外微分提供了处理这些复杂几何对象的强大代数工具。

4.3 拓扑学与微分几何：连接分析与几何

德拉姆上同调（de Rham Cohomology）： 前面提到的  d^2=0 这一性质，正是连接分析（通过微分形式和外微分）与拓扑（通过空间的「洞」或「连通性」）的桥梁。德拉姆上同调利用微分形式的闭性（dω=0）和恰当性（ω=dα）来定义空间的拓扑不变量。这些不变量可以告诉我们空间有多少个「洞」，以及这些「洞」是如何排列的。例如，圆环（轮胎面）与球体在拓扑上是不同的，德拉姆上同调可以区分它们。

流形上的积分与几何不变量： 外微分提供了一套在任意光滑流形（如曲面、高维几何体）上定义积分和微分的普适框架。这对于研究流形的几何性质（如曲率、体积）至关重要。

4.4 流体力学与连续介质力学：守恒定律的表达

质量守恒、动量守恒：在流体力学中，外微分可以简洁地表达连续性方程（质量守恒）和纳维-斯托克斯方程（动量守恒）。流体的流量、涡量等概念都可以用微分形式来描述。例如，涡量（Vorticity）可以自然地表示为一个 2-形式，而通过曲面的流量则可以表示为一个 1-形式的积分。

4.5 控制理论与机器人学：Pfaffian 约束

非完整系统：在机器人学和控制理论中，有些系统具有「非完整约束」，即它们的运动不能在任意方向上进行。例如，一个轮式机器人不能侧向移动。这些约束可以用「Pfaffian 形式」（即 1-形式）来表示。外微分在这里可以帮助分析这些约束的可积性，从而确定系统是否能够达到某个状态，以及如何控制它们。

总结：从行列式到外微分，一场数学思想的统一盛宴

我们回顾了这段从「行列式」到「外微分」的旅程：

行列式：最初作为线性方程组的工具，揭示了「有向体积」的几何意义，并体现了线性性和反对称性。它是一个静态的、局部的测量工具。

格拉斯曼的外代数：将行列式背后的代数结构抽象出来，引入了「外积」运算 ，创造了能够直接表示和操作高维几何量（有向面积、有向体积）的代数系统。这是从具体数值到抽象几何对象的飞跃。

庞加莱与埃利·嘉当的外微分：将格拉斯曼的外代数思想与微积分结合，创造了「微分形式」和「外微分算子 」。

● 微分形式：在每一点上赋予空间一个高维的「测量工具」，它能够在弯曲空间中捕捉局部几何信息。

● 外微分 d ：统一了梯度、旋度、散度等概念，将它们概括为一个普适的「变化率」操作。其核心性质  d^2=0 更是连接了分析与拓扑。

● 广义斯托克斯定理：是这场统一之旅的顶点，它将经典微积分的所有基本定理融为一炉，展现了微分与积分在任意维度和任意形状流形上的普遍联系。

外微分，这门在 20 世纪才真正大放异彩的学科，以其无与伦比的优雅、简洁和强大，成为了现代数学（特别是微分几何、拓扑学）和理论物理（电磁学、广义相对论）不可或缺的语言。它教会我们如何从一个更抽象、更普遍的视角去理解和描述空间、量、变化和守恒定律。它证明了，越是本质的规律，其数学表达往往越是简洁和统一。

这是一场从「数」到「形」，再到「描述形的变化和关系的通用语言」的宏大叙事。它不仅仅是工具，更是一种看待世界、理解世界的方式。

机器学习与数学