Page 129 - DMTH505_MEASURE_THEOREY_AND_FUNCTIONAL_ANALYSIS
P. 129

Measure Theory and Functional Analysis




                    Notes
                                   where                     M =  sup f(x) ,
                                                              i
                                                                 x i 1  x x i
                                                             m =  inf f(x)
                                                              i
                                                                 x i 1  x x i
                                   We then define the upper Riemann integral of f by

                                                                    b
                                                                  R f(x) dx inf S
                                                                    a
                                   where the infimum is taken over all possible sub-divisions of [a, b].
                                   Similarly, we define the lower Riemann integral

                                                                   b
                                                                  R f(x) dx sup S
                                                                   a
                                   The upper integral is always at least as large as the lower integral, and if the two are equal, we
                                   say that f is Riemann integrable and we call this common value the Riemann integral of f.
                                   It will be denoted by

                                                                      b
                                                                     R f(x)dx
                                                                      a





                                     Note  By a step function we mean function   s.t.
                                                                  (x) =      x   [x , x ]
                                                                      i       i–1  i
                                   for some sub-division of [a, b] and some set of constant   then
                                                                                 i
                                                       b         x 1          x n
                                                          (x) dx =   (x)dx        (x)dx
                                                       a         x o         x n 1

                                                                 x 1    x 2        x n
                                                               =     dx     dx         dx
                                                                    1      2          n
                                                                 x o    x 1        x n 1

                                                               =   (x  – x ) +   (x  – x ) + … +   (x  – x )
                                                                  1  1  0   2  2  1       n  n–1  n
                                                                  n
                                                               =     i (x i  x )                           … (1)
                                                                          i 1
                                                                  i 1
                                   with this in mind, we see that

                                                       b
                                                     R  f (x) dx =  inf  p  (f)
                                                       a





          122                               LOVELY PROFESSIONAL UNIVERSITY
   124   125   126   127   128   129   130   131   132   133   134