Lower and upper regularizations of frame semicontinuous real functions
The main gist of this paper is a characterization of extremally disconnected frames (also known as De Morgan frames) in terms of extendibility of bounded real-valued continuous functions on open sublocales. The main theorem states that a frame \(L\) is extremally disconnected if and only if, for every open sublocale \(S\), every bounded real-valued continuous function on \(S\) extends to a bounded real-valued continuous function on \(L\). The authors establish this result by first defining the pointfree concepts of lower and upper regularizations of frame semicontinuous real-valued functions. The stated theorem is a much strengthened version of an earlier effort in this regard by \textit{Y.-M. Li} and \textit{Z.-H. Li} [``Constructive insertion theorems and extension theorems on extremally disconnected frames, Algebra Univers. 44, No. 3--4, 271--281 (2000; Zbl 1013.06010)], which was demonstrated by \textit{J. Picado} [``A new look at localic interpolation theorems, Topology Appl. 153, No. 16, 3203--3218 (2006; Zbl 1104.06007)] to have shortcomings emanating from a treatment of pointfree semicontinuity which was not fully reflective of its point-sensitive counterpart. The preparatory results in the present paper are a continuation of the authors' study of semicontinuity in pointfree topology.
- Localic real functions: A general setting
- Constructive insertion theorems and extension theorems on extremally disconnected frames
- Completely normal frames and real-valued functions
- Notes on pointfree disconnectivity with a ring-theoretic slant
- A lattice-theoretic approach to arbitrary real functions on frames
- Completely normal frames and real-valued functions
- Observables on \(\sigma\)-frame effect algebras as upper semicontinuous functions
- On hereditary properties of extremally disconnected frames and normal frames
- Lower semi-continuous function frames
- Normal semicontinuity and the Dedekind completion of pointfree function rings
- On the parallel between normality and extremal disconnectedness
- A lattice-theoretic approach to arbitrary real functions on frames
- A Boolean extension of a frame and a representation of discontinuity
- General insertion and extension theorems for localic real functions
- Insertion of continuous real functions on spaces, bispaces, ordered spaces and pointfree spaces -- a common root
- Measurable functions on \(\sigma\)-frames
- On semi-stratifiable frames
- On countable metacompactness in point-free topology
- A monotone version of countably paracompact frames
- Presenting the frame of the unit circle.
This page was built for publication: Lower and upper regularizations of frame semicontinuous real functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1047084)
