设V[a，b]为定义在[a，b]上的有界变差函数的全体，其线性运算与C[a，b]的相同。在V[a，b]中定义范数如下：
证明：V[a,b]按照‖·‖是不可分的巴拿赫空间。