On the sup-measurable functions problem (Q1978912): Difference between revisions

Using the axiom of choice (and especially transfinite recursion) very strange mathematical objects can be constructed (e.g., the Banach-Tarski paradoxical decomposition of the sphere is a famous one). One, quite nice, transfinite construction is described in the paper. Under, e.g., continuum hypothesis a function \(H:\mathbb {R}\to \mathbb {R}\) is constructed such that \(|\text{dom}(H\cap f)|<\mathfrak {c}\) for each Borel function \(f:\mathbb {R}\to \mathbb {R}\) and \(H\cap B\neq 0\) for each big Borel set \(B\) (\(B\subseteq \mathbb {R}^2\) being big if \(|\{ x\in \mathbb {R}; |B_x|>\omega \}|>\omega \)). (Weaker assumptions of the construction and some additional properties of \(H\) are described.) This construction is used for the discussion of the connection of the Lebesgue (and Baire) sup-measurability and measurability (for real functions of two real variables) under various set-theoretical assumptions. A lot of various results concerning the matter (sup-measurability and measurability) are mentioned (also with quotations). The paper is written in a nice and understandable manner.