曲線の導関数が連続であれば、その曲線の長さを測定できる
📂解析学曲線の導関数が連続であれば、その曲線の長さを測定できる
定理
もしγ′が区間[a,b]で連続ならば、γは長さを測ることができる曲線であり、以下の式が成り立つ。
Λ(γ)=∫ab∣γ′(t)∣dt
証明
P={a=x0,…,xn=b}を区間[a,b]の任意の分割とする。a≤xi−1<xi≤bとすると、以下が成り立つ。
∣γ(xi)−γ(xi−1)∣=∫xi−1xiγ′(t)dt≤∫xi−1xi∣γ′(t)∣dt
最初の行は微分積分学の基本定理2により成立し、二番目の行は絶対値の積分が積分の絶対値よりも大きいため成立する。したがって、次を得る。
Λ(P,γ)≤∫ab∣γ′(t)∣dt
これは区間[a,b]内の全ての区間に対して成立するので、次を得る。
Λ(γ)≤∫ab∣γ′(t)∣dt
任意の正数ε>0が与えられたとする。コンパクト距離空間での連続関数は一様連続であるため、γ′は一様連続である。したがって、εに対して以下の式を満たす正数δ>0が存在する。
∣s−t∣<δ⟹∣γ′(s)−γ′(t)∣<ε,s,t∈[a,b]
今、Δxi=xi−xi−1<δを満たす区間[a,b]の分割P={x0,…,xn}を選んだとする。すると、xi−1≤t≤xiに対して以下が成立する。
⟹∣γ′(t)∣−∣γ′(xi)∣∣γ′(t)∣≤∣γ′(t)−γ′(xi)∣<ε≤∣γ′(xi)∣+ε
したがって、両辺を積分すると以下の式を得る。
∫xi−1xi∣γ′(t)∣dt≤∫xi−1xi∣γ′(xi)∣dt+∫xi−1xiεdt=∣γ′(xi)∣Δxi+εΔxi=∫xi−1xiγ′(xi)dt+εΔxi=∫xi−1xi(γ′(t)+γ′(xi)−γ′(t))dt+εΔxi≤∫xi−1xiγ′(t)dt+∫xi−1xiγ′(xi)−γ′(t)dt+εΔxi≤∣γ(xi)−γ(xi−1)∣+∫xi−1xiεdt+εΔxi=∣γ(xi)−γ(xi−1)∣+2εΔxi
二番目、三番目の行はγ′(xi)が定数であるために成立する。五番目の行は三角不等式により成立する。緑の部分は微分積分学の基本定理2により成立する。青い部分は一様連続であるという条件により成立する。εは任意の正数であるため、次が成立する。
∫xi−1xi∣γ′(t)∣dt≤∣γ(xi)−γ(xi−1)∣
それぞれのΔxiに対して上記の不等式を足すと、以下の式を得る。
∫ab∣γ′(t)∣dt≤i=1∑n∣γ(xi)−γ(xi−1)∣=Λ(P,γ)≤Λ(γ)
したがって、Part 1.、**Part 2.**により、次が成立する。
Λ(γ)=∫ab∣γ′(t)∣dt
■