Open Cover
The open cover of a set in a Metric Space is the collection of open subsets of such that
- think of it as “covering” a set with open subsets
Example:
Let , then
is a collection of open sets and each element is open, and .
Compact
A subset of a Metric Space is said to be compact if every open cover of contains a finite subcover.
More explicitly, if is an open cover of , then there are finitely many indices such that
Corollary
Every finite set is compact since they all have open covers that have finitely many indices.
Lemma (Compact Implies Bounded)
Suppose is compact, nonempty. Then is bounded.
Let . Now, for every let . Note that by construction. Now, is a cover of .
Since is compact, there exists a finite subcover such that there is a finite such that
Let . Then .
and so and is bounded. Remember that is fixed.
Lemma (Compact Implies Closed)
Suppose is compact, nonempty. Then is closed.
Let . Then if is interior, then is open and is closed. We first find neighborhoods which miss points in .
Let , then . Let . Then . Indeed, if , then
a contradiction.
Now is an open cover of . Since is compact, a finite subcover such that
Let . Then
- and
- and Now since an , has a neighborhood that misses , and is an interior point. Therefore is open and by lemma, is closed.
Example
Let
This is not compact. We need to find one open cover with no finite subcover. We will find so that
- and is open
Define .
<--(|)----(|)----(|)-- ... --(|)----(|)----(|)--->
1/n+1 1/n 1/n-1 1/3 1/2 1
Then we can let such that and .
Theorem (Relative Compactness)
Suppose . Then is compact relative to if and only if is compact in .
Proof:
Suppose is compact relative to , and let be a collection of sets, open relative to , and an open cover of .
We need to find such that
Let for . Then is open relative by the lemma. Note that so
Since is compact relative an is an open relative cover of . Then such that
Suppose is compact in .
Suppose is an open relative cover of . We need to extract a finite subcover. Note that by lemma we have that
for some . Then
so has an open cover since is compact then finite subcover, say such that
Recall so take the intersection of the above with . So,
As we found a finite subcover, we are done.
Lemma (Closed x Compact)
- Let be compact and be closed. Then is compact.
- In particular, if is compact, then for , is compact.
We prove the second statement. Let be closed, and by the lemma, is closed and is closed. hence and some compact. We have is compact.
Now the first claim. WTS is compact. Let be an open cover of . is closed, so is open. Consider
Note , which covers and some extra elements. Since is compact we can extract finite indices such that
Since . Then as , then and is compact.
Corollary (Chain of Inclusion)
Let
be a collection of nonempty compact sets. Then is nonempty.
Suppose not. Then . Then lemma says such that
Note that . But then
which is a contradiction.
Lemma (Intersection of Compact)
Suppose is a collection of compact subsets of . Assume that
Then finite subcollection whose intersection is .
Proof: W will use compactness of one set and closedness of the rest. Fix some in the collection. Because
Now this is an open cover of since closed for . Hence, such that
which implies
Theorem (Criterion for Compactness)
Let be a metric space. Then is compact every infinite subset of has a limit point in .
Proof: We only show the forward direction via contradiction. Assume where is infinite such that no limit points are in . Then such that
(Every neighborhood on cannot intersect with at all.)
Now, is an open cover of . Since is infinite, then we need infinitely many neighborhoods to cover . Namely, one for every . So, no finite subcover, and a contradiction.
Backwards: From Homework 4.1
Lemma ( is not Compact)
is not compact. This is done by constructing a single open cover with no finite subcover.
Note but no finite sub cover exists. This is by consequence of Archimedean Property.
Theorem 2.34
Compact subsets of metric spaces are closed.
Let be a compact subset of metric space . Proof follows from showing that is open relative to .
Theorem 2.35
Closed subsets of compact sets are compact.