Lecture 11
Recall
is compact if open cover of , a finite subcover (We can only start proof from the cover of our desired set)
Let be a metric space. Consider the following statement: If is compact and , then is compact.
- To give a proof of the statement, we start with "Suppose is compact and ." What MUST be the next step in the proof be?
Let be any open cover of . (Since we want to show is compact) - Complete the proof of the statement.
Since and is compact, then a finite subcover relative to .
And , such that , such that . And is a be So is compact.
Any sets has an open cover - Suppose is compact, and is closed (in ). Prove that is compact. [Hint: the proof structure is similar to 2.]
By Theorem 2.33
New Materials
Compact sets
Theorem 2.35
If , and is closed (relative to ), and is compact, then is compact.
Proof:
Let be an open cover of . (Since we want to show is compact)
And is an open cover of . Since is compact, then this open cover has a finite subcover of .
Since , So is a cover of then is a finite subcover of of .
EOP
Corollary 2.35
If is closed and is compact, then is closed.
Corollary 2.36 From Theorem 2.36
If is sequence of nonempty compact sets, Then is not empty.
Proof:
We proceed by contradiction. Suppose
Then , Since is compact, is closed. is open.
So is an open cover of . By compactness of , a finite subcover of . So
Let , then . So , so
which contradicts with
EOP
Theorem 2.37
If is an infinite subset of a compact set , then has a limit point in .
Proof:
We'll prove the following equivalent statement (contrapositive).
If is compact, , and , then is finite
Suppose is compact, , .
For each , so neighborhood such that (By ).
Then is an open cover of , so it has a finite subcover . Then , and , then
EOP
Theorem 2.38
If is a sequence of closed and bounded intervals and , then
Proof:
Let , is non empty (Since )
We claim , is an upper bound of , i.e. .
To see this:
Let , we claim , i.e
Fix .
Since is an upper bound of and , then .
Since is the least upper bound of , and is an upper bound of , then .
EOP