Definition:Countably Compact Space

Definition

Definition 1

A topological space $T = \struct {S, \tau}$ is countably compact if and only if:

every countable open cover of $T$ has a finite subcover.

Definition 2

A topological space $T = \struct {S, \tau}$ is countably compact if and only if:

every countable set of closed sets of $T$ whose intersection is empty has a finite subset whose intersection is empty.

That is, $T$ satisfies the countable finite intersection axiom.

Definition 3

A topological space $T = \struct {S, \tau}$ is countably compact if and only if:

every infinite sequence in $S$ has an accumulation point in $S$.

Definition 4

A topological space $T = \left({S, \tau}\right)$ is countably compact if and only if:

every countably infinite subset of $S$ has an $\omega$-accumulation point in $S$.

Definition 5

A topological space $T = \struct {S, \tau}$ is countably compact if and only if:

every infinite subset of $S$ has an $\omega$-accumulation point in $S$.

Also see

• Equivalence of Definitions of Countably Compact Space

• Definition:Weakly Countably Compact Space

• Results about countably compact spaces can be found here.