A simple proof involving degeneracy and commutators

Tags:
1. Jan 17, 2015

1. The problem statement, all variables and given/known data
In the absence of degeneracy, prove that a sufficient condition for the equation below (1), where $\left|a'\right>$ is an eigenket of $A$, et al., is (2) or (3).

2. Relevant equations
$$\sum_{b'} \left<c'|b'\right>\left<b'|a'\right>\left<a'|b'\right>\left<b'|c'\right> = \sum_{b',b''} \left<c'|b'\right>\left<b'|a'\right>\left<a'|b''\right>\left<b''|c'\right>\qquad (1)$$
$$\left[A,B\right] = 0\qquad (2)$$
$$\left[B,C\right] = 0\qquad (3)$$

3. The attempt at a solution
I know degeneracy is about one eigenvalue being associated with more than one eigevector (or eigenket). The summation looks intuitive to me. On the right side, a second completeness relation is used, where the completeness relation is
$$\mathbb{1} = \sum_{b''} \left|b''\right>\left<b''\right|$$
I know the commutation relations of (2) and (3) can be written as
$$\left[X,Y\right] = XY - YX$$
for any two operators $X$ and $Y$. I know that since $\left|a'\right>$ is an eigenket of $A$, $\left|b'\right>$ is an eigenket of $B$ and $$\left|c'\right>[/itex] is an eigenket of $C$. Half the solution is understanding the problem, and the problem seems to be saying that no eigenvalue has the same eigenvector (eigenket). Knowing that prove that the sum is valid if either pair of operators commute. I would greatly appreciate some help moving forward. Thanks! 2. Jan 19, 2015 loginorsinup [iteI am still not sure what the commutation relation has to do with the summation. The problem seems to be asking me if [tex]\left[A,B\right]=AB-BC=0$$
or
$$\left[B,C\right]=BC-CB=0$$

then

$$\sum_{b'} \left<c'|b'\right>\left<b'|a'\right>\left<a'|b'\right>\left<b'|c'\right>=\sum_{b'}\sum_{b''} \left<c'|b'\right>\left<b'|a'\right>\left<a'|b''\right>\left<b''|c'\right>$$

I know that an operator $A$ has a matrix representation of

$$A = \sum_{a''}\sum_{a'} \left|a''\right>\left<a''|A|a'\right>\left<a'\right|$$

Note that $a'$ and $a''$ are just dummy variables that are iterating through the rows and columns respectively. The term $\left<a''|X|a'\right>$ is just a number since $X$, the operator, operates on a ket to produce another ket. This ket forms an inner product with the bra $\left<a''\right|$ and the result of an inner product is just a complex number.

Furthermore, if the operator has eigenkets $\left|a'\right>$, then the matrix representation is even simpler (given in terms of the projection operator).

$$A = \sum_{a''}\sum_{a'} \left|a''\right>\left<a''|A|a'\right>\left<a'\right|$$

Sakurai says that the number $\left<a''|A|a'\right>$ is $\left<a'|A|a'\right>\delta_{a'a''}=a'\delta_{a'a''}$, though I'm not sure how (perhaps if the operator is Hermitian?)

Delta functions reduce the number of sums needed, so the matrix representation of the operator becomes

$$A = \sum_{a'} a'\left|a'\right>\left<a'\right| = \sum_{a'} a' \Lambda_{a'}$$

I'm still collecting thoughts, but I really hope someone else can lend me a hand. Thanks!

3. Jan 19, 2015

Staff: Mentor

The fact that two operators commute tells you something very fundamental about the eigenstates of these operators. Do you know what that is?

4. Jan 19, 2015

I have heard it means that their eigenstates are the same, but that doesn't really make sense to me intuitively. I haven't formally gotten to that section in my book, yet, but I"m working towards understanding everything until I get there (a few more pages).

I was trying to convince myself of this using the simplest case I could think of... position.

Of course the x and y operators would commute, but why would they have the same basis? One discusses x and the other covers y. Their bases should all be orthogonal? But they commute because I have read that [x_i,x_j] = 0.

5. Jan 19, 2015

Staff: Mentor

To be more precise: If two operators commute, then there exists a complete state of states which are eigenstates of both operators at the same time.

Do you mean to say that the above problem should be solved without the knowledge of them having common eigenstates? If so, I'll have to think of another way of approaching the problem.

It means you can define both x and y at the same time. I think it is easier to understand if you take quantized values, like energy and angular momentum for an electron in the hydrogen atom.

6. Jan 19, 2015