Homepage › Solution manuals › Walter Rudin › Principles of Mathematical Analysis › Exercise 1.5
Exercise 1.5
Exercise 5: Let be a nonempty set of real numbers, which is bounded below. Let be the set of all numbers where . Prove that:
Answers
Assume is the greatest lower bound of . If then , so , and therefore . This implies that is an upper bound for . If then , and there is an such that . Then , and . This shows that is the least upper bound of , and we are done.
Comments
Proof. Since is bounded below, exists, and implies for all . Then for all and so is an upper bound of .
Now prove this is the least upper bound. Assume there is an upper bound of such that for all . This implies , which is a contradiction. □