Three notions of compactness: minimal conditions for equivalence? There exist 3 notions of compactness:


*

*$X$ is compact if any open cover admits a finite subcover;

*$X$ is sequentially compact if any sequence in $X$ has a convergent subsequence;

*$X$ is limit point compact if any infinite $A\subseteq X$ has at least a limit point.


Theorem
The three are eequivalent in metric spaces.
Theorem (Eberlein-Šmulian)
The three are equivalent in weak topologies of Banach spaces.
Does there exist a characterisation of spaces where this holds by say some topological property? If not, are there other examples of spaces where the three are equivalent besides metric spaces and weak topologies of Banach spaces? And how would one go about proving whatever the answer to the previous questions is?
 A: Some remarks on this, without striving for comprehensiveness:


*

*Compactness and sequential compactness do not imply each other in general topological spaces. For example, the set of countable ordinals with the order topology is not compact, but it is sequentially compact, whereas the space $\{0,1\}^{[0,1)}$ with the product topology (each factor space being endowed with the discrete topology) is compact (Tychonoff) but not sequentially so.

*In any topological space, compactness is equivalent to “net compactness:” that is, the condition that any net have a convergent subnet.

*Every compact space is countably compact—this means that any countable open cover has a finite subcover (this is different from Lindelöf’s condition, which requires that any arbitrary open cover have a countable subcover).

*For $T_1$ spaces (that is, in which singletons are closed), countable compactness is equivalent to limit-point compactness as you stated it.

*Every sequentially compact space is countably compact.

*If a topological space is countably compact and first-countable, then it is sequentially compact.

*The previous three claims imply that countable compactness, sequential compactness, and limit-point compactness are all equivalent in first-countable $T_1$ spaces.

*If a topological space is normal and $T_1$, then it is countably compact if and only if every real-valued continuous function on it is bounded.
For a reference for these claims, see Folland (1999, Section 4.4 and the exercises therein).
