4.6.問題5
4.6.P5
A ∈ M_n が A ¯A = \Lambda = λ_1 I_{n_1} ⊕ ... ⊕ λ_k I_{n_k} を満たし、i ≠ j の場合 λ_i ≠ λ_j、かつ全ての λ_i ≥ 0 とする。このとき、A = U \Lambda_U U^T となるユニタリ行列 U ∈ M_n が存在し、各 \Lambda_i ∈ M_{n_i} は上三角行列であることを示せ。
行列解析の総本山
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
コメント