The Riemann integral, created by Bernhard Riemann, was the first rigorous definition of the integral of a function on an interval. The Riemann integral is based on the Jordan measure, and defined by taking a limit of a Riemann sum, which is quite intuitive and easy to calculate, making it widely used in almost every aspect of modern science. However, it is not always good enough to satisfy mathematician. Since rational numbers is countable, we may arrange them as
r1​,r2​,…,rk​,… For example, we can arrange them as following:
Consider such a sequence
{fk​}n=1∞​ where
fk​(x)={1,0,​x∈{r1​,r2​,…,rk​}else​
Obviously for any
k∈N+,
fk​ is Riemann integrable and
fk​ increases to the Dirichlet function
f(x)={1,0,​x∈Qelse​
However, the Dirichlet function is not Riemann integrable. Thus we come to the conclusion that the class of functions which are Riemann integrable is not complete. Then Lebesgue integral is developed to solve this problem. The book consists of 7 chapters, but here I’ll just share my notes of the first three chpaters. Briefly, first we need to be familiar with some basic conclusions and common techniques in measure theory. Then we will construct the Lebesgue integral step by step and gain some useful conclusion like Fatou’s lemma and dominant convergence theorem. Finally, we will discuss differentiation under Lebesgue integral. As for the last 4 chapters, I plan to skip them and use Folland’s Real Analysis instead to complete the whole framework. You can find more information in the corresponding note in my website.
For the note of the book, click here.