On the approximation of measurable functions by continuous functions

Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence (28A20) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15)

Review text

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)].

Recommendations

Cites work

Cited in

(12)

This page was built for publication: On the approximation of measurable functions by continuous functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1373435)