logo

3次元ユークリッド空間における曲線が平面内に位置する同値条件 📂幾何学

3次元ユークリッド空間における曲線が平面内に位置する同値条件

定理 1

単位スピード曲線κ0\kappa \ne 0に対して、以下の3つは等価である。

  • (a): α\alphaは平面にある。
  • (b): BBは定数である。
  • (c): τ=0\tau = 0が成り立つ。

説明

これはフレネ-セレ式の帰結として、捩れがなぜτ:=<B,N>\tau := \left< B^{\prime}, N \right>のように奇妙に定義されたのかを理解することができる。

証明

フレネ-セレの公式α\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*}


パート1. (b)    (c)(b) \implies (c)

BBが定数なので、B=0B^{\prime} = \mathbf{0}であり、フレネ-セレ公式により、τ=<B,N>=0\tau = - \left< B^{\prime} , N \right> = \mathbf{0}


パート2. (c)    (b)(c) \implies (b)

τ=0\tau = \mathbf{0}であれば、フレネ-セレの公式により、B=τN=0B^{\prime} = -\tau N = \mathbf{0}


パート3. (a)    (b)(a) \implies (b)

便宜上、α\alphaxyxy平面上にあり、α(s)=(x(s),y(s),0)\alpha (s) = \left( x(s) , y(s) , 0 \right)のように表されるとする。 T=α(s)=(x,y,0)N=T(s)κ(s)=1κ(x,y,0) T = \alpha^{\prime} (s) = \left( x^{\prime} , y^{\prime}, 0 \right) \\ N = {{ T^{\prime}(s) } \over { \kappa (s) }} = {{ 1 } \over { \kappa }} \left( x^{\prime \prime} , y^{\prime \prime} , 0 \right) なので、 B=T×N=1κ[e1e2e3xy0xy0]=1κ(0,0,κ)=(0,0,±1) B = T \times N = {{ 1 } \over { \kappa }} \begin{bmatrix} e_{1} & e_{2} & e_{3} \\ x^{\prime} & y^{\prime} & 0 \\ x^{\prime \prime} & y^{\prime \prime} & 0 \end{bmatrix} = {{ 1 } \over { \kappa }} ( 0, 0, \kappa ) = (0 , 0, \pm 1) つまり、BBは定数である。これはxyxy平面で示されたものだが、基底を変えることで全ての平面に一般化できる。ここで、κ=xyxy\kappa = \left| x^{\prime} y^{\prime \prime} - x^{\prime \prime} y^{\prime} \right|は計算によって得られる2


パート4. (b)    (a)(b) \implies (a)

あるvR3v \in \mathbb{R}^{3}に対して、次が成り立つことを示せば十分である。 <α(s)α(s0),v>=0 \left< \alpha (s) - \alpha \left( s_{0} \right) , v \right> = 0 v=Bv = Bに対して、 <α(s)α(s0),B>=<α(s),B>+<α(s)α(s0),B>=<T,B>+<α(s)α(s0),0>=0+0 \left< \alpha (s) - \alpha \left( s_{0} \right) , B \right>^{\prime} = \left< \alpha^{\prime}(s) , B \right> + \left< \alpha (s) - \alpha \left( s_{0} \right) , B^{\prime} \right> \\ = \left< T , B \right> + \left< \alpha (s) - \alpha \left( s_{0} \right) , 0 \right> \\ = 0 + 0 したがって、<α(s)α(s0),B>\left< \alpha (s) - \alpha \left( s_{0} \right) , B \right>は全てのsIs \in Iに対して変わらず、具体的にはs=s0s = s_{0}とすると、 <α(s)α(s0),B>=0 \left< \alpha (s) - \alpha \left( s_{0} \right) , B \right> = 0


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

  2. https://math.stackexchange.com/a/3619498/459895 ↩︎