[Math] Prove that the projection operator $\mathbb P_+\equiv|+z\rangle\!\langle +z|$ is Hermitian

linear algebramathematical physicsphysicsprojection-matricesquantum mechanics

Use Dirac notation (the properties of kets, bras and inner products) directly to establish that the projection operator $\mathbb{\hat P}_+$ is Hermitian. Use the fact that $\mathbb{\hat P}^2_+=\mathbb{\hat P}_+$ to establish that the eigenvalues of the projection operator are $1$ and $0$.

I know how to prove this using mathematical notation, i.e. for any $x,y\in V$ we must show that $\langle x, \ \mathbb{\hat P}_+y\rangle = \langle \mathbb{\hat P}_+x, \ y\rangle$ but how can I prove the way the book suggested, i.e. using Dirac notation and the properties of kets and bras?

Best Answer

Any projection operator can be written in the form $$ P = \sum_{j = 1}^r |\psi_j \rangle \langle \psi_j | $$ Where $\psi_1,\dots,\psi_n$ is an orthonormal basis of our Hilbert space. Given $\psi = c_1\psi_1 + \cdots + c_n \psi_n$, we calculate $$ \langle\psi| P = \langle \psi | \left(\sum_{j = 1}^r |\psi_j \rangle \langle \psi_j | \right) = \sum_{j = 1}^r \langle \psi \mid \psi_j \rangle \langle \psi_j | =\\ \sum_{j = 1}^r \langle \psi_j \mid \psi \rangle^* \langle \psi_j | = \sum_{j = 1}^r c_j^* \langle \psi_j | $$ This is the bra corresponding to the ket $P |\psi \rangle = \sum_{j=1}^r c_j | \psi_j \rangle$. So, $P$ is self-adjoint.

Related Question