Difference between revisions of "Site projects:Patrolling measure theory/Task list"
From Maths
m |
m (Marking off tasks) |
||
| Line 71: | Line 71: | ||
* [[Simple function (measure theory)/Definition]] {{C|LOCK}} | * [[Simple function (measure theory)/Definition]] {{C|LOCK}} | ||
* [[Subtractive set function]] | * [[Subtractive set function]] | ||
| − | * [[Trace sigma-algebra]] | + | * [[Trace sigma-algebra]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 00:58, 19 March 2016 (UTC) |
* [[Types of set algebras]] | * [[Types of set algebras]] | ||
[[Category:Site project logs]] | [[Category:Site project logs]] | ||
Revision as of 00:58, 19 March 2016
- 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 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
- Additive function
- Algebra (Disambiguation) SKIPPED
- Algebra of sets SKIPPED
- Borel sigma-algebra
- Borel sigma-algebra generated by
- Class of sets closed under complements properties
- Class of sets closed under set-subtraction 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
- Composition of measurable maps is measurable LOCK
- 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
- D-system LOCK
- Derivative
- Dynkin system LOCK
- Dynkin system generated by LOCK
- Dynkin system/Definition 1 LOCK
- Dynkin system/Definition 2 LOCK
- Dynkin system/Proof that definitions 1 and 2 are equivalent LOCK
- Extended real value
- Function terminology
- Generator LOCK
- Generator (sigma-algebra) LOCK
- Index of common sigma-algebras
- Integral
- Integral (measure theory)
- Integral of a positive function (measure theory)
- Integral of a positive function (measure theory)/Definition
- Integral of a simple function (measure theory)
- Integral of a simple function (measure theory)/Definition
- Lebesgue measure
- Limit of increasing sequence of sets
- Measurable function LOCK
- Measurable map LOCK
- Measurable space
- Measure LOCK
- Measure space
- Measure Theory
- Measure Theory (subject)
- Template:Measure theory navbox LOCK
- Measures are monotonic and subtractive
- Min/max
- Monotonic set function
- Outer-measure
- P-system LOCK
- Positive and negative parts of a function
- 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)
- 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
- Sigma-algebra LOCK
- Sigma-algebra generated by LOCK
- Sigma-ring LOCK
- Simple function (measure theory) LOCK
- Simple function (measure theory)/Definition LOCK
- Subtractive set function
- Trace sigma-algebra DONE Alec (talk) 00:58, 19 March 2016 (UTC)
- Types of set algebras
