ユニタリ類似性とユニタリ同値

定理 2.5.16（Fuglede–Putnam）. \( A \in M_n \)、\( B \in M_m \) が正規行列であり、\( X \in M_{n,m} \) とする。このとき、AX = XB \quad \Leftrigh...

定理 2.5.15. \( \mathcal{N} \subseteq M_n(\mathbb{R}) \) を、非空な実正規行列の可換族とする。このとき、実直交行列 \( Q \) および非負整数 \( q \) が存在して、任意の \(...

系 2.5.11. \( A \in M_n(\mathbb{R}) \) とする。(a) \( A = A^\top \) であることと、実直交行列 \( Q \in M_n(\mathbb{R}) \) が存在して、Q^\top A Q...

定理 2.5.8. \( A \in M_n(\mathbb{R}) \) が正規行列であるとする。(a) 実直交行列 \( Q \in M_n(\mathbb{R}) \) が存在して、次の形の実準対角行列と実直交類似である：Q^\top...

補題 2.5.7. 行列 \( A = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in M_2(\mathbb{R}) \) が正規行列であり、かつ共役な非実の固有値を持つと仮定する。このと...

定理 2.5.6. \( A \in M_n \) がエルミート行列であり、固有値が \( \lambda_1, \ldots, \lambda_n \) であるとします。また、\Lambda = \mathrm{diag}(\lambda...

定理 2.5.5. \( N \subseteq M_n \) を正規行列の空でない族とします。このとき、次の2つは同値です：\( N \) が可換な族である。\( N \) が同時にユニタリ対角化可能な族である。任意の \( A_0 \i...

定理 2.5.4. \( A \in M_n \) が正規行列であり、異なる固有値 \( \lambda_1, \ldots, \lambda_d \) を持ち、それぞれの重複度が \( n_1, \ldots, n_d \) であるとしま...

定理 2.5.3行列 \( A = \in M_n \) が固有値 \( \lambda_1, \ldots, \lambda_n \) を持つとします。以下の主張はすべて同値です：\( A \) は正規行列である。\( A \) はユニタ...

補題 2.5.2行列 \( A \in M_n \) が次のように分割されているとします：A =\begin{bmatrix}A_{11} & A_{12} \\0 & A_{22}\end{bmatrix}ここで \( A_{11} \)...