Measurable functions on \(\sigma\)-frames (Q6110054): Difference between revisions

The dual category \(\mathfrak{Bool}\sigma\mathfrak{Frm}^{\mathtt{op}}\) of Boolean \(\sigma\)-frames and \(\sigma\)-frame homomorphisms extend the category \(\mathfrak{Bor}\) of measurable spaces and measurable maps (see [\textit{D. Baboolal} and \textit{P. P. Ghosh}, J. Log. Algebr. Program. 76, No. 2, 209--215 (2008; Zbl 1154.06005)]); later in [\textit{A. Simpson}, Ann. Pure Appl. Logic 163, No. 11, 1642--1659 (2012; Zbl 1253.06014)], \(\mathfrak{Bool}\sigma\mathfrak{Frm}^{\mathtt{op}}\) was used as an alternative to classical measure theory. The point free approach of [\textit{A. Simpson}, Ann. Pure Appl. Logic 163, No. 11, 1642--1659 (2012; Zbl 1253.06014)] overcome the restrictions of classical measure theory and produce an isometry-invariant measure on all subsets of \(\mathbb{R}^n\) which agree with the Lebesgue measure on measurable sets. The present paper investigate measurable and semimeasurable functions in the point-free setting. First the set of measurable functions is extended to the sets of \textit{lower measurable functions} and \emph{upper measurable functions} using a technique of \textit{scaling} developed and used extensively by J. García Gutiérrez and his collaborators (see [\textit{J. Gutiérrez García} et al., Algebra Univers. 81, No. 3, Paper No. 32, 18 p. (2020; Zbl 1453.06010); \textit{J. Gutiérrez García} et al., Quaest. Math. 40, No. 4, 507--518 (2017; Zbl 1436.06022); \textit{J. Gutiérrez García} and \textit{T. Kubiak}, Czech. Math. J. 64, No. 3, 743--749 (2014; Zbl 1349.28002); \textit{J. Gutiérrez García} and \textit{J. Picado}, J. Pure Appl. Algebra 218, No. 5, 784--803 (2014; Zbl 1296.06006); \textit{J. Gutiérrez García} and \textit{T. Kubiak}, Commentat. Math. 53, No. 2, 413--419 (2013; Zbl 1294.06010); \textit{J. Gutiérrez García} and \textit{T. Kubiak}, J. Pure Appl. Algebra 215, No. 6, 1198--1204 (2011; Zbl 1217.06003); \textit{J. Gutiérrez García} et al., Algebra Univers. 60, No. 2, 169--184 (2009; Zbl 1181.06003); J. Pure Appl. Algebra 213, No. 6, 1064--1074 (2009; Zbl 1187.06005); J. Pure Appl. Algebra 213, No. 1, 98--108 (2009; Zbl 1154.06006); Houston J. Math. 35, No. 2, 469--484 (2009; Zbl 1176.54015); Houston J. Math. 34, No. 1, 123--144 (2008; Zbl 1160.54012); J. Pure Appl. Algebra 212, No. 5, 955--968 (2008; Zbl 1133.06008); \textit{J. Gutiérrez García} et al., Topology Appl. 153, No. 9, 1458--1475 (2006; Zbl 1094.54009)]). The important part of using the notion of \textit{scaling} is to import the idea from frames to \(\sigma\)-frames -- a non-trivial task, since \(\sigma\)-frames are no more pseudo-complemented lattices -- see \S{3, 4} of the paper. Along with some algebraic operations on the sets of measurable functions is described (see \S{5} of the paper). Next comes the task of extending the notions of \textit{insertion}, \textit{separation} and \textit{extension} results for real functions from frames to \(\sigma\)-frames. The paper prove results on the existence of certain measurable real-valued functions on frames without involving uncountable joins and pseudo-complements (see Theorem 6.5, 6.6, Proposition 6.11). The paper is well written and educative.