×

A localization of \(\varGamma \)-measurability. (English) Zbl 1147.54020

Let \(X\) and \(Y\) be topological spaces and let \(\Gamma\) be a family of subsets of \(X\). The standard pattern of continuity, i.e. a function \(f: X \to Y\) is \(\Gamma\)-continuous at a point \(x\in X\) iff for every neighborhood \(V\subseteq Y\) of \(f(x)\) there exists a neighbourhood \(U\subseteq X\) of \(x\) such that \(U \cap f^{-1}(V)\in \Gamma\), is considered for metric separable spaces. Topics from the quoted books are revised, concerning measurability with respect to Borel classes \(\Sigma^0_{\eta}\). Probably, the paper “Sur les définitions axiomatiques des ensembles mesurables (B)” by W. Sierpiński [Krak. Anz. 1918, 29–34 (1918; JFM 46.0295.01), Oeuvres choisies Tome II, PWN (1975; Zbl 0297.01029), 187–191] started this axiomatic attitude.
Methods which are appropriate for topological spaces with countable bases are applied to examine measurability. For example, a function \(f:X\to Y\) is \(\Sigma^0_{\xi}\) measurable when it is \(\Sigma^0_{\xi}\)-continuous, whenever \(X\), \(Y\) are metric separable spaces and \(\xi < \omega_1\). For real functions, a partial integral is introduced which coincides with the standard integral whenever the functions are \(\Gamma\)-continuous and \(\Gamma\) consists of measurable sets. The authors leave as open questions to find conditions under which the set of all points of \(\Gamma\)-continuity of a given real function is measurable; or to examine if classic theorems of the standard integral can be transfered to their partial integral.

MSC:

54H05 Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)
03E15 Descriptive set theory
26A21 Classification of real functions; Baire classification of sets and functions
28A05 Classes of sets (Borel fields, \(\sigma\)-rings, etc.), measurable sets, Suslin sets, analytic sets

References:

[1] Kechris, A. S., Classical Descriptive Set Theory (1994), Springer-Verlag · Zbl 0805.54035
[2] Cohn, D. L., Measure Theory (1980), Birkhäuser: Birkhäuser Boston, MA · Zbl 0436.28001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.