Real Analysis/Riemann integration

Real Analysis
Riemann integration

Definition edit

Riemann integration is the formulation of integration most people think of if they ever think about integration. It is the only type of integration considered in most calculus classes; many other forms of integration, notably Lebesgue integrals, are extensions of Riemann integrals to larger classes of functions. The Riemann integral was developed by Bernhard Riemann in 1854 and was, when invented, the first rigorous definition of integration applicable to not necessarily continuous functions.

We will first define some preliminary ideas.

Partitions edit

Definition edit


A Partition   is defined as the ordered  -tuple of real numbers   such that  

Norm of a Partition edit

Let   be a partition given by  

Then, the Norm (or the "mesh") of   is defined as  

Tagged Partition edit

Let   be a partition

A Tagged Partition   is defined as the set of ordered pairs   such that   . The points   are called Tags.

Riemann edit

Riemann sum of a function

Riemann Sums edit


Let   be a tagged partition of  

The Riemann Sum of   over   with respect to   is given by


Riemann Integral edit



We say that   is Integrable on   if and only if, for every   there exists   such that for every partition   satisfying   , we have that  

  is said to be the integral of   over   , and is written as

  or as  

Properties edit

Theorem (Uniqueness) edit

Let   be integrable on  

Then the integral   of   is unique

Proof edit

Assume, if possible that   are both integrals of   over   . Consider  

As   are integrals, there exist   such that   for all   that satisfy   and   for all   that satisfy  

Let   . Hence, if   is a partition satisfying   , then we have   and that  

That is,   , which is an obvious contradiction. Hence the integral   of   is unique.

We now state (without proof) two seemingly obvious properties of the integral.

Theorem edit

Let   be integrable and let  




Theorem (Boundedness Theorem) edit

Let   be Riemann integrable. Then   is bounded over  

Proof edit

Assume if possible that   is unbounded. For every   divide the interval   into   parts. Hence, for every   ,   is unbounded on at least one of these   parts. Call it   .

Now, let   be given. Consider an arbitrary   . Let   be a tagged partition such that   and   , where   is taken so as to satisfy   .

Thus we have that  . But as   is arbitrary, we have a contradiction to the fact that   is Riemann integrable.

Hence,   is bounded.

Integrability edit

We now study classes of Riemann integrable functions. The first "constraint" on Riemann integrable functions is provided by the Cauchy Integrability Criterion.

Theorem (Cauchy Criterion) edit



(i)  is Riemann integrable on   if and only if

(ii) For every  , there exists   such that if   are two partitions satisfying   then  

Proof edit

( )Let   and let   be given.

Then, there exists   such that for every partition   satisfying  ,we have  

Now, let partitions   be such that  .

Thus we have that  , that is  

( ) For every  , consider   such that for all partitions   satisfying  , we have  .

Without loss of generality, we can assume that   when  . For every  , let   be a partition such that  

The sequence   is a Cauchy sequence, and hence it has a limit  .

Now, for every  , we have a   such that   implies  .


Theorem (Squeeze Theorem) edit



(i)   is Riemann integrable on   if and only if

(ii) For every  , there exist Riemann integrable functions   such that

  for all   and


Proof edit

( )Take  . It is easy to see that  

( )Let  . Then, there exist functions   such that  . Further, if   and  , then there exist   such that if a partition   satisfies   then   and   then  

Now let   be a partition satisfying  .

Now, we can easily see that  . Hence,   is a Cauchy sequence, with a limit  , and as in the previous proof, we can show that