Bruckner-Davies-Goffman theorem revisited (Q2371900)

The note is the extended abstract of the talk of T. Nishiura given at the 2006 Summer Symposium of Real Analysis Exchange. Let \(X\) and \(Y\) be topological spaces. A function \(f : X \rightarrow Y\) is universally measurable if \(f\) is measurable with respect to every continuous, complete, finite Borel measure on \(X\). By a result of \textit{A. M. Bruckner, R. O. Davies} and \textit{C.\ Goffman} [Proc.\ Am. Math.\ Soc.\ 67, 62-66 (1977; Zbl 0374.26005)] if a function \(f : [0,1] \rightarrow {\mathbb R}\) is universally measurable, then there exist a homeomorphism \(h: [0,1] \rightarrow [0,1]\) and a Baire-1 function \(g : [0,1] \rightarrow {\mathbb R}\) such that \(f = g \circ h\) holds almost everywhere with respect to Lebesgue measure. In this note the author aims to find sufficient conditions on the spaces \(X\) and \(Y\) which guarantee that the conclusion of the previous theorem holds for every universally measurable \(f: X \rightarrow Y\). Accordingly, based on the proof of the above mentioned result, reasonable but rather complicated sufficient conditions are given assuring that if \((X,\mu)\) is a measure space with a continuous, complete, finite Borel measure \(\mu\) and \(Y\) is a Borel space, then for every universally measurable function \( f: X \rightarrow Y\) there is a homeomorphism \(h: X \rightarrow X\) and a Baire-1 function \(g: X \rightarrow Y\) such that \(f = g \circ h\) holds \(\mu\)-almost everywhere. Several examples of spaces are given which satisfy the conditions on the space \(X\), including the Hilbert cube, the irrational numbers, the compact \(n\)-dimensional manifolds and the \(n\)-dimensional Menger manifolds \((n < \omega)\).