Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Диагонализируемые линейные




Минимальный многочлен линейного оператора и матрицы.

Пусть L – линейное пространство над полем Р, j: L® L – линейный оператор.

Определения.

1. Будем говорить, что многочлен f Î P [t] аннулирует оператор j, если f(j) = 0.

2. Будем говорить, что многочлен f Î P [t] аннулирует квадратную матрицу А, если f(А) = 0.

3. Аннулятором л.о. j называется множество многочленов Ann j = {f Î P [t] | f(j) = 0 }. Аналогично, аннулятором квадратной матрицы А называется множество многочленов Ann А = {f Î P [t] | f(А) = 0 }.

Из Теоремы Гамильтона – Кэли следует, что Ann j ¹ 0, Ann А ¹ 0.

Так как [ f(j) ] = f( [ j ] ), то Ann j = Ann [ j ].

Определение. Минимальным многочленом линейного оператора j называется ненулевой многочлен fj наименьшей степени из Ann j со старшим коэффициентом, равным единице. Аналогично определяется минимальный многочлен

fA матрицы A.

Утверждение. Для л.о. j (соответственно, для матрицы А) минимальный многочлен определен однозначно.

Доказательство. Пусть f1j, f2j - два минимальных многочлена для j. Тогда ст.f1j = ст. f2j Þ ст.(f1j - f2j)< ст.f1j, и f1j - f2j Î Ann j Þ f1j - f2j = 0 Þ f1j = f2j.

ÿ

Утверждение. Если f Î Ann j, то fj | f.

Доказательство. Разделим f на fj с остатком:

f = q fj +r, ст. r < ст. fj Þ r(j) = f(j) - q(j) fj(j)= 0 Þ r= 0.

ÿ

16.7. Инвариантные подпространства линейных операторов, действующих в векторных пространствах над R и над С.

Теорема. Пусть Ln – линейное пространство над полем С, п >1, j: Ln ® Ln - линейный оператор. Тогда в Ln существует одномерное j- инвариантное подпространство.

Доказательство следует из замечания в п. 16.4 и из того, что поле С алгебраически замкнуто.

Теорема. Пусть Ln – линейное пространство над полем R, п >1, j: Ln ® Ln - линейный оператор. Тогда в Ln существует j- инвариантное подпространство размерности £ 2.

Доказательство. Пусть cj(t)=р1(t)×р2(t)×…×рm(t) - разложение характеристического многочлена на неприводимые множители над полем R. Тогда все множители рi(t) имеют степень 1 или 2. По теореме Гамильтона – Кэли cj(j)=0 Þ р1(j)×р2(j)×…×рm(j) = 0 Þ det(р1(j)×р2(j)×…×рm(j)) = 0 Þ

det р1(j)×det р2(j)×…×det рm(j)= 0 Þ $ i: det рi(j)= 0.

а) Пусть ст. рi(t) = 1. Можно считать, что рi(t) = t - l0 Þ

рi(j)= j - l0 id, det (j - l0 id) = 0 Þ Ker (j - l0 id) ¹ 0 Þ

Ker (j - l0 id)' s ¹ 0, s собственный вектор, <s > - одномерное j- инвариантное подпространство.

б) Пусть ст. рi(t) = 2. Можно считать, что рi(t) = t 2 + аt + b,

рi(j)=j 2 +аj + b× id. Так как det рi(j)= 0, то Ker рi(j) ¹ 0

Þ Ker рi(j) ' и ¹ 0 Þ (j 2 + аj + b× id)и = 0 Þ

j 2и = - аj и - bu. Пусть v = j и, V = < и, v >. Тогда V - j- инвариантное подпространство, так как j и = v Î V,

j v = j 2и = - аj и – bu = - аv - bu Î V (см. также вывод 2 из п. 16.1), и dimV £ 2.

ÿ

Упражнение. Доказать, что в случае б) dimV = 2.




Поделиться с друзьями:


Дата добавления: 2014-01-04; Просмотров: 383; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.009 сек.