封面:https://www.pixiv.net/artworks/136438244
# 曲面
Example. 单个曲面片(参数表示)不能描述球面。
Definition. Σ 称为 R3 中的曲面,如果 Σ=⋃α∈ΛΣα,满足
- 每个 Σα 是 R3 中的曲面片,即有参数区域 Dα={(uα,vα)} 和光滑映射
rrα:Dα⊆R2→R3
使得 rrα 是双射,即 Σα={rrα(uα,vα)∣(uα,vα)∈Dα},且
∂uα∂rrα∧∂vα∂rrα=00, ∀(uα,vα)∈Dα.
- 对任意 α,β∈Λ,若 Σα∩Σβ=∅,Σα∩Σβ 仍然是曲面片,且映射
rrβ−1∘rrα:rrα−1(Σα∩Σβ)⊆Dα→rrβ−1(Σα∩Σβ)⊆Dβ
是可微双射。
Remark. 我们仅考虑连通的曲面,由于 Σα∩Σβ=∅ 时拼接方式是 C∞ 的,在允许参数变换下,曲面重合部分的第一基本形式在不同曲面片上取值相同,因此曲面的第一基本形式可以在 Σ 上整体定义。
Proof. 设 Σα∩Σβ=∅,则存在 (uα0,vα0)∈Dα 和 (uβ0,vβ0)∈Dβ,使得在同一点处有两个参数表示下的第一基本形式
⎩⎪⎨⎪⎧Iα=Eα(duα)2+2Fαduαdvα+Gα(dvα)2,Iβ=Eβ(duβ)2+2Fβduβdvβ+Gβ(dvβ)2.
而映射 rrβ−1∘rrα 可微,故存在雅可比矩阵
J=(uuβαvuβαuvβαvvβα)
且 detJ=0。由链式法则,有
(duαdvα)=J(duβdvβ).
将上式代入 Iα 中,得到
Iα=(duβdvβ)JT(EαFαFαGα)J(duβdvβ)=(duβdvβ)(EβFβFβGβ)(duβdvβ)=Iβ.
因此,曲面的第一基本形式在不同曲面片上取值相同,可以在 Σ 上整体定义。
Example. 平面是曲面,它可以用一块曲面片来表示:
rr(x,y)=(x,y,0)∈R3, (x,y)∈D⊆R2
Example. 圆柱面 Σ={(x,y,z)∈R3∣x2+y2=1} 是曲面,设
Σ1={(x,y,z)∈Σ∣ x<1},Σ2={(x,y,z)∈Σ∣ x>−1}
就是把圆柱面裁开,首先有
Σ=Σ1∪Σ2.
其次,Σ1 和 Σ2 都是曲面片,分别由参数表示
⎩⎪⎨⎪⎧rr1=(cosθ,sinθ,u)rr2=(cosφ,sinφ,v)Σ1=rr1(D1)Σ2=rr2(D2)D1={(θ,u)∣θ∈(0,2π),u∈R}D2={(φ,v)∣φ∈(−π,π),v∈R}
最后,拼接映射在 Σ1∩Σ2={(x,y,z)∣ x2=1} 上是
(φ,v)=rr2−1∘rr1(θ,u)=⎩⎪⎨⎪⎧(θ,u),(θ−2π,u),θ∈(0,π)θ∈(π,2π)
这是光滑双射。
Example. 球面 S2={(x,y,z)∈R3∣x2+y2+z2=1} 是曲面。设曲面片为南极投影和北极投影
S+2={(x,y,z)∈S2∣z>−1},S−2={(x,y,z)∈S2∣z<1}
则首先有
S2=S+2∪S−2
其次,S+2 和 S−2 都是曲面片,分别有参数表示
⎩⎪⎪⎪⎪⎨⎪⎪⎪⎪⎧rr+(u1,v1)=(u12+v12+12u1,u12+v12+12v1,u12+v12+11−u12−v12)rr−(u2,v2)=(u22+v22+12u2,u22+v22+12v2,u22+v22+1u22+v22−1)S+2=rr+(R2)S−2=rr−(R2)
最后,拼接映射在 S+2∩S−2={(x,y,z)∣z=±1} 上是
(u2,v2)=rr−−1∘rr+(u1,v1)=(u12+v12u1,u12+v12v1)
这是光滑双射。
# 可定向曲面
Definition. 设 Σ=⋃α∈ΛΣα 是 R3 中的曲面,其中 Σα 为曲面片。对 α∈Λ,称曲面片 Σα 的单位法向量场 nnα 为 Σα 的定向。若对任意 α,β∈Λ,在 Σα∩Σβ=∅ 时,有
nnα=nnβ
就称曲面 Σ 是可定向的,并称 {nnα}α∈Λ 为 Σ 的定向。这时 nn(P)=nnα(P),当 P∈Σα 时,定义良好,是 Σ 的一个光滑单位法向量场。
Example. 球面、柱面、环面都是可定向曲面。
Example. Mobius 带不是可定向曲面。
Proposition. 可定向曲面 Σ 有整体定义的第二基本形式。
# 紧致曲面
Definition. 曲面 Σ 的边界定义为所有边界点的集合,边界点 P 定义为存在曲面片 Σα,使得 P∈Σα,且对应的参数区域 Dα 的点 rrα−1(P) 是 Dα 的边界点。
Remark. 边界点的定义是与曲面片有关的,因此边界的定义也与曲面片的选取有关。
Definition. 设 Σ 称为紧致曲面,若 Σ 是 R3 中无边的有界闭集。即曲面可以由没有边界点的曲面片拼接而成。
Example. 球面、环面是紧致曲面,平面、圆柱面不是紧致曲面。
Theorem. R3 中的紧致曲面一定存在椭圆点。即必有一点 P0∈Σ,使得
K(P0)>0
Proof. 设 rr=(x,y,z) 是曲面的位置向量,考虑曲面上的模长函数
f(P)=⟨rr(P),rr(P)⟩=x2(P)+y2(P)+z2(P), P∈Σ.
由于 Σ 的紧致性,f 必在某点 P0∈Σ 达到最大值,以下验证 K(P0)>0。设 rr=rr(u,v) 是包含 P0 的曲面片的参数表示,且 rr(u0,v0)=P0。由极值点的必要条件,有
df(P0)=2⟨drr,rr⟩∣(u0,v0)=0
所以 rr(P0) 与 Σ 在 P0 的法向量共线,且由最大值知道 ∣rr(P0)∣=0,不妨设它与曲面在 (u,v) 参数下的单位法向量 nn 满足
rr(P0)=λnn,λ=0
则对于任意过 P0 的 Σ 上的曲线 rr(s)=rr(u(s),v(s)),以 s 为弧长参数,且 s=0 时 rr(0)=P0,有
21ds2d2f(rr(s))∣∣∣∣s=0=λ⟨ds2d2rr∣∣∣∣s=0,nn⟩+1=λkn(rr˙)+1≤0
所以对于任意方向的法曲率 kn,都有 λκn≤−1,由此对于主方向而言,也有
λki≤−1⟹λ2k1k2≥1⟹K=k1k2>0
# 三角剖分
Definition. Σ 上的一个三角形 T 是指
- T 是由 Σ 上三条光滑曲线围成的单连通区域;
- T 落在某个曲面片 Σα 上。
曲面 Σ 的三角剖分是指 Σ 上的一族三角形 {Tλ},满足
- 对 Σ 的任意一点 P,P 必落在某个三角形上,且 P 不落在三角形的边界上时,P 属于唯一一个三角形;
- 当 P 属于某个三角形 T1 的边,且不是三角形的顶点时,则或者 P 不再属于其他三角形的边,或者 P 也属于另外唯一一个三角形 T2 的边,且 P 属于 T1∪T2 的内部;
- P 属于某个三角形的顶点时,则以 P 为顶点的三角形至多只有有限个,且两个三角形至多有一个公共边。
# 绝对全曲率
# Gauss-Bonnet 公式
Theorem. 设 D 为定向曲面 Σ 上由有限条光滑曲线围成的有界区域,则
∬DKdA+∫∂Dkgds+i∑αi=2πχ(D)
其中 αi 是 ∂D 的顶点的外角,χ(D) 是 D 的欧拉示性数。
# 凸曲面