Exercise 9.  Find the image of the upper half-plane   [Graphics:Images/MapElementaryFunModHome_gr_349.gif]   under   [Graphics:Images/MapElementaryFunModHome_gr_350.gif].  

Solution 9.

Remark.  Compare this exercise with Exercise 10.

Answer.   The image of  [Graphics:../Images/MapElementaryFunModHome_gr_351.gif]  under  [Graphics:../Images/MapElementaryFunModHome_gr_352.gif]  is the horizontal strip  [Graphics:../Images/MapElementaryFunModHome_gr_353.gif].  

Short Solution.   The image of   [Graphics:../Images/MapElementaryFunModHome_gr_354.gif]  under   [Graphics:../Images/MapElementaryFunModHome_gr_355.gif]   is the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_356.gif],  

then the image of    [Graphics:../Images/MapElementaryFunModHome_gr_357.gif],  under    [Graphics:../Images/MapElementaryFunModHome_gr_358.gif]   is the horizontal strip  [Graphics:../Images/MapElementaryFunModHome_gr_359.gif].  

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

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

where   

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

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

        The boundary of the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_364.gif]   is the real axis   [Graphics:../Images/MapElementaryFunModHome_gr_365.gif],  

and we can give the upper half-plane  [Graphics:../Images/MapElementaryFunModHome_gr_366.gif]  a left orientation by using the points  [Graphics:../Images/MapElementaryFunModHome_gr_367.gif].

Then   [Graphics:../Images/MapElementaryFunModHome_gr_368.gif]   maps    [Graphics:../Images/MapElementaryFunModHome_gr_369.gif]    onto    [Graphics:../Images/MapElementaryFunModHome_gr_370.gif],  

which is a positive orientation for the real axis   [Graphics:../Images/MapElementaryFunModHome_gr_371.gif].

        Hence, the image of the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_372.gif]   under   [Graphics:../Images/MapElementaryFunModHome_gr_373.gif]   is the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_374.gif].
        
Furthermore, as a double-check we can choose the point  [Graphics:../Images/MapElementaryFunModHome_gr_375.gif]  in the upper half plane  [Graphics:../Images/MapElementaryFunModHome_gr_376.gif],  

then  [Graphics:../Images/MapElementaryFunModHome_gr_377.gif]  lies in the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_378.gif],

which leads us to conclude that the image region lies above the real axis  [Graphics:../Images/MapElementaryFunModHome_gr_379.gif].

        The upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_380.gif]   can be written in the form   [Graphics:../Images/MapElementaryFunModHome_gr_381.gif].

Recall that   [Graphics:../Images/MapElementaryFunModHome_gr_382.gif]   which can be written as  

                    [Graphics:../Images/MapElementaryFunModHome_gr_383.gif]   and   [Graphics:../Images/MapElementaryFunModHome_gr_384.gif].

Then,   [Graphics:../Images/MapElementaryFunModHome_gr_385.gif]   implies that   [Graphics:../Images/MapElementaryFunModHome_gr_386.gif]   which in turn implies that   [Graphics:../Images/MapElementaryFunModHome_gr_387.gif].   

Also,   [Graphics:../Images/MapElementaryFunModHome_gr_388.gif]   implies that   [Graphics:../Images/MapElementaryFunModHome_gr_389.gif].   

        Hence, the image of the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_390.gif],  under the mapping  

[Graphics:../Images/MapElementaryFunModHome_gr_391.gif]  is the horizontal strip  [Graphics:../Images/MapElementaryFunModHome_gr_392.gif].

        Therefore, the image of the upper half-plane   [Graphics:../Images/MapElementaryFunModHome_gr_393.gif],   

under the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_394.gif]   is the horizontal strip   [Graphics:../Images/MapElementaryFunModHome_gr_395.gif].

We are done.   

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

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

          The mapping   [Graphics:../Images/MapElementaryFunModHome_gr_398.gif],   followed by the mapping   [Graphics:../Images/MapElementaryFunModHome_gr_399.gif].

          Observe the points [Graphics:../Images/MapElementaryFunModHome_gr_400.gif] and their images  [Graphics:../Images/MapElementaryFunModHome_gr_401.gif]  and  [Graphics:../Images/MapElementaryFunModHome_gr_402.gif]  

                                        [Graphics:../Images/MapElementaryFunModHome_gr_403.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_404.gif]          [Graphics:../Images/MapElementaryFunModHome_gr_405.gif]  

We are really done.   

Aside.   If it is important then we can include the following details.

          Here the values    [Graphics:../Images/MapElementaryFunModHome_gr_406.gif],    [Graphics:../Images/MapElementaryFunModHome_gr_407.gif],    and    [Graphics:../Images/MapElementaryFunModHome_gr_408.gif]    are calculated as limits.

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

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

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

          Similarly, the values    [Graphics:../Images/MapElementaryFunModHome_gr_412.gif],    [Graphics:../Images/MapElementaryFunModHome_gr_413.gif],    and    [Graphics:../Images/MapElementaryFunModHome_gr_414.gif]    are calculated as limits.

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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