Skip to content

定义Definition

第一基本形式

First fundamental form · 曲面诱导度量

把曲面上切向的长度角度写成正定二次型,证明换坐标规律并计算圆柱与球的度量。

形式陈述 ​

对一张正则参数曲面 X:U→R3,第一基本形式是环境内积在切平面上的限制,拉回参数域后写为

I=Edu2+2Fdudv+Gdv2,g=(EFFG),

其中 E=Xu⋅Xu,F=Xu⋅Xv,G=Xv⋅Xv。du2 表示对称二次型记法,不是楔积。对参数速度列 w=(a,b)T,相应切向量 V=aXu+bXv 满足

I(w,w)=wTgw=‖V‖2.

由于 DX 单射,g 对称正定;等价地 E>0 且 EG−F2>0。

若 c(t)=(u(t),v(t)),曲面上曲线 γ=X∘c 的长度为

L(γ)=∫E(u′)2+2Fu′v′+G(v′)2dt.

两个非零参数速度 w,z 对应夹角满足

cos⁡∠(V,W)=wTgzwTgwzTgz.

因此参数坐标中的普通夹角一般不是曲面上的实际夹角。

直觉

地图的经纬网格标出位置,却不保证每一格一样大、两条轴始终垂直。矩阵 g 就是每个位置的刻度说明:E,G 测两条坐标线的伸缩,F 记录它们的斜交。知道这些刻度就能量任意路线,无须先知道曲面在三维中怎样弯。

推导与换坐标 ​

由链式法则,γ′=Xuu′+Xvv′。展开内积即得长度公式。对 Y=X∘ϕ,设 J=Dϕ,则

g~=JTgJ.

速度坐标同时变为 w=Jw~,于是

w~Tg~w~=(Jw~)Tg(Jw~).

数值不变。这是“度量与坐标无关”的具体内容,绝不是说换坐标后矩阵的各个元素不变。由叉积恒等式或 Gram 行列式,

det⁡g=EG−F2=‖Xu×Xv‖2>0.

换坐标后行列式乘上 (det⁡J)2,为面积密度换元提供了精确因子。

例子与边界

圆柱:换成真实横向里程 ​

X(u,z)=(Rcos⁡u,Rsin⁡u,z) 有

Xu=(−Rsin⁡u,Rcos⁡u,0),Xz=(0,0,1),g=(R2001).

故 I=R2du2+dz2。取 x=Ru,就成为 dx2+dz2。沿 u=t,z=bt 的一圈螺旋线,长度是 2πR2+b2,与直接在空间求速度完全一致。

球面:纬线的刻度随位置变化 ​

用 S(θ,ϕ)=R(sin⁡θcos⁡ϕ,sin⁡θsin⁡ϕ,cos⁡θ),计算得

E=R2,F=0,G=R2sin2⁡θ.

经线从余纬 θ1 到 θ2 的长度为 R|θ2−θ1|;固定 θ0 的完整纬线长 2πRsin⁡θ0。在赤道 θ0=π/2 才等于 2πR。

sin⁡θ=0 时矩阵退化,说明这套参数在两极失效,不说明球面本身的度量退化。改用北极图形坐标,原点处度量矩阵就是 I2,仍正定。

有交叉项的刻度也可以完全平坦 ​

平面参数 X(u,v)=(u+v,v,0) 给

g=(1112).

两条参数轴在曲面上的夹角余弦为 1/2,不是零;速度 (1,−1) 的实际长度是 1,不是参数平面普通范数 2。取实际笛卡尔坐标 x=u+v,y=v,度量又变成 dx2+dy2。非零交叉项不等于曲面弯曲。

推论与应用

第一基本形式本身不选法向,法向反转对它没有影响;它决定曲线长度、角度和不带符号面积。在每张光滑片上,这正是Riemann 度量的具体坐标表示。抽象度量不必先由给定的三维嵌入获得。

若两曲面的对应点在同一参数下有相同第一基本形式,则对应域内的每条曲线路长相同,见局部等距。这不迫使它们在空间中保同一曲率方向:圆柱与平面已经有相同度量,但形算子不同。要描述法向如何转动,必须再加入第二基本形式。

参考资料
  • Theodore Shifrin,Differential Geometry,April 2021,Ch. 2 §1,pp. 39–41:第一基本形式、曲线长度、局部等距及圆柱展开。
  • Manfredo P. do Carmo,Differential Geometry of Curves and Surfaces,Prentice-Hall,1976,Ch. 2 §5:第一基本形式与面积。公式在本页从链式法则直接推导。
关系图谱16 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系