エルミート行列？ユニタリ行列？
波動関数について勉強していると、いつの間にか慣れ親しんだ波動方程式たちが、いつの間にか行列表記になってギョッとします。 恥ずかしい話ですが、量子力学のスタンダードをきちんと修めずに、研究の現場でいきなり分光から量子力学に入った私のような方は、多かれ少なかれそうなのでは無いかと思います。 私はEPRに興味を持っているのですが、基礎的なEPRの解説書であっても、行列がたくさん出てきます。 （私のような）実験化学者は、シュレディンガーが提案した「波動力学」の体系にのっとった形式で波動関数について学習を進めますが、一定以上ややこしい系になってくると、 ハイゼンベルクや、その師、ボルンらによって確立した「行列力学」の形式を用いると、より簡素な記述ができるようです。 大事なこととして、これら２つの形式で記述される量子力学の結論は全く等価です。 （このあたりの認識がほわっとしていると、なかなか本を読んでも理解が進みません。） 行列力学で書かれた説明を理解しようとすると、時空の彼方においてきた、線形代数の知識を総動員しなければなりません。 繰り返し出てくる、重要な単語が、タイトルのエルミート行列、ユニタリ行列です。 波動力学では、演算子がエルミート性を持つことが、サラリと触れられます。 行列力学では、演算子を行列の形で書きます。演算子を波動関数に掛けるとき、「エルミート行列」との積を取る、とくるわけです。 EMANさんのページ（ 量子力学 、 線形代数 ）などで、非常にわかりやすく行列力学の導入を紹介してくれているのですが、行列が複素数であることなどが相まって、全体像を掴むのに時間がかかります。 行列の定義なんかはググるとくさるほど出てきますが、集合関係がぜんぜんわからないので、 以下のシートを作りました。汚い字で恐縮です。 要は、演算子にあたるエルミート行列は、転置をしてからその複素数をとる、という操作（随伴行列を作るともいう）を行っても、自分と同じものになる性質があるということです。こういう性質をもっていると、行列の固有値が常に実数になります。 これは、式にすると 「A = A†」 と表されます。 転置をしても同じ形になる行列を対称行列と言いますが、この概念を複素数の世界にまで拡張したような行列ということができます。 この対