第1章: 曲線論

曲線の局所的性質を解析する

このページの目標

空間曲線の曲率捩率を定義し、フレネ・セレの公式を導く。曲線の局所的形状を数学的に記述する方法を学ぶ。

1. 正則曲線と弧長パラメータ

定義:正則曲線

$\mathbb{R}^3$ の曲線 $\gamma: I \to \mathbb{R}^3$ が正則であるとは:

$$\gamma'(t) \neq 0 \quad (\forall t \in I)$$

定義:弧長パラメータ

曲線の弧長 $s(t) = \displaystyle\int_{t_0}^{t} |\gamma'(u)| du$ を用いてパラメータを取り直すと:

$$\left|\dfrac{d\gamma}{ds}\right| = 1$$

このような $s$ を弧長パラメータという。

2. 曲率

定義:曲率

弧長パラメータ $s$ で表された曲線 $\gamma(s)$ の曲率

$$\kappa(s) = \left|\dfrac{d^2\gamma}{ds^2}\right| = \left|\dfrac{d\mathbf{t}}{ds}\right|$$

ここで $\mathbf{t} = d\gamma/ds$ は単位接ベクトル。

直感的には、半径 $R$ の円は曲率 $\kappa = 1/R$ をもつ。すなわち曲率は「曲がりの強さ」(曲率半径 $R$ の逆数)を表し、直線は $\kappa = 0$、急なカーブほど $\kappa$ は大きい。

P t R 曲率中心
図1: 曲率円。曲線の曲率が最大となる点 $P$ に内接し、$P$ で曲率 $\kappa$ を共有する円(半径 $R=1/\kappa$、中心が曲率中心)。接線 $\mathbf{t}$ と半径は直交する。

定理:曲率の計算公式

一般のパラメータ $t$ で表された曲線 $\gamma(t)$ の曲率:

$$\kappa = \dfrac{|\gamma' \times \gamma''|}{|\gamma'|^3}$$

平面曲線 $(x(t), y(t))$ では:

$$\kappa = \dfrac{|x'y'' - x''y'|}{(x'^2 + y'^2)^{3/2}}$$

3. フレネ標構

定義:フレネ標構

空間曲線に沿った正規直交基底:

  • 接ベクトル:$\mathbf{t} = \dfrac{d\gamma}{ds}$
  • 主法線ベクトル:$\mathbf{n} = \dfrac{1}{\kappa}\dfrac{d\mathbf{t}}{ds}$
  • 従法線ベクトル:$\mathbf{b} = \mathbf{t} \times \mathbf{n}$
t n b P
図2: らせん上の点 $P$ におけるフレネ標構 $\{\mathbf{t},\mathbf{n},\mathbf{b}\}$。$\mathbf{t}$ は接線、$\mathbf{n}$ は主法線、$\mathbf{b}=\mathbf{t}\times\mathbf{n}$ は従法線で、$\mathbf{t},\mathbf{n}$ が接触平面を張る。

4. 捩率とフレネ・セレの公式

定義:捩率

曲線が接触平面($\mathbf{t}$ と $\mathbf{n}$ が張る平面)から「ねじれる」度合いを表す捩率

$$\tau = -\dfrac{d\mathbf{b}}{ds} \cdot \mathbf{n}$$

平面内に収まる曲線(直線・円・放物線など)では $\tau = 0$ である。曲線が接触平面から立体的にねじれて初めて $\tau \neq 0$ となる(例:下記のらせん)。

定理:フレネ・セレの公式

$$\dfrac{d}{ds}\begin{pmatrix} \mathbf{t} \\ \mathbf{n} \\ \mathbf{b} \end{pmatrix} = \begin{pmatrix} 0 & \kappa & 0 \\ -\kappa & 0 & \tau \\ 0 & -\tau & 0 \end{pmatrix} \begin{pmatrix} \mathbf{t} \\ \mathbf{n} \\ \mathbf{b} \end{pmatrix}$$

定理:曲線の基本定理

曲率 $\kappa(s) > 0$ と捩率 $\tau(s)$ が与えられたとき、これらを曲率・捩率に持つ空間曲線が(合同変換を除いて)一意に存在する。

例:らせん曲線

$\gamma(t) = (a\cos t, a\sin t, bt)$ の曲率と捩率:

$$\kappa = \dfrac{a}{a^2 + b^2}, \quad \tau = \dfrac{b}{a^2 + b^2}$$

両方とも定数なので、らせんは「曲がり方とねじれ方が一様」な曲線。

まとめ

この章のポイント

  • 曲率 κ:曲線の「曲がり具合」(曲率半径の逆数)
  • 捩率 τ:曲線の「ねじれ具合」
  • フレネ標構:{t, n, b} の正規直交基底
  • 基本定理:κ, τ で曲線が(合同を除き)決まる

よくある質問

Q1. フレネ・セレの公式は何を記述するものか

フレネ・セレの公式は、正則曲線の接ベクトル $\mathbf{t}$・主法線ベクトル $\mathbf{n}$・従法線ベクトル $\mathbf{b}$ が弧長 $s$ に関してどう変化するかを $\mathbf{t}'=\kappa\mathbf{n}$, $\mathbf{n}'=-\kappa\mathbf{t}+\tau\mathbf{b}$, $\mathbf{b}'=-\tau\mathbf{n}$ と表す。曲率 $\kappa$($\kappa>0$)と捩率 $\tau$ が、適切な正則性条件の下で曲線を(合同変換を除いて)完全に決定する。

Q2. 弧長パラメータを使う利点は何か

弧長パラメータ $s$ を使うと速さ $|\gamma'(s)|=1$ が保証され、曲率 $\kappa=|\gamma''(s)|$ が直接求まる。任意のパラメータ $t$ では $\kappa=|\gamma'\times\gamma''|/|\gamma'|^3$ という煩雑な式になる。弧長パラメータは曲線の内在的な性質(パラメータの取り方によらない性質)を論じるのに標準的である。

Q3. 閉曲線の回転数(turning number)とは何か

平面閉曲線が一周する間に接線ベクトルが回転する全角度を $2\pi$ で割った整数を回転数(または回転指数)という。単純閉曲線(自己交差なし)の回転数は $\pm 1$(ホップの定理)で、符号は向きによる。位相幾何学的な不変量であり、結び目理論の基礎になる。

参考資料