A Boolean extension of a frame and a representation of discontinuity. Issue 8 (15th December 2017)

• Record Type: Journal Article
• Authors: Picado, Jorge; Pultr, Aleš
• Is Part Of: Quaestiones mathematicae. Volume 40:Issue 8(2017)
• Page Start: 1111
• Page End: 1125
• Publication Date: 2017-12-15
• Subjects: 06D22 -- 54C30; Frame -- locale -- subfit -- regular -- sublocale -- sublocale lattice -- open sublocale -- closed sublocale -- real function -- lower and upper semicontinuities -- lower and upper regularizations; Mathematics -- Periodicals; 510.5
• DOI: 10.2989/16073606.2017.1348399
• Languages: English
• ISSNs: 1607-3606

Abstract

Abstract: Point-free modeling of mappings that are not necessarily continuous has been so far based on the extension of a frame to its frame of sublocales, mimicking the replacement of a topological space by its discretization. This otherwise successful procedure has, however, certain disadvantages making it not quite parallel with the classical theory (see Introduction). We mend it in this paper using a certain extension Sc ( L ) of a frame L, which is, a.o., Boolean and idempotent. Doing this we do not lose the merits of the previous approach. In particular we show that it yields the desired results in the treatment of semicontinuity. Also, there is no obstacle to using it as a basis of a point-free theory of rings of real functions; the "ring of all real functions" F( L ) = C(Sc ( L )) is now order complete.