# Site projects:Patrolling measure theory

From Maths

## 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