>>410
おっと、確かにおっしゃるとおり。
行列Aの固有ベクトルを列ベクトルとする行列Bはユニタリー行列になるのはなぜか、と質問すべきでしたね。

・・・これでいいのかな？