Oblique projector and orthogonal projector
Keywords: projector · idempotent · oblique projector · orthogonal projector · self-adjoint operator · measurement postulate
Exercise 1 : Oblique projector and orthogonal projector
In , consider the operator with matrix
Conversely, suppose that the image is orthogonal to the kernel . Since is idempotent, every vector can be written as , with and , since . For two vectors and , the orthogonality of and gives by expanding in the first equality and in the second. Thus for all , which means that .
The number is complex, and differs from . It clearly cannot represent a probability. For an orthogonal projector, by contrast, we showed in the preceding exercise that is a real number between and for a normalised vector. Moreover, the orthogonal projectors onto the eigenspaces of an observable have orthogonal images and their sum is the identity, which ensures that the probabilities of the different outcomes are positive and sum to one. This is why the Born rule and the collapse postulate use orthogonal projectors.