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.