functional calculus for Hermitian matrices
Let be a real interval, a real-valued function on , and let be an real symmetric (and thus Hermitian) matrix whose eigenvalues
are contained in .
By the spectral theorem, we can diagonalize by an orthogonal matrix
, so we can write where is the diagonal matrix
consisting of the eigenvalues . We then define
where denotes the diagonal matrix whose diagonal entries are given by .
It is easy to verify that is well-defined, i.e. a permutation of the eigenvalues corresponds to the same definition of .