« Section 4: Problem 9 Solution

Section 4: Problem 11 Solution »

Section 4: 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
Show that every positive number has exactly one positive square root, as follows:
(a) Show that if and , then
(b) Let . Show that if , then for some ; and if , then for some .
(c) Given , let be the set of all real numbers such that . Show that is bounded above and contains at least one positive number. Let ; show that .
(d) Show that if and are positive and , then .
(a) The inequalities follow from .
(b) One needs to take sufficiently small to ensure , and use (a) here.
(c) If then , as implies , and is bounded by , as implies . If then , as implies , and is bounded by , as implies . Now, suppose that , then, using (b), for some , , and is in , hence, is not an upper bound of . Now, suppose that , then, using (b), for some , , and for every , (otherwise, , and ), hence, is not the least upper bound of . Therefore, .
(d) If both are positive and one is less than the other, say , then . We can only add that even if and are known to be nonnegative, still implies , as iff .