Smyth completion as bicompletion
type: Item
instance of: scholarly article
title: Smyth completion as bicompletion
zbMATH Open document ID: 0923.54023
DOI: 10.1016/S0166-8641(97)00208-3
author: Ralph Kopperman
author: Philipp Sünderhauf
author: Bob Flagg
published in: Topology and its Applications
publication date: 1999-10-25T00:00:00Z
review text: In his thesis \textit{H. J. K. Junnila} defined the well-monotone quasi-uniformity \({\mathcal W}(X) \) of a topological space \(X\). \textit{N. Ferrario} and \textit{H. P. A. Künzi} [Math. Proc. Camb. Philos. Soc. 109, No. 1, 167-186 (1991; Zbl 0731.54021)] then showed that the sobrification of a \(T_0\)-space \(X\) can be constructed as the topological space underlying the bicompletion of \((X,{\mathcal W}(X)).\) The authors of the present paper introduce a functor \({\mathbf w}\) from the category of topological quasi-uniform \(T_0\)-spaces and continuous, uniformly continuous maps (in the sense of Smyth-Sünderhauf) to the category of quasi-uniform \(T_0\)-spaces and uniformly continuous maps that equips the underlying set \(X\) of a topological quasi-uniform space \((X,{\mathcal U},{\mathcal T})\) with some kind of well-monotone quasi-uniformity \({\mathcal U}_{{\mathcal T}}\) derived from \({\mathcal U}\) and \({\mathcal T}\) and that acts as the identity on morphisms. They show that \(\tau({\mathcal U}_{{\mathcal T}})={\mathcal T}\) and \(\tau(({\mathcal U}_{\mathcal T})^{-1})=\tau({\mathcal U}^{-1})\) and that in a certain sense \({\mathcal U}\) can be recovered from \({\mathcal U}_{{\mathcal T}}.\) Moreover, by developing the methods of Ferrario and Künzi, they prove that for any topological quasi-uniform space \((X,{\mathcal U},{\mathcal T})\) with Smyth completion \((\widetilde{X},\widetilde{{\mathcal U}},\widetilde{{\mathcal T}})\) the roundification \(\text{Rd}\) of filters yields a uniform isomorphism from the bicompletion \((\widehat{X},\widehat{{\mathcal U}_{{\mathcal T}}})\) of \((X,{\mathcal U}_{{\mathcal T}})\) to \((\widetilde{X},\widetilde{\mathcal U}_{\widetilde{{\mathcal T}}}).\) Indeed, they verify that \(\text{Rd}\) is a natural isomorphism \({\mathbf b}\circ{\mathbf w}\rightarrow {\mathbf w}\circ {\mathbf s}\) where \({\mathbf b}\) (resp. \({\mathbf s})\) denotes the bicompletion (resp. Smyth completion) functor. In particular, it follows fr…
Mathematics Subject Classification ID: 54E15
Mathematics Subject Classification ID: 54D35
zbMATH DE Number: 1307898
zbMATH Keywords: topological quasi-uniform space
zbMATH Keywords: well-monotone quasi-uniformity
zbMATH Keywords: Smyth completion
zbMATH Keywords: bicompletion
reviewed by: Hans Peter Künzi
MaRDI profile type: Publication
cites work: C-complete quasi-uniform spaces
cites work: Q3878389
cites work: Q4371050
cites work: Bicompleteness of the fine quasi-uniformity
cites work: Q3821265
cites work: Completeness of Quasi-Uniform and Syntopological Spaces
cites work: Q4288289
cites work: SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE
Recommended article: SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE
Recommended article: The Smyth Completion
Recommended article: Bicompletion and Samuel bicompactification
Recommended article: Q4288289
Recommended article: Q3519053
Recommended article: Completeness of cocompletions
Recommended article: Bicompletion of metrically generated constructs
Recommended article: Unifying exact completions
Recommended article: Q3706922
Recommended article: Idempotency of extensions via the bicompletion
description: scientific article; zbMATH DE number 1307898