Let \((X,\mcm,\mu)\) be a measure space. The measure \(\mu\) is complete if every subset of a null set is measurable: whenever \(N\in\mcm\), \(\mu(N)=0\), and \(A\subseteq N\), then \(A\in\mcm\).
What is a complete measure?
FD-T7SN6
Let \((X,\mcm,\mu)\) be a measure space. The measure \(\mu\) is complete if every subset of a null set is measurable: whenever \(N\in\mcm\), \(\mu(N)=0\), and \(A\subseteq N\), then \(A\in\mcm\).