- •1Структура линейного преобразования.
- •1.1Аннулирующий многочлен вектора, пространства
- •1.2Расщепление пространства в прямую сумму инвариантных подпространств
- •1.3Корневые подпространства.
- •1.4Жорданова клетка. Циклический базис. Циклические пространства.
- •1.5Жорданов базис, существование и единственность.
- •1.6Построение Жорданова базиса.
- •2 Алгебра, полугруппы, группы
- •2.1Отношение, операция, алгебра.
- •2.2Полугруппа
- •2.3Группа, подгруппа
- •2.4Изоморфизм групп.
- •2.5Смежные классы, теорема Лагранжа
- •2.6Циклические группы.
- •Циклические группы одинаковых порядков изоморфны между собой.
- •Циклическая группа бесконечного порядка изоморфна группе целых чисел.
- •Любая подгруппа циклической группы циклическая.
- •2.7Нормальный делитель, факторгруппа.
- •2.8Гомоморфизм групп.
- •2.9Нормальный ряд
- •2.10Простота знакопеременной группы
- •3Кольцо, подкольцо, идеал, факторкольцо.
- •3.1Кольцо
- •3.2.4Поле частных
- •3.3Идеал, факторкольцо.
- •3.3.1Кольцо вычетов.
- •3.3.2Присоединение корня многочлена.
- •3.4Гомоморфизм колец.
- •4Характеристика поля. Конечные поля.
- •4.1Характеристика тела, поля.
- •4.2Простые расширения полей
- •4.3Конечные поля.
- •5Теория Галуа
- •6.1Кольцо матриц. Эквивалентность матриц.
- •Перестановка строк
- •Умножение строки на обратимый элемент кольца
- •Прибавление к строке строки , умноженной на элемент кольца .
- •6.2Кольцо многочленов с матричными коэффициентами.
лекции по геометрии и высшей алгебре (прикладная информатика 3 семестр)
1Структура линейного преобразования.
1.1Аннулирующий многочлен вектора, пространства
Рассмотрим наименьшее (по включению) инвариантное подпространство, содержащее вектор x. Очевидно, что с вектором x в нем содержится и векторы , где k=1,2,… . Обозначим через k наибольшее число, при котором система векторов линейно независима. Очевидно, что линейная оболочка этих векторов образует наименьшее инвариантное подпространство, содержащее вектор x. Выразим . Это равенство запишем в виде , где - тождественное преобразование. Слева стоит линейное преобразование, по виду являющееся многочленом от линейного преобразования . Будем говорить, что многочлен p(t) аннулирует вектор x, если . Многочлен наименьшей степени, аннулирующий вектор x, называется минимальным аннулирующим многочленом вектора x.
Минимальный аннулирующий многочлен определен с точностью до числового множителя. Далее, для определенности будем считать коэффициент при старшей степени равным 1.
Свойство 1.1 Аннулирующий многочлен вектора делится без остатка на минимальный аннулирующий многочлен вектора.
Доказательство. Пусть f(t) –аннулирующий многочлен, а p(t) – минимальный аннулирующий многочлен. Разделим f(t) на p(t) с остатком f(t)=p(t)g(t)+r(t). Тогда . Так как степень r(t) меньше степени p(t), и многочлен r(t) аннулирует вектор x, то единственная возможность r(t)=0.
Теорема 1.1 (Метод и академика Крылова). Пусть векторы линейно независимы и , тогда многочлен является минимальным аннулирующим многочленом вектора x.
Доказательство. Очевидно, что многочлен является аннулирующим для вектора x. Допустим, он не является минимальным аннулирующим многочленом. Следовательно, найдется аннулирующий многочлен меньшей степени , что . Последнее равенство не возможно в силу линейной независимости системы векторов .
Теорема 1.2 Минимальный аннулирующий многочлен вектора является делителем характеристического многочлена.
Доказательство. Пусть система векторов - линейно независима и . Дополним систему векторов до базиса всего пространства и найдем матрицу линейного преобразования в этом базисе. Эта матрица имеет блочный вид , где - блок порядка k+1. По теореме Лапласа , а - минимальный аннулирующий многочлен вектора x.
Следствие 1.1. (теорема Гамильтона – Кэли) Линейное преобразование является корнем своего характеристического многочлена.
Доказательство. Пусть - характеристический многочлен. Тогда для любого x имеем , и, следовательно, .
Будем говорить, что многочлен p(t) аннулирует подпространство W, если он аннулирует каждый вектор из W. Аннулирующий многочлен подпространства W наименьшей степени называется минимальным аннулирующим многочленом подпространства W. Как и минимальный аннулирующий многочлен вектора, минимальный аннулирующий многочлен подпространства определен с точностью до множителя. Для определенности, будем считать старший коэффициент минимального аннулирующего многочлена подпространства равным 1.
Свойство 1.2. Аннулирующий многочлен подпространства делится без остатка на минимальный аннулирующий многочлен этого же подпространства.
Доказательство. Пусть f(t) –аннулирующий многочлен, а p(t) – минимальный аннулирующий многочлен. Разделим f(t) на p(t) с остатком f(t)=p(t)g(t)+r(t). Тогда для вектора x из W справедливо равенство . Так как степень r(t) меньше степени p(t), и многочлен r(t) аннулирует любой вектор x из W, то единственная возможность r(t)=0.
Теорема 1.3. Минимальный аннулирующий многочлен подпространства равен наименьшему общему кратному минимальных аннулирующих базисных векторов.
Доказательство. Пусть - базис подпространства W, h - минимальный аннулирующий многочлен подпространства W,а - минимальный аннулирующий многочлен вектора , где i=1,…,k. Многочлены являются делителями h(t) (Свойство 1 .1). С другой стороны, наименьшее общее кратное этих многочленов аннулирует все базисные векторы, а значит и любой вектор из W.
Следует отметить, что хотя построение минимального аннулирующего многочлена подпространства и зависит от выбора базиса подпространства, однако сам минимальный аннулирующий многочлен не зависит от выбора этого базиса.
Следствие 1.2. Минимальный аннулирующий многочлен подпространства является делителем характеристического многочлена.
Доказательство. Пусть - базис подпространства W, а - минимальный аннулирующий многочлен вектора , где i=1,…,k. Многочлены являются делителями характеристического многочлена (Теорема 1 .2), следовательно, характеристический многочлен делится и на их наименьшее общее кратное, равное минимальному аннулирующему многочлену подпространства.
Если в качестве подпространства взять все пространство, то минимальный аннулирующий многочлен подпространства называется минимальным аннулирующим многочленом.
Следствие 1.3. Минимальный аннулирующий многочлен является делителем характеристического многочлена и имеет то же самое множество корней.
Доказательство очевидным образом вытекает из следствия 1.1 и свойства 1.2.
В заключение приведем полезное свойство.
Свойство 1.3 Пусть - минимальный аннулирующий многочлен вектора , - минимальный аннулирующий многочлен вектора , и . Тогда минимальный аннулирующий многочлен вектора равен .
Доказательство. Пусть - минимальный аннулирующий многочлен вектора e. Из равенств вытекает, что - аннулирующий многочлен и, значит, делится без остатка на (Свойство 1 .1). По условиям и, следовательно, делится на без остатка. Аналогичным образом устанавливается делимость на . Следовательно, делится на произведение . Поскольку является аннулирующим многочленом вектора e, то свойство доказано.