设M0是[a b]上有界函数全体 线性运算的定义与C[a b]的相同。在M0中定义范数于下： 证明

设M₀是[a，b]上有界函数全体，线性运算的定义与C[a，b]的相同。在M₀中定义范数于下：

  ||x||=|x(a)|+Vab(x)   

证明：M₀是不可分的巴拿赫空间。