ttp://www.is.seikei.ac.jp/~iwasaki/kouginote/L/L.05.Spectral/L.05.2.Spectral.htm
上のリンク先にある
定理5.2.8(同時対角化可能性)
の証明の一番最後
固有値λが重根の場合には固有空間内で適当な固有ベクトルを選べばよい。
適当な固有ベクトルが存在する理由を教えてください。