2.ユニタリ相似とユニタリ同値 [行列解析2.1.4]定理（ユニタリ行列）
定理 2.1.4. \(U \in M_n\) のとき、以下は同値である：(a) \(U\) はユニタリである。(b) \(U\) は正則で、かつ \(U^* = U^{-1}\) である。(c) \(UU^* = I\) である。(d) ...
行列
2.ユニタリ相似とユニタリ同値 2.ユニタリ相似とユニタリ同値 [行列解析2.1.3]定義（ユニタリ・実直交行列）
2.1.3定義 2.1.3ユニタリ・実直交行列\( U \in M_n \) が「ユニタリ」であるとは、\( U^* U = I \) を満たすことである。\( U \in M_n(\mathbb{R}) \) が「実直交行列」であるとは、...
2.ユニタリ相似とユニタリ同値 [行列解析2.1.2]定理
2.1.2定理 2.1.2任意の直交正規なベクトル列は線形独立である。証明\( \{x_1, \ldots, x_k\} \) が直交正規であると仮定し、次のような線形結合がゼロになるとする： 0 = \alpha_1 x_1 + \cdo...