logo

曲線の基本定理の証明 📂幾何学

曲線の基本定理の証明

定理 1

a,ba,b00 を含む区間としよう。そして次が成立するとしよう。

  • (i): κ(s)>0\overline{\kappa}(s) > 0(a,b)(a,b)C1C^{1}
  • (ii): τ(s)\overline{\tau}(s)(a,b)(a,b) で連続
  • (iii): x0\mathbf{x}_{0}R3\mathbb{R}^{3} の固定された一点
  • (iv): {D,E,F}\left\{ D,E,F \right\}R3\mathbb{R}^{3}右手方向正規直交基底

するとパラメータが α(0)\alpha (0) からの弦の長さであり、次を満たす C3C^{3} 正則曲線 α:(a,b)R3\alpha : (a,b) \to \mathbb{R}^{3} が唯一存在する: α(0)=(x0)T(0)=DN(0)=EB(0)=Fκ(s)=κ(s)τ(s)=τ(s) \begin{align*} \alpha (0) =& \left( \mathbf{x}_{0} \right) \\ T(0) =& D \\ N(0) =& E \\ B(0) =& F \\ \kappa (s) =& \overline{\kappa} (s) \\ \tau (s) =& \overline{\tau} (s) \end{align*}


説明

曲線の基本定理Fundamental Theorem of curveは、33 次元空間で曲線とは曲率とトーションによって特定できるという強力な定理であり、次のような結果が偶然ではないことを示している。

  • κ=0\kappa = 0 なら直線である。
  • κ0,τ=0\kappa \ne 0 , \tau = 0 なら平面曲線である。
  • κ/τ\kappa / \tau が定数なら螺旋である。
  • τ=0\tau = 0κ>0\kappa > 0 が定数なら円である。
  • τ0\tau \ne 0 が定数で κ>0\kappa > 0 が定数なら円形螺旋である。

唯一性と存在性を保証する定理という意味で、基本定理という名前は全く惜しくない。

証明

ピカールの定理: 連立1階常微分方程式の初期値問題について、解が唯一存在する。

フレネ-セレの公式: α\alphaκ(s)0\kappa (s) \ne 0 である単位スピードカーブとすれば T(s)=κ(s)N(s)N(s)=κ(s)T(s)+τ(s)B(s)B(s)=τ(s)N(s) \begin{align*} T^{\prime}(s) =& \kappa (s) N(s) \\ N^{\prime}(s) =& - \kappa (s) T(s) + \tau (s) B(s) \\ B^{\prime}(s) =& - \tau (s) N(s) \end{align*}


uj=i=13aij(s)ui(aij)=[0κ0κ0τ0τ0] \mathbf{u}_{j}^{\prime} = \sum_{i=1}^{3} a_{ij} (s) u_{i} \\ \left( a_{ij} \right) = \begin{bmatrix} 0 & \overline{\kappa} & 0 \\ -\overline{\kappa} & 0 & \overline{\tau} \\ 0 & \overline{\tau} & 0 \end{bmatrix}

上記のようなODEシステムを考えると、ピカールの定理に従って次を満たす唯一の解 uj(s)\mathbf{u}_{j}(s) が存在する。 u1(0)=Du2(0)=Eu3(0)=F \begin{align*} \mathbf{u}_{1} (0) =& D \\ \mathbf{u}_{2} (0) =& E \\ \mathbf{u}_{3} (0) =& F \end{align*} 今、解が我々に必要な条件を満たすことを示せばよい。


Step 1. ui(t)\mathbf{u}_{i}(t) は正規直交である。

pij:=<ui,uj>p_{ij} := \left< \mathbf{u}_{i}, \mathbf{u}_{j} \right> とすると pij=<ui,uj>+<ui,uj>=<k=13akiuk,uj>+<ui,k=13akjuk>=k=13akipkj+k=13akjpik \begin{align*} p_{ij}^{\prime} =& \left< \mathbf{u}_{i}^{\prime}, \mathbf{u}_{j} \right> + \left< \mathbf{u}_{i}, \mathbf{u}_{j}^{\prime} \right> \\ =& \left< \sum_{k=1}^{3} a_{ki} \mathbf{u}_{k} , \mathbf{u}_{j} \right> + \left< \mathbf{u}_{i}, \sum_{k=1}^{3} a_{kj} \mathbf{u}_{k} \right> \\ =& \sum_{k=1}^{3} a_{ki} p_{kj} + \sum_{k=1}^{3} a_{kj} p_{ik} \end{align*} したがって pijp_{ij} はピカールの定理に従って初期値が与えられた微分方程式の唯一の解であり、 pij=k=13(akipkj+akjpik) p_{ij}^{\prime} = \sum_{k=1}^{3} \left( a_{ki} p_{kj} + a_{kj} p_{ik} \right) より、t=0t = 0 においてクロネッカーのデルタ関数 pij(0)=δijp_{ij} (0) = \delta_{ij} である。一方 k=13(akiδkj+akjδ)=aji+aij=0=δij \sum_{k=1}^{3} \left( a_{ki} \delta_{kj} + a_{kj} \delta_{} \right) = a_{ji} + a_{ij} = 0 = \delta_{ij}^{\prime} であるので、δij=pij\delta_{ij} = p_{ij} そのものが上記の微分方程式の唯一の解として存在する。したがって次を得る。 <ui,uj>=δij \left< \mathbf{u}_{i} , \mathbf{u}_{j} \right> = \delta_{ij}


Step 2. 単位スピードカーブα\alphaの正則性

α(s):=x0+0su1(σ)dσ \alpha (s) := \mathbf{x}_{0} + \int_{0}^{s} \mathbf{u}_{1} (\sigma) d \sigma s(a,b)s \in (a,b) に対して、α(s)\alpha (s) を上記のように定義しよう。まず、一次微分すると微積分学の基本定理に従って dαds=u1(s) {{ d \alpha } \over { ds }} = \mathbf{u}_{1} (s) もう一度微分すると、当初考えていた微分方程式により d2αds2=u1=κu2 {{ d^{2} \alpha } \over { ds^{2} }} = \mathbf{u}_{1}^{\prime} = \overline{\kappa} \mathbf{u}_{2} 仮定より κ\overline{\kappa}u2\mathbf{u}_{2} は微分可能であるので、もう一度微分すると d3αds3=κu2+κu2=κu2+κ(κu1+τu3) {{ d^{3} \alpha } \over { ds^{3} }} = \overline{\kappa}^{\prime} \mathbf{u}_{2} + \overline{\kappa} \mathbf{u}_{2}^{\prime} = \overline{\kappa}^{\prime} \mathbf{u}_{2} + \overline{\kappa} \left( -\overline{\kappa} \mathbf{u}_{1} + \overline{\tau} \mathbf{u}_{3} \right) κ\overline{\kappa}τ\overline{\tau} は連続であり、ui\mathbf{u}_{i} すべて微分可能であるので連続であるため、d3αds3{{ d^{3} \alpha } \over { ds^{3} }} も連続であり、したがって α\alphaC3C^{3} である。Step 1ですでに dαds=u1=1 \left| {{ d \alpha } \over { ds }} \right| = \left| \mathbf{u}_{1} \right| = 1 であることを示したので、α\alpha は単位スピードカーブである。


Step 3. κ=κ,τ=τ,u1=T,u2=N,u3=B\overline{\kappa} = \kappa, \overline{\tau} = \tau, \mathbf{u}_{1} = T, \mathbf{u}_{2} = N, \mathbf{u}_{3} = B

α=u1\alpha^{\prime} = \mathbf{u}_{1} なので当然 u1=T\mathbf{u}_{1} = T である。フレネ-セレの公式に従って κN=T=u1=κu2 \kappa N = T^{\prime} = \mathbf{u}_{1}^{\prime} = \overline{\kappa} \mathbf{u}_{2} である。NN および u2\mathbf{u}_{2} が単位ベクトルなので、κ>0\overline{\kappa} > 0 したがって κ=κ\overline{\kappa} = \kappa する必要があり、よって N=u2N = \mathbf{u}_{2} である。{u1,u2,u3}\left\{ \mathbf{u}_{1} , \mathbf{u}_{2}, \mathbf{u}_{3} \right\}R3\mathbb{R}^{3} の正規直交基底なので [u1,u2,u3]=±1\left[ \mathbf{u}_{1} , \mathbf{u}_{2}, \mathbf{u}_{3} \right] = \pm 1 となり、s=0s = 0 から [D,E,F]=[u1,u2,u3]=±1 \left[ D, E, F \right] = \left[ \mathbf{u}_{1} , \mathbf{u}_{2}, \mathbf{u}_{3} \right] = \pm 1 スカラー三重積 [u1,u2,u3]\left[ \mathbf{u}_{1} , \mathbf{u}_{2}, \mathbf{u}_{3} \right] は連続[^2]であるので、実際常に [u1,u2,u3]=1 \left[ \mathbf{u}_{1} , \mathbf{u}_{2}, \mathbf{u}_{3} \right] = 1 である。したがって B=T×N=u1×u2=u3 B = T \times N = \mathbf{u}_{1} \times \mathbf{u}_{2} = \mathbf{u}_{3} である。最後に、もう一度フレネ-セレの公式に従って τN=B=u3=τu2 -\tau N = B^{\prime} = \mathbf{u}_{3}^{\prime} = - \overline{\tau} \mathbf{u}_{2} なのでN=u2N = \mathbf{u}_{2} を得る。


  1. Millman. (1977). Elements of Differential Geometry: p42. ↩︎