User:Lord Farin/Long-Term Projects/Schilling

= Processing of 'Measures, Integrals and Martingales' =

$\S 2$

This book I deem useful to develop (mostly) the theory of the function spaces which are paramount examples in Conway's book on functional analysis.

Nice side effect is that measure theory gains another authoritative source.

Errata and solutions to the exercises are available at http://www.motapa.de/measures_integrals_and_martingales/index.html.

Progress thus far
Up to $\S 8$ / p.57 Lord_Farin 15:35, 3 April 2012 (EDT)

Up to $8.9$ / p.62 Lord_Farin 18:10, 4 April 2012 (EDT)

Up to $\S 9$ / p.67 Lord_Farin 09:34, 7 April 2012 (EDT)


 * That's good; over two thirds on the way to proving the fundamental theorem of coincidence of Lebesgue and Riemann integral (under suitable circumstances). --Lord_Farin 09:37, 7 April 2012 (EDT)

Up to $9.7$ / p.70 Lord_Farin 17:53, 7 April 2012 (EDT)

Up to $\S 10$ / p.76 Lord_Farin 09:23, 13 April 2012 (EDT)

Proofs present or added below up to $4.7$ --Lord_Farin 06:30, 26 April 2012 (EDT)

Missing Proofs

 * $3.7,8$: Characterization of Euclidean Borel Sigma-Algebra
 * $3$ Problem $5(i)$: Generated Sigma-Algebra Preserves Finiteness
 * $3$ Problem $10(ii)$: Borel Sigma-Algebra of Subset is Trace Sigma-Algebra
 * $3$ Problem $11(ii),(iii)$: Generated Sigma-Algebra by Generated Monotone Class
 * $3$ Problem $12$: Borel Sigma-Algebra on Euclidean Space by Monotone Class
 * $4.3 (iv)$: Measure is Strongly Additive
 * $4.9$: Lebesgue Measure Invariant under Translations, Pushforward of Lebesgue Measure under General Linear Group
 * $4$ Problem $6(ii)$: Series of Measures is Measure

Skipped thus far (that is, what needs to be done still)

 * Structuring of the definitions colliding with Category:Probability Theory (so far, only $\S 4$)
 * Maybe some more Problems
 * Most of the proofs

Other things

 * Category:Sigma-Algebras to be created; maybe also Category:Monotone Classes, Category:Dynkin Systems
 * Go through the exercises again at the end to post up more, and provide better linking
 * Category:Stieltjes Functions, Category:Simple Functions, Category:Dirac Measures, Category:Lebesgue Measure, maybe Category:Discrete Measures