封面:https://www.pixiv.net/artworks/136438244

# 曲面

Example. 单个曲面片(参数表示)不能描述球面。

Definition. Σ\Sigma 称为 R3\mathbb R^3 中的曲面,如果 Σ=αΛΣα\Sigma=\bigcup_{\alpha\in \Lambda}\Sigma_\alpha,满足

  1. 每个 Σα\Sigma_\alphaR3\mathbb R^3 中的曲面片,即有参数区域 Dα={(uα,vα)}D_\alpha=\{(u_\alpha,v_\alpha)\} 和光滑映射

rα:DαR2R3\pmb r_\alpha:D_\alpha\subseteq \mathbb R^2\to \mathbb R^3

使得 rα\pmb r_\alpha 是双射,即 Σα={rα(uα,vα)(uα,vα)Dα}\Sigma_\alpha=\{\pmb r_\alpha(u_\alpha,v_\alpha)|(u_\alpha,v_\alpha)\in D_\alpha\},且

rαuαrαvα0,(uα,vα)Dα.\dfrac {\partial \pmb r_\alpha}{\partial u_\alpha}\wedge \dfrac {\partial \pmb r_\alpha}{\partial v_\alpha}\ne \pmb 0,\ \ \forall (u_\alpha,v_\alpha)\in D_\alpha.

  1. 对任意 α,βΛ\alpha,\beta\in \Lambda,若 ΣαΣβ\Sigma_\alpha\cap \Sigma_\beta\ne \varnothingΣαΣβ\Sigma_\alpha\cap \Sigma_\beta 仍然是曲面片,且映射

rβ1rα:rα1(ΣαΣβ)Dαrβ1(ΣαΣβ)Dβ\pmb r_\beta^{-1}\circ \pmb r_\alpha:\pmb r_\alpha^{-1}(\Sigma_\alpha\cap \Sigma_\beta)\subseteq D_\alpha \to \pmb r_\beta^{-1}(\Sigma_\alpha\cap \Sigma_\beta)\subseteq D_\beta

是可微双射。

Remark. 我们仅考虑连通的曲面,由于 ΣαΣβ\Sigma_\alpha\cap \Sigma_\beta\neq \varnothing 时拼接方式是 CC^\infty 的,在允许参数变换下,曲面重合部分的第一基本形式在不同曲面片上取值相同,因此曲面的第一基本形式可以在 Σ\Sigma 上整体定义。

Proof.ΣαΣβ\Sigma_\alpha\cap \Sigma_\beta\ne \varnothing,则存在 (uα0,vα0)Dα(u_\alpha^0,v_\alpha^0)\in D_\alpha(uβ0,vβ0)Dβ(u_\beta^0,v_\beta^0)\in D_\beta,使得在同一点处有两个参数表示下的第一基本形式

{Iα=Eα(duα)2+2Fαduαdvα+Gα(dvα)2,Iβ=Eβ(duβ)2+2Fβduβdvβ+Gβ(dvβ)2.\begin{cases}I_\alpha=E_\alpha(\mathrm du^{\alpha})^2+2F_\alpha \mathrm du^{\alpha}\mathrm dv^{\alpha}+G_\alpha(\mathrm dv^{\alpha})^2,\\[6pt] I_\beta=E_\beta(\mathrm du^{\beta})^2+2F_\beta \mathrm du^{\beta}\mathrm dv^{\beta}+G_\beta(\mathrm dv^{\beta})^2.\end{cases}

而映射 rβ1rα\pmb r_\beta^{-1}\circ \pmb r_\alpha 可微,故存在雅可比矩阵

J=(uuβαuvβαvuβαvvβα)J=\begin{pmatrix}u^\alpha_{u^\beta}&u^\alpha_{v^\beta}\\[6pt] v^\alpha_{u^\beta}&v^\alpha_{v^\beta}\end{pmatrix}

detJ0\det J\ne 0。由链式法则,有

(duαdvα)=J(duβdvβ).\begin{pmatrix}\mathrm du^\alpha\\[6pt] \mathrm dv^\alpha\end{pmatrix}=J\begin{pmatrix}\mathrm du^\beta\\[6pt] \mathrm dv^\beta\end{pmatrix}.

将上式代入 IαI_\alpha 中,得到

Iα=(duβdvβ)JT(EαFαFαGα)J(duβdvβ)=(duβdvβ)(EβFβFβGβ)(duβdvβ)=Iβ.I_\alpha=\begin{pmatrix}\mathrm du^\beta&\mathrm dv^\beta\end{pmatrix}J^T\begin{pmatrix}E_\alpha&F_\alpha\\[6pt] F_\alpha&G_\alpha\end{pmatrix}J\begin{pmatrix}\mathrm du^\beta\\[6pt] \mathrm dv^\beta\end{pmatrix}=\begin{pmatrix}\mathrm du^\beta&\mathrm dv^\beta\end{pmatrix}\begin{pmatrix}E_\beta&F_\beta\\[6pt] F_\beta&G_\beta\end{pmatrix}\begin{pmatrix}\mathrm du^\beta\\[6pt] \mathrm dv^\beta\end{pmatrix}=I_\beta.

因此,曲面的第一基本形式在不同曲面片上取值相同,可以在 Σ\Sigma 上整体定义。

Example. 平面是曲面,它可以用一块曲面片来表示:

r(x,y)=(x,y,0)R3,(x,y)DR2\pmb r(x,y)=(x,y,0)\in \mathbb R^3,\ \ (x,y)\in D\subseteq \mathbb R^2

按定义,任何曲面片都是单片曲面。

Example. 圆柱面 Σ={(x,y,z)R3x2+y2=1}\Sigma=\{(x,y,z)\in \mathbb R^3|x^2+y^2=1\} 是曲面,设

Σ1={(x,y,z)Σx<1},Σ2={(x,y,z)Σx>1}\Sigma_1=\{(x,y,z)\in \Sigma|\ x<1\},\quad \Sigma_2=\{(x,y,z)\in \Sigma|\ x>-1\}

就是把圆柱面裁开,首先有

Σ=Σ1Σ2.\Sigma=\Sigma_1\cup \Sigma_2.

其次,Σ1\Sigma_1Σ2\Sigma_2 都是曲面片,分别由参数表示

{r1=(cosθ,sinθ,u)Σ1=r1(D1)D1={(θ,u)θ(0,2π),uR}r2=(cosφ,sinφ,v)Σ2=r2(D2)D2={(φ,v)φ(π,π),vR}\begin{cases}\pmb r_1=(\cos\theta,\sin \theta,u)& \Sigma_1=\pmb r_1(D_1) &D_1=\{(\theta,u)|\theta\in(0,2\pi),u\in \mathbb R\}\\[6pt] \pmb r_2=(\cos\varphi,\sin \varphi,v)& \Sigma_2=\pmb r_2(D_2) & D_2=\{(\varphi,v)|\varphi\in(-\pi,\pi),v\in \mathbb R\}\end{cases}

最后,拼接映射在 Σ1Σ2={(x,y,z)x21}\Sigma_1\cap \Sigma_2=\{(x,y,z)|\ x^2\neq 1\} 上是

(φ,v)=r21r1(θ,u)={(θ,u),θ(0,π)(θ2π,u),θ(π,2π)(\varphi,v)=\pmb r_2^{-1}\circ \pmb r_1(\theta,u)=\begin{cases}(\theta,u),&\theta\in (0,\pi)\\[6pt](\theta-2\pi,u),&\theta\in(\pi,2\pi)\end{cases}

这是光滑双射。

Example. 球面 S2={(x,y,z)R3x2+y2+z2=1}\mathbb S^2=\{(x,y,z)\in \mathbb R^3|x^2+y^2+z^2=1\} 是曲面。设曲面片为南极投影和北极投影

S+2={(x,y,z)S2z>1},S2={(x,y,z)S2z<1}\mathbb S^2_+=\{(x,y,z)\in \mathbb S^2|z>-1\},\quad \mathbb S^2_-=\{(x,y,z)\in \mathbb S^2|z<1\}

则首先有

S2=S+2S2\mathbb S^2=\mathbb S^2_+\cup \mathbb S^2_-

其次,S+2\mathbb S^2_+S2\mathbb S^2_- 都是曲面片,分别有参数表示

{r+(u1,v1)=(2u1u12+v12+1,2v1u12+v12+1,1u12v12u12+v12+1)S+2=r+(R2)r(u2,v2)=(2u2u22+v22+1,2v2u22+v22+1,u22+v221u22+v22+1)S2=r(R2)\begin{cases}\pmb r_+(u_1,v_1)=\left(\dfrac{2u_1}{u_1^2+v_1^2+1},\dfrac{2v_1}{u_1^2+v_1^2+1},\dfrac{1-u^2_1-v^2_1}{u_1^2+v_1^2+1}\right)& \mathbb S^2_+=\pmb r_+(\mathbb R^2)\\[12pt] \pmb r_-(u_2,v_2)=\left(\dfrac{2u_2}{u_2^2+v_2^2+1},\dfrac{2v_2}{u_2^2+v_2^2+1},\dfrac{u^2_2+v^2_2-1}{u_2^2+v_2^2+1}\right)& \mathbb S^2_-=\pmb r_-(\mathbb R^2)\end{cases}

最后,拼接映射在 S+2S2={(x,y,z)z±1}\mathbb S^2_+\cap \mathbb S^2_-=\{(x,y,z)|z\ne \pm 1\} 上是

(u2,v2)=r1r+(u1,v1)=(u1u12+v12,v1u12+v12)(u_2,v_2)=\pmb r_-^{-1}\circ \pmb r_+(u_1,v_1)=\left(\dfrac{u_1}{u_1^2+v_1^2},\dfrac{v_1}{u_1^2+v_1^2}\right)

这是光滑双射。

# 可定向曲面

Definition.Σ=αΛΣα\Sigma=\bigcup_{\alpha\in \Lambda}\Sigma_\alphaR3\mathbb R^3 中的曲面,其中 Σα\Sigma_\alpha 为曲面片。对 αΛ\alpha\in \Lambda,称曲面片 Σα\Sigma_\alpha 的单位法向量场 nα\pmb n_\alphaΣα\Sigma_\alpha定向。若对任意 α,βΛ\alpha,\beta\in \Lambda,在 ΣαΣβ\Sigma_\alpha\cap \Sigma_\beta\ne \varnothing 时,有

nα=nβ\pmb n_\alpha=\pmb n_\beta

就称曲面 Σ\Sigma可定向的,并称 {nα}αΛ\{\pmb n_\alpha\}_{\alpha\in \Lambda}Σ\Sigma定向。这时 n(P)=nα(P)\pmb n(P)=\pmb n_\alpha(P),当 PΣαP\in \Sigma_\alpha 时,定义良好,是 Σ\Sigma 的一个光滑单位法向量场。

Remark. 并非所有曲面都是可定向的。

Example. 球面、柱面、环面都是可定向曲面。

Example. Mobius 带不是可定向曲面。

Proposition. 可定向曲面 Σ\Sigma 有整体定义的第二基本形式。

# 紧致曲面

Definition. 曲面 Σ\Sigma边界定义为所有边界点的集合,边界点 PP 定义为存在曲面片 Σα\Sigma_\alpha,使得 PΣαP\in \Sigma_\alpha,且对应的参数区域 DαD_\alpha 的点 rα1(P)\pmb r_\alpha^{-1}(P)DαD_\alpha 的边界点。

Remark. 边界点的定义是与曲面片有关的,因此边界的定义也与曲面片的选取有关。

Definition.Σ\Sigma 称为紧致曲面,若 Σ\SigmaR3\mathbb R^3 中无边的有界闭集。即曲面可以由没有边界点的曲面片拼接而成。

Example. 球面、环面是紧致曲面,平面、圆柱面不是紧致曲面。

Theorem. R3\mathbb R^3 中的紧致曲面一定存在椭圆点。即必有一点 P0ΣP_0\in \Sigma,使得

K(P0)>0K(P_0)>0

Proof.r=(x,y,z)\pmb r=(x,y,z) 是曲面的位置向量,考虑曲面上的模长函数

f(P)=r(P),r(P)=x2(P)+y2(P)+z2(P),PΣ.f(P)=\langle \pmb r(P),\pmb r(P)\rangle=x^2(P)+y^2(P)+z^2(P),\ \ P\in \Sigma.

由于 Σ\Sigma 的紧致性,ff 必在某点 P0ΣP_0\in\Sigma 达到最大值,以下验证 K(P0)>0K(P_0)>0。设 r=r(u,v)\pmb r=\pmb r(u,v) 是包含 P0P_0 的曲面片的参数表示,且 r(u0,v0)=P0\pmb r(u_0,v_0)=P_0。由极值点的必要条件,有

df(P0)=2dr,r(u0,v0)=0\mathrm df(P_0)=2\langle \mathrm d\pmb r,\pmb r\rangle|_{(u_0,v_0)}=0

所以 r(P0)\pmb r(P_0)Σ\SigmaP0P_0 的法向量共线,且由最大值知道 r(P0)0|\pmb r(P_0)|\ne 0,不妨设它与曲面在 (u,v)(u,v) 参数下的单位法向量 n\pmb n 满足

r(P0)=λn,λ0\pmb r(P_0)=\lambda \pmb n,\quad \lambda \neq 0

则对于任意过 P0P_0Σ\Sigma 上的曲线 r(s)=r(u(s),v(s))\pmb r(s)=\pmb r(u(s),v(s)),以 ss 为弧长参数,且 s=0s=0r(0)=P0\pmb r(0)=P_0,有

12d2ds2f(r(s))s=0=λd2rds2s=0,n+1=λkn(r˙)+10\dfrac 12\dfrac {\mathrm d^2}{\mathrm ds^2}f(\pmb r(s))\Big|_{s=0}=\lambda \left\langle \dfrac {\mathrm d^2\pmb r}{\mathrm ds^2}\Big|_{s=0},\pmb n\right\rangle+1=\lambda k_n(\dot{\pmb r})+1\le 0

所以对于任意方向的法曲率 knk_n,都有 λκn1\lambda \kappa_n\le -1,由此对于主方向而言,也有

λki1λ2k1k21K=k1k2>0\lambda k_i\leq -1\implies \lambda^2 k_1 k_2 \geq 1\implies K=k_1 k_2>0

# 三角剖分

Definition. Σ\Sigma 上的一个三角形 TT 是指

  1. TT 是由 Σ\Sigma 上三条光滑曲线围成的单连通区域;
  2. TT 落在某个曲面片 Σα\Sigma_\alpha 上。

曲面 Σ\Sigma三角剖分是指 Σ\Sigma 上的一族三角形 {Tλ}\{T_\lambda\},满足

  1. Σ\Sigma 的任意一点 PPPP 必落在某个三角形上,且 PP 不落在三角形的边界上时,PP 属于唯一一个三角形;
  2. PP 属于某个三角形 T1T_1 的边,且不是三角形的顶点时,则或者 PP 不再属于其他三角形的边,或者 PP 也属于另外唯一一个三角形 T2T_2 的边,且 PP 属于 T1T2T_1\cup T_2 的内部;
  3. PP 属于某个三角形的顶点时,则以 PP 为顶点的三角形至多只有有限个,且两个三角形至多有一个公共边。

# 绝对全曲率

# Gauss-Bonnet 公式

Theorem.DD 为定向曲面 Σ\Sigma 上由有限条光滑曲线围成的有界区域,则

DKdA+Dkgds+iαi=2πχ(D)\iint_D K \mathrm dA+\int_{\partial D} k_g \mathrm ds+ \sum_i \alpha_i=2\pi \chi(D)

其中 αi\alpha_iD\partial D 的顶点的外角,χ(D)\chi(D)DD 的欧拉示性数。

# 凸曲面