Talk:Measure Space from Outer Measure

Two comments:

1. This theorem is called Caratheodory's theorem

2. The measure that is obtained as a result is complete (i.e. it contains all subsets of zero measure sets) - it is worth mentioning that.

Marta Lewicka


 * Actually, Carathéodory's Theorem is a stronger assertion. It states that for any semi-ring... well, cf. WikiPedia. Also in Schilling, 'Measures, Integrals and Martingales' (Chapter 6), which I have here, the proof of this theorem spans more than just the assertion given here, although it is included. --Lord_Farin 15:02, 1 November 2011 (CDT)


 * Note we already have an entry in for Carathéodory's Theorem which it most definitely is not, but we haven't got it together to correct it properly. Feel free to create a user and post that one up for us! --prime mover 15:38, 1 November 2011 (CDT)