constructing banaschewski compactification without dedekind completeness axiom没有绰金完整性axiom构建banaschewski紧化.pdfVIP

IJMMS 2004:69, 3799–3816 PII. S0161171204305168 © Hindawi Publishing Corp. CONSTRUCTING BANASCHEWSKI COMPACTIFICATION WITHOUT DEDEKIND COMPLETENESS AXIOM S. K. ACHARYYA, K. C. CHATTOPADHYAY, and PARTHA PRATIM GHOSH Received 14 May 2003 The main aim of this paper is to provide a construction of the Banaschewski compactification of a zero-dimensional Hausdorff topological space as a structure space of a ring of ordered field-valued continuous functions on the space, and thereby exhibit the independence of the construction from any completeness axiom for an ordered field. In the process of describing this construction we have generalized the classical versions of M. H. Stone’s theorem, the Banach-Stone theorem, and the Gelfand-Kolmogoroff theorem. The paper is concluded with a conjecture of a split in the class of all zero-dimensional but not strongly zero-dimensional Hausdorff topological spaces into three classes that are labeled by inequalities between ˇ three compactifications of X , namely, the Stone-Cech compactification βX , the Banaschewski compactification β0X , and the structure space MX,F of the lattice-ordered commutative ring C (X,F) of all continuous functions on X taking values in the ordered field F , equipped with its order topology. Some open problems are also stated. 2000 Mathematics Subject Classification: 54D80, 54D35, 12J15, 06F25. 1. Introduction. The main thrust in the area of rings of real-valued continuous func- tions defined over a topological space X was provided by the three historical papers due to Stone [29], Gelfand and Kolmogoroff [14], and Hewitt [18]. Stone initially assumed a metric structure on the underlying space and his study was confined to bounded real-valued continuous functions only, that is, C ∗