本节主要介绍一类重要函数------有界变差函数.它与单调增函数及不定积分有着紧密的联系,实际上,它是两个单调增函数的差,因此可知不定积分是有界变差函数全体的一个子类.在历史上有界变差函数是在考察弧长的存在问题时首先被引入的.让我们就从这方面谈起.注意本节讲的实函数都是在R中的情形.
在数学分析中已知,弧长是作为内接折线长的极限而定义的,正如 R R R积分一样,它还有一个等价的"确界式"的定义,对平面曲线来说,那就是如下所说
定义1(弧长)
设 C C C 是平面上一条连续弧, x = φ ( t ) , y = ψ ( t ) , α ⩽ t ⩽ β x = \varphi ( t ) , y = \psi ( t ) , \alpha \leqslant t \leqslant \beta x=φ(t),y=ψ(t),α⩽t⩽β是它的参数表示,这里 φ ( t ) , ψ ( t ) \varphi ( t ) , \psi ( t ) φ(t),ψ(t) 为 [ α , β ] [ \alpha , \beta ] [α,β]上的连续函数,相应于区间 [ α , β ] [ \alpha , \beta ] [α,β] 的任一分划
T : α = t 0 < t 1 < ⋯ < t n = β , T : \alpha = t _ { 0 } < t _ { 1 } < \cdots < t _ { n } = \beta , T:α=t0<t1<⋯<tn=β,
得到 C C C 上一组分点 P i = ( φ ( t i ) , ψ ( t i ) ) , i = 0 , 1 , 2 , ⋯ , n , P _ { i } = \left( \varphi \left( t _ { i } \right) , \psi \left( t _ { i } \right) \right) , i = 0 , 1 , 2 , \cdots , n , Pi=(φ(ti),