Householder-John theorem
= Householder-John theorem
{c}
Let $A=M-N$ be Hermitian positive definite. If $M^*+N$ is also Hermitian positive definite, then $M$ is invertible and
$$
\rho(M^{-1}N)<1.
$$
Thus the stationary iteration associated with the splitting converges from every initial vector.