Shankar, R. (1994), Principles of Quantum Mechanics, Plenum Press. Chapter 10, Exercise 10.1.2.
To help with understanding the direct product of two vector spaces, some examples with a couple of 2-d vector spaces are useful. Suppose the one-particle Hilbert space is two-dimensional, with basis vectors and . Now suppose we have two such particles, each in its own 2-d space, for particle 1 and for particle 2. We can define a couple of operators by their matrix elements in these two spaces. We define
where the first column and row refer to basis vector and the second column and row to . Recall that the subscript on each refers to the particle and the superscript refers to the vector space. Thus is an operator in space for particle 1.
Now consider the direct product space , which is spanned by the four basis vectors formed by direct products of the two basis vectors in each of the one-particle spaces, that is by , , and . Each of the operators has a corresponding version in the product space, which is formed by taking the direct product of the one-particle version for one of the particles with the identity operator for the other particle. That is
To get the matrix elements in the product space, we need the form of the identity operators in the one-particle spaces. They are, as usual
I’ve written the two identity operators as separate equations since although they have the same numerical form as a matrix, the two operators operate on different spaces, so they are technically different operators. To get the matrix elements of we can expand the direct product (Shankar suggests using the ‘method of images’, although I have no idea what this is. I doubt that it’s the same method of images used in electrostatics, and Google draws a blank for any other kind of method of images.) In any case, we can form the product by taking the corresponding matrix elements. For example
When working out the RHS of the first line, remember that operators with a superscript (1) operate only on bras and kets from the space and operators with a superscript (2) operate only on bras and kets from the space . Applying the same technique for the remaining elements gives
Another less tedious way of getting this result is to note that we can form the direct product by taking each element in the first matrix from 1 and multiply it into the second matrix from 6. Thus the top elements in are obtained by taking the element from 1 and multiplying it into the matrix from 6. That is, the upper left block is formed from
and so on for the other three blocks in the complete matrix. Note that it’s important to get things in the right order, as the direct product is not commutative.
To get the other direct product, we can apply the same technique:
Again, note that
Finally, we can work out the direct product version of the product of two one-particle operators. That is, we want
We can do this in two ways. First, we can apply the same recipe as in the previous example. We take each element of and multiply it into the full matrix :