Lusin's theorem (Q2785336)

Let \(X\) be a topological space, with a \(\sigma\)-finite regular Borel measure \(\mu\), and let \(Y\) be a separable metrizable space. Lusin's theorem is proved for a Borel measurable map \(f:X\to Y\): For every real \(\eta>0\) there is a closed set \(A\subset X\) such that \(\mu(X\setminus A)<\eta\) and \(f|A\) is continuous (as a map from \(A\) to \(Y\)). Also a counter-theorem is proved: Suppose \(X\) is nonempty and has a countable base of open sets, and \(\mu\) is a \(\sigma\)-finite diffuse Borel measure such that every nonempty open set has positive measure. Then the ``false Lusin's theorem'' fails for real-valued functions on \(X\).