Math4201 Topology I (Lecture 30)
Compactness
Compactness in Metric Spaces
Limit point compactness
A topological space is limit point compact if every infinite subset of has a limit point in .
- Every compact space is limit point compact.
Sequentially compact
A topological space is sequentially compact if every sequence in has a convergent subsequence.
Theorem of equivalence of compactness in metrizable spaces
If is a metric space then the following are equivalent:
- is compact.
- is limit point compact.
- is sequentially compact.
Proof
(1) (2):
We proceed by contradiction,
Let be compact and be an infinite subset of that doesn’t have any limit points.
Then is open because any isn’t in the closure of otherwise it would be a limit point for , and hence has an open neighborhood contained in the complement of .
Next, let . Since isn’t a limit point of , there is an open neighborhood of in that . Now consider the open covering of given as
This is an open cover because either or and in the latter case, since is compact, this should have a finite subcover. Any such subcover should contain for any because is the element in the subcover for .
This implies that our finite cover contains infinite open sets, which is a contradiction.
(2) (3):
Let be an arbitrary sequence in .
Since the subsequence converges to .
This completes the proof.
except possibly .
Now we consider
This ball has a point from which isn’t equal to .
.
Since is a limit point of , there exists such that . So .
So, we have a convergent subsequence .
(3) (1):
First wee prove the analogue of Lebesgue number lemma for a sequentially compact space .
Let be an open covering of . By contradiction, assume that for any , there are two points with don’t belong to the same open set in the covering.
Take , and let be the points as above, then .
don’t belong to the same open set in .
By assumption is convergent after passing to a subsequence
Let be the limit of this subsequence and be an element of the open covering containing . There is such that .
If is large enough, then and . (take such that )
Then this implies that .
Thus, .
So, .
This is a contradiction.
Next we show that for any , there are
such that .
Let’s assume that it’s not true and construct a sequence of points inductively in the following way:
- Pick be arbitrary point in .
- In the -th step, if , then pick .
- In particular, for all .
By iteration, this process we obtain a sequence such such that the distance between any two elements is at most .
This sequence cannot have a converging subsequence which is a contradiction.
To prove the compactness of , take an open covering of and let be such that any set with diameter at least is one of the ‘s. Let also be chosen such that .
Since diameter of is less than , it belongs to for some .
Then is a finite subcover of .
This completes the proof.