Let be a nonempty subset of and let
Prove that [Hint:
I wrote the proof as follows:
is a lower bound of
, so is an upper bound, and
Since is a lower bound of , is the greates lower bound of .
Question: Could someone please show me how to use the hint?
For the case , simply state that this was proved in Exercise 4.9.
At this point, you could have also stated that exercise 4.9 asked you to complete a proof by showing that . (And, just as importantly, the fact that you were assuming the set is bounded below, that is, )
This is the proof Plato helped you with, and what you are doing here. It seems this problem wants you to tackle the case where , meaning the set is NOT bounded below--a notion introduced in section 5 that you would perhaps not have considered when doing the problem in section 4. In other words, you have already been helped with what you're asking help for, you should be doing something entirely different.
Nothing is stated in the question that the set is unbound. So the message being conveyed has been as clear as mud. It's unfortunate that mathematician are often poor communicators.
If it is as you said that it's unbound, then it's piece of cake. I wonder why the author can't be as clear as a child.
At any rate, thanks bro.
Haha, I won't deny that mathematicians communicate poorly sometimes, but i don't think Ross should be accused of such a thing--definitely not in this case at least.
One thing mathematicians try to do is to cover all angles, all perspectives and considerations. We try not to think inside a box, but to consider all possibilities. So when someone makes a general claim about sets, the mathematician wanting to prove/disprove it will automatically consider all kinds of sets. It is not good enough to just consider one case, but all possible cases, unless the claim restricts us otherwise.
With this problem it is no different. When reading the problem, you should automatically wonder, "wow, is this really true for all nonempty sets of real numbers? what if the set is bounded above? below? neither? both? what if...?" Ross decided to be a nice guy here and remind you that you dealt with one case already in a previous section, so there is no need to worry about it now, just prove the remaining case(s). The guy's not communicating poorly, he's just trying to save you from re-inventing the wheel.