Nets and Compactness in Topological Spaces – General Topology

compactnessconvergence-divergencegeneral-topologynets

I am reading Kelley’s book on general topology. There are a few statements on nets there (chapter 2), but the characterization of compact sets in the language of nets is not given. How should we prove the following

Theorem: A topological space X is compact iff every net has a convergent subnet.

Best Answer

See Theorem $15.3$ in this excellent PDF, Translating Between Nets and Filters, by Saitulaa Naranong; it’s well worth reading the whole thing.