有界变差函数 实值函数 闭区间 等价 绝对连续函数 连续函数 集合 特征函数