11
$\begingroup$

This is a longstanding confusion of mine without a clear answer. Why do we complete measure spaces? Certainly, it is nice to have the property that if some set is of measure zero, then a smaller set also should be so. However, when I looked up the mathematical literature, I am unable to find a single theorem that works better for complete measures. So, the only reasons in support of completing the measure seem to be: 1)., it agrees with our intuition of what can be neglected, 2)., the Caratheodory extension process automatically gives a complete measure.

I was also surprised to realize that in probablity theory, very little use is made of the Lebesgue $\sigma$-algebra. Almost always the Borel $\sigma$-algebra is used. This prominence of Borel $\sigma$-algebras also seems to be the case in ergodic theory, where one considers for instance the space of all probability measures on a given measurable space(usually equipped with a Borel $\sigma$-algebra), and the null sets might differ from one measure to other(for example, consider Dirac measures concentrated at different points).

So, what are some better mathematical reasons to argue for complete measures? Are there some theorems that I do not know, which are true only for complete measures? There ought to be some, to give credence to all W. Rudin's going-on about the process of completing a measure being as significant in analysis, if not more than, the process of completing the rationals into the real numbers. One can readily find a number of theorems in analysis that would break without the least upper bound property of real numbers. Such does not seem to be the case with completing the measure space, with a superficial look.

  • 6
    See [*Why do we essentially need complete measure space?*](http://math.stackexchange.com/q/147381) for a discussion of a few of the points you raise. Also related the MO thread [*Why do probabilists take random variables to be Borel (and not Lebesgue) measurable?*](http://mathoverflow.net/questions/31603/)2012-08-30
  • 1
    I'm under the impression that it's mostly a matter of convenience. If one wants to show something is true almost everywhere, then this is often achieved by proving that the set of exceptions has outer measure zero. By considering the completion of a measure you don't need to worry about measurability of such a set, which makes things easier.2012-08-30

1 Answers 1