Theorem
A topological space
with the cofinite topology
is compact.
Proof
Suppose
is an open cover of
Choose
Sinceis the cofinite topology
is a finite set so we can write
is a cover of
so for each of the elements inat least one
exists such that
for
Hence
and
andis compact.