Given a particle whose position can be anywhere on the $x$-axis we may write the following:
and so we may write the expansion postulate as:
$$|\psi\rangle=\int\langle x'|\psi \rangle |x'\rangle dx' $$
From which we make the association:
$$\psi(x')=\langle x'|\psi \rangle$$
This I understand just fine. However in our notes the next few lines puzzle me slightly. They proceed as follows:
By taking the scalar product of $|\psi\rangle $ & $|x\rangle$ we get:
$$\langle x|\psi \rangle =\int \langle x|x'\rangle \langle x'|\psi \rangle dx'$$
And so we see that the integral form of the resolution of the identity is:
$$\int |x\rangle \langle x|dx =1$$
The above is a word for word transcription of our notes. The way that I am thinking about this is that the eigenvectors $|x'\rangle$ essentially represent delta functions at the point $x'$, and so $\psi (x')$ as is written above tells us the value of $\psi (x)$ AT $x'$.
However I don't understand the part where we take inner product $\langle x|\psi \rangle$. I see the motivation, which I believe is to obtain an expression which we can identify as $\psi (x)$, but I don't understand how we get from the integral to the resolution of the identity expression. How have the bra's and ket's been manipulated in this way? Is it to do with the fact that $\langle x|$ & $| \psi\rangle$ have no explicit dependency on $x'$?
Any help greatly appreciated - I understand this is a basic question so my apologies if it has been done to death!