Exercise 13.  Complete the proof of Theorem 4.1.   

In other words, suppose that   [Graphics:Images/ComplexSequenceSeriesModHome_gr_313.gif],   where   [Graphics:Images/ComplexSequenceSeriesModHome_gr_314.gif]   and   [Graphics:Images/ComplexSequenceSeriesModHome_gr_315.gif].  

Prove that   [Graphics:Images/ComplexSequenceSeriesModHome_gr_316.gif].  

Solution 13.

See text and/or instructor's solution manual.

Answer.   Duplicate the part of the Theorem 4.1 that shows  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_317.gif],  but replace  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_318.gif]  with  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_319.gif]  and  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_320.gif].  

Solution.   First we will assume that   [Graphics:../Images/ComplexSequenceSeriesModHome_gr_321.gif],   is true, and from this deduce the truth of   [Graphics:../Images/ComplexSequenceSeriesModHome_gr_322.gif].

Let  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_323.gif]  be an arbitrary positive real number.

To establish  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_324.gif],  we must show that there is a positive integer  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_325.gif]  such that the inequality  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_326.gif]  holds whenever  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_327.gif].  

        Since we are assuming   [Graphics:../Images/ComplexSequenceSeriesModHome_gr_328.gif]   to be true, we know according to Definition 4.1 that

there is a positive integer  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_329.gif]  such that   [Graphics:../Images/ComplexSequenceSeriesModHome_gr_330.gif]   if   [Graphics:../Images/ComplexSequenceSeriesModHome_gr_331.gif].

Recall that   [Graphics:../Images/ComplexSequenceSeriesModHome_gr_332.gif]   is equivalent to the inequality   [Graphics:../Images/ComplexSequenceSeriesModHome_gr_333.gif].  

Thus, whenever  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_334.gif],  we have  

                    [Graphics:../Images/ComplexSequenceSeriesModHome_gr_335.gif],  

and this proves  [Graphics:../Images/ComplexSequenceSeriesModHome_gr_336.gif].   

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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