2026-09-13 · 让孔洞变成零特征值

0. 导读与元结构 (Orientation & Meta-structure)

拓扑学常把一个“洞”写成商空间：闭对象模去恰当对象。例如一阶上同调是

$$H^1=\frac{\ker {\delta }_1}{\mathrm{im}{\delta }_0}.$$

这一定义准确，却给计算留下一个问题：商空间中的元素是等价类，不是唯一向量；而数值线性代数更愿意处理矩阵的核、正交投影和特征值。今天的核心问题是：在有限图及其团复形上，能否为每个上同调类选出一个唯一、可计算的代表？

答案是有限维 Hodge 分解 (finite-dimensional Hodge decomposition)。给余链空间配置内积以后，每个上同调类恰有一个调和代表；第 $k$ 个 Betti 数因此等于第 $k$ 个 Hodge Laplacian 的零特征值重数。于是“孔洞”从商空间语言变成了矩阵零空间。

对象与量词层如下：先固定有限单纯复形 $K$、系数域 $\mathbb{R}$ 与各余链空间上的内积；再对每个次数 $k$ 定义 ${\delta }_k$、伴随 ${\delta }_k^{\ast }$ 和 ${\mathrm{\Delta }}_k$；最后对每个 $k$-余链给出唯一正交分解。主导机制只有三件事：

1. ${\delta }_k{\delta }_{k-1}=0$，即“边界之边界为零”的对偶版本；
2. $⟨{\mathrm{\Delta }}_{k}x,x⟩$ 是两个平方范数之和；
3. 有限维内积空间中 $V=\ker T\oplus \mathrm{im}{T}^{\ast }$。

先修只需有限维线性代数、图的顶点—边关联矩阵和商空间。去向则包括单纯上同调、离散微分形式、拓扑数据分析以及网络流中的势—循环分解。今天是本周一次长度为 $1$ 的漫游篇：它把 7 月 28 日微分形式与 Stokes 定理的连续语言，桥接到图上的有限矩阵计算；并不重复那一篇的流形积分机制。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从图到余链复形

令 $G=(V,E)$ 为有限简单无向图。仅有一维骨架还不够：我们取它的团复形 (clique complex) $K(G)$，即每个完全子图的顶点集都视作一个单形。特别地，每条边是 $1$-单形，每个三角团连同其内部被视作 $2$-单形。

对 $k\ge 0$，令 $C^k(K;\mathbb{R})$ 为实值 $k$-余链空间：其元素是在定向 $k$-单形上的交替函数。若 $\sigma =[v_0,\dots ,v_{k+1}]$ 是定向 $(k+1)$-单形，定义上边缘算子 (coboundary operator)

$$({\delta }_{k}f)(\sigma )=\sum _{i=0}^{k+1}(-1{)}^{i}f([v_0,\dots ,{\hat{v}}_i,\dots ,v_{k+1}]).$$

逐项展开可见，每个删去两个顶点所得的面出现两次且符号相反，故对每个 $k\ge 1$，

$${\delta }_k{\delta }_{k-1}=0.$$

因此

$$\mathrm{im}{\delta }_{k-1}\subseteq \ker {\delta }_k.$$

称 $z\in C^k$ 闭 (closed)，若 ${\delta }_{k}z=0$；称 $z$ 恰当 (exact)，若存在 $a\in C^{k-1}$ 使 $z={\delta }_{k-1}a$。第 $k$ 个上同调空间为

$$H^k(K;\mathbb{R})=\ker {\delta }_k/\mathrm{im}{\delta }_{k-1}.$$

在 $k=1$ 时，$0$-余链是顶点势函数，$1$-余链是有向边流；${\delta }_{0}f$ 给边两端的势差，而 ${\delta }_{1}x$ 给每个三角形边界上的有向环流。

1.2 Hodge Laplacian

给每个 $C^k$ 配置标准内积：选定每个无向单形的一个方向，对相应坐标作 Euclidean 内积。令 ${\delta }_k^{\ast }$ 为 ${\delta }_k$ 的伴随。定义第 $k$ 个 Hodge Laplacian

$${\mathrm{\Delta }}_k={\delta }_k^{\ast }{\delta }_k+{\delta }_{k-1}{\delta }_{k-1}^{\ast },$$

端点次数中缺失的算子按零算子处理。称 $h\in C^k$ 调和 (harmonic)，若 ${\mathrm{\Delta }}_{k}h=0$。

关键不是名称，而是能量恒等式。对任意 $x\in C^k$，

$$⟨{\mathrm{\Delta }}_{k}x,x⟩=⟨{\delta }_{k}x,{\delta }_{k}x⟩+⟨{\delta }_{k-1}^{\ast }x,{\delta }_{k-1}^{\ast }x⟩=\parallel {\delta }_{k}x{\parallel }^2+\parallel {\delta }_{k-1}^{\ast }x{\parallel }^2.$$

右侧两项非负，于是

$$\ker {\mathrm{\Delta }}_k=\ker {\delta }_k\cap \ker {\delta }_{k-1}^{\ast }.$$

换言之，调和余链同时闭且余闭 (coclosed)。这里必须使用正定内积；仅从形式等式 ${\mathrm{\Delta }}_{k}x=0$ 出发而没有能量非负性，不能推出两个分量分别为零。

1.3 有限 Hodge 分解定理

定理（有限维 Hodge 分解）　设 $K$ 是有限单纯复形，$C^k(K;\mathbb{R})$ 配有任意正定内积。则对每个 $k\ge 0$，

$$C^k=\mathrm{im}{\delta }_{k-1}{\oplus }^{\perp }\ker {\mathrm{\Delta }}_k{\oplus }^{\perp }\mathrm{im}{\delta }_k^{\ast }.$$

而且由所选内积确定的映射

$$\ker {\mathrm{\Delta }}_k⟶H^k(K;\mathbb{R}),h⟼[h]$$

是线性同构。因此

$${\beta }_k(K):=\dim H^k(K;\mathbb{R})=\dim \ker {\mathrm{\Delta }}_k,$$

即 ${\beta }_k$ 是 ${\mathrm{\Delta }}_k$ 的零特征值重数。

证明架构。 先由有限维线性代数得到

$$C^k=\ker {\delta }_k{\oplus }^{\perp }\mathrm{im}{\delta }_k^{\ast }.$$

又因 $\mathrm{im}{\delta }_{k-1}\subseteq \ker {\delta }_k$，可在 $\ker {\delta }_k$ 内把这个子空间正交分离：

$$\ker {\delta }_k=\mathrm{im}{\delta }_{k-1}{\oplus }^{\perp }(\ker {\delta }_k\cap (\mathrm{im}{\delta }_{k-1}{)}^{\perp }).$$

而

$$(\mathrm{im}{\delta }_{k-1}{)}^{\perp }=\ker {\delta }_{k-1}^{\ast },$$

故括号中的空间正是 $\ker {\mathrm{\Delta }}_k$。合并两式即得正交分解。

再看上同调。每个闭余链 $z$ 唯一写成

$$z={\delta }_{k-1}a+h,h\in \ker {\mathrm{\Delta }}_k.$$

所以 $[z]=[h]$，每个上同调类至少有一个调和代表。若两个调和余链 $h_1,h_2$ 属于同一类，则 $h_1-h_2\in \mathrm{im}{\delta }_{k-1}$；但差也调和，而调和空间与恰当空间正交，故 $h_1-h_2=0$。存在性与唯一性同时成立。

这也解释了三个假设的作用：有限性保证像空间闭合且正交投影无需泛函分析；正定内积提供能量恒等式；${\delta }^2=0$ 保证“恰当蕴含闭”，从而商空间和三项正交分解都有意义。

1.4 图上的一阶形式：势、孔洞与谱

对团复形的一阶余链，分解成为

$$C^1=\underset{\text{梯度流}}{\underbrace{\mathrm{im}{\delta }_0}}{\oplus }^{\perp }\underset{\text{调和环流}}{\underbrace{\ker {\mathrm{\Delta }}_1}}{\oplus }^{\perp }\underset{\text{三角形涡旋}}{\underbrace{\mathrm{im}{\delta }_1^{\ast }}}.$$

梯度流来自顶点势；余恰当部分由三角形上的 $2$-余链回推；调和部分既没有三角形旋度，也没有顶点净流量，却可能沿未被 $2$-单形填充的孔洞循环。于是一个纯拓扑量 ${\beta }_1$ 可以通过对称半正定矩阵 ${\mathrm{\Delta }}_1$ 的零空间计算出来。

现代延伸。 在滤过复形中，单纯形随尺度加入，普通上同调追踪 Betti 数如何出生与死亡；离散 Hodge 理论则为每一尺度提供调和代表与 Laplacian 谱。零特征值给出精确拓扑，接近零的特征值还携带“近似调和”与几何条件数信息。不过，谱依赖内积和权重，而 Betti 数不依赖：两者不可混称为同一个不变量。

2. 固定模板习题 (Template Exercise)

题目

设 $A\in {\mathbb{R}}^{m\times n}$，$b\in \mathrm{im}A$。证明方程 $Ax=b$ 的全部解中存在唯一的最小 Euclidean 范数解 $x^{†}$，且

$$x^{†}\perp \ker A,\text{等价地}{x}^{†}\in \mathrm{im}{A}^{\mathsf{T}}.$$

进一步，若 $\mathrm{rank}A=m$，证明

$$x^{†}=A^{\mathsf{T}}(A{A}^{\mathsf{T}}{)}^{-1}b.$$

模板识别

信号是“线性约束下的唯一最小范数解”。先不要微分目标函数；应先识别：非空线性方程组的解集是某个特解加上 $\ker A$，最小范数问题因此是把原点正交投影到一个仿射子空间。这个模板也正是从一个上同调等价类中挑出唯一调和代表的线性代数原型。

分级提示

1. 任取一个解 $x_0$，把解集写成 $x_0+\ker A$。
2. 对 $x_0$ 作正交分解 $x_0=u+v$，其中 $u\in (\ker A{)}^{\perp }$、$v\in \ker A$；说明整个解集也可写成 $u+\ker A$。
3. 对任意 $z\in \ker A$，计算 $\parallel u+z{\parallel }^2$；何时取最小值？
4. 满行秩时，先证明 $A{A}^{\mathsf{T}}$ 可逆，再验证题给公式满足约束并位于 $\mathrm{im}{A}^{\mathsf{T}}$。

3. 大家之言 (Mathematician in Their Own Words)

语境。 Bernhard Riemann 在 1854 年关于几何基础的就职资格演讲 Ueber die Hypothesen, welche der Geometrie zu Grunde liegen 中，从多重扩张量与度量关系出发，把 Euclidean 空间置于更广的可能几何之中。该文由 Richard Dedekind 在 Riemann 身后发表于 1867 年；这里采用 William Kingdon Clifford 刊于 Nature, Vol. VIII, Nos. 183–184 的英译，文本由 Trinity College Dublin 数学史档案提供。

Riemann 在进入度量关系的公式研究时说：

“we cannot, it is true, avoid abstract considerations in our formulæ, but at least the results of calculation may subsequently be presented in a geometric form.”

“诚然，我们无法回避公式中的抽象考察；但计算所得的结果，至少可以随后用几何形式呈现。”（今译）

这句话不是主张用图像替代证明。恰恰相反：抽象公式承担坐标无关与可推演性，几何呈现则把计算重新接回对象。今日的 Hodge 分解具有同样的往返结构：${\delta }_k$、${\delta }_k^{\ast }$ 和矩阵零空间是抽象计算层；“势流、涡旋、绕孔环流”是几何解释层。若只保留后者，容易把 $C_3$ 的边界误看成孔；若只保留前者，又看不出零特征值为何值得关心。

这里的作者阐释是：好的表示并非消除抽象，而是让抽象计算在结束时返回几何语义。Riemann 原文讨论的是连续流形的度量关系，并未讨论图 Hodge Laplacian；二者的联系是方法论类比，不是历史影响断言。

4. 反例与边界 (Counterexample & Boundary)

考察两个看起来都有“一圈”的图：三角形 $C_3$ 与四边形 $C_4$，但都取团复形。

4.1 四边形：无旋不一定是梯度

把 $C_4$ 的顶点依次记为 $1,2,3,4$，给边定向

$$1\to 2\to 3\to 4\to 1.$$

令一阶余链 $x$ 在这四条定向边上都取值 $1$。

逐项检查：

1. 无三角形。 $C_4$ 没有 $3$-团，因此 $C^2=0$，从而对每个一阶余链都有 ${\delta }_{1}x=0$。这里“无旋”只检查三角形，不会自动检查四边形整圈。
2. 无散度。 每个顶点恰有一条单位流入和一条单位流出，所以 ${\delta }_0^{\ast }x=0$（整体符号约定不影响零值）。
3. 调和。 由能量恒等式，前两项推出 $x\in \ker {\mathrm{\Delta }}_1$。
4. 不是梯度。 若 $x={\delta }_{0}f$，沿四条边求和便有

$$(f(2)-f(1))+(f(3)-f(2))+(f(4)-f(3))+(f(1)-f(4))=4,$$

左边望远镜相消为 $0$，矛盾。因此 $x\notin \mathrm{im}{\delta }_0$。

故“${\delta }_{1}x=0$ 蕴含 $x={\delta }_{0}f$”是假的；缺失的障碍正是非零调和分量。事实上 ${\beta }_1(C_4)=1$。

4.2 三角形：画出来的圈已被填平

$C_3$ 的团复形包含一个 $2$-单形 $[1,2,3]$。在三条边上取同方向单位环流 $y$，则

$$({\delta }_{1}y)([1,2,3])=1+1+1=3\ne 0.$$

所以它不是闭余链，更不是调和余链。一般地，若一个边流在 $C_3$ 上无散度，则三条定向边的值相同；再要求三角形旋度为零，便得到 $3c=0$，在 $\mathbb{R}$ 上只能有 $c=0$。于是 ${\beta }_1(C_3)=0$。

边界由此暴露出来：拓扑属于所选单纯复形，而不只属于一维骨架的视觉轮廓。 若把三角团填成 $2$-单形，三边环被杀死；若数据模型只保留图而不填三角形，结论会改变。另一个较隐蔽的边界是系数与内积：上述正交证明使用 $\mathbb{R}$ 上的正定内积；在一般有限域上没有同样的正交能量论证。上同调仍可定义，但“调和核等于上同调”的这一套实内积实现不能原样搬用。

5. 今日一问与数学地图 (Question & Map)

今日一问。 固定有限单纯复形 $K$，但把各定向单形的标准内积改成任意正权内积。证明或反驳下列二句，并明确区分“子空间本身”与“维数”：

1. 调和空间 $\ker {\mathrm{\Delta }}_k$ 不随权重改变；
2. 调和空间的维数 $\dim \ker {\mathrm{\Delta }}_k$ 不随权重改变。

进一步可在 $C_4$ 上给四条边不同正权，写出代表唯一非零一阶上同调类的加权调和流，观察它为何通常不再是四边等值。

方向提示。 每组正权仍给出一次 Hodge 分解，并把调和空间同构到同一个商空间 $H^k(K;\mathbb{R})$；但这个同构通过“取正交代表”实现，正交概念本身依赖权重。

数学地图：

$$\begin{array}{c}\text{图的关联矩阵与有限维正交投影}\\ \downarrow \\ {\delta }^2=0⟶\text{余链、闭与恰当}\\ \downarrow \\ {\mathrm{\Delta }}_k={\delta }_k^{\ast }{\delta }_k+{\delta }_{k-1}{\delta }_{k-1}^{\ast }\\ \downarrow \\ \text{调和代表}⟷H^k⟷{\beta }_k\\ \swarrow \downarrow \searrow \\ \text{离散微分形式}\text{持续上同调}\text{网络排序与环流分解}\\ \downarrow \\ \text{加权 Hodge 理论、谱隙与高阶网络}\end{array}$$

值得保留的分界是：上同调类是拓扑对象；调和代表是选定内积后的典范坐标；非零谱则进一步混合了组合结构与权重几何。

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：仿射解空间的正交投影与勾股极小化。

因为 $b\in \mathrm{im}A$，存在一个特解 $x_0$ 满足 $A{x}_0=b$。任意 $x$ 满足 $Ax=b$ 当且仅当

$$A(x-x_0)=0,$$

即 $x-x_0\in \ker A$。故解集为仿射子空间

$$S=x_0+\ker A.$$

在有限维 Euclidean 空间中作唯一正交分解

$$x_0=u+v,u\in (\ker A{)}^{\perp },v\in \ker A.$$

由于 $v+\ker A=\ker A$，有

$$S=u+\ker A.$$

因此每个解唯一写成 $u+z$，其中 $z\in \ker A$。由 $u\perp z$，勾股恒等式给出

$$\parallel u+z{\parallel }^2=\parallel u{\parallel }^2+\parallel z{\parallel }^2\ge \parallel u{\parallel }^2,$$

等号当且仅当 $z=0$。所以 $x^{†}=u$ 是唯一最小范数解，而且

$$x^{†}\in (\ker A{)}^{\perp }.$$

有限维基本子空间定理给出

$$(\ker A{)}^{\perp }=\mathrm{im}{A}^{\mathsf{T}},$$

故题目中的两个刻画等价。

现在假设 $\mathrm{rank}A=m$。若 $y\in \ker (A{A}^{\mathsf{T}})$，则

$$0=y^{\mathsf{T}}A{A}^{\mathsf{T}}y=\parallel A^{\mathsf{T}}y{\parallel }^2,$$

故 $A^{\mathsf{T}}y=0$。由于 $A$ 满行秩，$A^{\mathsf{T}}:{\mathbb{R}}^m\to {\mathbb{R}}^n$ 为单射，于是 $y=0$。因此方阵 $A{A}^{\mathsf{T}}$ 可逆。

令

$$\tilde{x}=A^{\mathsf{T}}(A{A}^{\mathsf{T}}{)}^{-1}b.$$

一方面，

$$A\tilde{x}=A{A}^{\mathsf{T}}(A{A}^{\mathsf{T}}{)}^{-1}b=b,$$

所以 $\tilde{x}\in S$；另一方面，$\tilde{x}\in \mathrm{im}{A}^{\mathsf{T}}=(\ker A{)}^{\perp }$。根据前面已经证明的唯一刻画，$\tilde{x}=x^{†}$。故

$$\boxed{{\displaystyle x^{†}=A^{\mathsf{T}}(A{A}^{\mathsf{T}}{)}^{-1}b}}.$$

这个证明没有把“最小范数”当作额外计算技巧，而是把它识别为：在等价类 $x_0+\ker A$ 中选取唯一正交代表。Hodge 调和代表使用的是同一个模板。

资料与来源 (Sources)

1. Lek-Heng Lim, “Hodge Laplacians on Graphs,” arXiv:1507.05379v4, revised 18 August 2019. 本文第 2、3、5 节给出矩阵条件 $AB=0$ 下的 Hodge 分解、图上的 grad/curl/div、$C_3$ 与 $C_4$ 例子及完整线性代数证明。摘要页：https://arxiv.org/abs/1507.05379 ；全文：https://arxiv.org/pdf/1507.05379v4
2. Bernhard Riemann, “Ueber die Hypothesen, welche der Geometrie zu Grunde liegen,” 1854 年演讲，Richard Dedekind 身后刊布于 Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Vol. 13 (1867). Trinity College Dublin 数学史档案的德文文本与版本说明：https://www.maths.tcd.ie/pub/HistMath/People/Riemann/Geom/Geom.html
3. Bernhard Riemann, “On the Hypotheses which lie at the Bases of Geometry,” trans. William Kingdon Clifford, Nature, Vol. VIII, Nos. 183–184, pp. 14–17, 36–37. 本期“大家之言”的英文引文核自该转录：https://www.maths.tcd.ie/pub/HistMath/People/Riemann/Geom/WKCGeom.html