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
.