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)