Section 3: Problem 10 Solution
Working problems is a crucial part of learning mathematics. No one can learn topology merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
(a) Show that the map 
 of Example 9 is order preserving.
(b) Show that the equation 
 defines a function 
 that is both a left and a right inverse for 
.
.
(a) Using the derivative: 
 implies that 
 is strictly increasing. Alternatively, we can argue that a) 
 is an odd function on 
 (
), so it is sufficient to show that it is increasing on 
, b) for 
, the numerator of 
 is strictly increasing in 
, while the denominator of 
 is strictly decreasing in 
, where both remain non-negative. Hence, 
 is strictly increasing.
(b) We first check that 
 for all 
. We can parametrize 
 as follows: 
. Note that 
, so 
. Then, 
, and 
. Now, we can either check directly that 
 for all 
, or use the following argument. We have shown in (a) that 
 is strictly increasing, and, hence, injective. It is also continuous having the negative and positive infinities as its limits when 
 goes to 
 and 
, respectively. Therefore, 
 is surjective, and bijective. There exists the inverse of 
, 
, which is its left and right inverses. According to Exercise 5 of §2, Chapter 1, in this case every left or right inverse of 
 is equal to 
, implying that 
 is the left and right inverses of 
.
