Abstract
This paper supplements an earlier one by the authors which constructed the Dedekind completion of the ring of continuous real functions on an arbitrary frame L in terms of partial continuous real functions on L. In the present paper, we provide three alternative views of it, in terms of (i) normal semicontinuous real functions on L, (ii) the Booleanization of L (in the case of bounded real functions) and the Gleason cover of L (in the general case), and (iii) Hausdorff continuous partial real functions on L. The first is the normal completion and extends Dilworth’s classical construction to the pointfree setting. The second shows that in the bounded case, the Dedekind completion is isomorphic to the lattice of bounded continuous real functions on the Booleanization of L, and that in the non-bounded case, it is isomorphic to the lattice of continuous real functions on the Gleason cover of L. Finally, the third is the pointfree version of Anguelov’s approach in terms of interval-valued functions. Two new classes of frames, cb-frames and weak cb-frames, emerge naturally in the first two representations. We show that they are conservative generalizations of their classical counterparts.
Similar content being viewed by others
References
Anguelov R.: Dedekind order completion of C(X) by Hausdorff continuous real functions. Quaest. Math. 27, 153–169 (2004)
Banaschewski B.: Compact regular frames and the Sikorski Theorem. Kyungpook Math. J. 28, 1–14 (1988)
Banaschewski B.: The real numbers in pointfree topology. Textos de Matemática, vol. 12, Departamento de Matemática da Universidade de Coimbra (1997)
Banaschewski B, Gutiérrez García J, Picado J: Extended real functions in pointfree topology. J. Pure Appl. Algebra 216, 905–922 (2012)
Banaschewski B, Hager A.W: Essential completeness in categories of completely regular frames. Appl. Categ. Structures 21, 167–180 (2013)
Banaschewski B, Hong S.S: Completeness properties of function rings in pointfree topology. Comment. Math. Univ. Carolin. 44, 245–259 (2003)
Banaschewski B, Pultr A.: Booleanization. Cahiers Topologie Géom. Différentielle Catég. 37, 41–60 (1996)
Chen X.: Closed frame homomorphisms. PhD Thesis, McMaster University (1991)
Dăneţ N.: The Dedekind completion of C(X): An interval-valued functions approach. Quaest. Math. 34, 213–223 (2011)
Dieudonné J.: Review of [14]. Math. Reviews 22, 1190–1191 (1961)
Dilworth R.P.: The normal completion of the lattice of continuous functions. Trans. Amer. Math. Soc. 68, 427–438 (1950)
Dube T.: An algebraic view of weaker forms of realcompactness. Algebra Universalis 55, 187–202 (2006)
Dube T.: Realcompactness and certain types of subframes. Algebra Universalis 58, 181–202 (2008)
Gillman L., Jerison M.: Rings of continuous functions. D. Van Nostrand (1960)
Gutiérrez García J, Kubiak T.: General insertion and extension theorems for localic real functions. J. Pure Appl. Algebra 215, 1198–1204 (2011)
Gutiérrez García J, Kubiak T.: Lower and upper regularizations of frame semicontinuous real functions. Algebra Universalis 60, 169–184 (2009)
Gutiérrez García J., Kubiak T., Picado J.: Pointfree forms of Dowker’s and Michael’s insertion theorems. J. Pure Appl. Algebra 213, 98–108 (2009)
Gutiérrez García J., Kubiak T., Picado J.: Localic real functions: A general setting. J. Pure Appl. Algebra 213, 1064–1074 (2009)
Gutiérrez García J, Picado J.: On the algebraic representation of semicontinuity. J. Pure Appl. Algebra 210, 299–306 (2007)
Gutiérrez García J, Picado J.: Rings of real functions in pointfree topology. Topology Appl. 158, 2264–2278 (2011)
Gutiérrez García J, Picado J: On the parallel between normality and extremal disconnectedness. J. Pure Appl. Algebra 218, 784–803 (2014)
Horn A.: The normal completion of a subset of a complete lattice and lattices of continuous functions. Pacific J. Math. 3, 137–152 (1953)
Horne J.G.: Countable paracompactness and cb-spaces. Notices Amer. Math. Soc. 6, 629–630 (1959)
Johnson D.G.: The completion of an archimedean f-ring. J. London Math. Soc. 40, 493–496 (1965)
Johnstone P.T.: The Gleason cover of a topos, I. J. Pure Appl. Algebra 22, 171–192 (1980)
Johnstone P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics, Vol. 3, Cambridge University Press (1982)
Mack J.E.: On a class of countably paracompact spaces. Proc. Amer. Math. Soc. 16, 467–472 (1965)
Mack J.E, Johnson D.G.: The Dedekind completion of \({C(\mathcal{X})}\). Pacific J. Math. 20, 231–243 (1967)
Mozo Carollo I, Gutiérrez García J, Picado J.: On the Dedekind completion of function rings. Forum Math. 27, 2551–2585 (2015)
Nakano H.: Über das System aller stetigen Funktionen auf einen topologischen Raum. Proc. Imp. Acad. Tokyo 17, 308–310 (1941) (German)
Picado J., Pultr A.: Frames and locales: Topology without points. Frontiers in Mathematics, vol. 28, Springer, Basel (2012)
Steinberg S.A.: Lattice-ordered rings and modules. Springer, New York (2010)
Stone M.H.: Boundedness properties in function lattices. Canad. J. Math. 1, 176–186 (1949)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by W. McGovern.
Rights and permissions
About this article
Cite this article
Gutiérrez García, J., Mozo Carollo, I. & Picado, J. Normal semicontinuity and the Dedekind completion of pointfree function rings. Algebra Univers. 75, 301–330 (2016). https://doi.org/10.1007/s00012-016-0378-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-016-0378-z