Rellich's perturbation theorem on Hermitian matrices of holomorphic functions (Q1084467)

A finite dimensional linear operator which is symmetric and depends analytically on a real parameter \(\epsilon\) has an orthonormal basis of eigenvectors depending also analytically on \(\epsilon\). A short proof of this theorem of Rellich is given. It is based on the fact that the ring of functions which are holomorphic in a region of the complex plane is an elementary divisor domain.