Hi,
Letbe non-compact topological space and define
with the topology
How can I prove thatis 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!
