Site projects:Patrolling measure theory

Goals

To make sure each page CURRENTLY in the Measure Theory category (as of 19th March 2016, 0035 GMT) are all up to a decent standard. A lot of really old pages have slipped through.

Mark a patrolled page with your signature upon completion. For any big changes that may take a while place a "LOCK" after the link to stop others from concurrently editing.

Blocks

• n=74 block compression diff down to n=55

Tasks

n=74

Done

n=24

• Additive function DONE Alec (talk) 22:50, 19 March 2016 (UTC)
• Algebra (disambiguation) - DONE - Alec (talk) 00:11, 2 April 2016 (UTC)
• Algebra of sets - DONE Alec (talk) 18:45, 1 April 2016 (UTC)
• Class of sets closed under set-subtraction properties - DONE Alec (talk) 11:40, 21 August 2016 (UTC)
• D-system DONE Alec (talk) 01:54, 19 March 2016 (UTC)
• Dynkin system DONE Alec (talk) 01:54, 19 March 2016 (UTC)
• Dynkin system/Definition 1 DONE Alec (talk) 01:54, 19 March 2016 (UTC)
• Dynkin system/Definition 2 DONE Alec (talk) 01:54, 19 March 2016 (UTC)
• Dynkin system/Proof that definitions 1 and 2 are equivalent DONE Alec (talk) 01:54, 19 March 2016 (UTC)
• Generator (sigma-algebra) DONE Alec (talk) 01:58, 19 March 2016 (UTC)
• Integral DONE Alec (talk) 02:01, 19 March 2016 (UTC)
• Integral (measure theory) DONE Alec (talk) 02:01, 19 March 2016 (UTC)
• Integral of a simple function (measure theory) DONE Alec (talk) 02:01, 19 March 2016 (UTC)
• Integral of a simple function (measure theory)/Definition DONE Alec (talk) 02:01, 19 March 2016 (UTC)
• Measurable function DONE Alec (talk) 01:58, 19 March 2016 (UTC)
• Measure DONE Alec (talk) 22:51, 30 March 2016 (UTC)
• P-system DONE Alec (talk) 01:58, 19 March 2016 (UTC)
• Pre-image sigma-algebra DONE Alec (talk) 00:42, 19 March 2016 (UTC)
• Pre-image sigma-algebra/Definition DONE Alec (talk) 00:42, 19 March 2016 (UTC)
• Pre-image sigma-algebra/Proof of claim: it is a sigma-algebra DONE Alec (talk) 00:42, 19 March 2016 (UTC)
• Sigma-algebra DONE Alec (talk) 01:49, 19 March 2016 (UTC)
• Simple function (measure theory) DONE Alec (talk) 02:06, 19 March 2016 (UTC)
• Simple function (measure theory)/Definition DONE Alec (talk) 02:06, 19 March 2016 (UTC)
• Trace sigma-algebra DONE Alec (talk) 00:58, 19 March 2016 (UTC)

Marked pages

n=13

• A map from two sigma-algebras, A and B,... Needs minor work
• Composition of measurable maps is measurable Work required
• Dynkin system generated by Work required
• Generator Work required
• Integral of a positive function (measure theory) Work required
• Integral of a positive function (measure theory)/Definition Work required
• Measurable map Work required
• Measurable space Work required
• Measure space Work required
• Measure Theory Needs rehoming
• Template:Measure theory navbox Work required
• Sigma-algebra generated by Marked as dire
• Sigma-ring Work required

Not done

n=38

• A collection of subsets is a sigma-algebra iff it is a Dynkin system and closed under finite intersections
• A function is a measure iff it measures the empty set as 0, disjoint sets add, and it is continuous from below (with equiv. conditions)
• Borel sigma-algebra
• Borel sigma-algebra generated by
• Class of sets closed under complements properties
• Class of smooth real-valued functions on R-n
• Class of smooth real-valued functions on R-n/Structure
• Classes of continuously differentiable functions
• Conditions for a Dynkin system to be a sigma-algebra
• Conditions for a generated Dynkin system to be a sigma-algebra
• Conditions for a map to be a measurable map
• Derivative
• Extended real value
• Function terminology
• Index of common sigma-algebras
• Lebesgue measure
• Limit of increasing sequence of sets
• Measure Theory (subject)
• Measures are monotonic and subtractive
• Min/max
• Monotonic set function
• Outer-measure
• Positive and negative parts of a function
• Pre-measurable space
• Pre-measure
• Pre-measure space
• Pre-measure/Properties in common with measure
• Probability function
• Probability measure
• Probability space
• Random variable
• Real-valued function
• Ring generated by
• Ring of sets
• Set function
• Subtractive set function
• Types of set algebras