On hereditary precompactness and completeness in quasi-uniform spaces

DOI10.1007/BF00058951MaRDI QIDQ1307435zbMATH OpenFDO

Authors Salvador Romaguera

Publication date 31 October 1999

Published in Acta Mathematica Hungarica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00058951

zbMATH Keywords

left \(K\)-complete quasi-uniform space right \(K\)-complete Smyth-complete

Mathematics Subject Classification ID

Uniform structures and generalizations (54E15)

Review text

The author studies left (and right) \(K\)-complete quasi-uniform spaces. A quasi-uniformity on a set \(X\) is a filter \({\mathcal U}\) on \(X\times X\) such that for each \(U\in{\mathcal U}\), (i) \(\{(x,x):x\in X\}\subseteq U\) and (ii) \(V^2\subseteq U\) for some \(V\in{\mathcal U}\). A quasi-uniformity \({\mathcal U}\) on a set \(X\) determines the topology \(T({\mathcal U})\) on \(X\) in the standard way. Let \(X=(X,{\mathcal U})\) be a quasi-uniform space. Then, \(X\) is called uniformly regular if for each \(U\in{\mathcal U}\) there is \(V\in{\mathcal U}\) such that \(\operatorname{cl}_{T({\mathcal U})}V(x)\subseteq U(x)\) for each \(x\in X\). A filter \({\mathcal F}\) on \(X\) is called left (resp. right) \(K\)-Cauchy if for each \(U\in{\mathcal U}\) there is \(F\in{\mathcal F}\) such that \(U(x)\in{\mathcal F}\) (resp. \(U^{-1}(x)\in{\mathcal F}\)) for all \(x\in F\). Further, \(X\) is called left (resp. right) \(K\)-complete if every left (resp. right) \(K\)-Cauchy filter converges in the topology \(T({\mathcal U})\). Some of the main results are: (1) A \(T_0\) uniformly regular quasi-uniform space is left \(K\)-complete if and only if it is Smyth-complete in the sense of \textit{M. B. Smyth} [J. Lond. Math. Soc., II. Ser. 49, No. 2, 385-400 (1994; Zbl 0798.54036)]; (2) if a uniformly regular quasi-uniform space \((X,{\mathcal U})\) is left \(K\)-complete, then \((X,{\mathcal U}^{-1})\) is right \(K\)-complete, where \({\mathcal U}^{-1}=\{U^{-1}:U\in{\mathcal U}\}\).

Recommendations

Cites work

Cited in

(17)

This page was built for publication: On hereditary precompactness and completeness in quasi-uniform spaces

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