On hereditary precompactness and completeness in quasi-uniform spaces
type: Item
instance of: scholarly article
title: On hereditary precompactness and completeness in quasi-uniform spaces
zbMATH Open document ID: 0924.54035
DOI: 10.1007/BF00058951
published in: Acta Mathematica Hungarica
publication date: 1999-10-31T00:00:00Z
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}\}\).
reviewed by: Haruto Ohta
Mathematics Subject Classification ID: 54E15
zbMATH DE Number: 1355164
zbMATH Keywords: quasi-uniform space
zbMATH Keywords: left \(K\)-complete
zbMATH Keywords: right \(K\)-complete
zbMATH Keywords: Smyth-complete
author: Salvador Romaguera
MaRDI profile type: Publication
cites work: Q4877573
cites work: Q4892299
cites work: Q4039450
cites work: Q3978805
cites work: Q4877547
cites work: On completeness in quasi-metric spaces
cites work: A concept of completeness of quasi-uniform spaces
cites work: Q4031593
cites work: Uniformly regular quasi-uniformities
cites work: Completeness using pairs of filters
cites work: Q3966761
cites work: Q4006277
cites work: Stability in quasi-uniform spaces and the inverse problem
cites work: Cauchy sequences in quasi-pseudo-metric spaces
cites work: Left K‐Completeness in Quasi‐Metric Spaces
cites work: On right \(K\)-sequentially complete quasi-metric spaces
cites work: Q3488135
cites work: Completeness in quasi-uniform spaces
cites work: Completeness of Quasi-Uniform and Syntopological Spaces
cites work: Some Properties of Quasi-Uniform Spaces
cites work: Quasi-uniform completeness in terms of Cauchy nets
Recommended article: Weakly Cauchy filters and quasi-uniform completeness
Recommended article: Q4892299
Recommended article: Some remarks on right \(K\)-completion of quasi-uniform spaces
Recommended article: Q4714770
Recommended article: Q4372987
Recommended article: Q4515216
Recommended article: Weak completeness of the Bourbaki quasi-uniformity
Recommended article: Completeness using pairs of filters
Recommended article: Nonstandard methods of completing quasi-uniform spaces
Recommended article: A larger class than the Deák one for the coincidence of some notions of quasi-uniform completeness using pairs of filters
description: scientific article; zbMATH DE number 1355164