1. Операторы

и

называются перестановочными, если

. Докажите: если линейный оператор

имеет

различных собственных значений, то линейный оператор

, перестановочный с

, имеетте же собственные векторы, что и

.
2. Докажите, что любые два перестановочных линейных оператора конечномерного комплексного линейного пространства в себя имеют общий собственный вектор.
Пытался доказывать первое, получил только это:

для любого

собственного для

,

тоже собственный для

. Наверное, доказав первое, легко доказывается и второе.