Section 9: Problem 5 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) Use the choice axiom to show that if
is surjective, then
has a right inverse
.
(b) Show that if
is injective and
is not empty, then
has a left inverse. Is the axiom of choice needed?
(a) If
is empty, then the statement is vacuously true, otherwise
is not empty (
is surjective). Consider the collection
of nonempty sets
(
is surjective), and let
be a choice function for
. For every
, let
. Then
for every
.
(b) The axiom of choice is not needed. Let
. For
, there is unique
such that
, so let
. For
, let
. We have
for all
.