Measuring an observable does not reveal a value that already existed before the measurement: quantum mechanics postulates what happens, building on the eigenbasis decomposition seen earlier.
The postulate
Let A^ be a Hermitian operator (an observable), with eigenbasis ∣ψn⟩ and eigenvalues an, and let ∣ψ⟩=∑ncn∣ψn⟩ be the state of the particle, with cn=⟨ψn∣ψ⟩. Measuring A^:
can only give one of the eigenvalues an;
gives the result an with probability ∣cn∣2 — the Born rule;
immediately projects the state onto ∣ψn⟩: this is the collapse of the wavefunction.
∣ψ⟩an∣ψn⟩with probability ∣cn∣2.
Repeating the measurement on identically prepared systems therefore gives, on average,
⟨A^⟩=n∑an∣cn∣2=⟨ψ∣A^∣ψ⟩.
Why Hermitian
None of this holds if A^ is not Hermitian. A Hermitian operator has two properties measurement relies on directly: its eigenvalues an are real — a measurement outcome is a real number, not a complex one — and its eigenstates form a complete orthonormal basis, which guarantees ∑n∣cn∣2=1: the probabilities of the different outcomes sum to 1, as they must. A non-Hermitian operator offers neither guarantee: its eigenvalues can be complex, and its eigenstates generally form neither an orthogonal basis, nor even a basis at all.
The degenerate case
If several eigenstates ∣ψn(1)⟩,…,∣ψn(dn)⟩ share the same eigenvalue an (an eigenspace of dimension dn), nothing distinguishes which one the measurement selects. The probability of an is then summed over the whole eigenspace, and the state collapses onto that entire eigenspace rather than onto any single eigenvector. Writing P^n=∑k∣ψn(k)⟩⟨ψn(k)∣ for the projector onto it,
When dn=1, this reduces exactly to the non-degenerate case above.
Operator Â
State |ψ⟩
Solving…
Fill in an operator (Re/Im per cell) and a state, in a basis of dimension 2 to 4. Each row of the result is a distinct eigenvalue: its Born-rule probability, and the state ∣ψ⟩ collapses to if it is obtained — the eigenvector itself when the value isn't degenerate, the projection onto the eigenspace otherwise. A non-Hermitian operator is flagged before it's even sent: those are exactly the two properties the previous section relied on.