Site projects:Measure theory plan/Progress

Covers only pages that existed before the project began

• n=31

Done

n=4

• Measure - DONE - old page entirely migrated to new page, proper format, proper terminology Alec (talk) 22:50, 30 March 2016 (UTC)
• Pre-image sigma-algebra - DONE - Alec (talk) 18:39, 1 April 2016 (UTC)
• Pre-image sigma-algebra/Definition - DONE - Alec (talk) 18:39, 1 April 2016 (UTC)
• Pre-image sigma-algebra/Proof of claim: it is a sigma-algebra - DONE - Alec (talk) 18:39, 1 April 2016 (UTC)

Work required

n=0

Not done

n=27

• Algebra (Disambiguation)
• Algebra of sets - mostly done - see Algebra of sets/New page Alec (talk) 18:33, 1 April 2016 (UTC)
• Borel sigma-algebra
• Borel sigma-algebra generated by
• Extended real value
• Generator (sigma-algebra)
• Lebesgue measure
• Measurable function
• Measurable map
• Measurable space
• Measure space
• Outer-measure
• Pre-measurable space
• Pre-measure work saved on Pre-measure/New page Alec (talk) 15:57, 27 March 2016 (UTC)
• Pre-measure space
• Pre-measure/Properties in common with measure
• Probability function
• Probability measure
• Probability space
• Ring generated by
• Ring of sets
• Sigma-algebra
• Sigma-algebra generated by
• Sigma-algebra/Definition
• Sigma-field
• Sigma-ring
• Trace sigma-algebra