Ultrafilter completeness in \({\varepsilon}\)-approach nearness spaces (Q1948566): Difference between revisions

In this paper a new proof of the Niemytzki-Tychonoff theorem is presented. The main result states that ``a symmetric topological space is compact iff every compatible \({\varepsilon}\)-approach nearness is ultrafilter complete''. Especially, this fundamental statement generalizes the known characterization for a metric space being compact if and only if it is complete and totally bounded.