积分, V, p. 116
令u和v为两个递增和R上的右连续数值函数,使得u(x)=v(x)=0对应于x<0。令w在R上为递增右连续函数,对于t≥0由w(t)=u(t)v(t)定义,对于t<0由w(t)=0定义;令 λ,μ,ν 分别为与 u,v,w 相关的 Stieltjes 测度(§6,Exer.5)。
对于在 R 上定义的每个函数 f,以及在 R 或 Banach 空间 F 中定义的值,可以得到在 R2 上定义的对应函数 fˉ如果 y < x,则条件fˉ(x,y)=f(x),如果y≥x,则fˉ(x,y)=f(y)。证明,要使 f ν 可积,fˉ 对于乘积测度 λ⊗μ 可积是必要且充分的,在这种情况下,∫fdν=∬fˉdλdμ(首先证明特征函数间隔)。由此推导出公式
∫f(x)dw(x)=∫f(x)v(x−)du(x)+∫f(x)u(x+)dv(x).
特别是,如果u和v在R上连续,则通过部分*积分可得到*公式
∫abu(x)dv(x)=u(b)v(b)−u(a)v(a)−∫abv(x)du(x).