Module 6 : Definition of Integral
Lecture 16 : Integral from upper and lower sums [Section 16.1]
 

                            

The natural question that arises is the following:

 Can we improve the approximations in (1) so that upper and lower sums come closer to the actual ‘area(S)'?

To answer this, let us observe the following:

16.1.4 Lemma:
 

Let be two partitions of such that

                           
and
                                      

i.e., has all the points of and an extra point in the subinterval. Then

                         

 
16.1.5 Definition:
(i)

Let and be two partition of such that every point of is also a point of . Then we say is a

  refinement of .
(ii)
A sequence of partitions of is called a sequence of refinement partitions if for all is a
  refinement of .
6