行列解析

4.1.6定理定理 4.1.6. 与えられた非空のエルミート行列族 \(F\) に対して、すべての \(A \in F\) に対して \(U A U^*\) が対角行列となるユニタリ行列 \(U\) が存在することと、すべての \(A, B...

4.1.5定理定理 4.1.5. 行列 \(A \in M_n\) はエルミートであることと、ユニタリ行列 \(U \in M_n\) と実対角行列 \(\Lambda \in M_n\) が存在して \(A = U \Lambda U^*...

4.1.4定理定理 4.1.4. \(A = \in M_n\) が与えられたとする。このとき、A がエルミート行列であることと、次の条件の少なくとも一つを満たすことは同値である：(a) 任意の \(x \in \mathbb{C}^n\)...

4.1.3定理 4.1.3. \(A \in M_n\) がエルミート行列であるとする。このとき：(a) 任意の \(x \in \mathbb{C}^n\) に対して、\(x^* A x\) は実数である。(b) \(A\) の固有値はす...

4.1.2定理 4.1.2（テプリッツ分解）。任意の行列 \(A \in M_n\) は、一意的に次の形に分解できる：A = H + i Kここで、\(H\) と \(K\) はともにエルミート行列である。また、一意的に次の形にも分解できる...