Beklemishev D.V. Kurs analiticheskoj geometrii i linejnoj algebry.. Ucheb. dlya vuzov (10e izd., FML, 2005)(ru)(T)(K)(600dpi)(304s)_MAt_ (522337), страница 47
Текст из файла (страница 47)
Действительно, А(х) = В(х) + Л,х е еЕз. Жорданов базис корневого надпространства объединение базисов циклических подпространств. Поэтому мы получаем Предложение 4. Если В . — нильпвтентнве преобразование 47. Теорема Жердина 211 пространства М', то л' рас ~адается в прямую сумму ,М'= 'б1 сз ... 1ВЖл циклических относительно В подпространств. Их число равно размерности д собственного надпространства Кег В. 4.
Теорема Жордана. Из прсдложений 1 и 4 прямо следует Предложение 5. Если в комплексном пространстве 2' задано линейное преобразование А, то К -- прямая сумма инвариакткых относительно А циклических надпространств. Их число равно общему числу всех цепочек в жордановол1 базисе пространства .2', т. е. и1 + ...
+ йе, где с1, = ьйгп Кег (А — Л, Е'1. ЛКорданов базис пространства 2' объединение базисов инвариантных подпространств, и по предложению 2 з4 матрица преобразования А в этом базисе клеточно-диагональная. При этом диагональные клетки этой матрицы являются матрицами ограничений А на соответствующих подпространствах. Поэтому, если мы хотим получить вид матрицы преобразования в жордановом базисе, мы должны сначала написать матрицу ограничения А на циклическом подпространстве.
Пусть циклическое подпространство принадлежит корневому подпрострапству с собственным значением Л; и натннуто на векторы цепочки ео, ..., еь. Мы имеем А(е~) = В(е11+ Л,е1 (1 = 0,...,6), и по формулам (10) о~ Л о А( 1) о+Л 1 А( ь) ь — 1+ .ь Столбцы матрицы преобразования это координатные столбцы образов базисных векторов. Поэтому матрица ограничения А в рассматриваемом базисе имеет вид Л; 1 0 ... 0 0 Л, 1 ...
0 0 0 0 ... 1 0 0 0 ... Л, Матрица такого вида называется зеординовой клеткой порядка Ь+ 1 с собственным значением Ло Клеточно-диагональная матрица, у которой клетки жордановы, называется жордаковой матрицей или матрицей, имеющей жорданову форму.
Из всего сказанного вытекает теорема Жордана. Теорема 2. Для любого линейного преобразования комплексного линейного пространства существует базис (жорданов базис), в котором егв матрица ил<еет жорданову форму. 1Корданов базис для данного преобразования, конечно, не единствен: базис ео,...,еоз в каждом корневом пространстве выбирается с 1л. Уй Линейные пространстве 212 некоторым произволом, и присоединенные векторы по формулам (10) определены не однозначно.
Однако, как видно из построении, корневые надпространства (н в каждом из них число собственных векторов, с которых начинаютсн цепочки определенной длины) определяются геометрически — инвариантными подпространствами преобразования. Таким образом, жорданова форма матрицы преобразования определена единственным образом с точностью до порядка расположения клеток на главной диагонали. Собственные значения клеток - это собственные значения преобразования. При этом все жордановы клетки с одним и тем же собственным значением объединяются в одну большую клетку, соответствующую корневому надпространству. Жорданова матрица треугольная. Поэтому кратность собственного значения Л, ранна Ло если Л, встречается на диагонали матрицы Л, раз. Отсюда сразу следует Предложение 6.
Размерность корневого надпространства равна кратности его собственного значения в характеристическом многочлене. 5. Приведение к жордвновой форме. Нахождение жорданова базиса, или, как говорят, приведение матрицы преобразования к жордановой форме облегчается тем, что при этом нет нужды искать корневые надпространства.
Они получатся автоматически после того, как будут построены соответствующие жордановы цепочки. Действительно, длн построения цепочек достаточно найти для каждого корни Л, его собственное надпространство и вложенные в него подпространства "1;, ...г "*, определяющие, с каких собственных векторов 1 начинаются цепочки. Согласно определению гз = (А — Л;Е)Ц,Х;) О Кег(А — Л,Е), но тут не надо находить,т;.
Дело в том, что ~А — ЛзЕ)'(,У) О Кег(А — Л,Е) = = (А — Л,Е)'(,Ж,) й Кег(А — Л;Е). (9) Действительно, любой вектор х из У раскладывается в сумму векторов из корневых надпространств х = хз + ... + х, и (А — Л,ЕИх) = = уз + " + у„где у, = (А — Л, Е) (хз) Е М;, так как корневые надпространстваа инвариантны. При этом если х. ~ о при 1 ф з, то и у у: о, так как Кег(А — ЛьЕ) С.зы.
По этим сообразкениям вектор, не лежащий в,Х,, не может перейти в вектор из М,. Отсюда сразу следует (9) и г', = (А — Л;Е)'(2') и Кег(А — ЛзЕ), Рассмотрим в качестве примера преобразование А шестимерного 47. Теорема Жордаяа 213 базисе о о о о 0 1 4 О О 3 о иней пространства, заданное в некотором матр о о 0 — 9 о — 2 2 0 1 О 1 О 0 0 1 о о о о о о о о Нетрудно подсчитать, что характеристический многочлен А равен (Л вЂ” 1)з(Л вЂ” 2)з, и, следовательно, имеются два корневых подпространства размерности 3 каждое. Начнем с корня Л~ = 1.
Составим матрицу 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 — 9 0 0 — 1 0 2 0 0 0 0 1 0 — 3 0 0 1 0 0 0 0 — 1 0 0 0 0 0 0 — 1 0 1 0 0 0 0 2 0 — 9 0 0 — 1 0 1 0 0 0 0 1 0 — 4 Из однородной системы уравнений с такой матрицей следует, что собственное подпространство одномерно, и его базисный вектор Ь имеет координатный столбец 13 = (~ 1 0 0 0 0 О (~т.
Так как корневое пространство трехмерное, к Ь должны быть два присоединенных век- Решая однородную систему линейных уравнений с этой матрицей, находим, что собственное надпространство натянуто на векторы аз и аа с координатными столбцами, соответственно а~ = ~~ 0 1 0 0 0 0 ~~а и схл = (! 0 0 0 3 0 1 (!т . Собственное под пространство двумерное, а корневое трехмерное. Значит, должен быть один присоединенный вектор. Чтобы найти., к какому собственному вектору он присоединен, ищем пересечение "~' собственного подпространства с 1ш (Д вЂ” Е), которое 1 натянуто на столбцы матрицы А — Е. Легко заметить, что четвертый столбец И вЂ” Е совпадает с сха. Так как а~ не раскладывается по столбцам А — Е, размерность сумллы подпространств равна 5, а сумма размерностей .—.
6. Значит, пересечение одномерно, и базис н нем аз. Решим систему уравнений (А — Е)~ = гхз и найдем координатный столбец гхз = (! 0 0 0 1 0 0 ((т присоединенного вектора аз. После этого жорданов базис первого корневого подпространства построен. Для корпя Лз = 2 составляем матрицу Гь 'гй Пинейнне пространства 214 тора.
Первый присоединенный получаел~ из системы (А — 2Е)?Г. = ?З. Его координатный столбец есть?З~ — — ~~ О 0 1 0 1 О йт. Второй присоединенный — решение системы (А — 2Е)?Р = Д. Его координатный столбец,Зз = (! 0 0 0 0 1 0)п~. Итак, жорданов базис состоит из трех цепочек: цепочка аг длины 1, цепочка аз, аз и цепочка Ь, Ьы Ьз. Координатные столбцы этих вектоРов гхы гхз,гхз, Д„Зы 13 составлЯют матРицУ пеРехода Я от исходного базиса к жорданову базису. Учитывая порядок, в котором мы расположили векторы жордановых цепочек, мы можем выписать жорданову матрицу А', которую имеет А в построенном базисе. В матрице Я выделены жордановы цепочки, а в матрица .4' --. соответствующие люрдановы клетки; 0 0 0 0 0 0 3 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 Рекомендуем читателю проделать все описанные здесь вычисления.
1 — 1 Π— 1 О 1 1 1 О 1/2 О 1 1 1 0 0 О 0 1 1?2 0 0 0 0 1 3 — 1 0 — 1 1 1 0 — 1 О О 2 — 1 0 0 1 О б) а) Упражнения 1. Сколько существует жордановых матриц, отличающихся кратностями характеристических чисел, числом н размсрами клеток, среди матриц: а) второго порядка; б) третьего порядка: в) четвертого порядка'? 2. Найдите жорданову форму матрицы н матрицу перехода к жорданову базису для преобразования, заданного в исходном базисе матриней: ГЛАВА ЪП ЕВКЛИДОВЫ И УНИТАРНЫЕ ПРОСТРАНСТВА в 1.
Евклидовы пространства 1. Скалярное произведение. Линейное пространство, введенное в предыдущей главе, существенно отличаотся от множества векторов обычного геометрического пространства тем, что в линейном пространстве не определены понятия длины вектора и угла мегнду векторами. В настоящей главе мы изучим такие пространства, в которых эти понятия определены. В гл.
1, используя длину вектора и угол, мы определили скалярное произнедение. Здесь удобнее поступить наоборот. Мы аксиома- тически определим операцию скалярного умножения, а длину и угол определим с ее помощью. Определение скалнрного умножения для вещественных и для комплексных пространств формулируется различно. Этот параграф посвящен вещественным пространствам. О п редел е н и е. Вещественное линейное пространство б" называется енклидовым, если в нем определена операция скалярного улзкогкекия: любым двум векторам х и у из б'сопоставлено вещественное число (обозначаемое (х,у)), и это соответствие удовлетворяет следующим требованиям, каковы бы ни были векторы х, у и г и число сс 1) (х,у) =(у,х):.