Constructing Banaschewski compactification without Dedekind completeness axiom
Banaschewski compactificationcomplete \(F\)-regularityHausdorff compactificationhull-kernel topologyring of ordered field-valued continuous functionsstructure space
Ordered rings, algebras, modules (06F25) Ordered fields (12J15) Function spaces in general topology (54C35) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80)
Let \(F\) be a linearly ordered field equipped with the order topology and let \(X\) be a topological space (in the classical case \(F\) is the field of real numbers). First, the authors survey and discuss the interplay between topological properties of \(X\) and properties of subrings of the ring \(C(X,F)\) of all continuous functions from \(X\) into \(F\). Second, complete regularity of \(X\) is generalized to complete \(F\)-regularity and a number of generalizations of the classical results are obtained. Third, properties of compactifications of \(X\) via structure spaces of rings of ordered \(F\)-valued continuous functions (sets of maximal ideals carrying the hull-kernel topology) are proved. Fourth, fine and interesting problems are formulated. The main results are: a construction of the Banaschewski compactification (no completeness axiom for the ordered field is needed), generalizations of the Stone theorem, the Banach-Stone theorem, and the Gelfand-Kolmogoroff theorem.
- Functionally countable subalgebras and some properties of the Banaschewski compactification.
- Constructing the Banaschewski compactification through the functionally countable subalgebra of \(C(X)\)
- scientific article; zbMATH DE number 3876180
- The Banaschewski compactification of an approach space is of Wallman-Shanin-type
- A constructive proof of the Gelfand--Kolmogorov theorem
- Ordered field valued continuous functions with countable range
- Functionally countable subalgebras and some properties of the Banaschewski compactification.
- The Real Spectrum of Higher Level of a Commutative Ring
- The Banaschewski extension and some variants of openness
- Constructing the Banaschewski compactification through the functionally countable subalgebra of \(C(X)\)
- Intermediate rings of a class of ordered field valued continuous functions
- The Banaschewski compactification of an approach space is of Wallman-Shanin-type
- A generalized version of the rings \(C_K(X)\) and \(C_\infty(X)\) -- an enquiry about when they become Noetherian
- Characterization of F-pseudocompactness of a topological space X via u-topology, (m-topology and r-topology on C(X, F)
This page was built for publication: Constructing Banaschewski compactification without Dedekind completeness axiom
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1777896)