それはそれとして、、、exp(iEt/ħ)って値を保存しない平行移動が任意のtについて存在するよね
測度0じゃないよね