2.ユニタリ相似とユニタリ同値 [行列解析2.5.17]定理
2.5.17定理 2.5.17. \(A \in M_n\) が正規行列（normal）とする。このとき次の3条件は同値である。(a) \(\overline{A}\,A = A\,\overline{A}\)。(b) \(A^{\top}...
行列解析
2.ユニタリ相似とユニタリ同値 2.ユニタリ相似とユニタリ同値 [行列解析2.5.16]定理（Fuglede–Putnam）
定理 2.5.16（Fuglede–Putnam）2.5.16 定理（Fuglede–Putnam）\( A \in M_n \)、\( B \in M_m \) が正規行列であり、\( X \in M_{n,m} \) とする。このとき、...
2.ユニタリ相似とユニタリ同値 [行列解析2.5.15]
2.5.15定理 2.5.15. \( \mathcal{N} \subseteq M_n(\mathbb{R}) \) を、非空な実正規行列の可換族とする。このとき、実直交行列 \( Q \) および非負整数 \( q \) が存在して、...