Weakly Cauchy filters and quasi-uniform completeness
type: Item
instance of: scholarly article
title: Weakly Cauchy filters and quasi-uniform completeness
zbMATH Open document ID: 0926.54016
DOI: 10.1023/A:1026408831548
author: M. J. Pérez-Peñalver
author: Salvador Romaguera
published in: Acta Mathematica Hungarica
publication date: 1999-10-31T00:00:00Z
review text: The authors study two completeness properties in quasi-uniform spaces whose behaviour is similar to Smyth completeness. A filter \(\mathcal F\) on a quasi-uniform space \((X,{\mathcal U})\) is called weakly Cauchy (or a Corson filter) if for each \(U\in {\mathcal U}\), \(\bigcap_{F\in {\mathcal F}} U^{-1}(F)\not=\emptyset.\) A filter which is stable on the conjugate space \((X,{\mathcal U}^{-1})\) is called a Császár filter. Note that each left \(K\)-Cauchy filter on \((X,{\mathcal U})\) is a Császár filter and that every Császár filter is a Corson filter. A quasi-uniform space \((X,{\mathcal U})\) is called Corson (Császár) complete if each Corson (Császár) filter has a \(\tau({\mathcal U}^s)\)-cluster point. A quasi-uniform space \((X,{\mathcal U})\) is called Corson (Császár) completable if there exists a Corson (Császár) complete quasi-uniform space \((Y,{\mathcal V})\) in which \((X,{\mathcal U})\) is quasi-uniformly embedded as a \(\tau({\mathcal V}^s)\)-dense subspace. The authors observe that a quasi-uniform space \((X,{\mathcal U})\) is Corson (Császár) completable if and only if every Corson (Császár) filter on \((X,{\mathcal U})\) is contained in a Cauchy filter on the uniform space \((X,{\mathcal U}^s).\) It follows that if \((X,{\mathcal U})\) is a \(T_0\)-Corson (Császár) completable quasi-uniform space, then its bicompletion is the unique Corson (Császár) completion of \((X,{\mathcal U}).\) The authors also characterize the studied properties in terms of nets and illustrate the theory by some interesting spaces investigated in theoretical computer science. Among the various other results that they obtain, let us just mention the following two: A quasi-uniform space \((X,{\mathcal U})\) is Corson complete and \((X,\tau({\mathcal U}^s))\) is locally compact if and only if there is a \(U\in {\mathcal U}\) such that for each \(x\in X,\) \(\text{cl}_{\tau({\mathcal U}^s)}U(x)\) is a \(\tau{({\mathcal U}^s)}\)-compact subset of \(X.\) On an arbitrary topolo…
Mathematics Subject Classification ID: 54E15
Mathematics Subject Classification ID: 54A20
Mathematics Subject Classification ID: 54D35
Mathematics Subject Classification ID: 54E50
zbMATH DE Number: 1355195
zbMATH Keywords: Smyth complete
zbMATH Keywords: Corson complete
zbMATH Keywords: Császár complete
zbMATH Keywords: bicomplete
zbMATH Keywords: weakly Cauchy filter
MaRDI profile type: Publication
full work available at URL: a:1026408831548
OpenAlex ID: W182728907
Recommended article: Cauchy filters and strong completeness of quasi-uniform spaces
Recommended article: Weak completeness of the Bourbaki quasi-uniformity
Recommended article: Q4892299
Recommended article: U-filters and uniform compactification
Recommended article: Q2725614
Recommended article: Quasi-uniform completeness in terms of Cauchy nets
Recommended article: Q4039450
Recommended article: Strong Cauchy completeness in uniform frames
Recommended article: Q5479909
Recommended article: Filters and the weakly almost periodic compactification of a semitopological semigroup
description: scientific article; zbMATH DE number 1355195