[行列解析2.5.P45]

2.5.問題45

2.5.P45

\( N \subseteq M_n(\mathbb{R}) \) を可換な実対称行列族とする。

このとき、単一の実直交行列 \( Q \) が存在して、すべての \( A \in N \) に対して \( Q^TAQ \) が対角行列になることを示せ。

[行列解析2.5]

2.5ユニタリ相似（unitary similarity）の文脈で自然に現れる正規行列のクラスは、行列解析において広く重要な役割を果たします。正規行列には、ユニタリ行列、エルミート行列、反エルミート行列、実直交行列、実対称行列、および実反対...

am-gm.com

2025.08.27