Short notes on quasi-uniform spaces. IV: Cauchy type properties
type: Item
instance of: scholarly article
title: Short notes on quasi-uniform spaces. IV: Cauchy type properties
zbMATH Open document ID: 0841.54024
DOI: 10.1007/BF02187394
published in: Acta Mathematica Hungarica
publication date: 1996-07-18T00:00:00Z
review text: A quasi-uniformity is said to be fully Cauchy if for any Cauchy filter pair there is a coarsest one among the Cauchy filter pairs coarser than it. It is observed that each locally quiet quasi-uniformity is fully Cauchy. Furthermore each fully Cauchy quasi-uniformity is Cauchy, where a quasi-uniformity is called Cauchy provided that \((f^{-1} \cap g^{-1}, f^1 \cap g^1)\) is Cauchy whenever \((f^{-1}, f)\), \((g^{-1}, g)\) are Cauchy filter pairs that meet (i.e. each member of \(f^i\) hits each member of \(g^i\) \((i \in \{-1, 1\})\). It is proved that any totally bounded Cauchy quasi-uniformity is a uniformity. A quasi-uniformity is said to be pointwise Cauchy if any Cauchy filter pair in \(^f {\mathcal C}\) (equivalently \(^p {\mathcal C})\) has a coarsest one among the Cauchy filter pairs coarser than it. The author notes that any weakly co-regular and any Cauchy quasi-uniformity is pointwise Cauchy. Furthermore the following statements are shown to hold for a pointwise Cauchy quasi-uniformity: If it is \(D\)-complete, then it is \(C\)-complete. If it is \(D\)-complete, then it is bicomplete. If it is point-symmetric and \(D\)-complete, then it is strongly co-stable. If it is strongly co-stable, then \(D\)-completeness is equivalent to bicompleteness. (A quasi-uniformity \({\mathcal U}\) is \(C\)-complete provided that each Cauchy filter pair is convergent and it is strongly co-stable provided that each co-\(D\)-Cauchy filter is stable with respect to the uniformity \({\mathcal U}^s\).) It is observed that any \(C\)-complete \(S_1\) quasi-uniformity is fully Cauchy and that the topology induced by a pointwise Cauchy quasi-uniformity is \(S_2\). Moreover the author calls a quasi-uniformity filter-symmetric provided that \((f^1, f^{-1})\) is a Cauchy pair whenever \((f^{-1}, f^1)\) is a Cauchy pair. Note that any proximally symmetric quasi-uniformity is filter-symmetric. It is verified that a quasi-uniformity is filter-symmetric iff it is quiet and doubly co-stable. …
Mathematics Subject Classification ID: 54E15
zbMATH DE Number: 878137
zbMATH Keywords: Cauchy filter pair
zbMATH Keywords: locally quiet quasi-uniformity
zbMATH Keywords: fully Cauchy quasi-uniformity
zbMATH Keywords: pointwise Cauchy quasi-uniformity
zbMATH Keywords: Cauchy bounded filter-symmetric quasi-uniformity
author: J. Deak
reviewed by: Hans Peter Künzi
MaRDI profile type: Publication
cites work: Simultaneous extensions of Cauchy structures
cites work: Q3976881
cites work: Q4877573
cites work: Q4877601
cites work: Spaces from pieces. IV
cites work: Short notes on quasi-uniform spaces. I: Uniform local symmetry
cites work: Short notes on quasi-uniform spaces. II: Doubly uniformly strict extensions
cites work: Short notes on quasi-uniform spaces. III: Co-regularity
cites work: Q4877547
cites work: On completeness in quasi-metric spaces
cites work: A note on totally bounded quasi-uniformities
cites work: Symmetry conditions in terms of open sets
cites work: Q3966761
cites work: Q4006277
cites work: Q4004863
cites work: Q4877592
cites work: Q4033051
cites work: Q4040688
cites work: Basic tools and mild continuities in relator spaces
Recommended article: Short notes on quasi-uniform spaces. V
Recommended article: Short notes on quasi-uniform spaces. III: Co-regularity
Recommended article: Short notes on quasi-uniform spaces. II: Doubly uniformly strict extensions
Recommended article: Some remarks on quasi-uniform spaces
Recommended article: Short notes on quasi-uniform spaces. I: Uniform local symmetry
Recommended article: Q3615576
Recommended article: Q5191281
Recommended article: Q4400382
Recommended article: A note on totally bounded quasi-uniformities
Recommended article: Q4326559
description: scientific article; zbMATH DE number 878137