Differentiability of functions of matrices

Given a function on diagonal matrices, there is a unique way to extend this to an invariant (by conjugation) function on symmetric matrices. We show that the extension preserves regularity – that is, if the original function is k times differentiable so is the extension (likewise for analyticity and the class k+alpha).