The first problem is proved in two steps.
First, Ifis a compact set and
then there are two disjoint open sets such
.
Second, each point inis not in
.
Ifuse part one to get disjoint open sets
.
The compactness ofgives a finite collection of each.
The intersection of theis open and contains
.
Problem #2. Use the co-finite topology to show it is false.
He's suggesting that you takewith the cofinite topology. The important thing being that the resulting top. space isn't first countable.