Cauchy spaces with regular completions

Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Uniform structures and generalizations (54E15) Baire category, Baire spaces (54E52)

Review text

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.

Recommendations

Cited in

(19)

This page was built for publication: Cauchy spaces with regular completions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q794317)