- 29

- 1

$$ [\hat{a_i},\hat{a_j}^\dagger]=\delta{ij}$$

is introduced as "we define". Yes, example 2.1, where the creation and annihilation operators applied to harmonic operator states, there is a nice simple proof that this is true (although instead of the dirac delta, it's just 1.)

The trouble I am having is that these are operators and they have to operate on something. The identity above says that the commutator must be true no matter what it operates on. Let's say the commutator acts on a single particle in state |i> and for this example, let i=j, so we should get 1. Then we'd have:

$$ \hat{a_i}\hat{a_i}^\dagger|i> - \hat{a_i}^\dagger\hat{a_i}|i>$$

After the rightmost operators act we should get:

$$ \hat{a_i}|2i> - \hat{a_i}^\dagger|0>$$

Here my |2i> represents a state with 2 particles in state i (there was one there to start, and the creation operator created another). Letting the remaining operators act we should get:

$$|i> - |i> = 0$$

I was expecting 1, not 0.

Thanks for looking.