Cadaei said:
I think I'm missing something extremely simple here... why is dotting ⟨X_I| into |psi_i⟩ the same as evaluating psi_I at X_I?
And yes, you need to know the difference between state vector [itex]|\Psi \rangle[/itex] and its coordinate representation, i.e. wave-function [itex]\Psi ( x)[/itex]. Almost all textbooks explain the Bra-Ket notations and their connection to “wave-functions”.
You seem to have no problem with [tex]\langle \Phi | \Psi \rangle = \int dx \ \Phi^{*} (x) \Psi (x) . \ \ \ \ (A)[/tex] Okay, let us work on the left-hand side by inserting the completeness relation [itex]1=\int dx |x\rangle \langle x|[/itex]:
[tex]\langle \Phi | \Psi \rangle = \langle \Phi | ( \int dx |x \rangle \langle x | ) | \Psi \rangle = \int dx \ \langle \Phi | x \rangle \langle x | \Psi \rangle .[/tex]
Now, if you compare the RHS of this equation with the RHS of Eq(A), what would you get?
Similar state of affair exists in elementary vector algebra. You know how to expand a vector [itex]|\vec{V}\rangle[/itex] in terms of some orthogonal unit-vectors [itex]| e_{i}\rangle[/itex] [tex]|\vec{V}\rangle = \sum_{i} V_{i} \ | e_{i} \rangle .\ \ \ \ (1)[/tex] You also know the ortho-normality condition [tex]\langle e_{i} | e_{j} \rangle = \delta_{ij} . \ \ \ \ \ \ \ (2)[/tex] You should also know how to calculate the components of the vector from [tex]V_{i} = \langle e_{i} | \vec{V}\rangle . \ \ \ \ \ \ \ (3)[/tex] You can now substitute (3) in (1) to obtain another familiar equation in vector algebra [tex]| \vec{V} \rangle = \sum_{i} | e_{i}\rangle \langle e_{i} | \vec{V} \rangle . \ \ \ \ \ \ (4)[/tex] This leads to the completeness relation for the unit vectors [tex]\sum_{i} | e_{i} \rangle \langle e_{i}\rangle = 1 . \ \ \ \ \ \ (5)[/tex] And finally, you know the scalar product [tex]\langle \vec{V}| \vec{U} \rangle = \sum_{i} V^{t}_{i} U_{i} .\ \ \ \ \ (6)[/tex] Now, imagine the vector space to be an infinite-dimensional complex vector space spanned by un-countable infinity of ortho-normal functions (vectors) [itex]|e(x)\rangle \equiv | x \rangle[/itex], i.e. just pass to the continuous limits [tex]i \to x , \ \ \ | e_{i}\rangle \to | x \rangle , \ \ \sum_{i} \to \int dx ,[/tex] and [tex]V_{i} \to V(x), \ \ \ V^{t}_{i} \to V^{*}(x) .[/tex] So, we can translate Eq(1)-Eq(6) into the continuous language as follow [tex]\mbox{Eq(1)} \to \ \ \ | V \rangle = \int dx \ V(x) \ | x \rangle ,[/tex] [tex]\mbox{Eq(2)} \to \ \ \ \langle x | y \rangle = \delta (x - y) .[/tex] [tex]\mbox{Eq(3)} \to \ \ \ V(x) = \langle x | V \rangle ,[/tex] which is what you were asking about [itex]\Psi (x) = \langle x | \Psi \rangle[/itex]. [tex]\mbox{Eq(4)} \to \ \ \ | V \rangle = \int dx \ | x \rangle \langle x | V \rangle .[/tex] [tex]\mbox{Eq(5)} \to \ \ \ \int dx \ | x \rangle \langle x | = 1 .[/tex] And finally the equation you know [tex]\mbox{Eq(6)} \to \ \ \langle V | U \rangle = \int dx \ V^{*}(x) U(x) .[/tex]