Difference between revisions of "Site projects:Patrolling measure theory/Task list"
From Maths
m (Marking pages completed earlier.) |
m |
||
(20 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
+ | n=74 | ||
+ | ===Done=== | ||
+ | n=24 | ||
+ | * [[Additive function]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 22:50, 19 March 2016 (UTC) | ||
+ | * [[Algebra (disambiguation)]] - '''DONE''' - [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 00:11, 2 April 2016 (UTC) | ||
+ | * [[Algebra of sets]] - '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:45, 1 April 2016 (UTC) | ||
+ | * [[Class of sets closed under set-subtraction properties]] - '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 11:40, 21 August 2016 (UTC) | ||
+ | * [[D-system]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:54, 19 March 2016 (UTC) | ||
+ | * [[Dynkin system]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:54, 19 March 2016 (UTC) | ||
+ | * [[Dynkin system/Definition 1]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:54, 19 March 2016 (UTC) | ||
+ | * [[Dynkin system/Definition 2]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:54, 19 March 2016 (UTC) | ||
+ | * [[Dynkin system/Proof that definitions 1 and 2 are equivalent]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:54, 19 March 2016 (UTC) | ||
+ | * [[Generator (sigma-algebra)]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:58, 19 March 2016 (UTC) | ||
+ | * [[Integral]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 02:01, 19 March 2016 (UTC) | ||
+ | * [[Integral (measure theory)]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 02:01, 19 March 2016 (UTC) | ||
+ | * [[Integral of a simple function (measure theory)]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 02:01, 19 March 2016 (UTC) | ||
+ | * [[Integral of a simple function (measure theory)/Definition]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 02:01, 19 March 2016 (UTC) | ||
+ | * [[Measurable function]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:58, 19 March 2016 (UTC) | ||
+ | * [[Measure]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 22:51, 30 March 2016 (UTC) | ||
+ | * [[P-system]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:58, 19 March 2016 (UTC) | ||
+ | * [[Pre-image sigma-algebra]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 00:42, 19 March 2016 (UTC) | ||
+ | * [[Pre-image sigma-algebra/Definition]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 00:42, 19 March 2016 (UTC) | ||
+ | * [[Pre-image sigma-algebra/Proof of claim: it is a sigma-algebra]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 00:42, 19 March 2016 (UTC) | ||
+ | * [[Sigma-algebra]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:49, 19 March 2016 (UTC) | ||
+ | * [[Simple function (measure theory)]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 02:06, 19 March 2016 (UTC) | ||
+ | * [[Simple function (measure theory)/Definition]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 02:06, 19 March 2016 (UTC) | ||
+ | * [[Trace sigma-algebra]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 00:58, 19 March 2016 (UTC) | ||
+ | ===Marked pages=== | ||
+ | n=13 | ||
+ | * [[A map from two sigma-algebras, A and B, is measurable if and only if for some generator of B (call it G) we have the inverse image of S is in A for every S in G|A map from two sigma-algebras, A and B,...]] {{C|Needs minor work}} | ||
+ | * [[Composition of measurable maps is measurable]] {{C|Work required}} | ||
+ | * [[Dynkin system generated by]] {{C|Work required}} | ||
+ | * [[Generator]] {{C|Work required}} | ||
+ | * [[Integral of a positive function (measure theory)]] {{C|Work required}} | ||
+ | * [[Integral of a positive function (measure theory)/Definition]] {{C|Work required}} | ||
+ | * [[Measurable map]] {{C|Work required}} | ||
+ | * [[Measurable space]] {{C|Work required}} | ||
+ | * [[Measure space]] {{C|Work required}} | ||
+ | * [[Measure Theory]] {{C|Needs rehoming}} | ||
+ | * [[Template:Measure theory navbox]] {{C|Work required}} | ||
+ | * [[Sigma-algebra generated by]] {{C|Marked as dire}} | ||
+ | * [[Sigma-ring]] {{C|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 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)]] | * [[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]] | ||
* [[Borel sigma-algebra generated by]] | * [[Borel sigma-algebra generated by]] | ||
* [[Class of sets closed under complements properties]] | * [[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]] | ||
* [[Class of smooth real-valued functions on R-n/Structure]] | * [[Class of smooth real-valued functions on R-n/Structure]] | ||
* [[Classes of continuously differentiable functions]] | * [[Classes of continuously differentiable functions]] | ||
− | |||
* [[Conditions for a Dynkin system to be a sigma-algebra]] | * [[Conditions for a Dynkin system to be a sigma-algebra]] | ||
* [[Conditions for a generated 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]] | * [[Conditions for a map to be a measurable map]] | ||
− | |||
* [[Derivative]] | * [[Derivative]] | ||
− | |||
− | |||
− | |||
− | |||
− | |||
* [[Extended real value]] | * [[Extended real value]] | ||
* [[Function terminology]] | * [[Function terminology]] | ||
− | |||
− | |||
* [[Index of common sigma-algebras]] | * [[Index of common sigma-algebras]] | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
* [[Lebesgue measure]] | * [[Lebesgue measure]] | ||
* [[Limit of increasing sequence of sets]] | * [[Limit of increasing sequence of sets]] | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
* [[Measure Theory (subject)]] | * [[Measure Theory (subject)]] | ||
− | |||
* [[Measures are monotonic and subtractive]] | * [[Measures are monotonic and subtractive]] | ||
* [[Min/max]] | * [[Min/max]] | ||
* [[Monotonic set function]] | * [[Monotonic set function]] | ||
* [[Outer-measure]] | * [[Outer-measure]] | ||
− | |||
* [[Positive and negative parts of a function]] | * [[Positive and negative parts of a function]] | ||
− | |||
− | |||
− | |||
* [[Pre-measurable space]] | * [[Pre-measurable space]] | ||
* [[Pre-measure]] | * [[Pre-measure]] | ||
Line 65: | Line 79: | ||
* [[Ring of sets]] | * [[Ring of sets]] | ||
* [[Set function]] | * [[Set function]] | ||
− | |||
− | |||
− | |||
− | |||
− | |||
* [[Subtractive set function]] | * [[Subtractive set function]] | ||
− | |||
* [[Types of set algebras]] | * [[Types of set algebras]] | ||
+ | |||
[[Category:Site project logs]] | [[Category:Site project logs]] |
Latest revision as of 11:40, 21 August 2016
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