Sequentially Compact Space is Countably Compact

From ProofWiki
Jump to navigation Jump to search


A sequentially compact topological space is also countably compact.


Let $T = \struct {S, \tau}$ be a sequentially compact topological space.

By definition of countably compact space, it suffices to show that every infinite sequence in $S$ has an accumulation point in $S$.

By the definition of a sequentially compact space, every infinite sequence in $S$ has a subsequence which converges in $S$.

The result follows from Limit of Sequence is Accumulation Point.


Axiom of Countable Choice

This theorem depends on the Axiom of Countable Choice, by way of Equivalence of Definitions of Countably Compact Space.

Although not as strong as the Axiom of Choice, the Axiom of Countable Choice is similarly independent of the Zermelo-Fraenkel axioms.

As such, mathematicians are generally convinced of its truth and believe that it should be generally accepted.