(): Suppose every open cover of has a finite subcover. To show that is bounded, we construct an open cover for by defining to be an open interval of radius 1 around each point . In the language of Epsilon-Neighborhoods, . The open cover then must have a finite subcover (see the supposition) . Because is contained in a finite union of bounded sets (ie: ) then itself must be bounded (just take the right boundary of the largest ).
To show that is closed, there's more work. We'll argue it by contradiction. Let be a Cauchy Sequence contained in where . To show that is closed it is enough to show that .
Assume for contradiction that . Then , then each is some positive distance away from (otherwise then ). Thus, we can try to construct an open cover by taking to be an interval of radius around each point . Because we suppose (3), the resulting open cover must have some finite subcover . The contradiction comes from noticing that this finite subcover cannot contain all of the elements of the sequence . To show this, set:
Because and (remember, all the distances are positive), then such that:
for . Namely just choosing here works, because notice that:
Notice the inequality never holds for so then for all . Thus, , so then:
So our cover doesn't actually cover all of , which is a contradiction. Thus and thus is closed and bounded.
(): We'll use the following lemma:
DeMorgan's For Infinite Sets
Given a collection of sets :
Proof
(1) If then , meaning for any . This implies that for all . So then Thus giving for (1).
For , let . Then for all meaning so then .
(2) Comes from doing a very similar argument to (1).
☐
We'll show closure inductively. Let . Let and . Let be a subsequence of fully contained in or . The subsequence must also converge to , so . This is the base case.
We did the proof of this in class, but I prefer to use the textbook's proof of the idea (it's just easier to follow). If you want to view the proof in another context though see the following.
Scratch:
For () it's kind-of a mess. But the idea is that we can get a suprema and then actually say that we could go even futher past the suprema to indicate a finite subcover.
Let be nonempty and bounded. Then and such that and .
Proof
For choose such that . Using the Squeeze Theorem then we can show . The same can be done for the by using .
☐
Let's start the proof. Suppose is closed and bounded. Then all limit points of are in and any sequence is bounded. If is empty then we are done so suppose . Because of this then and exist, so then let and . Therefore . Note that since is closed.
Now let be an open cover of . Let . Notice that since then is bounded. Further since for example. Thus we can take . Since is closed, then (see the Lemma we just proved). Thus then such that . Therefore such that .
Since then such that . Therefore a finite subcover of . Let's call that subcover . Then taking:
certainly still covers . Therefore .
Now assume for contradiction that . Then such that and and is covered by . Therefore is a contradiction which contradicts .
(3 1): Suppose every open cover of has a finite subcover. Now if you consider:
Thus we found a finite subcover . Let . Then is a bound for , so then .
We need to show that to get (1), so assume for contradiction that . For let:
forms an open over of , so then a finite subcover . Now let . None of the epsilon-neighborhoods get into distance of , since every is a distance from . This contradicts being a limit.