09/06/07 00:51:41
>>729, 730
交換関係 [x, y]=i から出るんじゃないかな?
演算子yは、演算子xの固有けっと|x'>の並進を生成するから、
それを繰り返して指数関数で有限変位uの並進を実現できる。
|u> = exp(i y u) |0>
よって
<y'|u> = <y'| exp(i y u) |0> = exp(iy'u) <y'|0>
任意のけっと|ψ>の展開は、演算子xの固有けっと|u>たちの完全性を仮定すれば
<y'|ψ> = integral du <y'|u><u|ψ>
これに上の式を突っ込めば、フーリエ変換もどきがでる。
<y'|0>は、固有けっとの位相任意性を使って1にとれると思う。