>>583

わかりにくかったので、もう一度。

A1、A2、・・・、Ak を正規行列とします。

上の行列があるユニタリ行列Uで、同時対角化できたとする。

C＾ｎ　＝　V1 + ・・・ + Vk　（＋は直和）　を示してください。

＊Vi は　A1、A2、・・・、Ak　の極大な共通な固有空間

＊Aｊ　X　＝　λj(i) X (λj(i) は　Aj　の固有値　、　X　∈ Vi)