Hi,
Let be non-compact topological space and define with the topology
How can I prove that is compact? I know the proof with covers and subcovers, but I was wondering how I can prove it only using filters (thus the fact that is compact if and only if every ultrafilter converges)
Thanks in advance!