设(X,,μ)是Borel测度空间,其中X是局部紧Hausdorff的.设M(X)为上正则Borel复测度的全体,即M(X)={μ:μ是上正则
设(X,,μ)是Borel测度空间,其中X是局部紧Hausdorff的.设M(X)为上正则Borel复测度的全体,即M(X)={μ:μ是上正则的Borel复测度},在M(X)上定义线性运算:μ,λ∈M(X),α∈,
(μ+λ)(E)=μ(E)+λ(E), (αμ)(E)=αμ(E),,并定义范数‖μ‖=|μ|(X)(X的全变差测度),证明M(X)成为Banach空间.