Abstract
The familiar 1940 result of M. H. Stone characterizing the rings of real-valued continuous functions on compact Hausdorff spaces as certain partially ordered rings is obtained here in its pointfree form, replacing the spaces in question by appropriate frames, which avoids the classical recourse to the choice-dependent existence of maximal ideals. The main tools for this are a direct proof that the partially ordered rings involved are f-rings, the pointfree notion of rings of real-valued continuous functions, and the representation of archimedean bounded f-rings as rings of that kind.
Thanks go to the Natural Sciences and Engineering Research Council of Canada for continuing support in the form of a research grant; the University of Florida for financial assistance in connection with the Conference on Lattice-Ordered Groups and f-Rings, February 28 to March 3, 2001; my late friend and collaborator J. J. C. Vermeulen for some stimulating discussion of the problems dealt with in Section 1; and the referees for some valuable criticism.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. N. Ball and A. W. Hager, On the localic Yosida representation of an archimedean lattice ordered group with weak order unit. J. Pure & Appl. Alg. 70 (1991), 17–43.
B. Banaschewski, The power of the ultrafilter theorem. J. London Math. Soc. 27 (1983), 193–202.
B. Banaschewski, Pointfree topology and the spectra of f-rings. in Ord. Alg. Struct. Proc. Curaçao Conf. on Part. Ord. Alg. Systems (1995); W. C. Holland & J. Martinez, Eds. (1997), Kluwer Acad. Publ., Dordrecht, 123–148.
B. Banaschewski, The Real Numbers in Pointfree Topology. Textos de Matemática Série B, 12 (1997), Departamento de Matemática da Universidade Coimbra.
B. Banaschewski, f-Rings and the Stone- Weierstrass Theorem. Order; to appear.
B. Banaschewski, Ring theory and pointfree topology. (2001), McMaster University preprint.
E. Bishop, Foundations of Constructive Analysis. McGraw-Hill (1967), New York.
M. P. Fourman and J. M. E. Hyland, Sheaf Models for Analysis. Applications of Sheaves, Springer LNM 753 (1979), 280–301.
P. T. Johnstone, Stone spaces. Cambridge Studies Adv. Math. 3 (1982), Cambridge University Press, Cambridge.
A. Joyal, Theorie des topos et le théorème de Barr. Tagungsbericht Category Theory Meeting (1977), Oberwolfach.
J. J. Madden, Frames associated with an abelian group. Trans. AMS 331 (1992), 265–279.
J. J. Madden and J. Vermeer, Epicomplete archimedean l-groups via a localic Yosida theorem. J. Pure & Appl. 68 (1990), 243–252.
M. H. Stone, A general theory of spectra I. Proc. Nat. Acad. Sci. USA 26 (1940), 280–283.
J. J. C. Vermeulen, The constructive expansion of the binomial (1–X)1/2. (1999), University of Cape Town preprint.
S. Vickers, Topology via Logic. Cambridge Tracts Theor. Comp. Sci. 5 (1985), Cambridge University Press, Cambridge.
E. Witt, Lectures on the infinitesimal calculus. Summer Semester 1948, Hamburg University.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Banaschewski, B. (2002). Stone’s Real Gelfand Duality in Pointfree Topology. In: Martínez, J. (eds) Ordered Algebraic Structures. Developments in Mathematics, vol 7. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-3627-4_7
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3627-4_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5225-7
Online ISBN: 978-1-4757-3627-4
eBook Packages: Springer Book Archive