[行列解析4.1.P27]

4.1.問題27

4.1.P27

\(A, P \in M_n\) とし、\(P\) が \(0\) でも \(I\) でもないエルミート射影であるとする。このとき、\(A\) が \(P\) と可換であることと、\(A\) があるユニタリ相似によって

A \sim B \oplus C, \quad B \in M_k, \; C \in M_{n-k}, \; 1 \leq k \leq n-1

の形にできることは同値であることを示せ。

[行列解析4.1]エルミート行列の性質と特徴 (Properties and characterizations of Hermitian matrices)

4.1.1 定義4.1.2

am-gm.com

2025.09.15