Syllabus

Main topics

  • Measures: sigma-algebras, measures, outer measure, Caratheodory extension theorem, Lebesgue and Lebesgue-Stieltjes measures on the real line.

  • Integration: measurable functions, simple functions, L+ and L1, Lebesgue Monotone and Dominated convergence theorems, modes of convergence, theorems of Egoroff and Lusin, product measures, Tonelli-Fubini theorems.

  • Signed measures: Hahn decomposition, Jordan decomposition, Lebesgue Radon-Nikodym theorem. Lebesgue Differentiation Theorem.

  • Intro to Functional Analysis: Normed spaces, linear functionals, L^p spaces (Holder, Minkowski, dual space), Riesz representation theorem, weak convergence, introduction to Hilbert spaces.

Tentative Detailed syllabus

  1. Algebras and sigma-algebras of sets. Measures. Measure spaces.

  2. Completeness (for measure spaces). Outer measure.

  3. Premeasure. Caratheodory theorem. Lebesgue measure.

  4. Lebesgue-Stieltjes measures. Examples. Regularity of Lebesgue-Stieltjes measures.

  5. Measurable functions. Simple functions.

  6. Integration of positive functions. Class L^+. Monotone Convergence Theorem.

  7. Fatou's Lemma. Integration of general functions. Basic properties.

  8. Dominated Convergence Theorem. DCT for series. L^1 as a Banach space (including completeness).

  9. Approximation of integrable functions by simple functions, and (for Lebesgue-Stieltjes) by C_c(R).

  10. Lebesgue integral as a generalization of the Riemann integral. Examples.

  11. Modes of convergence and their relationship.

  12. Products of measure spaces. Theorems of Tonelli and Fubini. Regularity and change of variables formulas.

  13. Signed measures, Hahn decomposition, Jordan decomposition

  14. Absolute continuity and mutual singularity of measures. Lebesgue decomposition.

  15. Radon-Nikodym theorem. Conditional expectation. Some examples.

  16. Lebesgue differentiation theorem.

  17. Weierstrass and Stone-Weiertrass theorem.

  18. Linear functionals. Riesz representation Theorem.

  19. L^p space: Holder, Minkowski inequalities; completeness. Riesz: L^q=(L^p)^*.

  20. Intro to Hilbert spaces and Fourier series.