2.4.問題25
2.4.P25
\( A, B \in \mathbb{M}_2 \)、\( A \) の固有値を \( \lambda_1, \lambda_2 \) とする。
1.
\( A \) は次の形の行列にユニタリ相似であることを示せ。
\begin{pmatrix}
\lambda_1 & x \\
0 & \lambda_2
\end{pmatrix}, \quad \\
x \geq 0, \quad x^2 = \operatorname{tr} (A A^*) - |\lambda_1|^2 - |\lambda_2|^2
2.
\( A \) が \( B \) とユニタリ相似であることは、次がすべて成立するときに限ることを示せ。
\operatorname{tr} A = \operatorname{tr} B, \quad \operatorname{tr} A^2 = \operatorname{tr} B^2, \quad \\
\operatorname{tr} A A^* = \operatorname{tr} B B^*
行列解析の総本山
総本山の目次📚
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
記号の意味
[行列解析9.0]主要な記号一覧
行列解析で使用している記号や用語の簡単な説明です。
am-gm.com
2025.11.09
コメント