- #1
- 3,149
- 8
Homework Statement
If X is a T1 space, countable compactness is equivalent to limit point compactness.
The Attempt at a Solution
<==
Let X be limit point compact, and assume X is not countable compact. So, there exists a countable open cover for X such that no finite subcover covers X. So there is an element x1 not belonging to U1, x2 not belonging to U1 U U2, etc. in general xn doesn't belong to U1 U ... U Un. Now, the infinite set S = {x1, x2, ...} has a limit point x. Since X is T1, every neighborhood of x intersects S in infinitely many points. Let Uj be an open set from the countable open cover containing x (and infinitely many points of S). Choose a finite number of sets which cover the finite number of remaining elements of S, let's say m of them. Now we have a finite subcover which covers X, contradicting the fact that X is not countable compact.
==>
Now, this is the direction I'm having trouble with, however I attack the problem, I don't seem to get anywhere. Any suggestions?