transitivity in uniform approach theory动词在统一的方法理论.pdf

IJMMS 32:12 (2002) 707–720 PII. S0161171202202355 © Hindawi Publishing Corp. TRANSITIVITY IN UNIFORM APPROACH THEORY Y. J. LEE and B. WINDELS Received 26 February 2002 We introduce a notion of transitivity for approach uniformities and approach uniform convergence spaces, yielding reflective subconstructs of AUnif and AUCS. Further, we investigate how these new categories are related to uACHY, uACHYU , and uMET, and we show that these relationships are similar to those in the classical case. 2000 Mathematics Subject Classification: 18B30, 54E15. 1. Introduction. Since the first considerations on zero-dimensional spaces, by F. Hausdorff, and the original study of non-Archimedean metric spaces, by A. F. Monna, the amount of literature on transitive structures has become extensive. Transitivity turned out to be interesting in a wide range of fields (functional analysis, Boolean algebra, valuation rings, domain theory, and many others) which proves the great importance of the concept. Therefore, an investigation of this topic in the setting of uniform approach structures is inevitable. This paper presents a transitivity condition for two important quantified uniform structures: one for approach uniformities (introduced in Lowen and Windels [5] as a quantification of Unif) and a related concept for approach uniform convergence spaces (introduced in Windels [7] as a quantification of UCS). These definitions in turn yield different transitivity concepts in the setting of approach Cauchy spaces (introduced in Lowen and Lee [4] as a quantification of CHY). Although the categories UCS and CHY are well known to be Cartesian closed (see Lee [3] and Bentley et al. [1], respectively), the associated quantified structures yield cate