閉曲線の定義
定義 1
正則曲線 $\beta (t)$ が閉曲線closed curveであることは、$\beta$ 周期関数であることと等価だ。
公式: 閉曲線の長さ
$\alpha (s)$ が周期 $a>0$ の閉曲線 $\beta (t)$ に対する弦の長さの再パラメータ化である場合、$\alpha$は周期 $L = \int_{0}^{a} |d \beta / dt| dt$ を持つ閉曲線だ。言い換えれば、閉曲線 $\beta$ の長さは $L$ である。
導出
$$ \begin{align*} s(t+a) =& \int_{0}^{t+a}\left|\frac{d \beta}{d t}\right| d t \\ =& \int_{0}^{a}\left|\frac{d \beta}{d t}\right| d t+\int_{a}^{t+a}\left|\frac{d \beta}{d t}\right| d t \\ =& L+\int_{0}^{t}\left|\frac{d \beta}{d t}\right| d t \\ =& L+s(t) \end{align*} $$ 要約すると、$s \left( t + a \right) = s(t) + L$、 $$ \begin{align*} \alpha (s + L) =& \alpha \left( s (t) + L \right) \\ =& \alpha \left( s (t + a) \right) \\ =& \beta (t + a) \\ =& \beta (t) \\ =& \alpha \left( s(t) \right) \\ =& \alpha (s) \end{align*} $$ だから、$\alpha (s)$ は閉曲線だ。$a > 0$ が $$ \beta (t + a) = \beta (t) \qquad , \forall t $$ を満たす最小の正の数であるため、$L>0$ もまた $$ \alpha (s + L) = \alpha (s) \qquad , \forall s $$ を満たす最小の正の数でなければならない。言い換えれば、$\beta$ の長さは $L$ である。
■
Millman. (1977). Elements of Differential Geometry: p53. ↩︎