Cauchy spaces with regular completions (Q794317)

A Cauchy space (X,\({\mathcal C})\) is a generalization of a uniform space, consisting of a set X and a collection \({\mathcal C}\) of ''Cauchy filters'' on X subject to certain axioms. It is well known that every \(T_ 2\) Cauchy space has at least one \(T_ 2\) completion; finding ''nice'' conditions for the existence of \(T_ 3\) completions has proved to be much more difficult. We show that a \(T_ 3\) Cauchy space which has a regular completion also has a \(T_ 3\) completion, but an example shows that such Cauchy spaces need not have strict \(T_ 3\) completions. Various conditions are found for the existence of \(T_ 3\) completions; for instance, every Cauchy-separated, locally compact, \(T_ 3\) Cauchy space has a \(T_ 3\) completion. Convergence spaces and topological spaces which have a coarsest compatible Cauchy structure with a strict \(T_ 3\) completion are characterized, as are those spaces for which every compatible \(T_ 3\) Cauchy structure has a \(T_ 3\) completion.