最近暑い。スコールが降ったりする。電車に乗ってたらたたきつけるように雨が降ってきた。いいさ、今日は量子力学勉強した。2つの演算子が可換な場合、それぞれの演算子の固有関数が作る正規直交関数系は同じになれる。自分で言ってて良くわからんかも。演算子Aから得られる固有関数から正規直交関数系が得られる。演算子Bから得られる固有関数から正規直交完全系が得られる。2つの演算子が可換の場合、両方の固有値に対する同一の正規直交関数系が作れるということ。