庞加莱引理
$$ d(d\omega)=0 $$
1. 第一性原理：算符的对易与抵消
在最基础的坐标表示下，假设 $\omega$是一个$0$-形式（即标量函数 $f$），那么：
$$ df = \sum \frac{\partial f}{\partial x_i} dx_i $$
当我们再作用一次 $d$：
$$ d(df) = \sum_{i,j} \frac{\partial^2 f}{\partial x_j \partial x_i} dx_j \wedge dx_i $$
这里发生了两个关键的抵消机制：
解析对称性：根据 Clairaut 定理（或 Schwarz 定理），对二阶全微分而言，求导顺序无关，即 $\frac{\partial^2 f}{\partial x_j \partial x_i} = \frac{\partial^2 f}{\partial x_i \partial x_j}$。
代数反对称性：外积（Wedge product）定义了 $dx_j \wedge dx_i = -dx_i \wedge dx_j$。
对称的系数乘以反对称的基底，求和之后必然为 $0$。这就像是在天平两端放上了完全抵消的砝码，这种消失是逻辑上的必然。
2. 几何直观：边界的边界
如果你偏好直观，庞加莱引理对应的几何事实是：“边界的边界为空”（The boundary of a boundary is empty），即 $\partial(\partial M) = 0$。
根据斯托克斯定理（Stokes’ Theorem）：
$$ \int_M d\omega = \int_{\partial M} \omega $$
如果我们把 $d\omega$替换为$d(d\omega)$：
$$ \int_M d(d\omega) = \int_{\partial M} d\omega = \int_{\partial(\partial M)} \omega $$
因为一个区域的边缘（比如球面的边缘）是不存在的，所以右边恒等于 $0$。为了保持数学体系的自洽，左边的 integrand $d^2\omega$必须恒为$0$。