20141206

R を実数全体の集合に開区間族を開集合の基とする位相を入れた空間とし, n を自然数とする.
区間には R からの相対位相を入れる.
c: [0..1] → R^n が区分的連続とすると, 曲線の長さのようなものを考えられるかもしれない.
しかし, 曲線の長さと同じ定義にすると, c が不連続の場合は飛び部分の飛び長さを含めてしまう.