# 曲線と曲面：Frenet–Serret から Theorema Egregium・Gauss–Bonnet・Hadamard の卵形面定理まで > 空間曲線の Frenet–Serret 公式と基本定理、曲面の第一・第二基本形式と Gauss 曲率、Gauss の Theorema Egregium、局所および大域の Gauss–Bonnet の定理、Hadamard の卵形面定理を証明つきで扱う。 > https://rikai.mugen-giken.com/mathematics/differential-geometry/curves-and-surfaces ## 0. この記事の要点 ボールの表面の地図を、破らず伸ばさずに平らな紙に描くことはできません。一方、紙を丸めて筒にするのは簡単です。この違いは、曲がった面の「曲がり具合」を数で測ると説明できます。この記事では、まず空間の曲線の曲がり方を 2 つの数で表し、次に曲面の曲がり方を測る方法を作ります。読み終えると、地図が必ず歪む理由と、曲がり具合の合計が曲面の穴の数で決まるという定理を、証明つきで追えるようになります。 - 空間曲線は、曲率 $\kappa$ と捩率 $\tau$ という 2 つの関数で、剛体運動（回転と平行移動のこと）を除いて決まります（Frenet–Serret の公式と基本定理、・）。 - $\mathbb{R}^3$ 内の曲面には、長さを測る**第一基本形式** $I$ と、曲がり方を測る**第二基本形式** $II$ があります。$II$ から**Gauss 曲率** $K$（主曲率の積）が決まります。 - **Theorema Egregium**（）: $K$ は外の空間への曲がり方 $II$ を使って定義されるのに、実は $I$（と、その微分）だけで書けます。曲面の中に住む住人にも測れる量です。 - **Gauss–Bonnet の定理**（）: コンパクトな向き付け可能曲面（表と裏を区別できる、閉じた曲面）で $\int_SK\,dA=2\pi\chi(S)$。曲率の積分が位相不変量になります。$\chi(S)$ は Euler 標数と呼ばれる整数で、球面では 2、トーラスでは 0 です。 - **Hadamard の卵形面定理**（）: $K>0$ のコンパクト連結曲面は球面と同相な凸曲面です。証明には[被覆空間](/mathematics/algebraic-topology/fundamental-group-coverings#def-covering)と[基本群](/mathematics/algebraic-topology/fundamental-group-coverings#def-pi1)の理論が効きます。 ## 1. 動機と、このテーマの見通し 微分幾何学は、「曲がった空間の上で微積分と幾何を行う」学問です。出発点は 19 世紀初頭の Gauss による、$\mathbb{R}^3$ の中の曲線と曲面の研究でした。球面の地図を平面に歪みなく描けない、という経験的な事実は、Gauss の Theorema Egregium（驚くべき定理）で厳密に説明されます。曲面の曲がり方の本質的な部分は、その曲面上の長さの測り方だけで決まってしまう。この発見が Riemann の一般的な「計量」の概念につながります。 このテーマ全体の見通しを述べます。この記事（学部の幾何）で曲線・曲面の言葉を整えたあと、(2) 外の空間なしに計量だけから共変微分（Levi-Civita 接続）を定義し、(3) 曲率テンソルを導入し、(4) 測地線と完備性を調べ、(5) Hodge 理論で微分形式と幾何を結び、(6) 主束と接続、Chern–Weil 理論へ進みます。一般相対論やゲージ理論の数学的な基礎です。この記事の主役の Gauss 曲率・Gauss–Bonnet は、そのすべてで「曲率の積分が位相を反映する」という形で再登場します。 他の記事との関係も整理します。多様体としての扱いは[微分可能多様体](/mathematics/manifolds/smooth-manifolds)にあり、ここでは $\mathbb{R}^3$ の中の部分多様体に限って、座標を使った具体的な計算を行います。位相的な道具としては、基本群と被覆空間（[基本群と被覆空間](/mathematics/algebraic-topology/fundamental-group-coverings)）、Euler 標数（[胞体ホモロジーと写像度](/mathematics/algebraic-topology/cellular-homology-degree)）を使います。 ## 2. 曲線：Frenet–Serret の公式 $I\subset\mathbb{R}$ を区間とし、$\alpha:I\to\mathbb{R}^3$ を $C^\infty$ 級の曲線とします。$\alpha'(t)\ne0$ のとき**正則**といいます。正則曲線は**弧長** $$ s(t)=\int_{t_0}^t|\alpha'(u)|\,du $$ で再パラメータ化できて（$s$ は単調増加で逆関数定理 により $C^\infty$）、$|\alpha'|=1$ とできます（**単位速度**）。以下 $'$ は $s$ での微分です。 単位速度曲線 $\alpha$ の**単位接ベクトル**を $T=\alpha'$ とする。$|T|=1$ より $\langle T',T\rangle=0$。**曲率** $\kappa=|T'|\ge0$ とし、$\kappa>0$ のとき**主法線ベクトル** $N=T'/\kappa$、**従法線ベクトル** $B=T\times N$ を定める。$(T,N,B)$ は各点で正規直交基底（右手系）で、**Frenet 標構**という。**捩率** $\tau=\langle N',B\rangle$ とする。 $\kappa>0$ の単位速度曲線に対し $$ \begin{pmatrix}T\\N\\B\end{pmatrix}'=\begin{pmatrix}0&\kappa&0\\-\kappa&0&\tau\\0&-\tau&0\end{pmatrix}\begin{pmatrix}T\\N\\B\end{pmatrix}. $$ $T'=\kappa N$ は定義。$(T,N,B)$ は正規直交基底なので、任意のベクトルは $\langle\cdot,T\rangle T+\langle\cdot,N\rangle N+\langle\cdot,B\rangle B$ と展開できます。$N'$ について: $\langle N',N\rangle=0$、$\langle N',T\rangle=-\langle N,T'\rangle=-\kappa$、$\langle N',B\rangle=\tau$ (定義)。$B'$ について: $\langle B',B\rangle=0$、$\langle B',T\rangle=-\langle B,T'\rangle=-\kappa\langle B,N\rangle=0$、$\langle B',N\rangle=-\langle B,N'\rangle=-\tau$。 $\alpha(s)=(a\cos\frac sc,\ a\sin\frac sc,\ \frac{bs}c)$, $c=\sqrt{a^2+b^2}$ ($a>0$) は単位速度で、$T'=\frac a{c^2}(-\cos\frac sc,-\sin\frac sc,0)$ より $\kappa=\frac a{c^2}$、$N=(-\cos\frac sc,-\sin\frac sc,0)$。$B=T\times N=\frac1c(b\sin\frac sc,-b\cos\frac sc,a)$ で $B'=\frac b{c^2}(\cos\frac sc,\sin\frac sc,0)=-\frac b{c^2}N$ より $\tau=\frac b{c^2}$。どちらも定数です。 $\kappa,\tau:I\to\mathbb{R}$ を $C^\infty$ 級関数で $\kappa>0$ とする。このとき、曲率 $\kappa$、捩率 $\tau$ を持つ単位速度曲線 $\alpha:I\to\mathbb{R}^3$ が存在し、そのような曲線は剛体運動（回転と平行移動）を除いて一意である。 *存在*: $A(s)$ を の係数行列とし、$3\times3$ 行列値関数 $F$ に対する線形常微分方程式 $F'=AF$, $F(s_0)=I$ を考えます。右辺は $F$ について線形増大なので、解は $I$ 全体で存在します（）。$A$ は $C^\infty$ なので $F$ も $C^\infty$。$A^{\mathsf T}=-A$ から $(FF^{\mathsf T})'=AFF^{\mathsf T}+FF^{\mathsf T}A^{\mathsf T}=A(FF^{\mathsf T})-(FF^{\mathsf T})A$ ですが、$FF^{\mathsf T}=I$ がこの方程式を満たす解であり、初期値も $I$ なので、 から $FF^{\mathsf T}\equiv I$。よって $F$ の行は正規直交で、$\det F$ は連続かつ $\pm1$ の値を取り $\det F(s_0)=1$ なので $\det F\equiv1$。$F$ の行を $T,N,B$ とし、$\alpha(s)=\int_{s_0}^sT$ とおけば、$\alpha'=T$ は単位ベクトル、$\alpha''=T'=\kappa N$ から曲率は $\kappa$、$N$ が主法線、$B=T\times N$（右手系）、$\tau=\langle N',B\rangle$ が与えられた捩率です。 *一意性*: $\alpha,\beta$ が同じ $\kappa,\tau$ を持つとします。$s_0$ での Frenet 標構（正規直交右手系）を重ねる回転 $R$ と平行移動 $v$ を取り、$\tilde\beta=R\beta+v$ を考えます。$\tilde\beta$ の Frenet 標構と $\alpha$ の標構は同じ線形方程式 $F'=AF$ を満たし、$s_0$ で一致するので、 により恒等的に一致します。特に $\tilde\beta'=T_\alpha=\alpha'$ で、$s_0$ で $\tilde\beta=\alpha$ と取れる（平行移動で調整）ので、$\tilde\beta=\alpha$。 曲線の形が $\kappa,\tau$ だけで決まるので、$\kappa$ は曲がり具合、$\tau$ は平面からのねじれ具合を表す不変量です。平面曲線では法線を $90°$ 回転して符号つき曲率 $\kappa_s$ を $T'=\kappa_sN_s$（$N_s=$ $T$ を反時計回りに $90°$ 回転）で定めると、単位接ベクトルの偏角 $\theta(s)$（$T=(\cos\theta,\sin\theta)$）は $\theta'=\kappa_s$ を満たします。 ## 3. 曲面と第一基本形式 $S\subset\mathbb{R}^3$ が**正則曲面**であるとは、各点 $p\in S$ に対し、開集合 $U\subset\mathbb{R}^2$ から $C^\infty$ 級写像 $x:U\to\mathbb{R}^3$ で、$S$ の開集合（相対位相）への同相写像であり、すべての点で $x_u\times x_v\ne0$（$x_u=\partial x/\partial u$ など）となるものが存在することをいう。$x$ を**局所パラメータ表示**（**座標系**）という。 以下の段落では、[接平面](/mathematics/calculus/multivariable-differentiation#def-tangent-plane)が座標系の取り方によらず曲面そのものから決まることを確かめます。 $\mathbb{R}^3$ の埋め込まれた 2 次元部分多様体（）と同じものです。$p=x(u_0,v_0)$ での**接平面** $T_pS=\operatorname{span}\{x_u,x_v\}$ は座標系によりません。実際、別の座標系 $\tilde x$ に対し、$\tilde x$ に法線方向を加えた写像 $X(\tilde u,\tilde v,w)=\tilde x(\tilde u,\tilde v)+w\,\tilde n$（$\tilde n$ は単位法線）は $w=0$ で微分が正則なので、逆関数定理（）により局所微分同相で、$\tilde x^{-1}\circ x=\pi\circ X^{-1}\circ x$（$\pi$ は最初の 2 成分への射影）は $C^\infty$ です。したがって座標変換は微分同相で、$x_u,x_v$ の張る平面は同じです。 接ベクトル同士の内積は $\mathbb{R}^3$ の内積を制限して得ます。 座標系 $x(u,v)$ に対し $$ E=\langle x_u,x_u\rangle,\quad F=\langle x_u,x_v\rangle,\quad G=\langle x_v,x_v\rangle $$ とおく。$g=\begin{pmatrix}E&F\\F&G\end{pmatrix}$ は正定値行列（$EG-F^2=|x_u\times x_v|^2>0$）で、接ベクトル $w=ax_u+bx_v$ の長さは $|w|^2=Ea^2+2Fab+Gb^2$。この 2 次形式を**第一基本形式** $I=E\,du^2+2F\,du\,dv+G\,dv^2$ という。 曲面上の曲線 $\gamma(t)=x(u(t),v(t))$ の長さは $\int\sqrt{Eu'^2+2Fu'v'+Gv'^2}\,dt$、領域 $x(D)$ の面積は $$ A=\iint_D\sqrt{EG-F^2}\,du\,dv $$ です。この値は座標系の取り方によりません（変数変換公式 と、座標変換のヤコビ行列 $J$ に対し $g'=J^{\mathsf T}gJ$、$\sqrt{\det g'}=\sqrt{\det g}\,|\det J|$ から）。以下 $g_{11}=E,g_{12}=F,g_{22}=G$ とし、添字 $1,2$ を $u,v$ に対応させます。$(g^{ij})=g^{-1}$ とします。 二つの曲面が**局所等長**であるとは、座標系 $x,\tilde x$ を同じ $U$ 上でとり、$E=\tilde E,F=\tilde F,G=\tilde G$ とできることをいいます。たとえば円柱面 $x(u,v)=(\cos u,\sin u,v)$ では $E=G=1,F=0$ で、平面 $(u,v)\mapsto(u,v,0)$ と局所等長です。平面を丸めて円柱にしても、曲面上の長さは変わりません。 ## 4. 第二基本形式と Gauss 曲率 座標系 $x$ に対し**単位法線** $N=\dfrac{x_u\times x_v}{|x_u\times x_v|}$ とします（$-N$ を選んでもよい）。$N$ は $S$ 上で局所的に定まる滑らかな写像で、曲面が向き付け可能なら大域的に $N:S\to S^2$（**Gauss 写像**）が定まります。$\langle N,N\rangle=1$ より $\langle N_u,N\rangle=0$ なので、$N_u,N_v$ は接平面に入ります。 曲がり具合の測り方は、点を動かしたときに法線の向きがどれだけ変わるかを見ることです。平面では法線は変わらず、球面では点の動く方向に法線も回ります。この法線の変化率 $dN$ を、接平面から接平面への線形写像として見たものが次の形状作用素です。 点 $p$ で、接平面から接平面への線形写像 $A_p=-dN_p:T_pS\to T_pS$ を**形状作用素**（Weingarten 写像）という。$A_p$ は自己随伴である。**第二基本形式**を $II(w,w')=\langle A_pw,w'\rangle$、 $$ h_{ij}=\langle N,x_{ij}\rangle\quad(x_{ij}=\partial_i\partial_jx),\quad L=h_{11},\ M=h_{12},\ N_{\!*}=h_{22} $$ とおく。$A_p$ の固有値 $\kappa_1,\kappa_2$ を**主曲率**、 $$ K=\det A_p=\kappa_1\kappa_2,\qquad H=\tfrac12\operatorname{tr}A_p=\tfrac12(\kappa_1+\kappa_2) $$ を **Gauss 曲率**と**平均曲率**という。 1. $A_p$ は自己随伴で、$\langle Ax_i,x_j\rangle=h_{ij}$。したがって $A_p$ の固有値 $\kappa_1,\kappa_2$ は実数で、固有ベクトルは直交基底を成せる（）。 2. $K=\det(h_{ij})/\det(g_{ij})=\dfrac{LN_*-M^2}{EG-F^2}$。$K$ は法線の向き（$N\to-N$）によらない。 3. $N_i=-\sum_{k,l}h_{il}g^{lk}x_k$（Weingarten の公式）。 4. 単位速度曲線 $\gamma\subset S$ の接ベクトル $w=\gamma'$ について $\kappa_n:=\langle\gamma'',N\rangle=II(w,w)$ （**法曲率**）。特に $\kappa_n$ の最大・最小値が $\kappa_1,\kappa_2$ である（Euler の公式: $w$ が主方向 $e_1$ と角 $\theta$ をなすとき $\kappa_n=\kappa_1\cos^2\theta+\kappa_2\sin^2\theta$）。 $\langle N,x_i\rangle=0$ を $x_j$ で微分して $\langle N_j,x_i\rangle=-\langle N,x_{ij}\rangle=-h_{ij}$。$h_{ij}=h_{ji}$（$x_{ij}=x_{ji}$）。したがって $\langle Ax_j,x_i\rangle=\langle-N_j,x_i\rangle=h_{ij}$ は対称で、(1)。$N_i$ は接平面に入るので $N_i=\sum_kc_{ik}x_k$ と書け、$x_l$ と内積を取って $-h_{il}=\sum_kc_{ik}g_{kl}$、$c_{ik}=-\sum_lh_{il}g^{lk}$ で (3)。$A$ の行列は $(h_{il})(g^{lk})$ の転置に当たり、$\det=\det(h)/\det(g)$ で (2)。(4): $\langle\gamma',N\rangle=0$ を微分して $\langle\gamma'',N\rangle=-\langle\gamma',N'\rangle=-\langle\gamma',dN(\gamma')\rangle=II(w,w)$。$w=\cos\theta\,e_1+\sin\theta\,e_2$（$Ae_i=\kappa_ie_i$）を代入すれば Euler の公式で、最大・最小は $\kappa_1,\kappa_2$ のうち大きい方・小さい方。 半径 $R$ の球面では $N=x/R$（外向き）で $dN=\frac1R\mathrm{id}$、$A=-\frac1R\mathrm{id}$、$K=\frac1{R^2}>0$。円柱面 $x=(\cos u,\sin u,v)$ では $N=(\cos u,\sin u,0)$, $N_u=x_u$, $N_v=0$、$A$ の固有値は $-1$ と $0$ で $K=0$。平面では $N$ が定数で $K=0$。円柱面と平面は局所等長（上述）で、いずれも $K=0$ です。次節で、これは偶然ではないことを示します。 ## 5. Theorema Egregium 座標系 $x$ に対し、$x_{ij}$ を接平面と法線で展開します。 $$ x_{ij}=\sum_k\Gamma^k_{ij}x_k+h_{ij}N.\tag{$*$} $$ 係数 $\Gamma^k_{ij}$ を **Christoffel 記号**といいます。法線成分が $h_{ij}$ になるのは $h_{ij}=\langle N,x_{ij}\rangle$ から。$x_l$ との内積を取ると $\sum_k\Gamma^k_{ij}g_{kl}=\langle x_{ij},x_l\rangle$ で、 $$ \langle x_{ij},x_l\rangle=\tfrac12(\partial_ig_{jl}+\partial_jg_{il}-\partial_lg_{ij}). $$ この式は、$\partial_jg_{il}=\langle x_{ij},x_l\rangle+\langle x_i,x_{lj}\rangle$ とその添字の入れ替えを 3 つ並べて、$i,j,l$ について足し引きすれば得られます。したがって $\Gamma^k_{ij}=\frac12\sum_lg^{kl}(\partial_ig_{jl}+\partial_jg_{il}-\partial_lg_{ij})$。特に $\Gamma^k_{ij}$ は $E,F,G$ とその 1 階微分だけの関数である。 次の証明では、$x_{ij}$ を接平面の方向と法線の方向に分け、展開の係数が $E,F,G$ だけで決まることを式変形で示します。 **展開 $(*)$ が意味を持つこと。** 各点で $x_u,x_v$ は一次独立（）で、$N$ はそれらに直交する単位ベクトルなので、$x_u,x_v,N$ は $\mathbb{R}^3$ の基底です。よって $x_{ij}$ は $(*)$ の形にただ一通りに展開され、$N$ との内積から法線成分は $\langle x_{ij},N\rangle=h_{ij}$（）です。$x$ は $C^\infty$ なので $x_{ij}=x_{ji}$、したがって $\Gamma^k_{ij}=\Gamma^k_{ji}$ です。 **$\langle x_{ij},x_l\rangle$ の計算。** $g_{il}=\langle x_i,x_l\rangle$ を $j$ で微分すると、内積の積の微分法則から $$ \partial_jg_{il}=\langle x_{ij},x_l\rangle+\langle x_i,x_{lj}\rangle. $$ $[ij,l]:=\langle x_{ij},x_l\rangle$ と書くと（$[ij,l]=[ji,l]$）、これは $\partial_jg_{il}=[ij,l]+[lj,i]$ です。添字を巡回させた 2 式 $$ \partial_ig_{jl}=[ij,l]+[il,j],\qquad\partial_lg_{ij}=[il,j]+[jl,i] $$ と合わせて、$\partial_ig_{jl}+\partial_jg_{il}-\partial_lg_{ij}=2[ij,l]$ を得ます（$[il,j]$ と $[jl,i]=[lj,i]$ が相殺する）。 **$\Gamma$ を解く。** $(*)$ と $x_l$ の内積を取ると、$\langle N,x_l\rangle=0$ だから $\sum_k\Gamma^k_{ij}g_{kl}=[ij,l]$ です。行列 $g=(g_{kl})$ は正定値（。$\det g=EG-F^2>0$）なので可逆で、両辺に $g^{lm}$ をかけて $l$ で和を取ると $\sum_lg_{kl}g^{lm}=\delta_k^m$ から $$ \Gamma^m_{ij}=\sum_lg^{ml}[ij,l]=\tfrac12\sum_lg^{ml}(\partial_ig_{jl}+\partial_jg_{il}-\partial_lg_{ij}). $$ $g^{ml}$ は $g$ の逆行列の成分で、$E,F,G$ の有理式（分母 $EG-F^2\ne0$）です。よって $\Gamma^m_{ij}$ は $E,F,G$ とその 1 階偏導関数だけで書かれます。 Gauss 曲率 $K$ は第一基本形式だけで決まる。具体的には、座標系 $x$ のもとで $$ (EG-F^2)\,K=\sum_mg_{m2}\Bigl(\partial_2\Gamma^m_{11}-\partial_1\Gamma^m_{12}+\sum_l\Gamma^l_{11}\Gamma^m_{l2}-\sum_l\Gamma^l_{12}\Gamma^m_{l1}\Bigr). $$ 特に、局所等長な曲面では対応する点の Gauss 曲率が等しい。 添字の多い式ですが、読み方は単純です。右辺に現れるのは Christoffel 記号とその微分だけで、Christoffel 記号は上の命題により $E,F,G$ とその微分だけで決まります。つまり右辺は第一基本形式だけで書けていて、左辺の $K$ が第二基本形式から定義されていたことと合わせると、主張になります。証明の方針は、3 階微分 $\partial_k(x_{ij})$ の偏微分の順序を入れ替えても結果が同じであることを、法線方向を含む展開で計算し、接線成分を比べることです。 $x$ は $C^\infty$ だから $\partial_k(x_{ij})=\partial_j(x_{ik})$。$(*)$ と Weingarten の公式 $N_k=-\sum_mh_k^mx_m$（$h_k^m=\sum_lh_{kl}g^{lm}$）を使って $\partial_k(x_{ij})$ を計算します。 $$ \partial_kx_{ij}=\sum_l\partial_k\Gamma^l_{ij}x_l+\sum_l\Gamma^l_{ij}x_{lk}+\partial_kh_{ij}N+h_{ij}N_k. $$ $x_{lk}$ にもう一度 $(*)$ を代入し、接成分（$x_m$ の係数）をまとめると $$ \partial_k\Gamma^m_{ij}+\sum_l\Gamma^l_{ij}\Gamma^m_{lk}-h_{ij}h_k^m. $$ 同じ式で $j$ と $k$ を入れ替えたものとの差が $0$ なので $$ h_{ij}h_k^m-h_{ik}h_j^m=\partial_k\Gamma^m_{ij}-\partial_j\Gamma^m_{ik}+\sum_l(\Gamma^l_{ij}\Gamma^m_{lk}-\Gamma^l_{ik}\Gamma^m_{lj}).\tag{Gauss の方程式} $$ ここで $i=j=1$, $k=2$ とすると、右辺は主張の括弧の中身、左辺は $h_{11}h_2^m-h_{12}h_1^m$。これに $g_{m2}$ をかけて $m$ で和を取る。$\sum_mg_{m2}h_k^m=h_{k2}$ だから左辺は $h_{11}h_{22}-h_{12}^2=\det(h)=(EG-F^2)K$（ (2)）。右辺は により $E,F,G$ とその 2 階までの偏導関数だけで書かれます。 球面の開集合から平面の開集合への局所等長写像は存在しない。 局所等長なら で $K$ が等しいはずですが、球面は $K=1/R^2>0$、平面は $K=0$ です。実際、半径 $R$ の球面では外向きの単位法線 $N=x/R$ で $dN=\frac1R\mathrm{id}$ なので形状作用素（）は $A=-\frac1R\mathrm{id}$ で $K=\det A=\frac1{R^2}$、平面では $N$ が定数なので $dN=0$、$K=0$ です。 ## 6. Gauss–Bonnet の定理 **測地曲率。** 向き付けられた曲面 $S$（単位法線場 $N$）上の単位速度曲線 $\gamma$ に対し、$\kappa_g=\langle T',N\times T\rangle$（$T=\gamma'$）を**測地曲率**といいます。向きを逆にすると符号が変わります。 以下では、$x:U\to S$ を、法線 $N=x_u\times x_v/|x_u\times x_v|$ と向きが合う座標系（向きを保つ）とします。$(u,v)$ 平面の領域 $D$ が単純閉領域（Jordan 閉曲線で囲まれた領域。内部の存在は ）で、その境界 $\partial D$ が区分的に正則な曲線のとき、$R=x(D)$ を**単純領域**といいます。境界は内部を左に見る向き（正の向き）にたどります。区分的に滑らかな境界の角では**外角** $\varepsilon_i\in(-\pi,\pi)$（入る方向から出る方向への回転角、符号つき）を考えます。
A B C ε θ
**回転数の定理**（平面の閉曲線の接線の回転数）を使います。証明は Appendix に置きます。 $\gamma:[0,L]\to\mathbb{R}^2$ を、正の向きの区分的に正則な単純閉曲線（弧長パラメータ、角 $\varepsilon_i\in(-\pi,\pi)$ をもつ）とし、$\theta$ を各滑らかな弧上での接線の偏角とする。このとき $$ \sum_j\int_{\text{弧}_j}\theta'\,ds+\sum_i\varepsilon_i=2\pi. $$ *正則曲線の外角について。* 1 点で $\gamma'(s_i^-)$ と $\gamma'(s_i^+)$ が平行で逆向きになる（尖点）場合は除きます。 $R=x(D)$ を単純領域とし、$\partial R$ を正の向きの区分的に正則な単純閉曲線とする。外角を $\varepsilon_i$ とすると $$ \sum_j\int_{\text{弧}_j}\kappa_g\,ds+\iint_RK\,dA+\sum_i\varepsilon_i=2\pi. $$ 証明の方針を先に述べます。曲面の各点で接平面の正規直交基底（標構）を選び、その基底が点を動かすとどれだけ回るかを表す[1 形式](/mathematics/manifolds/differential-forms#def-cotangent) $\omega$ を作ります。境界に沿った $\omega$ の積分は Green の定理で面積分に直り、そこから $-\iint_RK\,dA$ が出ます。残りは、境界の接線が標構に対して回る角度の合計が $2\pi$ になることで、これは平面の場合の回転数の定理に帰着します。 **(a) 標構と接続形式。** $x_u,x_v$ から Gram–Schmidt で正規直交基底 $e_1,e_2$（$e_1\times e_2=N$、$e_i$ は $(u,v)$ について $C^\infty$）を作ります。1 形式 $\omega=\langle\partial_ue_1,e_2\rangle du+\langle\partial_ve_1,e_2\rangle dv=a\,du+b\,dv$ を定めます。$\partial_ub-\partial_va$ を計算すると、2 階偏導関数の項が消えて $$ \partial_ub-\partial_va=\langle\partial_ve_1,\partial_ue_2\rangle-\langle\partial_ue_1,\partial_ve_2\rangle. $$ $e_1,e_2$ は正規直交で $\langle\partial e_2,e_1\rangle=-\langle e_2,\partial e_1\rangle$ なので、$\partial_ve_1=b\,e_2+\langle\partial_ve_1,N\rangle N$、$\partial_ue_2=-a\,e_1+\langle\partial_ue_2,N\rangle N$ 等と展開して内積を取ると、右辺は $\langle e_1,N_v\rangle\langle e_2,N_u\rangle-\langle e_1,N_u\rangle\langle e_2,N_v\rangle$、すなわち $$ \partial_ub-\partial_va=-\det\begin{pmatrix}\langle e_1,N_u\rangle&\langle e_1,N_v\rangle\\\langle e_2,N_u\rangle&\langle e_2,N_v\rangle\end{pmatrix}. $$ (2×2 行列は $dN$ の $e$ 基底での行列と $(x_u\ x_v)$ の $e$ 基底での行列の積。) $\det(dN)=K$、$\det(x_u\ x_v)_e=\langle x_u\times x_v,N\rangle=\sqrt{EG-F^2}$ より $$ \partial_ub-\partial_va=-K\sqrt{EG-F^2}. $$ **(b) 測地曲率の公式。** 境界の弧 $\gamma(s)=x(u(s),v(s))$ の単位接ベクトルを $T=\cos\varphi\,e_1+\sin\varphi\,e_2$ ($\varphi$ は弧上で滑らかに取れる) と書くと、$N\times T=-\sin\varphi\,e_1+\cos\varphi\,e_2$ です。$T'$ を計算して $N\times T$ と内積をとり、$\langle e_1',e_2\rangle=\omega(\gamma')$、$\langle e_2',e_1\rangle=-\omega(\gamma')$ を使うと $$ \kappa_g=\varphi'+\omega(\gamma')=\varphi'+a\,u'+b\,v'. $$ **(c) Green の定理。** 領域 $D$ 上に Green の定理（）を $P=a,Q=b$ で適用します（標準領域の貼り合わせで、区分的に滑らかな単純閉曲線で囲まれた領域に拡張される）。$\oint_{\partial D}\omega=\iint_D(\partial_ub-\partial_va)\,du\,dv=-\iint_RK\,dA$。 **(d) 標構に関する回転数。** (b) を $\partial R$ に沿って積分すると $$ \sum_j\int\kappa_g\,ds=\sum_j\Delta\varphi_j+\oint\omega=\sum_j\Delta\varphi_j-\iint_RK\,dA. $$ したがって $\Theta:=\sum_j\Delta\varphi_j+\sum_i\varepsilon_i=2\pi$ を示せば足ります。計量 $g_t=(1-t)(du^2+dv^2)+t\,g$（$t\in[0,1]$）を $U$ に考えます。各 $t$ について、$g_t$ に関する Gram–Schmidt で標構 $e^t_1,e^t_2$ をとり、$\partial D$ の接ベクトルの標構に対する偏角 $\varphi_t$ と外角 $\varepsilon_i(t)\in(-\pi,\pi)$（$g_t$ に関する角）を定めて $\Theta(t)=\sum_j\Delta\varphi_j(t)+\sum_i\varepsilon_i(t)$ とします。閉曲線を一周すると接線の向きは元に戻るので $\Theta(t)\in2\pi\mathbb{Z}$、$t$ について連続なので定数です。$t=0$ では標構は $(\partial_u,\partial_v)$ で、$\varphi_0$ は平面曲線 $\partial D$ の接線の偏角そのもの、$\Theta(0)=2\pi$ （）。よって $\Theta(1)=\Theta(0)=2\pi$ です。 大域版では、三角形分割を使います。コンパクトな向き付け可能曲面 $S$ の**三角形分割**とは、$S$ を有限個の曲辺三角形（各三角形は一つの座標系の中の単純領域で、辺は正則曲線）に分割し、二つの三角形が共有する部分は共通の辺または頂点であるようなものです。向きの保たれる座標系で十分小さい三角形に分割できることは、正則曲面の三角形分割の存在（Radó の定理）と細分から従います（本記事では認めます）。 $S\subset\mathbb{R}^3$ をコンパクトな向き付け可能正則曲面とする。このとき $$ \iint_SK\,dA=2\pi\chi(S). $$ ここで $\chi(S)$ は Euler 標数（）。 $S$ の三角形分割を取り、頂点数 $V$、辺数 $E$、三角形数 $F$ とします。$S$ は頂点・辺・三角形を胞体とする CW 複体（）なので、 により $\chi(S)=V-E+F$ は分割の取り方によりません。 各三角形に を適用し、全三角形について足します（各三角形の境界は $S$ の向きから決まる正の向き）。 $$ \iint_SK\,dA+\sum_{\text{三角形}}\oint\kappa_g\,ds+\sum_{\text{三角形,頂点}}\varepsilon=2\pi F. $$ 各辺は隣り合う 2 つの三角形に逆向きに現れ、$\kappa_g$ は向きの反転で符号が変わるので、辺上の積分は打ち消し合います。三角形の頂点での内角を $\theta=\pi-\varepsilon$ とすると、$\sum\varepsilon=3\pi F-\sum\theta$。各頂点のまわりの内角の和は $2\pi$ なので $\sum\theta=2\pi V$。したがって $$ \iint_SK\,dA=2\pi F-3\pi F+2\pi V=2\pi V-\pi F. $$ 各三角形は 3 辺、各辺は 2 つの三角形に属するので $3F=2E$、$\pi F=2\pi(E-F)$ と書けて、$2\pi V-\pi F=2\pi(V-E+F)=2\pi\chi(S)$。 球面（半径 $R$）: $K=1/R^2$、面積 $4\pi R^2$ なので $\iint K\,dA=4\pi=2\pi\cdot2$、$\chi(S^2)=2$ と一致。トーラスでは $\chi=0$ だから、内側の $K<0$ の部分の積分と外側の $K>0$ の部分の積分が打ち消し合います。種数 $g$ の曲面では $\iint K\,dA=2\pi(2-2g)$（）。球面と同相でない曲面は、必ず $K\le0$ の点を持つことも従います。 ## 7. Hadamard の卵形面定理 $S\subset\mathbb{R}^3$ をコンパクトで連結な向き付け可能正則曲面とし、すべての点で $K>0$ とする。このとき Gauss 写像 $N:S\to S^2$ は微分同相写像である。さらに、$S$ は各点 $p$ の接平面 $p+T_pS$ の一方の側にあり、接平面とは $p$ だけで交わる（$S$ は凸）。 証明の流れは次のとおりです。まず $K>0$ から Gauss 写像 $N$ が各点の近くで微分同相になることを見ます。次にコンパクト性から、$N$ が球面の各点の近くで同じ形のコピーに分かれる写像（被覆写像）になることを示します。球面は輪を縮められる（単連結）ので、コピーは 1 枚しかなく、$N$ は全体で微分同相になります。最後に、方向 $v$ に沿った高さの最大・最小を調べて凸性を出します。 **(1) $N$ は局所微分同相。** $dN_p=-A_p$ で $\det A_p=K\ne0$ だから、$dN_p$ は同型です。多様体上の逆関数定理（）から $N$ は局所微分同相。 **(2) $N$ は被覆写像。** $N(S)$ は開集合（局所微分同相は開写像）かつ $S$ のコンパクト性から閉集合。$S^2$ は連結なので $N(S)=S^2$。$y\in S^2$ に対し $N^{-1}(y)$ はコンパクトかつ離散（局所単射）なので有限集合 $\{p_1,\dots,p_m\}$。互いに素な開近傍 $W_i\ni p_i$ を $N|_{W_i}$ が微分同相になるようにとる。$S\setminus\bigcup W_i$ はコンパクトでその像は $y$ を含まない閉集合なので、$V=\bigcap_iN(W_i)\setminus N(S\setminus\bigcup W_i)$ は $y$ の開近傍で、$N^{-1}(V)=\bigsqcup_i(W_i\cap N^{-1}(V))$、各 $W_i\cap N^{-1}(V)$ は $V$ に微分同相に写る。よって $V$ はよく被覆される（）。 **(3) 被覆の枚数は 1。** $S^2$ は単連結（）で局所道連結だから、持ち上げ定理（）により、被覆 $N:S\to S^2$ に対し $\mathrm{id}_{S^2}$ の持ち上げ $\sigma:S^2\to S$, $N\sigma=\mathrm{id}$ が存在します。$\sigma$ は単射で、$N$ が局所微分同相なので $\sigma$ は開写像、$S^2$ のコンパクト性から $\sigma(S^2)$ は閉集合でもあり、$S$ の連結性から $\sigma(S^2)=S$。よって $\sigma$ は全単射で $N=\sigma^{-1}$ も全単射。滑らかな逆を持つので $N$ は微分同相です。 **(4) 凸性。** 単位ベクトル $v$ に対し高さ関数 $h_v(q)=\langle q,v\rangle$ は $S$ 上の滑らかな関数で、$q$ が臨界点なら $v\perp T_qS$、すなわち $N(q)=\pm v$。(3) より臨界点はちょうど 2 点 $p_+=N^{-1}(v)$, $p_-=N^{-1}(-v)$ です。$S$ はコンパクトだから $h_v$ は最大点と最小点を持ち、どちらも臨界点です。$h_v$ が定数なら $S$ が平面に含まれて $K=0$ となり矛盾するので、最大値と最小値は異なり、最大点・最小点が $p_+,p_-$ の相異なる 2 点です。任意の $p\in S$ に対し $v=N(p)$ とおくと $p=p_+$ は最大点か最小点のどちらかで、$S$ は $p+T_pS=\{q:\langle q-p,v\rangle=0\}$ の片側にあります。また最大（最小）値をとる点は臨界点 $p_\pm$ のうち一方だけなので、$S$ と接平面の共有点は $p$ のみです。 *補足。* コンパクトな正則曲面が常に向き付け可能であることは Jordan–Brouwer の分離定理から従いますが、ここでは仮定に含めています。 ## 8. 演習 $\kappa>0$ の単位速度曲線で $\tau\equiv0$ ならば、曲線は平面に含まれることを示せ。 $\tau=0$ なら $B'=-\tau N=0$ なので $B$ は定ベクトル。$\frac d{ds}\langle\alpha,B\rangle=\langle T,B\rangle=0$ より $\langle\alpha(s),B\rangle$ は定数、すなわち $\alpha$ は $B$ に垂直な平面に含まれる。 曲面 $z=f(x,y)$ の原点で $f=0$, $\nabla f=0$ とする。原点での Gauss 曲率を $f$ の 2 階微分で表せ。 $x(u,v)=(u,v,f(u,v))$ とすると、原点で $x_u=(1,0,0)$, $x_v=(0,1,0)$, $N=(0,0,1)$, $E=G=1,F=0$。$h_{ij}=\langle N,x_{ij}\rangle=f_{ij}$。 (2) から $K=f_{xx}f_{yy}-f_{xy}^2$。すなわち Hesse 行列の行列式（）。 双曲放物面 $z=xy$ の原点での Gauss 曲率と主曲率を求めよ。 $f=xy$ で $f_{xx}=f_{yy}=0$, $f_{xy}=1$ より から $K=-1$。形状作用素は $\begin{pmatrix}0&1\\1&0\end{pmatrix}$（原点で $g=I$）で固有値 $\pm1$。主曲率は $1,-1$ で、主方向は $(1,\pm1)/\sqrt2$。 曲面上の測地三角形（辺の測地曲率が $0$）の内角の和は $\pi+\iint_RK\,dA$ であることを示せ。球面上の測地三角形で内角の和が $\pi$ より大きいことを確認せよ。 で $\kappa_g=0$ とすると $\iint K\,dA+\sum\varepsilon_i=2\pi$。$\varepsilon_i=\pi-\theta_i$（$\theta_i$ は内角）で $\sum\varepsilon_i=3\pi-\sum\theta_i$。よって $\sum\theta_i=\pi+\iint K\,dA$。球面（$K>0$）では $\sum\theta_i>\pi$ ($=\pi+A/R^2$)。 ## 参考文献 - M. P. do Carmo, *Differential Geometry of Curves and Surfaces*, Prentice-Hall, 1976 — 第 1〜4 章（曲線、曲面、Gauss 写像、Theorema Egregium、Gauss–Bonnet、Hadamard の定理）。 - A. Pressley, *Elementary Differential Geometry*, 2nd ed., Springer, 2010 — 第 1〜13 章。 - 小林昭七『曲線と曲面の微分幾何』（改訂版）裳華房、1995。 - 梅原雅顕・山田光太郎『曲線と曲面 — 微分幾何的アプローチ』（改訂版）裳華房、2015。 - H. Hopf, "Über die Drehung der Tangenten und Sehnen ebener Kurven", *Compositio Math.* 2 (1935), 50–62. ## Appendix: 回転数の定理の証明 の証明です。弦の方向を 2 変数の関数とみて、三角形の境界に沿った偏角の変化を二通りに数えます（Hopf の方法）。 **設定。** $\gamma:[0,L]\to\mathbb{R}^2$ を弧長パラメータの区分的 $C^1$ 級正則な単純閉曲線とし、$\theta$ を接線の偏角とします。$y$ 座標が最小の点（複数あれば最も左のもの）を $p_0$ とし、$\gamma(0)=\gamma(L)=p_0$ となるようにパラメータをずらします。$p_0$ では角があってもよく、$a=\gamma'(0^+)$, $b=\gamma'(L^-)$、外角を $\varepsilon_0\in(-\pi,\pi)$（$b$ から $a$ への符号つき角）とします。それ以外の角を $s_1<\dots）。したがって持ち上げ定理（）を被覆 $\mathbb{R}\to S^1$ に使って、$\Sigma=(\cos\psi,\sin\psi)$ なる連続関数 $\psi:T^*\to\mathbb{R}$ が存在します。$\psi$ は関数ですから、$T^*$ 内の閉じた折れ線に沿った変化量の和は $0$ です。以下、小さな $r>0$ に対し、次の折れ線を考えます。 **(i) 対角線。** $(0,0)\to(L,L)$ を対角線に沿って進みます。各滑らかな弧では $\psi(s,s)$ は接線の偏角なので、その変化は $\int\theta'\,ds$。角 $s_i$ の近くでは、対角線を $(s_i-r,s_i-r)\to(s_i-r,s_i+r)\to(s_i+r,s_i+r)$ と迂回します。この折れ線上の弦の方向は、$s_i$ の前後の弧が $C^1$ であること（$\gamma(s_i+v)-\gamma(s_i-u)=v(a_i+o(1))+u(b_i+o(1))$、$u,v\ge0$）から、$b_i=\gamma'(s_i^-)$ と $a_i=\gamma'(s_i^+)$ のなす角（長さ $|\varepsilon_i|<\pi$ の弧）の $o(1)$ 近傍に入ります。始点で $\Sigma\approx b_i$、終点で $\approx a_i$ なので、$\psi$ の変化は $\varepsilon_i+o(1)$。したがって対角線の変化の合計は $D=\sum_{\text{弧}}\int\theta'+\sum_{i\ge1}\varepsilon_i+o(1)$。 **(ii) 辺 $s=0$。** $(0,0)\to(0,L-r)$。$\Sigma(0,t)$ は $p_0$ から $\gamma(t)$ への方向で、$\gamma(t)$ は上半平面にあるので、上半円周 $U_+$ に値を取ります。$\psi(0,0)=\alpha_a$（$a$ の偏角、$[0,\pi]$ の値）となるよう定数を選ぶと、$\psi(0,t)\in[0,\pi]$。$t\to L$ で $\Sigma(0,t)\to-b$ なので、$\psi(0,L-r)\to\alpha_{-b}$（$-b$ の偏角、$[0,\pi]$）。変化は $\delta:=\alpha_{-b}-\alpha_a$ に収束します。 **(iii) 点 $(0,L)$ の迂回。** $(0,L-r)\to(r,L-r)\to(r,L)$。ここの弦は $p_0-rb-\sigma a$ 型（前後の弧上の点を結ぶ）で、方向は $-a,-b$ のなす角（長さ $|\varepsilon_0|$）の近傍に入り、$\psi$ の変化は $\varepsilon_0+o(1)$。 **(iv) 辺 $t=L$。** $(r,L)\to(L,L)$。$\Sigma(s,L)=(p_0-\gamma(s))/|\cdot|$ は下半円周 $U_-$ に値を取るので、$\psi(\cdot,L)$ は $U_-$ の一つの持ち上げ $[\pi+2\pi m,2\pi+2\pi m]$ に入ります。その端点の値は $\Sigma(r,L)\approx-a$ で $\alpha_a+\pi+2\pi m$、$\Sigma(L,L)=b$ で $\alpha_{-b}+\pi+2\pi m$。変化は $\delta+o(1)$。 (iii) の終点は (ii) の終点に $\varepsilon_0$ を足したものですから、$\alpha_{-b}+\varepsilon_0=\alpha_a+\pi+2\pi m$、すなわち $\varepsilon_0=\pi-\delta+2\pi m$ です。$|\varepsilon_0|<\pi$, $|\delta|\le\pi$ より $m=0$（このとき $\delta>0$）または $m=-1$（$\delta<0$）。閉じた折れ線の変化量の和は $0$ なので、(ii)(iii)(iv) と (i) の逆向きから $\delta+\varepsilon_0+\delta-D=0$、$r\to0$ として $$ D=2\delta+\varepsilon_0,\qquad\Theta_{\mathrm{tot}}=D+\varepsilon_0=2\delta+2\varepsilon_0=2\pi+4\pi m. $$ 正の向きの曲線では $m=0$ です。実際、$y0$、よって $m=0$ です。以上で $\Theta_{\mathrm{tot}}=2\pi$ が示されました。（ここで Jordan の曲線定理 を使っています。）