If $\{|u_1\rangle, ..., |u_n\rangle \}$ are an orthonormal basis for $\mathbb{C}_n$, then

$$ \sum_{j=1}^{n} |u_j\rangle\langle u_j| = I_n$$

I can see that this is true in the standard computational basis, but I'm having trouble seeing it intuitively when generalized to any basis, nor can I prove it. Can anyone help?


Let $A$ be the operator give by your sum.

  • Can you see that $A | u_i \rangle = | u_i \rangle$ for each $i$?
  • Can you see why the above observation implies that $A$ is the identity?

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.