logo

曲線の導関数が連続であれば、その曲線の長さを測定できる 📂解析学

曲線の導関数が連続であれば、その曲線の長さを測定できる

定理1

もしγ\gamma ^{\prime}が区間[a,b][a,b]連続ならば、γ\gamma長さを測ることができる曲線であり、以下の式が成り立つ。

Λ(γ)=abγ(t)dt \Lambda (\gamma) = \int _{a} ^{b} \left| \gamma^{\prime}(t) \right| dt

証明

  • Part 1.

P={a=x0,,xn=b}P=\left\{ a=x_{0},\dots,x_{n}=b \right\}を区間[a,b][a,b]の任意の分割とする。axi1<xiba\le x_{i-1}<x_{i}\le bとすると、以下が成り立つ。

γ(xi)γ(xi1)=xi1xiγ(t)dtxi1xiγ(t)dt \begin{align*} \left| \gamma (x_{i})-\gamma (x_{i-1}) \right| &= \left| \int_{x_{i-1}}^{x_{i}}\gamma^{\prime} (t)dt \right| \\ &\le \int_{x_{i-1}}^{x_{i}} \left| \gamma^{\prime} (t) \right|dt \end{align*}

最初の行は微分積分学の基本定理2により成立し、二番目の行は絶対値の積分が積分の絶対値よりも大きいため成立する。したがって、次を得る。

Λ(P,γ)abγ(t)dt \Lambda (P,\gamma) \le \int _{a} ^{b} \left| \gamma^{\prime} (t) \right| dt

これは区間[a,b][a,b]内の全ての区間に対して成立するので、次を得る。

Λ(γ)abγ(t)dt \Lambda (\gamma) \le \int _{a} ^{b} \left| \gamma^{\prime} (t) \right| dt

  • Part 2.

任意の正数ε>0\varepsilon >0が与えられたとする。コンパクト距離空間での連続関数は一様連続であるためγ\gamma^{\prime}一様連続である。したがって、ε\varepsilonに対して以下の式を満たす正数δ>0\delta >0が存在する。

st<δ    γ(s)γ(t)<ε,s,t[a,b] \left| s-t \right| < \delta \implies \left| \gamma^{\prime} (s) -\gamma^{\prime} (t) \right| < \varepsilon,\quad s,t\in[a,b]

今、Δxi=xixi1<δ\Delta x_{i}=x_{i}-x_{i-1}<\deltaを満たす区間[a,b][a,b]の分割P={x0,,xn}P=\left\{ x_{0},\dots,x_{n} \right\}を選んだとする。すると、xi1txix_{i-1}\le t \le x_{i}に対して以下が成立する。

γ(t)γ(xi)γ(t)γ(xi)<ε    γ(t)γ(xi)+ε \begin{align*} &&\left| \gamma^{\prime} (t) \right| -\left| \gamma^{\prime} (x_{i}) \right| &\le \left| \gamma^{\prime} (t)-\gamma^{\prime}(x_{i}) \right| <\varepsilon \\ \implies && \left| \gamma^{\prime} (t) \right| &\le \left| \gamma^{\prime}(x_{i}) \right|+\varepsilon \end{align*}

したがって、両辺を積分すると以下の式を得る。

xi1xiγ(t)dtxi1xiγ(xi)dt+xi1xiεdt=γ(xi)Δxi+εΔxi=xi1xiγ(xi)dt+εΔxi=xi1xi(γ(t)+γ(xi)γ(t))dt+εΔxixi1xiγ(t)dt+xi1xiγ(xi)γ(t)dt+εΔxiγ(xi)γ(xi1)+xi1xiεdt+εΔxi=γ(xi)γ(xi1)+2εΔxi \begin{align*} \int_{x_{i-1}}^{x_{i}}\left| \gamma^{\prime} (t) \right|dt &\le \int_{x_{i-1}}^{x_{i}}\left| \gamma^{\prime} (x_{i}) \right|dt +\int_{x_{i-1}}^{x_{i}} \varepsilon dt \\ &= \left| \gamma^{\prime}(x_{i}) \right|\Delta x_{i} + \varepsilon\Delta x_{i} \\ &= \left|\int_{x_{i-1}}^{x_{i}} \gamma^{\prime}(x_{i})dt \right|+\varepsilon\Delta x_{i} \\ &= \left|\int_{x_{i-1}}^{x_{i}}\big( \gamma^{\prime}(t) +\gamma^{\prime} (x_{i})-\gamma^{\prime}(t) \big)dt\right| +\varepsilon\Delta x_{i} \\ &\le \color{green}{\left|\int_{x_{i-1}}^{x_{i}} \gamma^{\prime}(t)dt\right|}+ \color{blue}{\left| \int_{x_{i-1}}^{x_{i}} \gamma^{\prime} (x_{i})-\gamma^{\prime}(t)dt\right|} +\varepsilon\Delta x_{i} \\ &\le \color{green}{\left| \gamma (x_{i})-\gamma (x_{i-1}) \right|} +\color{blue}{\int_{x_{i-1}}^{x_{i}}\varepsilon dt}+ \varepsilon\Delta x_{i} \\ &= \left| \gamma (x_{i})-\gamma (x_{i-1}) \right| + 2\varepsilon\Delta x_{i} \end{align*}

二番目、三番目の行はγ(xi)\gamma^{\prime}(x_{i})が定数であるために成立する。五番目の行は三角不等式により成立する。緑の部分は微分積分学の基本定理2により成立する。青い部分は一様連続であるという条件により成立する。ε\varepsilonは任意の正数であるため、次が成立する。

xi1xiγ(t)dtγ(xi)γ(xi1) \int_{x_{i-1}}^{x_{i}}\left| \gamma^{\prime} (t) \right|dt \le \left| \gamma (x_{i})-\gamma (x_{i-1}) \right|

それぞれのΔxi\Delta x_{i}に対して上記の不等式を足すと、以下の式を得る。

abγ(t)dti=1nγ(xi)γ(xi1)=Λ(P,γ)Λ(γ) \int _{a} ^{b} \left| \gamma^{\prime} (t) \right| dt \le \sum \limits _{i=1} ^{n} \left|\gamma (x_{i})-\gamma (x_{i-1}) \right|=\Lambda (P,\gamma)\le \Lambda (\gamma)

したがって、Part 1.、**Part 2.**により、次が成立する。

Λ(γ)=abγ(t)dt \Lambda (\gamma) = \int _{a} ^{b} \left| \gamma^{\prime}(t) \right| dt


  1. Walter Rudin, Principles of Mathematical Analysis (第3版、1976年), p137 ↩︎