Exercise 6.  Show that   [Graphics:Images/MapElementaryFunModHome_gr_168.gif]  maps the portion of the right half-plane  [Graphics:Images/MapElementaryFunModHome_gr_169.gif]  

that lies to the right of the hyperbola   [Graphics:Images/MapElementaryFunModHome_gr_170.gif]   onto the unit disk   [Graphics:Images/MapElementaryFunModHome_gr_171.gif].

Solution 6.

Answer.   The image of  [Graphics:../Images/MapElementaryFunModHome_gr_172.gif] under  [Graphics:../Images/MapElementaryFunModHome_gr_173.gif]  is  [Graphics:../Images/MapElementaryFunModHome_gr_174.gif].

Short Solution.   The image of   [Graphics:../Images/MapElementaryFunModHome_gr_175.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_176.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_177.gif],   

then the image of   [Graphics:../Images/MapElementaryFunModHome_gr_178.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_179.gif]   is the unit disk   [Graphics:../Images/MapElementaryFunModHome_gr_180.gif].  

Solution.   The portion of the right half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_181.gif]   that lies to the right of the hyperbola  [Graphics:../Images/MapElementaryFunModHome_gr_182.gif]  is the set

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

The mapping  [Graphics:../Images/MapElementaryFunModHome_gr_184.gif]  can be written as a composition  

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

where   

                    [Graphics:../Images/MapElementaryFunModHome_gr_186.gif],    and   

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

We can write  [Graphics:../Images/MapElementaryFunModHome_gr_188.gif],  as  

                      [Graphics:../Images/MapElementaryFunModHome_gr_189.gif]    and    [Graphics:../Images/MapElementaryFunModHome_gr_190.gif].

The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_191.gif]   is two to one and the image   [Graphics:../Images/MapElementaryFunModHome_gr_192.gif]   is   [Graphics:../Images/MapElementaryFunModHome_gr_193.gif].

and so is the image of   [Graphics:../Images/MapElementaryFunModHome_gr_194.gif].

        Hence, the image of  [Graphics:../Images/MapElementaryFunModHome_gr_195.gif]  under  [Graphics:../Images/MapElementaryFunModHome_gr_196.gif]  is the right half plane  [Graphics:../Images/MapElementaryFunModHome_gr_197.gif].  

        The boundary of the right half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_198.gif]   is the vertical line   [Graphics:../Images/MapElementaryFunModHome_gr_199.gif],  

and we can give the right half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_200.gif]   a left orientation by using the points   [Graphics:../Images/MapElementaryFunModHome_gr_201.gif].

Then   [Graphics:../Images/MapElementaryFunModHome_gr_202.gif]   maps    [Graphics:../Images/MapElementaryFunModHome_gr_203.gif]    onto    [Graphics:../Images/MapElementaryFunModHome_gr_204.gif],  

which is a positive orientation for the unit circle  [Graphics:../Images/MapElementaryFunModHome_gr_205.gif].

        Hence, the image of the right half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_206.gif]   is the unit disk   [Graphics:../Images/MapElementaryFunModHome_gr_207.gif].  

Furthermore, as a double-check we can choose the point  [Graphics:../Images/MapElementaryFunModHome_gr_208.gif]  in the right half-plane  [Graphics:../Images/MapElementaryFunModHome_gr_209.gif],  

then  [Graphics:../Images/MapElementaryFunModHome_gr_210.gif]  lies in the unit disk  [Graphics:../Images/MapElementaryFunModHome_gr_211.gif],

which leads us to conclude that the image region lies inside the unit circle  [Graphics:../Images/MapElementaryFunModHome_gr_212.gif].

        Therefore, the image of  [Graphics:../Images/MapElementaryFunModHome_gr_213.gif]

under the mapping  [Graphics:../Images/MapElementaryFunModHome_gr_214.gif] is the unit disk  [Graphics:../Images/MapElementaryFunModHome_gr_215.gif].

We are done.   

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

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

          The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_218.gif],   followed by the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_219.gif].

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_220.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_221.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_222.gif]  

                                        [Graphics:../Images/MapElementaryFunModHome_gr_223.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_224.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_225.gif]  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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