Theorem
An infinite subset
of a discrete space
is not compact.
Proof
Let
be a discrete topological space and let
be an infinite subset of
Consider the set of singleton sets![]()
It is an open cover of
because
and
is open in
because every singleton set is open in the discrete topology.
No proper subset of
is an open cover of A. Since A is infinite so is
and the open cover contains no fininite subcover and
is not compact.
Obviously if
is a finite subset of a discrete space it is compact.