2. Корневые векторы.

Вектор и называется корневым для оператора если при некотором к выполняется равенство , т. е. если вектор и аннулируется полиномом . Наименьший показатель называется высотой корневого вектора. Собственный вектор — это корневой вектор высоты 1. Число к, участвующее в определении корневого вектора, является собственным значением. Действительно, для корневого вектора и высоты m будет , но , т. е. v есть собственный вектор, принадлежащий собственному значению А.

Высота корневого вектора, соответствующего собственному значению к, не превосходит кратности А как корня минимального полинома оператора. Эта верхняя грань достигается, т. е. существует корневой вектор, высота которого равна кратности соответствующего собственного значения как корня минимального полинома.

Действительно, пусть минимальный полином оператора равен , где . Полином аннулирует не все векторы, так что найдется вектор v, не аннулируемый этим полиномом. Тогда вектор не аннулируется полиномом но аннулируется полиномом , т. е. является корневым вектором высоты .

Предложение 7. Линейная комбинация корневых векторов, соответствующих одному и тому же собственному значению к, является корневым вектором, соответствующим тому же собственному значению.

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

Таким образом, корневые векторы, соответствующие данному собственному значению, образуют подпространство, называемое корневым подпространством.

Пр едложение 8. Корневые векторы, соответствующие попарно различным собственным значениям, линейно независимы.

Доказательство. Пусть — корневые векторы для оператора соответствующие собственным значениям и пусть высоты. Допустим, что

Рассмотрим полином

Применим оператор к обеим частям линейной зависимости. Этот оператор аннулирует все корневые векторы, кроме ибо полином делится на аннуляторы этих векторов. Но он не аннулирует ибо не делится на минимальный аннулятор этого вектора. Получим откуда ибо . Это верно для всех

Теорема 9. Векторное пространство над С, в котором действует оператор разлагается в прямую сумму корневых подпространств.

Доказательство. То, что сумма корневых подпространств есть прямая сумма, следует из линейной независимости векторов из различных корневых подпространств. То, что эта сумма заполняет все пространство S, следует из предложения 8 предыдущего параграфа, ибо полиномы произведением которых является минимальный полином, попарно взаимно просты. Теорема доказана.

Теорема 9 есть, конечно, частный случай теоремы 9 предыдущего параграфа.