Complete measure space
Set
| context | X |
| definiendum | ⟨X,Σ,μ⟩ … complete measure space over X |
| postulate | ⟨X,Σ,μ⟩ … measure space |
| μ(N)=0 |
| N′⊆N |
| postulate | N′∈Σ |
Discussion
In a complete measure space, subsets of null-sets can also be measured (and they then have zero measure as well). This notion is just introduced to prevent some pathologies.
Reference
Wikipedia: Complete measure
Parents
Subset of
