【理解黎曼几何】7. 高斯-博内公式
By 苏剑林 | 2016-10-21 | 37386位读者 |令人兴奋的是,我们导出黎曼曲率的途径,还能够让我们一瞥高斯-博内公式( Gauss–Bonnet formula)的风采,真正体验一番研究内蕴几何的味道。
高斯-博内公式是大范围微分几何学的一个经典的公式,它建立了空间的局部性质和整体性质之间的联系。而我们从一条几何的路径出发,结合一些矩阵变换和数学分析的内容,逐步导出了测地线、协变导数、曲率张量,现在可以还可以得到经典的高斯-博内公式,可见我们在这条路上已经走得足够远了。虽然过程不尽善尽美,然而并没有脱离这个系列的核心:几何直观。本文的目的,正是分享黎曼几何的一种直观思路,既然是思路,以思想交流为主,不以严格证明为目的。因此,对于大家来说,这个系列权当黎曼几何的补充材料吧。
形式改写 #
首先,我们可以将式$(48)$重写为更有几何意义的形式。从
$$\Delta A^{\mu} =-R^{\mu}_{\alpha\beta\gamma} A^{\alpha} dx^{\beta}\delta x^{\gamma}=-g^{\mu\nu}R_{\nu\alpha\beta\gamma} A^{\alpha} dx^{\beta}\delta x^{\gamma} \tag{54} $$
出发,交换$\beta, \gamma$位置,得到
$$\Delta A^{\mu} =-g^{\mu\nu}R_{\nu\alpha\gamma\beta} A^{\alpha} dx^{\gamma}\delta x^{\beta} \tag{55} $$
利用$R_{\nu\alpha\beta\gamma}=-R_{\nu\alpha\gamma\beta}$,两式相加,得到
$$\begin{aligned}\Delta A^{\mu} =&-\frac{1}{2}g^{\mu\nu}R_{\nu\alpha\beta\gamma} A^{\alpha} (dx^{\beta}\delta x^{\gamma}-dx^{\gamma}\delta x^{\beta})\\
=&-\frac{1}{2}g^{\mu\nu}R_{\nu\alpha\beta\gamma} A^{\alpha} \det\begin{pmatrix} dx^{\beta} & \delta x^{\beta}\\ dx^{\gamma} & \delta x^{\gamma}\end{pmatrix}
\end{aligned} \tag{56} $$
这个式子的一般几何意义需要用外微分、曲面积分等内容诠释,我们不作讨论。但我们可以在二维空间这个特例中(即考虑三维欧式空间的二维曲面)考虑,这样几何意义变得清晰起来。在$n=2$时,每个求和指标实际上只有两项求和。即
$$\Delta A^{\mu} = -\frac{1}{2}\sum_{\nu=1}^2 \sum_{\alpha=1}^2\sum_{\beta=1}^2\sum_{\gamma=1}^2 g^{\mu\nu}R_{\nu\alpha\beta\gamma} A^{\alpha} \det\begin{pmatrix} dx^{\beta} & \delta x^{\beta}\\ dx^{\gamma} & \delta x^{\gamma}\end{pmatrix} \tag{57} $$
可以先算$\beta,\gamma$的求和,因为行列式的存在,实际上只有$\beta \neq \gamma$时有意义,然后再利用$R_{\nu\alpha\beta\gamma}=-R_{\nu\alpha\gamma\beta}$,得到
$$\Delta A^{\mu} = -\sum_{\nu=1}^2 \sum_{\alpha=1}^2 g^{\mu\nu}R_{\nu\alpha 12} A^{\alpha} \det\begin{pmatrix} dx^{1} & \delta x^{1}\\ dx^{2} & \delta x^{2}\end{pmatrix} \tag{58} $$
接着考虑$\nu,\alpha$的求和,类似地也只有$\nu\neq\alpha$的时候才有意义,而且也有反对称$R_{\nu\alpha\beta\gamma}=-R_{\alpha\nu\beta\gamma}$,因此,可以得到
$$\Delta A^{\mu} = - (g^{\mu 1} A^{2}-g^{\mu 2} A^{1}) R_{12 12}\det\begin{pmatrix} dx^{1} & \delta x^{1}\\ dx^{2} & \delta x^{2}\end{pmatrix} \tag{59} $$
改写成
$$\Delta A^{\mu} = - \sqrt{g}(g^{\mu 1} A^{2}-g^{\mu 2} A^{1}) \frac{R_{12 12}}{g}\sqrt{g}\det\begin{pmatrix} dx^{1} & \delta x^{1}\\ dx^{2} & \delta x^{2}\end{pmatrix} \tag{60} $$
注意到,在二维空间中,$\sqrt{g}\det\begin{pmatrix} dx^{1} & \delta x^{1}\\ dx^{2} & \delta x^{2}\end{pmatrix}$是有明确的几何意义的,它就是向量$(dx^1, dx^2)$和向量$(\delta x^1, \delta x^2)$张成的四边形的面积(参考式$(15)$的结果),我们简单记为$\Delta S$。而$\frac{R_{12 12}}{g}$正好是微分几何中定义的高斯曲率$K$,因此可以写成
$$\Delta A^{\mu} = - \sqrt{g}(g^{\mu 1} A^{2}-g^{\mu 2} A^{1}) K\Delta S \tag{61} $$
角差变化 #
现在,我们可以分析,向量$A^{\mu}$变到了$A^{\mu}+\Delta A^{\mu}$之后,这两个向量的夹角是多少。假设$A^{\mu}$是单位向量,那么先要计算内积
$$\begin{aligned}&\frac{g_{\mu\nu}A^{\mu}(A^{\nu}+\Delta A^{\nu})}{\sqrt{g_{\mu\nu}A^{\mu}A^{\nu}}\sqrt{g_{\mu\nu}(A^{\mu}+\Delta A^{\mu})(A^{\nu}+\Delta A^{\nu})}}\\
=&\frac{1+g_{\mu\nu}A^{\mu}\Delta A^{\nu}}{\sqrt{1+2g_{\mu\nu}A^{\mu}\Delta A^{\nu}+g_{\mu\nu}\Delta A^{\mu}\Delta A^{\nu}}} \end{aligned}\tag{62} $$
因为$\cos \Delta \theta = 1-\frac{\Delta\theta^2}{2}+\dots$,因此我们要算到二阶项,即$\Delta A^{\mu} \Delta A^{\nu}$这一项,近似到二阶,结果为
$$1-\frac{1}{2}\left[g_{\mu\nu}\Delta A^{\mu}\Delta A^{\nu}-(g_{\mu\nu}A^{\mu}\Delta A^{\nu})^2 \right] \tag{63} $$
所以
$$\begin{aligned}\Delta \theta =& \sqrt{g_{\mu\nu}\Delta A^{\mu}\Delta A^{\nu}-(g_{\mu\nu}A^{\mu}\Delta A^{\nu})^2}\\
=&\sqrt{(g_{\mu\nu} A^{\mu} A^{\nu})(g_{\mu\nu}\Delta A^{\mu}\Delta A^{\nu})-(g_{\mu\nu}A^{\mu}\Delta A^{\nu})^2} \end{aligned}\tag{64} $$
这实际上就是$A^{\mu}$与$\Delta A^{\mu}$张成的平行四边形的面积,在$n=2$时,也就是$\sqrt{g} \det\begin{pmatrix}A_1 & \Delta A_1\\ A_2 & \Delta A_2\end{pmatrix}=\sqrt{g} (A^{1}\Delta A^{2}-A^{2}\Delta A^{1})$,这时候代入$\Delta A^{1}, \Delta A^{2}$的表达式,就得到
$$\Delta \theta = g\left[g^{22}(A^1)^2-g^{12}A^2 A^1 - g^{21}A^1 A^2+g^{11}(A^2)^2\right]K\Delta S \tag{65} $$
对于二阶矩阵,有一个求逆公式
$$\begin{aligned}\begin{pmatrix} g_{11} & g_{12} \\ g_{21} & g_{22}\end{pmatrix}^{-1}=&\frac{1}{g_{11}g_{22}-g_{12}g_{21}}\begin{pmatrix} g_{22} & -g_{12} \\ -g_{21} & g_{11} \end{pmatrix}\\
=&\frac{1}{g}\begin{pmatrix} g_{22} & -g_{12} \\ -g_{21} & g_{11} \end{pmatrix} \end{aligned}\tag{66} $$
因此
$$g^{11}=\frac{g_{22}}{g},\,g^{12}=-\frac{g_{12}}{g},\,g^{21}=-\frac{g_{21}}{g},\,g^{22}=\frac{g_{11}}{g} \tag{67} $$
代入式$(65)$得到
$$\Delta \theta = [g_{11} (A^1)^2 + g_{12} A^1 A^2 + g_{21} A^2 A^1 + g_{22} (A^2)^2 ] K\Delta S = K\Delta S \tag{68} $$
最后一个等号是因为开始就假定了$A^{\mu}$是单位向量。这样,一个向量沿着小闭合曲线回来之后产生的角差,等于高斯曲率$K$和面元$\Delta S$的乘积。因此,我们可以推得,如果向量沿着大范围的闭合曲线$\mathbb{C}$平行移动回来,那么变化量则表示为面积分
$$\Delta \theta = \int_{\mathbb{C}} K d S \tag{69} $$
这就是微分几何中的高斯-博内公式的主要内容,即角差等于高斯曲率的面积分,诸如球面三角形的内角和等内容都与它有关。它是整体微分几何的开山之作之一。
一点评述 #
值得一提的是,我们上述的讨论完全是内蕴的,也就是没有引入三维空间的曲面的概念,这是很吸引人的。大数学家陈省身自己说过,他一生最好的工作就是高维高斯-博内特公式的内蕴证明(在他之前的证明是外蕴的)。可以看到,纯粹内蕴的工作是研究黎曼几何的追求。当然,我们这里最多是一个形象的引导,说不上一个完整的证明。但对于本系列来说,这个程度足够了。
注意到,读者可能困惑的一点是:作为体积,应该是非负的,但是如果写成矩阵行列式的形式,则有正有负,似乎存在矛盾。这在不引入外微分的前提之下,确实比较难澄清。在初等的分析范畴内,唯一的解决办法是,如果出现负体积,就直接加绝对值了。
转载到请包括本文地址:https://kexue.fm/archives/4033
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (Oct. 21, 2016). 《【理解黎曼几何】7. 高斯-博内公式 》[Blog post]. Retrieved from https://kexue.fm/archives/4033
@online{kexuefm-4033,
title={【理解黎曼几何】7. 高斯-博内公式},
author={苏剑林},
year={2016},
month={Oct},
url={\url{https://kexue.fm/archives/4033}},
}
最近评论