[Math] borel-measurable function is pointwise limit of a sequence of continuous functions, which is uniformly bounded

analysisconvergence-divergencemeasure-theory

Let $H$ be a Hilbert space over $\mathbb{C}$, $A\in L(H)$ ( $A:H\to H$ is linear and continuous) and let $A$ be self-adjoint. Consider the spectrum of A, $\sigma(A)$ and $f:K\to \mathbb{K}$ a bounded, borel-measurable function on a compact subset $K\subseteq \mathbb{R}$. Is $f$ a pointwise limit of a sequence $(f_n)\subseteq C(\sigma(A))$, which satisfies $\sup_{n\in\mathbb{N}}\|f_n\|<\infty$?

We used this many times in lecture but I never had measure theory, this is not a homework. I would like to know a sketch of the proof. Could you give me a reference or a name, if this is a Theorem with a name?

Best Answer

As PhoemueX in the comments said, the Dirichlet function is a counterexample which is in Baire class 2, but not in Baire class 1 because the function is nowhere continuous and class 1 functions can only be discontinuous on a meagre set.

Related Question