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!