ベクトル空間V Uについて VからUへの線形変換が対角化可能というのはどういう定義ですか?