MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $A$ and $B$ have the same rank and dimensions. If $P_A$ denotes the projection onto the range space of $A$, then $$ \|P_A - P_B\|_2 \leq \|A - B\| \cdot \min (\|A^\dagger\|_2, \|B^\dagger\|_2). $$ Here $A^\dagger$ denotes the pseudoinverse of a matrix.

I believe that this result is established by Golub and Zha in the course of their proof of Theorem 3.6 in "Perturbation Analysis of the Canonical Correlations of Matrix Pairs," but in a manner that's too messy to point to and say "here it is."

Unfortunately, this result also doesn't seem to follow readily from the results in Stewart's paper on perturbation theory for pseudoinverses and projections.

Is this result clearly established somewhere in the literature?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.