A relative perturbation bound for positive definite matrices

We give a sharp estimate for the eigenvectors of a positive definite Hermitian matrix under a floating-point perturbation. The proof is elementary.