Projection Operators and the Resolution of the Identity
~6 min read · Tier toggle changes depth (T1 plain · T2 standard · T3 rigour)
You should be comfortable with the definition of a self-adjoint operator and the statement of the spectral theorem for finite-dimensional spaces, as established in the previous lecture.
Why this matters
Projection operators provide the geometric language for decomposing physical states into mutually exclusive components.
In quantum mechanics and normal-mode analysis, the ability to isolate specific subspaces is fundamental. Whether you are calculating the probability of a measurement outcome or decomposing a complex vibration into its normal modes, you are relying on the algebraic structure of projectors. This lecture bridges the gap between the abstract spectral theorem and the practical tools used to resolve vectors and operators into their constituent parts.
The Geometric Intuition
Imagine a vector in a three-dimensional room. If you shine a light from above, the shadow cast on the floor is a projection of the vector onto the horizontal plane. In linear algebra, a projection operator performs this "shadow-casting" operation mathematically. However, unlike a simple shadow, an orthogonal projection is the unique way to split a vector into two parts that are perfectly perpendicular to each other. One part lies within a chosen subspace, and the other lies in the subspace that is orthogonal to it. This decomposition is not just a geometric curiosity; it is the foundation for defining "closest approximation" and "orthogonal complement." When we apply this to operators with distinct eigenvalues, we can decompose the entire space into a direct sum of eigenspaces. Each eigenspace is isolated by a specific projector, and the sum of all these projectors reconstructs the identity operator, effectively saying that "the whole space is the sum of all its orthogonal parts."
Characterizing Orthogonal Projectors
Not every idempotent operator is an orthogonal projector. An operator \(P\) is an orthogonal projector if and only if it satisfies two conditions: idempotency, \(P^2 = P\), and self-adjointness, \(P^\dagger = P\). The idempotency condition ensures that projecting a vector twice yields the same result as projecting it once, which is the defining algebraic property of a projection. The self-adjointness condition ensures that the projection is orthogonal, meaning the kernel of \(P\) is exactly the orthogonal complement of the range of \(P\).
Given a subspace \(M\), the orthogonal projector \(P\) onto \(M\) satisfies \(V = \operatorname{ran}P \overset{\perp}{\oplus} \ker P\). This means every vector \(v\) in the space can be uniquely written as \(v = Pv + (1-P)v\), where \(Pv \in M\) and \((1-P)v \in M^\perp\). This decomposition is crucial because it guarantees that the component \(Pv\) is the unique vector in \(M\) that minimizes the distance to \(v\).
Spectral Resolution and Eigenprojectors
For a self-adjoint operator \(A = A^\dagger\) with distinct eigenvalues \(\{\lambda_k\}\), the spectral theorem guarantees the existence of a set of mutually orthogonal projectors \(\{P_k\}\). These projectors are constructed from the eigenvectors of \(A\). The key algebraic relations are:
The first relation, \(P_j P_k = \delta_{jk} P_k\), states that the projectors are mutually orthogonal. If \(j \neq k\), their product is zero, meaning the subspaces they project onto are orthogonal. If \(j = k\), the product is the projector itself, consistent with idempotency. The second relation, \(\sum_k P_k = \mathbf 1\), is the resolution of the identity. It asserts that the sum of all orthogonal projectors onto the eigenspaces reconstructs the entire space. The third relation expresses the operator \(A\) as a weighted sum of its eigenprojectors, with the weights being the eigenvalues.
Physical Interpretation
In the context of quantum mechanics, the projectors \(P_k\) represent the measurement operators for the eigenstates of an observable \(A\). The probability of measuring the eigenvalue \(\lambda_k\) for a state \(|\psi\rangle\) is given by the squared norm of the projected state, \(\langle \psi | P_k | \psi \rangle\). The resolution of the identity ensures that the sum of probabilities over all possible outcomes is exactly one, preserving the normalization of the state vector. This structure is not merely a mathematical convenience; it is the formal basis for the Born rule and the statistical interpretation of quantum measurements.
The derivation
Orthogonal Projections and Spectral Resolution
On a finite-dimensional complex inner-product space \(V\), an operator \(P\) is an orthogonal projector onto a subspace exactly when it is both idempotent, \(P^2=P\), and self-adjoint, \(P^\dagger=P\); such a \(P\) projects every vector onto the closed subspace \(M=\operatorname{ran}P\) along its orthogonal complement \(M^\perp=\ker P\). Consequently, for a self-adjoint operator \(A=A^\dagger\) with distinct eigenvalues \(\{\lambda_k\}\), the spectral theorem produces eigenprojectors \(\{P_k\}\) that are mutually orthogonal, \(P_jP_k=\delta_{jk}P_k\), resolve the identity, \(\sum_k P_k=\mathbf 1\), and resolve the operator itself, \(A=\sum_k\lambda_k P_k\).
A common pitfall is assuming that any idempotent operator is an orthogonal projector. An idempotent operator that is not self-adjoint projects along a non-orthogonal direction, leading to a decomposition that is not unique in the sense of orthogonal complements. Always verify \(P^\dagger = P\) when claiming orthogonality. C
Worked example
Problem. Consider a two-dimensional complex vector space with an orthonormal basis \(\{|e_1\rangle, |e_2\rangle\}\). Let \(A\) be a self-adjoint operator with eigenvalues \(\lambda_1 = 2\) and \(\lambda_2 = 5\), and corresponding normalized eigenvectors \(|u_1\rangle = \frac{1}{\sqrt{2}}(|e_1\rangle + |e_2\rangle)\) and \(|u_2\rangle = \frac{1}{\sqrt{2}}(|e_1\rangle - |e_2\rangle)\). Determine the projector \(P_1\) onto the eigenspace of \(\lambda_1\) and verify the resolution of the identity.
- Construct the projector \(P_1\) using the outer product of the eigenvector \(|u_1\rangle\). Since \(|u_1\rangle\) is normalized, \(P_1 = |u_1\rangle \langle u_1|\).
- Calculate \(P_1\) explicitly: \(P_1 = \frac{1}{2} \begin{pmatrix} 1 \\ 1 \end{pmatrix} \begin{pmatrix} 1 & 1 \end{pmatrix} = \frac{1}{2} \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix}\).
- Construct \(P_2\) similarly: \(P_2 = |u_2\rangle \langle u_2| = \frac{1}{2} \begin{pmatrix} 1 \\ -1 \end{pmatrix} \begin{pmatrix} 1 & -1 \end{pmatrix} = \frac{1}{2} \begin{pmatrix} 1 & -1 \\ -1 & 1 \end{pmatrix}\).
- Verify the resolution of the identity by summing \(P_1 + P_2\): \(\frac{1}{2} \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix} + \frac{1}{2} \begin{pmatrix} 1 & -1 \\ -1 & 1 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = \mathbf 1\).
Units check. Projectors are dimensionless operators, as they map vectors to vectors within the same space. The identity matrix is also dimensionless, confirming consistency.
Three quick tests
- If \(P\) is an orthogonal projector, what is the relationship between \(\ker P\) and \(\operatorname{ran} P\)?
Answer
\(\ker P = (\operatorname{ran} P)^\perp\). - Why is the condition \(P^\dagger = P\) necessary for orthogonality?
Answer
It ensures that the projection is along the normal direction, making the kernel the orthogonal complement of the range. - What does the equation \(\sum_k P_k = \mathbf 1\) signify physically?
Answer
It signifies that the sum of probabilities for all mutually exclusive measurement outcomes is unity.
Problem set for PU-104 →
Each derivation in this unit ends with five graded problems with full solutions.
Lecture notes drafted with a local model and checked line by line by the editor; every number in the worked example was recomputed.