 Functional calculus convergence

Normal operators $A_n$ on approximating subspaces converge to $A$ in the functional-calculus sense when $f(A_n)$ converges weakly to $f(A)$, after the natural projection and inclusion maps, for every continuous function $f$ on a common compact spectral set.