Featured image of post Note of Real Analysis by Stein

Note of Real Analysis by Stein

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,…r_1,r_2,\dots,r_k,\dots For example, we can arrange them as following:

Consider such a sequence {fk}n=1∞\{f_k\}_{n=1}^\infty where fk(x)={1,x∈{r1,r2,…,rk}0,else f_k(x)=\begin{cases} 1,&x\in\{r_1,r_2,\dots,r_k\}\\ 0,&else \end{cases} Obviously for any k∈N+k\in\mathbb{N}^+, fkf_k is Riemann integrable and fkf_k increases to the Dirichlet function f(x)={1,x∈Q0,else f(x)=\begin{cases} 1,&x\in\mathbb{Q}\\ 0,&else \end{cases}

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.