« Section 9: Problem 4 Solution

Section 9: Problem 6 Solution »

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 .