![](/user_photo/2706_HbeT2.jpg)
- •Лекция №1 (2 семестр)
- •Лекция №2 (2 семестр)
- •Лекция №3 (2 семестр)
- •Лекция №4 (2 семестр)
- •Лекция №5 (2 семестр)
- •Лекция №6 (2 семестр)
- •Лекция №7 (2 семестр)
- •Лекция №8 (2 семестр)
- •Лекция №9 (2 семестр)
- •Лекция №10 (2 семестр)
- •Лекция №11 (2 семестр)
- •Лекция №12 (II семестр)
- •Лекция №13 (II семестр)
- •Лекция №14 (II семестр)
- •Лекция №15 (II семестр)
- •Лекция №16 (II семестр)
- •Лекция №17 (II семестр)
- •Лекция №18 (II семестр)
- •Лекция №19 (II семестр)
- •Лекция №20 (II семестр)
- •Лекция №21 (II семестр)
- •Лекция №22 (II семестр)
- •Лекция №23 (II семестр)
- •Лекция №24 (II семестр)
- •Лекция №25 (II семестр)
- •Лекция №26 (II семестр)
Лекция №22 (II семестр)
Тема:Теорема о существовании и единственности разложения оператора в прямую сумму операторов с заданными характеристическими многочленами. Корневые подпространства. Теорема Гамильтона-Кэли.
Содержание:
Теорема : С помощью любого операторного многочлена можно осуществить разложение оператора А в прямую сумму.
Доказательство: Рассмотрим последовательность операторов
Этим
операторам соответствуют ядра
.
1.
Покажем сначала, что если существует
,
такое, что
.
Доказательство:
Пусть
2.
Рассмотрим для операторов
их образы
,
т.е.
– область значений оператора
,
мы знаем, что
.
Пусть
q
– наименьшее целое положительное число,
такое, что
,
ему соответствует образ
,
.
В самом деле, если вектор
Каждый
из корней характеристического многочлена
оператора, индуцированного оператором
А на подпространство
является корнем многочлена
.
Ни один из корней характеристического
многочлена оператора, индуцированного
оператором А на подпространство
,
не является корнем многочлена
,
в самом деле, нам известно, что все
собственные векторы оператора А должны
находиться в подпространствах
и
,
при этом в
находятся те из них, которые соответствуют
собственным значениям, совпадающим с
какими-то корнями многочлена
,
а в
находятся те из них, для которых
собственные значения не совпадают ни
с какими корнями многочлена
.
Теорема
:
Пусть
характеристический многочлен
оператора
представим
в виде произведения двух многочленов:
,
не
имеющих общих корней. Тогда оператор
А можно
единственным образом
разложить
в прямую сумму операторов
В
и
С (
),
так,
что оператор
В имеет
характеристический
многочлен
,
а оператор
С –
.
Доказательство:
1. Рассмотрим разложение оператора А в прямую сумму, получающуюся с помощью многочлена . Так как произведение характеристических многочленов операторов, определяющее прямую сумму, совпадает с многочленом , то существование такого разложения вытекает из теоремы 16.
2.
Пусть
,
где подпространства N
и T
инвариантны относительно оператора А
и при этом оператор, индуцированный
оператором А на подпространство N,
имеет в качестве характеристического
многочлена
,
а оператор, индуцированный оператором
А на подпространство Т, имеет в качестве
характеристического многочлена
.
Тогда, по теореме 13,
для всех достаточно больших k,
но отсюда следует, что
.
Оператор
является невырожденным на Т, так как
– характеристический многочлен
оператора, индуцированного оператором
А на T,
и
и
не имеют общих корней, следовательно,
множество образов векторов из T
по отношению к оператору
совпадает с T,
но тогда
для
.
Подпространства N
и T
и
и
в
прямой сумме образуют все пространство
X.
Мы имеем, что
,
,
и
.
Пусть
оператор
,
.
Пусть
– характеристический многочлен оператора
А. Так как все происходит на комплексном
линейном пространстве С, то
,
где
– собственные значения (попарно
различные),
.
Рассмотрим многочлены
.
Они являются делителями характеристического
многочлена
,
и никакая пара из них не имеет общих
корней. По теореме 17 существуют
инвариантные подпространства относительно
оператора А
такие, что
,
при этом размерности
,
.
Характеристический многочлен оператора,
индуцированного оператором А на
подпространство
– это
.
Определение:
Подпространства
называются корневыми подпространствами
оператора А, соответствующими собственному
значению
.
Векторы корневого подпространства
называются корневыми векторами.
Т.о.,
оператор А может быть разложен в прямую
сумму операторов, индуцированных этим
оператором на корневых подпространствах.
Корневое подпространство
совпадает с ядром оператора
при некотором целом положительном q.
В действительности, в данном случае
можно считать
.
В самом деле, рассмотрим операторы
,
где
.
Пусть
– это наименьшее число, для которого
ядро оператора
совпадает
с ядром оператора
.
Тогда корневое подпространство
будет совпадать с ядром оператора
,
т.к. размерность ядер операторов
при
монотонно возрастает, а размерность
корневого подпространства
,
то
,
т.е.
.
Т.о.,
корневое подпространство
,
соответствующее собственному значению
кратности
совпадает с ядром оператора
.
Теорема : (Теорема Гамильтона-Кэли)
Если – характеристический многочлен оператора А, то – нулевой оператор (оператор является корнем своего характеристического многочлена).
Доказательство:
Пусть
.
Так как линейное пространство X
представимо в виде прямой суммы корневых
подпространств
,
то вектор
единственным образом представим в виде:
,
где
.
так
как
.
Библиография:
1. Воеводин В.В. Линейная алгебра. СПБ.: Лань, 2008, 416 с.
2. Беклемишев Д. В. Курс аналитической геометрии и линейной алгебры. М.: Физматлит, 2006, 304 с.
3. Кострикин А.И. Введение в алгебру. часть II. Основы алгебры: учебник для вузов, -М. : Физико-математическая литература, 2000, 368 с.