Example 10.3.  Show that  [Graphics:Images/MobiusTranformationMod_gr_26.gif]  maps the unit disk  [Graphics:Images/MobiusTranformationMod_gr_27.gif]  one-to-one and onto the upper half-plane  [Graphics:Images/MobiusTranformationMod_gr_28.gif].  

            Figure 10.5  The image  [Graphics:Images/MobiusTranformationMod_gr_53.gif]  under  [Graphics:Images/MobiusTranformationMod_gr_54.gif],  the points
            [Graphics:Images/MobiusTranformationMod_gr_55.gif]  are mapped onto the points  [Graphics:Images/MobiusTranformationMod_gr_56.gif],  respectively.

Explore Solution 10.3.

Enter the function  [Graphics:../Images/MobiusTranformationMod_gr_57.gif].

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


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

 

 

To show  S(z)  is one-to-one, find the inverse function.

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



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

 

 

 

Check out the inverse function.

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



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

 

 

 

Consider the unit circle C: |z| = 1.  Since  [Graphics:../Images/MobiusTranformationMod_gr_64.gif],  the image of these points will satisfy  [Graphics:../Images/MobiusTranformationMod_gr_65.gif].  
Square both sides of the above equation and obtain [Graphics:../Images/MobiusTranformationMod_gr_66.gif]  which can be simplified.

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


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

 

 

The circle  C  divides the z-plane into two portions, and its image, v = 0, is the u-axis which divides the w-plane into two portions. The image of a point interior to  C  will determine which half plane is the image of the unit disk.  For example

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

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

 

Therefore, the image of the unit disk [Graphics:../Images/MobiusTranformationMod_gr_71.gif] is the upper half plane [Graphics:../Images/MobiusTranformationMod_gr_72.gif].  

To visualize that  S(z)  is onto we will consider a graph. The graph is not conclusive, but it appears to confirm our suspicion.

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





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

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

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

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

 

 

 

 

We see that the transformation  [Graphics:../Images/MobiusTranformationMod_gr_78.gif]  maps the unit disk [Graphics:../Images/MobiusTranformationMod_gr_79.gif] one-to-one and onto the upper half plane [Graphics:../Images/MobiusTranformationMod_gr_80.gif].  

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





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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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