Exercise 7.  Prove that if  [Graphics:Images/JuliaMandelbrotModHome_gr_753.gif]  is in the Mandelbrot set, then its conjugate  [Graphics:Images/JuliaMandelbrotModHome_gr_754.gif]  is also in the Mandelbrot set.  

Thus, the Mandelbrot set is symmetric about the x-axis.   

Hint.   Use mathematical induction.  

Solution 7.

See text and/or instructor's solution manual.

        Suppose   [Graphics:../Images/JuliaMandelbrotModHome_gr_755.gif],   and let  [Graphics:../Images/JuliaMandelbrotModHome_gr_756.gif]  be the orbit of  0  under  [Graphics:../Images/JuliaMandelbrotModHome_gr_757.gif].  

By definition of  M, the be the orbit of  0  under   [Graphics:../Images/JuliaMandelbrotModHome_gr_758.gif]   is a bounded set.

Hence, there is some real number  N  such that   [Graphics:../Images/JuliaMandelbrotModHome_gr_759.gif]   for all  k.  

        Let  [Graphics:../Images/JuliaMandelbrotModHome_gr_760.gif]  be the iterates of   [Graphics:../Images/JuliaMandelbrotModHome_gr_761.gif]   under   [Graphics:../Images/JuliaMandelbrotModHome_gr_762.gif].   Calculation reveals that

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

Assume that for some  [Graphics:../Images/JuliaMandelbrotModHome_gr_764.gif]  that   [Graphics:../Images/JuliaMandelbrotModHome_gr_765.gif]   then we will also have  [Graphics:../Images/JuliaMandelbrotModHome_gr_766.gif].     Calculation reveals that

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

Therefore, by mathematical induction we have   [Graphics:../Images/JuliaMandelbrotModHome_gr_768.gif]   for  all  k.  

We can use the same real number  N  for which   [Graphics:../Images/JuliaMandelbrotModHome_gr_769.gif]   for all  k,  and we have   [Graphics:../Images/JuliaMandelbrotModHome_gr_770.gif]   for all  k.  

Hence, the orbit of  0  determined by   [Graphics:../Images/JuliaMandelbrotModHome_gr_771.gif]   is a bounded set.

Therefore  [Graphics:../Images/JuliaMandelbrotModHome_gr_772.gif]  is also in the Mandelbrot set.    

 

 


























 

This solution is complements of the authors.

 


























 


























 

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