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.ユニタリ相似とユニタリ同値 [行列解析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^...