Differences

This shows you the differences between two versions of the page.

--- math105-s22:s:samuels [2022/02/15 21:24]
samuel_speas
+++ math105-s22:s:samuels [2026/02/21 14:41] (current)
@@ Line 1: / Line 1: @@
 Here are some {{ :math105-s22:s:measure_theory_notes.pdf | notes}}, mostly from Tao's Introduction to Measure Theory.
 A few exercises are thrown in, mostly sketches. I focused on material not found or emphasized in Analysis II. I'll update the pdf regularly, if anyone stopping by is interested in reading them I will be typesetting the occasional solution to exercises in this book. If anyone wants to do so together, or to discuss some exercises in general at any point, that would be nice!
@@ Line 12: / Line 11: @@
 /14: General approaches for thinking about statements when $f$ is measurable: Find a simple function property/construction that helps. If working with integrals, step into sup first. See if desired statement is more natural with the property you thought would be helpful. If so, prove statement in this context. Step out of sup, be mindful of limits and see if general statement follows.
+Riemann and Lebesgue Integrals (informal discussion, intuition): The definitions of the Jordan and Lebesgue integrals, as well as some examples can be found in the notes pdf on this page. The required definition of simple functions and more are there as well. Roughly, Jordan measure is to the Riemann integral as Lebesgue measure is to the Lebesgue integral. Elementary sets are to the Riemann integral as measurable sets are to the Lebesgue integral. Riemann integrable functions are Lebesgue integrable. Lebesgue theory extends the Riemann theory. Every Jordan measurable set is Lebesgue measurable, and every Riemann integrable function is a Lebesgue measurable function.
+As Terence Tao said, the Lebesgue integral can handle "noise" or "error". The difference between the two and the motivation for the Lebesgue theory is demonstrated nicely by  $[0,1]\Q^2$, the "bullet-riddled-square". The square and the set of bullets $[0,1]^2\cup\Q^2$ have Jordan inner measure zero, and Jordan outer measure 1. The indicator function of the bullets over the square is not Riemann integrable, but it is Lebesgue integrable, as the "noise" $Q^2$ poses no problems.
+**Littlewood's Three Principals:
+**
+(i) Every (measurable) set is nearly a finite sum of intervals;
+(ii) Every (absolutely integrable) function is nearly continuous;
+(iii) Every (pointwise) convergent subsequence of functions is nearly uniformly convergent.
+These three principals are an intuitive rephrasing of some results that we have learned. We can find such a sum in (i) using a G-delta cover, and expressing at open set as a countable collection of disjoint (up to some error), or almost disjoint boxes.
+Littlewood's second theorem is a consequence of Egorov's theorem. We can take some closed set on which our function is continuous, and an epsilon set on which it is not. This is also essentially Lusin's theorem, mentioned above.
+The third principle is essentially Egorov's theorem.
@@ Line 19: / Line 36: @@
 {{ :math105-s22:s:hw3-105-samuels.pdf | homework 3}}
+{{ :math105-s22:s:105_hw4.pdf |homework 4}}
+{{ :math105-s22:s:105-hw5.pdf |homework 5}}
+{{ :math105-s22:s:105-hw6.pdf |homework 6}}
+{{ :math105-s22:s:105-hw7.pdf |homework 7 (needs revision)}}
+{{ :math105-s22:s:105-hw8.pdf |homework 8}}
+{{ :math105-s22:s:105-hw9.pdf |homework 9}}
+{{ :math105-s22:s:105-hw10.pdf |homework 10}}

Lecture Notes

User Tools

Site Tools

Differences

Page Tools