Stability in quasi-uniform spaces and the inverse problem
type: Item
instance of: scholarly article
title: Stability in quasi-uniform spaces and the inverse problem
zbMATH Open document ID: 0789.54034
DOI: 10.1016/0166-8641(93)90043-D
author: Heikki J. K. Junnila
author: Hans Peter Künzi
published in: Topology and its Applications
publication date: 1994-06-14T00:00:00Z
review text: This paper studies stable quasi-uniformities, which were introduced by \textit{D. Doitchinov} [C. R. Acad. Bulg. Sci. 44, No. 3, 5-6 (1991; Zbl 0776.54020)] and which are founded on J. Isbell's concept of a stable filter. A filter \(F\) on a quasi-uniform space \((X,{\mathcal U})\) is stable provided that for each \(U \in {\mathcal U}\) there is an \(A \in F\) such that \(A \subseteq U(B)\) whenever \(B \in F\). A filter \(F\) is \(D\)-Cauchy provided there is a filter \({\mathcal G}\) on \(X\) such that for each \(U \in {\mathcal U}\) there are \(G \in {\mathcal G}\) and \(F \in {\mathcal F}\) such that \(G \times F \subseteq U\). A quasi-uniform space is stable provided each of its \(D\)-Cauchy filters is stable. The authors show that each subspace of a stable quasi-uniform space is stable, that the product of any family of stable quasi-uniform spaces is stable, and that the supremum of any family of stable quasi-uniformities on a given set is stable. In particular, each topological space admits a finest stable quasi- uniformity. While stability is not a conjugate invariant property, the following results, which the authors attribute to \textit{J. Deák}, show that it is useful to know when the conjugate of a given quasi-uniformity is stable. A quasi-uniform space \((X,{\mathcal U})\) is hereditarily precompact if, and only if, each (ultra)filter on \(X\) is stable with respect to \({\mathcal U}^{-1}\). Thus, if \((X,{\mathcal U}^{-1})\) is hereditarily precompact, \((X,{\mathcal U})\) is stable. The bulk of the paper is devoted to stable quasi-pseudo-metric spaces. Roughly speaking, in these spaces it is difficult for certain collections of open sets to be point-finite. For example, if \(D\) is the range of a \(D\)-Cauchy sequence and \(m\) is a positive integer, then the family of open balls of radius \(1/2^ m\) centered at the points of \(D\) is point- finite only if it is finite. The authors obtain surprisingly strong results concerning topological properties i…
Mathematics Subject Classification ID: 54E15
Mathematics Subject Classification ID: 54E35
Mathematics Subject Classification ID: 54D20
Mathematics Subject Classification ID: 54E05
zbMATH DE Number: 425566
zbMATH Keywords: \(D\)-Cauchy filters
zbMATH Keywords: stability problem
zbMATH Keywords: inverse problem
zbMATH Keywords: stable quasi- uniformities
zbMATH Keywords: quasi-uniform space
zbMATH Keywords: point-finite open collections
zbMATH Keywords: regular quasi-developable stable quasi-pseudo-metric space
zbMATH Keywords: Moore space
reviewed by: P. Fletcher
MaRDI profile type: Publication
cites work: Topological Spaces with a σ-Point Finite Base
cites work: Q3878390
cites work: Extensions of quasi-uniformities
cites work: A concept of completeness of quasi-uniform spaces
cites work: Q4031593
cites work: \(E\)-completions of quasi-uniform spaces
cites work: Generalizations of realcompact spaces
cites work: C-complete quasi-uniform spaces
cites work: Countable metacompactness and tree topologies
cites work: Q4744962
cites work: Q3878389
cites work: Q3896217
cites work: Q4006277
cites work: Q3337413
cites work: On strongly quasi-metrizable spaces
cites work: Topological spaces with a unique compatible quasi-proximity
cites work: Kelley's conjecture and preorthocompactness
cites work: Functorial admissible quasi-uniformities on topological spaces
cites work: Bicompleteness of the fine quasi-uniformity
cites work: Some questions related to almost 2-fully normal spaces
cites work: Q5649647
cites work: Q4151359
cites work: Products of Nearly Compact Spaces
cites work: Q4114512
full work available at URL: 0166-8641(93)90043-d
OpenAlex ID: W1985172459
description: scientific article; zbMATH DE number 425566