logo

弦の定義 📂幾何学

弦の定義

定義 1

  1. 曲線 α:(c,d)R3\alpha : (c,d) \to \mathbb{R}^{3} が与えられたとする。c<a<b<dc < a < b < d ならば、全ての t[a,b]t \in [a,b] について α(t)=γ(t)\alpha (t) = \gamma (t) を満たす γ:[a,b]R3\gamma : [a,b] \to \mathbb{R}^{3}または曲線の断片と呼ぶ。
  2. γ:[a,b]R3\gamma : [a,b] \to \mathbb{R}^{3} の長さ l[a,b](γ)l_{[a,b]}(\gamma) は以下のように定義される。 l[a,b](γ):=abdγdtdt l_{[a,b]}(\gamma) := \int_{a}^{b} \left| {{ d \gamma } \over { d t }} \right| dt
  3. s=h(t)s = h(t) によって定義される 円弧の長さは、α\alpha に従って次のように定義される。 h(t):=t0tdαdtdt h(t) := \int_{t_{0}}^{t} \left| {{ d \alpha } \over { dt }} \right| dt

説明

定義において、曲線の断片 γ\gamma は自然に α\alpha の一部として定義され、その長さの定義も ジャコビアン の概念から明らかである。円弧の長さというのは、私たちが関心を持っている区間 [t,t0]\left[ t, t_{0} \right] でわざわざ弦を再定義して長さを議論する面倒を避けるために考えられたものであると見ることができる。

円弧の長さの再パラメータ化

特に、関数 hh再パラメータ化 そのものであり、g:(c,d)(a,b)g: (c,d) \to (a,b)h(t)=t0tdαdudu\displaystyle h(t) = \int_{t_{0}}^{t} \left| {{ d \alpha } \over { du }} \right| du について次を満たす場合、円弧の長さの再パラメータ化と言われる。 g(s)=h1(s) g(s) = h^{-1} (s) これはよく知られている変数置換に過ぎない。では、なぜこれを使うのかを見てみよう。 β=αg=αh1 \begin{align*} \beta =& \alpha \circ g \\ =& \alpha \circ h^{-1} \end{align*} とすると α=βh\alpha = \beta \circ h であり、hh が増加関数であるから h=h\left| h^{\prime} \right| = h^{\prime} なので s=t0tα(u)du=t0t(βh)du=t0t(βh)h(u)du=0sβ(v)dv \begin{align*} s =& \int_{t_{0}}^{t} \left| \alpha^{\prime} (u) \right| du \\ =& \int_{t_{0}}^{t} \left| \left( \beta \circ h \right)^{\prime} \right| du \\ =& \int_{t_{0}}^{t} \left| \left( \beta^{\prime} \circ h \right) \right| h^{\prime}(u) du \\ =& \int_{0}^{s} \left| \beta^{\prime} (v) \right| dv \end{align*} 両辺を ss について微分すると、微積分学の基本定理により 1=β(s) 1 = \left| \beta^{\prime} (s) \right| つまり、スピードは 11 で一定になり扱いやすくなる。

また、以下の定理から、曲線の再パラメータ化が曲線の長さを変えないことがわかる。gg(c,d)(c,d) だけ移動すると、α\alpha(a,b)(a,b) だけ移動するので、これは明らかなことである。比喩すれば、出発地から目的地までの経路は同じであり、移動手段が変わっただけで移動距離は変わらず、速度だけが変わることになる。

定理

再パラメータ化において、弦の長さは不変である。

証明

α\alpha と再パラメータ化 g:[c,d][a,b]g : [c,d] \to [a,b] について、β:=αg\beta := \alpha \circ g と仮定すると、β\beta の長さは次のようになる。 cddβdtdr=cd(dαdt)(dgdr)dr=cddαdtdgdrdr \begin{align*} \int_{c}^{d} \left| {{ d \beta } \over { d t }} \right| dr =& \int_{c}^{d} \left| \left( {{ d \alpha } \over { d t }} \right) \left( {{ d g } \over { d r }} \right) \right| dr \\ =& \int_{c}^{d} \left| {{ d \alpha } \over { d t }} \right| \left| {{ d g } \over { d r }} \right| dr \end{align*}


ケース 1. gg が増加関数の場合

g(c)=a,g(d)=bg(c) = a, g(d) = b かつ dgdr=dgdr\left| {{ d g } \over { d r }} \right| = {{ d g } \over { d r }} であるため、 cddαdtdgdrdr=cddαdtdgdrdr=cddαdtdg=abdαdtdt \begin{align*} \int_{c}^{d} \left| {{ d \alpha } \over { d t }} \right| \left| {{ d g } \over { d r }} \right| dr =& \int_{c}^{d} \left| {{ d \alpha } \over { d t }} \right| {{ d g } \over { d r }} dr \\ =& \int_{c}^{d} \left| {{ d \alpha } \over { d t }} \right| d g \\ =& \int_{a}^{b} \left| {{ d \alpha } \over { d t }} \right| d t \end{align*}


ケース 2. gg が減少関数の場合

g(c)=b,g(d)=ag(c) = b, g(d) = a かつ dgdr=dgdr\left| {{ d g } \over { d r }} \right| = - {{ d g } \over { d r }} であるため、 cddαdtdgdrdr=cddαdt(dgdr)dr=cddαdtdg=badαdtdt=abdαdtdt \begin{align*} \int_{c}^{d} \left| {{ d \alpha } \over { d t }} \right| \left| {{ d g } \over { d r }} \right| dr =& \int_{c}^{d} \left| {{ d \alpha } \over { d t }} \right| \left( - {{ d g } \over { d r }} \right) dr \\ =& - \int_{c}^{d} \left| {{ d \alpha } \over { d t }} \right| d g \\ =& - \int_{b}^{a} \left| {{ d \alpha } \over { d t }} \right| d t \\ =& \int_{a}^{b} \left| {{ d \alpha } \over { d t }} \right| d t \end{align*}


よって、gg が増加関数であろうと減少関数であろうと、弦の長さは一定である。


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