indigojoker said:
let X be an operator, we can write X as a matrix where:
[tex]X = \sum_{a''} \sum_{a'} |a''><a''|X|a'><a'|[/tex]
where [tex]<a''|X|a'>[/tex] a'' are the rows and a' are the columns. I was wondering what happened to the |a''> <a'|?
It seems like they are disregarded when transforming to matrix notation. I was wondering why that is?
let's look at a simple example where
[tex]|a''\rangle, |a'\rangle \in \left\{ \begin{bmatrix}1\\0 \end{bmatrix}, <br />
\begin{bmatrix}0\\1\end{bmatrix} \right\}[/tex]
are
orthonormal sets
so eg.
[tex]\sum_{a'} |a'\rangle\langle a'| = <br />
\begin{bmatrix}1 \\ 0 \end{bmatrix}<br />
\begin{bmatrix}1&0 \end{bmatrix}+<br />
\begin{bmatrix}0 \\ 1 \end{bmatrix}<br />
\begin{bmatrix}0&1 \end{bmatrix} = \begin{bmatrix}1 & 0\\ 0& 1 \end{bmatrix}[/tex]
and now
[tex]\sum_{a', a''} |a''\rangle\langle a''| X |a'\rangle\langle a'| =<br />
\sum_{a', a''} \langle a''| X |a'\rangle |a''\rangle\langle a'|[/tex]
because [tex]\langle a''| X |a'\rangle[/tex] is just a complex number at the appropriate position defined by the "index" of a' and a''
and because
[tex]\sum_{a', a''} |a''\rangle\langle a'| = <br />
\begin{bmatrix}1 \\ 0 \end{bmatrix}<br />
\begin{bmatrix}1&0 \end{bmatrix}+<br />
\begin{bmatrix}1 \\ 0 \end{bmatrix}<br />
\begin{bmatrix}0&1 \end{bmatrix}+<br />
\begin{bmatrix}0 \\ 1 \end{bmatrix}<br />
\begin{bmatrix}0&1 \end{bmatrix} +<br />
\begin{bmatrix}0 \\ 1 \end{bmatrix}<br />
\begin{bmatrix}1&0 \end{bmatrix} <br />
= \begin{bmatrix}1 & 0\\ 0& 0 \end{bmatrix} +<br />
\begin{bmatrix}0 & 1\\ 0& 0 \end{bmatrix}+<br />
\begin{bmatrix}0 & 0\\ 0& 1 \end{bmatrix}+<br />
\begin{bmatrix}0 & 0\\ 1& 0 \end{bmatrix}[/tex]
the above four 2x2 matrices form a set of basis states for any generic 2x2 operator X with complex entries. As you can see from the original sum of X, for each a' and a'', the basis matrix is multiplied by the corresponding complex number defined by [tex]\langle a''| X |a'\rangle[/tex]. does this answer your question:
what happened to the |a''> <a'|?
all you have done in going to the index notation is implicitly assumed a set of basis matrices so that [tex]\langle i| X |j\rangle[/tex] means ij element of the matrix.