Theorem
An infinite subsetof a discrete space
is not compact.
Proof
Letbe a discrete topological space and let
be an infinite subset of
Consider the set of singleton sets
It is an open cover ofbecause
and
is open in
because every singleton set is open in the discrete topology.
No proper subset ofis an open cover of A. Since A is infinite so is
and the open cover contains no fininite subcover and
is not compact.
Obviously ifis a finite subset of a discrete space it is compact.