Exercise 7.  Suppose that the sequences of functions  [Graphics:Images/UniformConvergenceModHome_gr_265.gif]  and  [Graphics:Images/UniformConvergenceModHome_gr_266.gif]  converge uniformly on the set  T.  

7 (b).  Show by example that it is not necessarily the case that  [Graphics:Images/UniformConvergenceModHome_gr_286.gif]  converges uniformly to  [Graphics:Images/UniformConvergenceModHome_gr_287.gif]  on the set  T.  

Solution 7 (b).

See text and/or instructor's solution manual.

Solution.   For all  n,  let  [Graphics:../Images/UniformConvergenceModHome_gr_288.gif],  for all   [Graphics:../Images/UniformConvergenceModHome_gr_289.gif],  where  T  is the set of complex numbers.  

        Then  [Graphics:../Images/UniformConvergenceModHome_gr_290.gif]  converges uniformly to  [Graphics:../Images/UniformConvergenceModHome_gr_291.gif],  and  [Graphics:../Images/UniformConvergenceModHome_gr_292.gif]  converges uniformly to  [Graphics:../Images/UniformConvergenceModHome_gr_293.gif]  (verify these statements).  

        Show  [Graphics:../Images/UniformConvergenceModHome_gr_294.gif]  converges uniformly to  [Graphics:../Images/UniformConvergenceModHome_gr_295.gif].

Let  [Graphics:../Images/UniformConvergenceModHome_gr_296.gif] be any integer greater than  [Graphics:../Images/UniformConvergenceModHome_gr_297.gif],  then  [Graphics:../Images/UniformConvergenceModHome_gr_298.gif]  and  [Graphics:../Images/UniformConvergenceModHome_gr_299.gif].  

Therefore, for  [Graphics:../Images/UniformConvergenceModHome_gr_300.gif],  we have   

                    [Graphics:../Images/UniformConvergenceModHome_gr_301.gif]    for all   [Graphics:../Images/UniformConvergenceModHome_gr_302.gif].

        Show  [Graphics:../Images/UniformConvergenceModHome_gr_303.gif]  converges uniformly to  [Graphics:../Images/UniformConvergenceModHome_gr_304.gif].

Let  [Graphics:../Images/UniformConvergenceModHome_gr_305.gif] be any integer greater than  [Graphics:../Images/UniformConvergenceModHome_gr_306.gif],  then  [Graphics:../Images/UniformConvergenceModHome_gr_307.gif]  and  [Graphics:../Images/UniformConvergenceModHome_gr_308.gif].  

Therefore, for  [Graphics:../Images/UniformConvergenceModHome_gr_309.gif],  we have   

                    [Graphics:../Images/UniformConvergenceModHome_gr_310.gif]    for all   [Graphics:../Images/UniformConvergenceModHome_gr_311.gif].

        However, even though  [Graphics:../Images/UniformConvergenceModHome_gr_312.gif]  converges pointwise to  [Graphics:../Images/UniformConvergenceModHome_gr_313.gif]  (explain why),  

the convergence is not uniform (verify).  

Convergence is pointwise.

Let  [Graphics:../Images/UniformConvergenceModHome_gr_314.gif].  

Fix the value  [Graphics:../Images/UniformConvergenceModHome_gr_315.gif].  Now choose   [Graphics:../Images/UniformConvergenceModHome_gr_316.gif] to be the smallest integer satisfying  [Graphics:../Images/UniformConvergenceModHome_gr_317.gif].

Then for any  [Graphics:../Images/UniformConvergenceModHome_gr_318.gif]  we will have  [Graphics:../Images/UniformConvergenceModHome_gr_319.gif]  and  [Graphics:../Images/UniformConvergenceModHome_gr_320.gif]  which implies  [Graphics:../Images/UniformConvergenceModHome_gr_321.gif]  and  [Graphics:../Images/UniformConvergenceModHome_gr_322.gif]  which implies

                    [Graphics:../Images/UniformConvergenceModHome_gr_323.gif]    and    [Graphics:../Images/UniformConvergenceModHome_gr_324.gif].

Hence, for any  [Graphics:../Images/UniformConvergenceModHome_gr_325.gif]  we obtain

                    [Graphics:../Images/UniformConvergenceModHome_gr_326.gif]

Therefore,  [Graphics:../Images/UniformConvergenceModHome_gr_327.gif]  converges pointwise to  [Graphics:../Images/UniformConvergenceModHome_gr_328.gif]  on the set  T.  

Convergence is not uniform.

Let  [Graphics:../Images/UniformConvergenceModHome_gr_329.gif].  

Then for every positive integer  n,  if  [Graphics:../Images/UniformConvergenceModHome_gr_330.gif],  then  

                    [Graphics:../Images/UniformConvergenceModHome_gr_331.gif].

Thus Statement  (7-3) is satisfied:

(7-3)            There exists an  [Graphics:../Images/UniformConvergenceModHome_gr_332.gif],  such that for all positive integers  N,
            there is some  [Graphics:../Images/UniformConvergenceModHome_gr_333.gif]  and some  [Graphics:../Images/UniformConvergenceModHome_gr_334.gif]
            such that [Graphics:../Images/UniformConvergenceModHome_gr_335.gif].  

Therefore,  [Graphics:../Images/UniformConvergenceModHome_gr_336.gif]  does not converge uniformly to  [Graphics:../Images/UniformConvergenceModHome_gr_337.gif]  on the set  T.  

We are done.   

Can you come up with a different example ?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) 2008 John H. Mathews, Russell W. Howell