Usually we expand in countable orthonormal basis
Sometimes we generalize this to continuum states
Consider
For
Define operator
Formally this wouldn’t really be allowed to be in our
Then we can expand any vector as
Note that here
We extract the wavefunction by projecting on