定义 完备测度空间

自然语言

给定测度空间 $(X,\mathcal{M},\mu)$
若 $\forall A \in \mathcal{M}$ 且 $\mu(A) = 0$ 成立

$$ \bbox[5pt]{ 2^A \subset \mathcal{M} } $$

则称测度空间 $(X,\mathcal{M},\mu)$ 为完备测度空间