## 1.3 Exercise 13

This theorem (and its converse) is needed everywhere in analysis and topology, and it is very important.

"Prove the following:

Theorem. If an ordered set has the least upper bound property, then it has the greatest lower bound property."

(Taken from *Topology* by James R. Munkres, Second Edition, Prentice Hall, NJ, 2000. Page 29.)

-----

SOLUTION

Suppose that does not have the GLBP. This means that there exists a nonempty that is bounded below but does not have a greatest lower bound, so that the set of lower bounds (nonempty) does not have a largest element. Additionally, does not have a smallest element, for, if it did, this would in fact be its infimum (such an element would be in the set of lower bounds because it is lesser or equal to all elements of ). Next let's focus on , which is a set in as well. It cannot possibly have the LUBP, because it has no greatest element and because , which now bounds it above, has no smallest element. We found a nonempty subset of with no supremum, and we've proved the theorem by contrapositive.