【理解黎曼几何】2. 从勾股定理到黎曼度量
By 苏剑林 | 2016-10-14 | 72704位读者 |黎曼度量 #
几何,英文名是Geometry,原意是大地测量。既然是测量,就必须有参考物,还有得知道如何计算距离。
有了参照物,我们就可以建立坐标系,把每个点的坐标都写下来,至于计算距离,我们有伟大的勾股定理:
$$ds^2 = dx^2 + dy^2 \tag{1} $$
但这里我们忽略了两个问题。
第一个问题是,我们不一定使用直角坐标系,如果使用极坐标,那么应该是
$$ds^2 = dr^2 + r^2 d\theta^2 \tag{2} $$
因此可以联想,最一般的形式应该是
$$ds^2 = E(x^1, x^2)(dx^1)^2 + 2F(x^1, x^2)dx^1 dx^2 + G(x^1, x^2)(dx^2)^2 \tag{3} $$
这里的$x^1,x^2$是广义坐标,使用上标而不是下标来标记序号,是为了跟传统的教材记号一致。那这公式是什么意思呢?其实很简单,正如我们没理由要求全世界都使用人民币一样,我们没必要要求世界各地都使用同一个坐标系,而更合理的做法是,每一处地方都使用自己的坐标系(局部坐标系),然后给出当地计算距离的方法。因此,上述公式正是说,在位置$(x^1, x^2)$处计算向量$(dx^1, dx^2)$的长度的公式(当地的勾股定理)是$ds^2 = E(x^1, x^2)(dx^1)^2 + 2F(x_1, x_2)dx^1 dx^2 + G(x^1, x^2)(dx^2)^2$。
第二个问题是,我们当然不只是研究2维平面,我们还要研究$n$维的空间,因此,最一般的公式是
$$ds^2 = g_{\mu\nu}(\boldsymbol{x}) dx^{\mu} dx^{\nu} \tag{4} $$
这里的$\boldsymbol{x}=(x^1,x^2,\dots,x^n)$,并且使用了爱因斯坦求和约定,即单项式中相同的上下标意味着求和。$g_{\mu\nu}$就是我们所说的黎曼度量,我们可以选择对称的度量,即$g_{\mu\nu}=g_{\nu\mu}$,并且不改变$ds^2$的形式,而整个$ds^2$,根据我们前面的讨论,就是高维空间中不同位置所使用的不同的计算距离的方式而已。这里,我们恢复了几何的测量意义。
另一方面,黎曼度量也可以看成是一种测量的标准。好比各个国家有各自的货币,不尽相同,但如果有一个公式,可以把任意一个国家的货币换算为等价的黄金数量,那么就可以解决不同货币数目的比较问题。黎曼度量有着类似的作用,与其说它给出了不同位置的不同计算距离的方式,倒不如说它统一了各个位置计算距离的方式。
顺便需要说明的是,从只是定义距离的角度来看,我们其实不一定要使用二次型,比如使用3次型、4次型甚至更复杂的形式都可以,但是就实用价值而言,我们只研究二次型的。但即便如此,已经有我们研究不完的问题了。
一些例子 #
什么情况下会产生(或许说需要)非常数的黎曼度量呢?前面已经看到,将直角坐标变换为极坐标,就会出现非常数的黎曼度量,也就是说,哪怕在平直空间中,只要使用曲线坐标系,就会出现非常数的黎曼度量。
此外,弯曲空间的黎曼度量一定是非常数的。有没有一些具体的例子呢?最经典的应该是二维球面了(是二维球面,不是三维球坐标,读者不要弄混了),选定半径为1,那么球面坐标是
$$\left\{\begin{aligned}&x=\sin\theta\cos\varphi\\
&y=\sin\theta\sin\varphi\\
&z=\cos\theta\end{aligned}\right. \tag{5} $$
那么它的黎曼度量就是
$$ds^2=dx^2+dy^2+dz^2=d\theta^2+\sin^2\theta d\varphi^2 \tag{6} $$
另外一个很生动的例子是从《费曼物理学讲义》第二卷中学习到的,假设我们在一个平直的空间中,但空间的温度各处不同。我们用一把热膨胀系数很大的尺子作为我们的测量工具,那么会出现什么结果呢?在温度高的地方,尺子膨胀,那么测量的结果会变小;相反,在温度低的地方,尺子缩小,测量结果会变大。同样的距离,在温度高的地方,可能测量结果是50cm,在温度低的地方,测量的结果是100cm,因此需要一个非常数的度规将它们统一起来——要不就是50乘以2,要不就是100除以2,或者50乘以4、同时100乘以2,等等。不难想到,这时候黎曼度量应该具有的形式是(可以考虑二维的、三维的)
$$ds^2 = f(x,y,z)(dx^2+dy^2+dz^2) \tag{7} $$
这就导致了一个弯曲空间的出现——这时候不是空间“弯曲”了,而是尺子“弯曲”了。这个例子也出现在《费曼引力学讲义》中,据费曼所述,它是Robertson的一个学生发明的。由于明显的物理意义,它也被称为“等温参数”或者“等温坐标系”。事实上,这跟“运动是相对的”有点类似,一个弯曲空间的出现,可能是因为空间本身的弯曲(就像球面那样),也可能是尺子的“弯曲”(就像热膨胀的尺子),但它们的数学结果是一样的。
局部直角坐标系 #
现在我们尝试用矩阵形式来描述黎曼度量。记$\boldsymbol{g}=g_{\mu\nu}, \boldsymbol{x}=x^{\alpha}, d\boldsymbol{x}=dx^\alpha$,这里向量为列向量,并且我们对向量的分量与向量本身不作区分。因此,黎曼度量可以写为
$$ds^2 = d\boldsymbol{x}^T \boldsymbol{g}d\boldsymbol{x} \tag{8} $$
注意到矩阵$\boldsymbol{g}$是对称的,因此一般情况下,可以分解为$\boldsymbol{h}^T \boldsymbol{h}$,$\boldsymbol{h}$是与$\boldsymbol{g}$同阶的矩阵,这时候
$$ds^2 = d\boldsymbol{x}^T \boldsymbol{h}^T \boldsymbol{h} d\boldsymbol{x}=\left(\boldsymbol{h}d\boldsymbol{x}\right)^T\left(\boldsymbol{h}d\boldsymbol{x}\right)=\left|\boldsymbol{h}d\boldsymbol{x}\right|^2 \tag{9} $$
也就是说,最后转化为$\boldsymbol{h}d\boldsymbol{x}$的模长,而这个模长跟平直空间的勾股定理是一致的。我们可以认为,矩阵$\boldsymbol{h}$正好描述了当地的坐标系,在坐标系$\boldsymbol{h}$下的向量$d\boldsymbol{x}$,正是等价于当地的局部直角坐标系的向量$\boldsymbol{h}d\boldsymbol{x}$。或者说,$\boldsymbol{h}$就是从当地坐标系到局部直角坐标系的变换矩阵(雅可比矩阵)。
有了到直角坐标系的变换,我们能够定义很多几何量,这些几何量都是从平直空间延伸过来的。比如给定向量$\boldsymbol{A}=A^{\mu}$,它的模长平方就是
$$|\boldsymbol{h}\boldsymbol{A}|^2 = \boldsymbol{A}^T \boldsymbol{h}^T\boldsymbol{h}\boldsymbol{A}=\boldsymbol{A}^T \boldsymbol{g}\boldsymbol{A}=g_{\mu\nu}A^{\mu}A^{\nu} \tag{10} $$
给定两个向量$\boldsymbol{A}$和$\boldsymbol{B}$,那么它们的内积就是
$$\left(\boldsymbol{h}\boldsymbol{A}\right)^T \left(\boldsymbol{h}\boldsymbol{B}\right)= \boldsymbol{A}^T \boldsymbol{h}^T\boldsymbol{h}\boldsymbol{B}=\boldsymbol{A}^T \boldsymbol{g}\boldsymbol{B}=g_{\mu\nu}A^{\mu}B^{\nu} \tag{11} $$
如果你愿意,还可以定义它们的夹角$\theta$为:
$$\theta=\arccos \frac{g_{\mu\nu}A^{\mu}B^{\nu}}{\sqrt{g_{\mu\nu}A^{\mu}A^{\nu}}\sqrt{g_{\mu\nu}B^{\mu}B^{\nu}}} \tag{12} $$
同时,还可以算两个向量$\boldsymbol{A}$和$\boldsymbol{B}$张成的平行四边形的面积:
$$\left|\boldsymbol{h}\boldsymbol{A}\right| \times \left|\boldsymbol{h}\boldsymbol{B}\right|\times \sin\theta = \sqrt{(g_{\mu\nu}A^{\mu}A^{\nu})(g_{\mu\nu}B^{\mu}B^{\nu})-(g_{\mu\nu}A^{\mu}B^{\nu})^2} \tag{13} $$
如果要算(超)体积分,那么体积元是
$$\det(\boldsymbol{h})\prod_{\alpha} dx^{\alpha} = \sqrt{\det(\boldsymbol{g})} \prod_{\alpha} dx^{\alpha} = \sqrt{g}d\Omega \tag{14} $$
这里$g$是$\det(\boldsymbol{g})$的简记,$d\Omega$是$\prod_{\alpha} dx^{\alpha}$的简记,注意我们有$\det(\boldsymbol{g})=det(\boldsymbol{h}^T \boldsymbol{h})=(\det(\boldsymbol{h}))^2$。$\sqrt{g}$实际上就是一个体积的缩放因子。有了这个结果,我们就可以写出:给定$n$个向量$\boldsymbol{A}^1,\boldsymbol{A}^2,\dots,\boldsymbol{A}^n$,把它们写成列向量的形式,那么它们所张成的平行$n$维体的超体积是
$$\sqrt{g}\det(\boldsymbol{A}^1,\boldsymbol{A}^2,\dots,\boldsymbol{A}^n)\tag{15}$$
这里$(\boldsymbol{A}^1,\boldsymbol{A}^2,\dots,\boldsymbol{A}^n)$是指将这$n$个列向量排成一个$n\times n$的矩阵。
转载到请包括本文地址:https://kexue.fm/archives/3969
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (Oct. 14, 2016). 《【理解黎曼几何】2. 从勾股定理到黎曼度量 》[Blog post]. Retrieved from https://kexue.fm/archives/3969
@online{kexuefm-3969,
title={【理解黎曼几何】2. 从勾股定理到黎曼度量},
author={苏剑林},
year={2016},
month={Oct},
url={\url{https://kexue.fm/archives/3969}},
}
February 25th, 2017
公式(5)的第三行应该为z
谢谢,已修正^_^
February 2nd, 2018
苏神您好,最近在研究流形学习用于NLP,看了您的这两篇关于黎曼几何的入门,有点似懂非懂,还想补一补一些数学背景知识。有些工科数学的基础,学了高数、线代,需要看些什么课程或者教材,才能过渡到黎曼几何?直接看,觉得看不懂。。。谢谢!!
July 29th, 2019
博主你好,空间中如果两点的黎曼度量减小是不是代表两点越靠近,谢谢!
黎曼度量只是一个微元,不是一个距离。你是说两点间的测地线长度吧?如果是测地线长度的话,这句话也有点问题,“靠近”本身是由距离定义的,也就是说“两点间的测地线长度越小,两点就越靠近”这是“靠近”的定义。
谢谢你,不是数学科班出身,有些数学术语看的很头疼,你的解释我懂了!
September 6th, 2020
想请教一下,公式二是怎么推导的?
$ds^2=dx^2+dy^2=(d(r\cos\theta))^2 + (d(r\sin\theta))^2$
自己展开化简。