Proof That Countably Compact Subsets of a Metric Space are Also Sequentially Compact


Any countably compact subsetof a metric spaceis also sequentially compact.


Letbe a metric space and letbe a sequence inIf the setis finite then one of the elements, sayappears infinitely often, hence the subsequenceconverges to

Suppose the setis countably compact. The infinite subset ofhas an accumulation pointSinceis a metric space, we can choose a subsequencewhich converges toHenceis sequentially compact.