2.5.問題45
2.5.P45
\( N \subseteq M_n(\mathbb{R}) \) を可換な実対称行列族とする。
このとき、単一の実直交行列 \( Q \) が存在して、すべての \( A \in N \) に対して \( Q^TAQ \) が対角行列になることを示せ。
行列解析の総本山
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
コメント