Is the completion of a measure space necessary?

161 Views Asked by At

Most important theorems in measure theory do not assume the completeness of measure spaces. Monotone convergence theorem, Dominated convergence theorem, and Fubini's theorem, to name a few. So I wonder if the completion of a measure space is necessary. In particular do we need to consider Lebesgue measurable sets which are not Borel sets?