Exercise 2.  Find the image of the vertical strip  [Graphics:Images/MapTrigonometricFunModHome_gr_166.gif]  under the mapping   [Graphics:Images/MapTrigonometricFunModHome_gr_167.gif].

Solution 2.

Answer.   The image of the vertical strip   [Graphics:../Images/MapTrigonometricFunModHome_gr_168.gif]   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_169.gif]   is the right half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_170.gif].

Hint.   Extend the results in Example 10.12.

Short Solution.   In Example 10.12 we showed that  [Graphics:../Images/MapTrigonometricFunModHome_gr_171.gif]  can be written as the composition  [Graphics:../Images/MapTrigonometricFunModHome_gr_172.gif]  where  

                     [Graphics:../Images/MapTrigonometricFunModHome_gr_173.gif]    and    [Graphics:../Images/MapTrigonometricFunModHome_gr_174.gif].  

Recall that the product  [Graphics:../Images/MapTrigonometricFunModHome_gr_175.gif]  rotates the plane [Graphics:../Images/MapTrigonometricFunModHome_gr_176.gif] and magnifies by a factor of  [Graphics:../Images/MapTrigonometricFunModHome_gr_177.gif].  

Hence  [Graphics:../Images/MapTrigonometricFunModHome_gr_178.gif] maps the vertical strip  [Graphics:../Images/MapTrigonometricFunModHome_gr_179.gif]  

one-to-one and onto the upper half-plane [Graphics:../Images/MapTrigonometricFunModHome_gr_180.gif].  

Next, consider the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_181.gif].  

Then the three points  [Graphics:../Images/MapTrigonometricFunModHome_gr_182.gif],  [Graphics:../Images/MapTrigonometricFunModHome_gr_183.gif],  [Graphics:../Images/MapTrigonometricFunModHome_gr_184.gif]  give the upper half plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_185.gif]  a left orientation,

and their image points  [Graphics:../Images/MapTrigonometricFunModHome_gr_186.gif],  [Graphics:../Images/MapTrigonometricFunModHome_gr_187.gif],  [Graphics:../Images/MapTrigonometricFunModHome_gr_188.gif]  give the right half plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_189.gif]  a left orientation.  

Therefore, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_190.gif]   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_191.gif]   is the right half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_192.gif].

We might be done.   

Solution. Method I.   In Example 10.12 we showed that the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_193.gif]  can be written as the composition  

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

where   

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

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

        Recall that the product  [Graphics:../Images/MapTrigonometricFunModHome_gr_197.gif]  rotates the plane [Graphics:../Images/MapTrigonometricFunModHome_gr_198.gif] and magnifies by a factor of  [Graphics:../Images/MapTrigonometricFunModHome_gr_199.gif].  

For the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_200.gif],   also recall that   

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_201.gif][Graphics:../Images/MapTrigonometricFunModHome_gr_202.gif].  

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_203.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_204.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_205.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_206.gif].   

Also, recall that   [Graphics:../Images/MapTrigonometricFunModHome_gr_207.gif].

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_208.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_209.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_210.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_211.gif].

        Hence, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_212.gif],   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_213.gif]   is

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

which is the upper half-plane.

        Now find the inverse transformation for   [Graphics:../Images/MapTrigonometricFunModHome_gr_215.gif].

Apply equations (10-13)  and  (10-14)  in the form

(10-13)             [Graphics:../Images/MapTrigonometricFunModHome_gr_216.gif],

(10-14)             [Graphics:../Images/MapTrigonometricFunModHome_gr_217.gif].

Here we have  [Graphics:../Images/MapTrigonometricFunModHome_gr_218.gif]  and   [Graphics:../Images/MapTrigonometricFunModHome_gr_219.gif].  

Then  

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

Thus, the inverse transformation is   [Graphics:../Images/MapTrigonometricFunModHome_gr_221.gif].  

Then get  

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

Here we have

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_223.gif]    and    [Graphics:../Images/MapTrigonometricFunModHome_gr_224.gif].  

Also,   [Graphics:../Images/MapTrigonometricFunModHome_gr_225.gif]   implies    [Graphics:../Images/MapTrigonometricFunModHome_gr_226.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_227.gif]   implies   [Graphics:../Images/MapTrigonometricFunModHome_gr_228.gif].

        Hence, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_229.gif],   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_230.gif]   is

                     [Graphics:../Images/MapTrigonometricFunModHome_gr_231.gif],  which is the right half-plane.

        Therefore, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_232.gif]   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_233.gif]   is the right half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_234.gif].

We are done.   

Aside.  We can look at some graphs of the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_235.gif].

          The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_236.gif],   followed by the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_237.gif].

          Observe the points [Graphics:../Images/MapTrigonometricFunModHome_gr_238.gif] and their images  [Graphics:../Images/MapTrigonometricFunModHome_gr_239.gif]  and  [Graphics:../Images/MapTrigonometricFunModHome_gr_240.gif]  

                                        [Graphics:../Images/MapTrigonometricFunModHome_gr_241.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_242.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_243.gif]  

We are really done.   

Solution. Method II.   In Example 10.12 we showed that the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_244.gif]  can be written as the composition  

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

where   

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

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

        Recall that the product  [Graphics:../Images/MapTrigonometricFunModHome_gr_248.gif]  rotates the plane [Graphics:../Images/MapTrigonometricFunModHome_gr_249.gif] and magnifies by a factor of  [Graphics:../Images/MapTrigonometricFunModHome_gr_250.gif].  

For the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_251.gif],   also recall that   

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_252.gif][Graphics:../Images/MapTrigonometricFunModHome_gr_253.gif].  

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_254.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_255.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_256.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_257.gif].   

Also, recall that   [Graphics:../Images/MapTrigonometricFunModHome_gr_258.gif].

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_259.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_260.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_261.gif]   implies that   [Graphics:../Images/MapTrigonometricFunModHome_gr_262.gif].

        Hence, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_263.gif],   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_264.gif]   is

                    [Graphics:../Images/MapTrigonometricFunModHome_gr_265.gif],    which is the upper half-plane.

        The upper half-plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_266.gif]  can be given a left orientation with the points  [Graphics:../Images/MapTrigonometricFunModHome_gr_267.gif].   

Then   [Graphics:../Images/MapTrigonometricFunModHome_gr_268.gif]   maps   [Graphics:../Images/MapTrigonometricFunModHome_gr_269.gif]   onto  [Graphics:../Images/MapTrigonometricFunModHome_gr_270.gif],

which is a left orientation for the right half plane  [Graphics:../Images/MapTrigonometricFunModHome_gr_271.gif].

        Hence, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_272.gif],   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_273.gif]   is the right half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_274.gif].

        Therefore, the image of   [Graphics:../Images/MapTrigonometricFunModHome_gr_275.gif]   under   [Graphics:../Images/MapTrigonometricFunModHome_gr_276.gif]   is the right half-plane   [Graphics:../Images/MapTrigonometricFunModHome_gr_277.gif].

We are really really done.   

Aside.  We can look at some graphs of the mapping  [Graphics:../Images/MapTrigonometricFunModHome_gr_278.gif].

 

[Graphics:../Images/MapTrigonometricFunModHome_gr_279.gif]  [Graphics:../Images/MapTrigonometricFunModHome_gr_280.gif]  [Graphics:../Images/MapTrigonometricFunModHome_gr_281.gif]

  

[Graphics:../Images/MapTrigonometricFunModHome_gr_282.gif]  [Graphics:../Images/MapTrigonometricFunModHome_gr_283.gif]  [Graphics:../Images/MapTrigonometricFunModHome_gr_284.gif]

  

          The mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_285.gif],   followed by the mapping   [Graphics:../Images/MapTrigonometricFunModHome_gr_286.gif].

          Observe the points [Graphics:../Images/MapTrigonometricFunModHome_gr_287.gif] and their images  [Graphics:../Images/MapTrigonometricFunModHome_gr_288.gif]  and  [Graphics:../Images/MapTrigonometricFunModHome_gr_289.gif]  

                                        [Graphics:../Images/MapTrigonometricFunModHome_gr_290.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_291.gif]          [Graphics:../Images/MapTrigonometricFunModHome_gr_292.gif]  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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