エルミット行列, ユニタリ行列, 直交行列
A* = A を満足する正方行列 A をエルミット行列という. とくにAが実行列
であるとき, Aがエルミット行列という条件は 'A=Aであるから, Aは対称
行列に他ならない.
AA* = A*A =E を満足する正方行列 A をユニタリ行列という. とくにA
が実行列であるとき, Aがユニタリ行列という条件は A'A = 'AA= E であっ
て, このとき A を直交行列という.
エルミット行列, ユニタリ行列,直交行列に関する考察は後に改めて行う.