Talk:Measure Space from Outer Measure
Jump to navigation Jump to search
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.
- 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)