在微分几何中,第一基本形式(first fundamental form)是三维欧几里得空间中一个曲面的切空间中内积,由 R3 中标准点积诱导。它使得曲面的曲率和度量性质(比如长度与面积)可与环绕空间一致地计算。第一基本形式用罗马数字 I 表示:
![{\displaystyle \mathrm {I} (v,w)=\langle v,w\rangle .\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c21fb5edbda1d8c1cbaf71d18ab62193f19fd545)
设
是一个参数曲面,则两个切向量的内积为
![{\displaystyle {\begin{aligned}&{}\quad \mathrm {I} (aX_{u}+bX_{v},cX_{u}+dX_{v})\\&=ac\langle X_{u},X_{u}\rangle +(ad+bc)\langle X_{u},X_{v}\rangle +bd\langle X_{v},X_{v}\rangle \\&=Eac+F(ad+bc)+Gbd,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48b92589e582e02dfafa8ffa6aa576250f1d641d)
这里 E, F,与 G 是第一基本形式的系数。
第一基本形式可以表示为一个对称矩阵
![{\displaystyle \mathrm {I} (v,w)=v^{T}{\begin{pmatrix}E&F\\F&G\end{pmatrix}}w.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5540846521efc47aaa0340139b3c8fd0d9531845)
进一步的记号[编辑]
当第一基本形式写成一个参数时,它表示向量与自己的内积,
![{\displaystyle \mathrm {I} (v)=\langle v,v\rangle =|v|^{2}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df1161468a64839d4e6880b44e560d4d0be5963a)
第一基本形式写成现代记法的度量张量。系数则可以写做
:
![{\displaystyle \left(g_{ij}\right)={\begin{pmatrix}g_{11}&g_{12}\\g_{21}&g_{22}\end{pmatrix}}={\begin{pmatrix}E&F\\F&G\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71d4809464925be98b9a5cf2dda76d3c3c2693a8)
这个张量的分量是切向量 X1 与 X2 的数量积:
![{\displaystyle g_{ij}=X_{i}\cdot X_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e51ee78215acc30fecc3462d245f351699742c7f)
对 i, j = 1, 2。具体例子可见下一节。
变数变换[编辑]
如果有一个曲面具有两个表示参数
以及
,则二者的第一基本形式的系数
与
存在一个关系:
,其中
,所以说可以有
计算长度与面积[编辑]
第一基本形式完全描述了曲面的度量性质。从而,它使我们可以计算曲面上曲线的长度与区域的面积。线元素可以用第一基本形式的系数表示为:
.
由
给出的经典面积元素可以用第一基本形式的系数利用拉格朗日恒等式写出,
![{\displaystyle dA=|X_{u}\times X_{v}|\ du\,dv={\sqrt {\langle X_{u},X_{u}\rangle \langle X_{v},X_{v}\rangle -\langle X_{u},X_{v}\rangle ^{2}}}\ du\,dv={\sqrt {EG-F^{2}}}\,du\,dv.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94bc50150062b0abf22e881fd05a43c8c2f3bce5)
R3 中单位球面可如下参数化
![{\displaystyle X(u,v)={\begin{pmatrix}\cos u\sin v\\\sin u\sin v\\\cos v\end{pmatrix}},\ (u,v)\in [0,2\pi )\times [0,\pi ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a4c1a466d0d7ec5b4abd16c550f47bfbf26625d)
分别对 u 和 v 微分得出
![{\displaystyle X_{u}={\begin{pmatrix}-\sin u\sin v\\\cos u\sin v\\0\end{pmatrix}},\ X_{v}={\begin{pmatrix}\cos u\cos v\\\sin u\cos v\\-\sin v\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/613adb9b38eec60cd665da5a7cf020b37615ab2d)
第一基本形式的系数可由取偏导数的点积得到:
![{\displaystyle E=X_{u}\cdot X_{u}=\sin ^{2}v}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b010a84b8d51831e8407cd7cc8bf55d97df25447)
![{\displaystyle F=X_{u}\cdot X_{v}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab9d057ef30fad69bb53ec66d72952fb2ed76421)
![{\displaystyle G=X_{v}\cdot X_{v}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/973ab042ade1a2639f83e4a6b1358bf54db1bb84)
球面上曲线的长度[编辑]
球面的赤道可由
参数化,这里 t 取值于 0 到
。线元素可用来计算这个曲线的长度。
![{\displaystyle \int _{0}^{2\pi }{\sqrt {E\left({\frac {du}{dt}}\right)^{2}+2F{\frac {du}{dt}}{\frac {dv}{dt}}+G\left({\frac {dv}{dt}}\right)^{2}}}\,dt=\int _{0}^{2\pi }\sin v\,dt=2\pi \sin v=2\pi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba5dc9f0c55bbbcbb59fc6bfc3092303cfab7dde)
球面上区域的面积[编辑]
面积元素可用来计算球面的面积:
![{\displaystyle \int _{0}^{\pi }\int _{0}^{2\pi }{\sqrt {EG-F^{2}}}\ du\,dv=\int _{0}^{\pi }\int _{0}^{2\pi }\sin v\,du\,dv=2\pi \left[-\cos v\right]_{0}^{\pi }=4\pi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee3bdebf1bc127b7272048c5ce431ae62d1a35f6)
高斯曲率[编辑]
一个曲面的高斯曲率由
![{\displaystyle K={\frac {\det II}{\det I}}={\frac {LN-M^{2}}{EG-F^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1277c3515fdaa9ed85633ad2bff280784b4a55b9)
给出,这里 L, M, 与 N 是第二基本形式的系数。
高斯的绝妙定理断言一个曲面的高斯曲率可以只用第一基本形式及其导数表示,从而 K 事实上是曲面的一个内蕴不变量。高斯曲率用第一基本形式明确的表达式由 Brioschi 公式给出。
外部链接[编辑]