The power method repeatedly normalizes and estimates the eigenvalue with the Rayleigh quotient . It converges when the dominant eigenvalue is unique in modulus and the initial vector has a nonzero component in its eigendirection.
The real spectral theorem gives real eigenvalues and orthogonal distinct eigenspaces. Constructively, a Householder reflection sends an eigenvector to ; symmetry makes the remaining block symmetric. Induction diagonalizes that block, producing orthogonal with . Multiplying by gives .
Write with . After multiplications, the tangent of the angle to is at most
Since , the first bound follows. Also
Bound the coefficient by and the sum by , then use the squared first estimate to obtain the second bound.

Articles by others on the same topic (0)

There are currently no matching articles.