« Section 4: Problem 7 Solution

Section 4: Problem 9 Solution »

Section 4: Problem 8 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 has the greatest lower bound property.
(b) Show that .
(c) Show that given with , . [Hint: Let , and show that .]
(a) See Exercise 13 of §3.
(b) is a lower bound, as implies (Exercise 2(i)), but for every there is ( is unbounded), therefore, (Exercise 2(j)). That is, every positive number is not a lower bound for the set, and is the greatest lower bound.
(c) Using hint, if , then (Exercise 2(j)), and , hence, if we show that for a positive , , we can use this fact to argue that for every there exists such that (all we need is to find such that , or , which always exists as is unbounded), and, therefore, , implying there is no positive lower bound. To show that  for all positive integer we can use the induction principle again: , and implies . Now, since , by induction, for all , and is the greatest lower bound for the set.