Proof That the Open Interval (0,1) is Not Countably Compact

Theorem

The open intervalis not countably compact.

Proof

A subsetof a topological spaceis countably compact if every finite subsethas an accumulation point in

Consider the infinite subset

This subset has only one accumulation point, 0, which is not inhenceis not countably compact.