Formalism & Hilbert space

projection operator

A projection operator is an operator that singles out the part of a state lying along one chosen direction and throws the rest away. The simplest one, built from a normalised state |n⟩, is written |n⟩⟨n|. Apply it to any state and it returns just that state's |n⟩-component, scaled appropriately, like casting a shadow of an arrow onto a single axis.

Projectors have a tell-tale property: applying one twice does nothing more than applying it once. Once you have projected onto a direction, the result already lies entirely along that direction, so projecting again leaves it untouched. This 'do it twice, get the same thing' behaviour is the mathematical signature of a projection, and it captures the idea of extracting a component cleanly and irreversibly.

In quantum mechanics projectors carry real physical weight. The standard rule for an ideal measurement says that on getting a particular outcome, the state collapses to the projection of the original state onto the matching outcome, suitably renormalised, and the probability of that outcome is the squared length of the projected piece. Sums of projectors over a basis rebuild the identity, which is just the completeness relation seen from another angle.

P = |n⟩⟨n|, P² = P, P|ψ⟩ = ⟨n|ψ⟩ |n⟩

A projector keeps only the chosen component; applying it twice gives nothing new.

Projection is not the same as measurement itself. The projector describes the mathematical step a state takes when a given outcome occurs, but it does not explain why one outcome rather than another is observed — that is the open measurement problem.

Also called
projector投影算子投影算符