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

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

Vi を　A1、A2、・・・、Akの共通の固有空間とするとき、

C＾ｎ　＝　V1 + ・・・ + Vk ( + は直和)分解できることを示してください。