同時対角化は有名ですが、同時三角化もあります。残念ながら、同時ジョルダン標準化は出来ません(Remark)。しかし、それより少し弱い結果なら成立します(Theorem3+Theorem1). kは代数閉体とします。 Theorem1(同時三角化)をどの2つも互いに可換な行列とする.…