Theorem
The open interval
is not countably compact.
Proof
A subset
of a topological space
is countably compact if every finite subset
has an accumulation point in
Consider the infinite subset
This subset has only one accumulation point, 0, which is not in
henceis not countably compact.