4.4.問題9
4.4.P9
行列 \(A \in M_n\) とする。
(a) \(U A U^*\) が実行列となるユニタリ行列
\(U \in M_n\) が存在することは、対称ユニタリ \(W \in M_n\) が存在して
\(\overline{A} = W A W^* = W A \overline{W}\) であることと同値である。
(b) \(U A U^T\) が実行列となるユニタリ行列
\(U \in M_n\) が存在することは、対称ユニタリ \(W \in M_n\) が存在して
\(\overline{A} = W A W^T = W A W\) であることと同値である。
行列解析の総本山
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
コメント