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.ユニタリ相似とユニタリ同値 [行列解析2.5.16]定理
2.5.16 定理定理 2.5.16（Fuglede–Putnam）. \( A \in M_n \)、\( B \in M_m \) が正規行列であり、\( X \in M_{n,m} \) とする。このとき、AX = XB \quad ...
2.ユニタリ相似とユニタリ同値 [行列解析2.5.15]
2.5.15定理 2.5.15. \( \mathcal{N} \subseteq M_n(\mathbb{R}) \) を、非空な実正規行列の可換族とする。このとき、実直交行列 \( Q \) および非負整数 \( q \) が存在して、...
2.ユニタリ相似とユニタリ同値 [行列解析2.5.11]系
2.5.11 系系 2.5.11. \( A \in M_n(\mathbb{R}) \) とする。(a) \( A = A^\top \) であることと、実直交行列 \( Q \in M_n(\mathbb{R}) \) が存在して、Q^...
2.ユニタリ相似とユニタリ同値 [行列解析2.5.8]
2.5.8定理 2.5.8. \( A \in M_n(\mathbb{R}) \) が正規行列であるとする。(a) 実直交行列 \( Q \in M_n(\mathbb{R}) \) が存在して、次の形の実準対角行列と実直交相似である：\...