On the approximation of measurable functions by continuous functions (Q1373435)

Let \(\mu\) be a finite Borel measure on a topological space \(X\), and \(Y\) a separable Fréchet space. A subset \(Z\subset X\) is a zero set if \(Z= f^{-1}(0)\) for some continuous real-valued function \(f\). The main result of this paper is the following theorem: Every \(\mu\)-measurable \(f:X\to Y\) is the a.e. limit of a sequence of continuous functions iff for every \(\mu\)-measurable \(E\subset X\) there is a sequence \(\{Z_n\}\) of zero sets such that \(\mu\left(E \Delta \bigcup_n Z_n\right)= 0\). An analogous result holds for countable intersections of cozero sets. The author discusses different assumptions under which a measure \(\mu\) satisfies such condition. In particular, he obtains the following corollary: If \(X\) is perfectly normal then each \(\mu\)-measurable \(f: X\to Y\) can be approximated by an a.e. convergent sequence of continuous functions. Finally, he considers the case of an arbitrary Banach space \(Y\), and shows that his main theorem holds for Bochner measurable functions. The corollary above is a generalization of a theorem of \textit{A. Wiśniewski} [Proc. Am. Math. Soc. 122, No. 1, 147-150 (1994; Zbl 0809.28008); see also Demonstr. Math. 29, No. 3, 529-531 (1996)]. Related results were obtained by \textit{J. Kawabe} [Proc. Am. Math. Soc. 124, No. 5, 1513-1515 (1996; Zbl 0848.28007)] and the reviewer [Pr. Nauk. Uniw. Ślaşk. Katowicach, Ann. Math. Silesianae 1529(9), 43-45 (1995; Zbl 0845.28008)].