Page 149 - DMTH401_REAL ANALYSIS
P. 149

Unit 10: Limit of a Function




          This completes the proof of the theorem. You may note the theorem is true even when a = ±.  Notes
          You may also see that while proving (iv), we have proved that if

                                                     1    1
                               lim g(x) = B  0, then  lim  =   .
                               x  a            x g(x)  B
                                                  a
          Before we solve some examples, we prove two more theorems.
          Theorem 5: Let f and g be defined in the domain D and let f(x)  g(x) for all x in D. Then if   lim f(x)
                                                                                 x a
          and  lim g(x) exist,
              x a
                                 lim f(x)  lim g(x).
                                 x  n  x  a
          Proof: Let  lim f(x) = A,  lim g(x) = B. If possible, let A > B.
                  x  a      x  a
                                       A B
                                         -
          for                        =     , there exist  ,   > 0 such that
                                         2             1  2
                        0 < |x – a| <    |f(x) – A| < E
                                    1
          and           0 < |x – a| <    |g(x) – B| < E.
                                    2
          If 6 = min. ( ,  ), then for 0 < |x – a| < 6, g(x)  ]B – , B + [ and f(x)  ] A – , A +  [. But B +  =
                    1  2
                   +
                 A B
          A – E =     . Therefore g(x) < f(x) for 0 < |x – a|< 6 which contradicts the given hypothesis.
                   2
          Thus A  B.
          Theorem 6: Let S and T be non-empty subsets of the real set R, and let f: S  T be a function of
          S onto T. Let g: U  R be a function whose domain U C R contains T. Let us assume that   lim f(x)
                                                                                 x a
          exists and is equal to b and  lim g(y) exists and is equal to c. Then  lim g(f(x)) exists and is equal
                                 x b                          x  a
          to c.
          Proof: Since  lim g(y) = c, given a number E > 0, there exists a number   > 0 such that
                    x  b                                          0
                       0 < |y – b| <    |g(y) – c| < .
                                    0
          Since  lim f(x) = b, corresponding to   > 0, there exists  > 0 such that
               x  a                    0
                         0 < |x – a| <   |f(x) – b| <  .
                                                  0
          Hence, taking y = f(x) and combining the two we get that for
               0 < |x – a| < , |g(f(x)) – c| = |g(y) – c| < 
                                        (since |f(x) – b| <  ).
                                                        0
          This completes the proof of the theorem. Finally we give one more result without proof.

          Result: If  lim f(x) = A, A > 0 and  lim g(x) = B where A and B are finite real numbers then
                  x a               x a
                                        B
                                   g(x)
                             lim f(x)  = A .
                             x a
          Now we discuss some examples. You will see how the above results help us in reducing the
          problem of finding limit of complicated functions to that of finding limits of simple functions.
                                                +
                                (2x 7)(3x 11)(4x 5)
                                         -
                                   +
                 Example: Find  lim
                                        3
                             x      4x +  x -  1
          Solution:
                                                          +
                                             +
                                          (2x 7)(3x 11)(4x 5)
                                                   -
                                       lim        3
                                       x      4x +  x -  1
                                           LOVELY PROFESSIONAL UNIVERSITY                                   143
   144   145   146   147   148   149   150   151   152   153   154