实分析——第六章——抽象测度和积分理论（2）

接着来看：

这也是正则性质的体现。

证明如下：

那么分步骤：

其次：

那么我们需要找一个闭集：

那么就构造F：

此时满足正则性质，接着证明F为闭集：

接着来看比外测度更原始的概念：预测度：

首先：

只需要证明唯一性就可以：