Page 215 - DMTH401_REAL ANALYSIS
P. 215

Unit 16: Uniform Convergence and Continuity




          16.6 Summary                                                                          Notes

              If a sequence of functions f (x) defined on D converges uniformly to a function f(x), and if
                                    n
               each f (x) is continuous on D, then the limit function f(x) is also continuous on D.
                    n
              All ingredients will be needed, that f  converges uniformly and that each f  is continuous.
                                            n                             n
               We want to prove that f is continuous on D.
              Before we continue, we will introduce a new concept that will somewhat simplify our
               discussion of uniform convergence, at least in terms of notation: we will use the supremum
               of a function to define a ‘norm’ of f.
              A sequence f  defined on a set D converges (point wise or uniformly) almost everywhere
                         n
               if there is a set S with Lebesgue measure zero such that f  converges (pointwise or uniformly)
                                                          n
               on D\S. We say that f  converges (pointwise or uniformly) to f a.e.
                                 n
              Much more can be said about convergence and integration if we consider the Lebesgue
               integral instead of the Riemann integral. To focus on Lebesgue integration, for example,
               we would first define the concept of “convergence almost everywhere”.
              In other words, convergence a.e. means that a sequence converges everywhere except on
               a  set  with  measure  zero.  Since the  Lebesgue  integral  ignores  sets  of measure  zero,
               convergence a.e. is ready-made for that type of integration.

              Let { f  } be a sequence of (Lebesgue) integrable functions that converges almost everywhere
                   n
               to a measurable function f. If |f (x)|  g(x) almost everywhere and g is (Lebesgue) integrable,
                                       n
               then f is also (Lebesgue) integrable and:
                                         lim f ò  n  -  f dm =  0
                                          n®¥

          16.7 Keywords

          Convergence almost Everywhere: A  sequence f  defined on  a set D converges (pointwise or
                                                 n
          uniformly) almost everywhere if there is a set S with Lebesgue measure zero such that f  converges
                                                                              n
          (point wise or uniformly) on D\S. We say that f  converges (pointwise or uniformly) to f a.e.
                                                 n
          Uniform Convergence Preserves Continuity: If a sequence of functions f (x) defined on D converges
                                                                 n
          uniformly to a function f(x), and if each f (x) is continuous on D, then the limit function f(x) is also
                                          n
          continuous on D.
          Lebesgue’s Bounded Convergence Theorem: Let {f } be a sequence of (Lebesgue) integrable functions
                                                n
          that converges almost everywhere to a measurable function f. If |f (x)|  g(x) almost everywhere
                                                              n
          and g is (Lebesgue) integrable, then f is also (Lebesgue) integrable and:
                                         lim f ò  n  -  f dm =  0
                                          n®¥
          16.8 Review Questions

                         n
                                                                        n
                       =
                     x
          1.   Let  f  ( ) x   on (0, 1).  We  can observe that  f -  f  =  sup  x -  0   =  1 ®  0.   By
                    n                                   n   sup   x (0,1)
                           0
               Theorem  f ®  uniformly.
                        n
                        1, x   n
          2.   Let  f (x) =  {0, x <  n   on  .  Then  f  sup  =  sup  x  f n ( ) 0 = ®  0.  So  f ®  uniformly.
                                                                          0
                                                        x
                                                          -
                                                              1
                   n
                                                                       n
                                           LOVELY PROFESSIONAL UNIVERSITY                                   209
   210   211   212   213   214   215   216   217   218   219   220