Simple Bra-Ket Manipulations

Possible Manipulations

Here $\hat{O}$ is an operator corresponding to some observable (like $\hat{H}$ for energy), and its eigenvalues are λ_n. The corresponding eigenvectors are $\vert\phi_{n}\rangle$. $\vert\psi\rangle$ is the state ket.