С.Б. Кадомцев - Аналитическая геометрия и линейная алгебра (1113054), страница 27
Текст из файла (страница 27)
базис пространства Е" ). Следствие 2. Пвдирвстранствв Ь лвллетсл вртвгвнальн м двивлнением ивдирвстранства Ьш поскольку вектор х = у + х (у Е Ь, я Е Ь ) ортогонален всем векторам надпространства Т х тогда и только тогда, когда я = о, а значит, х = у Е Т. Замечание. В ходе доказательства теоремы нам пришлось воспользоваться символом Е, поскольку возникла какая-то ч путаница» с верхними и нижними индексами. Это явление, причина которого вскоре выяснится, типично при рассмотрении ортонормированных базисов. Операторы в Е 129 Доказательство.
Рассмотрим линейный оператор с матрицей А, действующий из К" в %"'. Считая тот базис пространства 2™, в котором числа аг и б; являются координатами столбцов а и Ь, ортонормированным, представим пространство К ' в виде прямой суммы ппА = = 1 (аы ..., аь) и (ии А)з множества всех решений однородной системы (п„х) = 2 а,,х = 0 (1 = 1, ...,.п), т.е. системы А'"х = о. Система г=1 Ах = Ь имеет решение при любых Ь тогда и только тогда, когда любой вектор Ь пространства Б'.
принадлежит пп А, т. е. тогда и только тогда, когда (пи А)х = о, и, следовательно, система Аых = о имеет лишь тривиальное решение. Теорема доказана. Следствие (альтернатива Фредгольма). Либо система линейных уравнений Ах = Ь с вещестоепными козфдгициент ми имеет ргллеиие при любых вещественных правых частях Ь, либо система А"х = о и еет нетрививльиое решение. Замечание 1. Ясно, что система Ах = Ь имеет решение тогда и только тогда., когда Ь е пп А или, что то же самое, век гор Ь ортогонален к любому вектору пространства (пп А) х. Учитывая, что это пространство является множеством всех решений системы А"х = о, мы приходим к следующему выводу: система Ах = Ь мест решение тогда и только тогда когда вектор Ь ортогона гн и любому вектору ядра оператора с матрицей А'".
Замечание 2. Рассмотрим систему Ах = Ь и запишем ее в виде Ах = Ь, + Ьг, где Ь1 е ппА, Ьг е (ппА)г. Умножая обе части этого равенства слева на матрицу А'" и учитывая, что А'"Ьг = о, получим: А"Ах = А"Ьы Но система Ах = Ь, всегда имеет решение, поскольку Ьг е по А. Следовательно, и полученная система, т.е. система А" Ах = = А"'Ь, имеегп решение ири всех Ь.
й 3. Операторы в Е" 1. Сопряженный оператор. Определение. Оператор А* называется сопрязюенным по отношению к оператору А, если для любых векторов х, у имеет место равенство (Ах, у) = (х, А*у). Теорема. Оператор А* явгяется сопрялсштым по отношению к оператору А тогда и только тогдьц когда в ортонормированном базисе матрица А* равна А". Доказательство. Оператор В является сопряженным по отношению к оператору А тогда и только тогда, когда в ортонормированном базисе (Ах, у) = 2 а',хе у' = (х, Ву) = ~ хеб,'у', или 2 (а',.
— ог) х"у': —. О. це е,е е.е Но билинейная форма тождественно равна нулю тогда и только тогда, когда все ее коэффициенты (равные ее значениям на базисных векторах) равны нулю. Следовательно, полученное тождество эквивалентно равенству В = А". Теорема доказана.
В С.Н Калечцее !'л 4. Евклидова пространство 130 Следствие 1. Для любого оператора А существует единственный оператор А' (чтобы найти его матрицу, нужно взять матрицу оператора А в каком-нибудь ортонормированном базисе и транспонировать се). Следствие 2. (А')* = А. 2. Ортогоналъный оператор. Определение 1. ОператорА называется ортогопальпы, если для любых векторов х, у имеет место равенство (Ах, Ау) = (х, у). Замечание. Поскольку ортогональный оператор нс меняет скалярного произведения векторов, то он не меняет длины векторов и углы между ними.
В частности, любой ортонормированный базис он переводит в ортонормированный базис. Геометрически это соответствует повороту и отражению относительно координатных плоскостей. Теорема 1. Если Ь вЂ” инвариантное надпространство ортогонального оператора А, то и Ьх — его инвариантное надпространство. Доказательство. Оператор А переводитортонормированный базис пространства 1 в ортонормированную совокупность векторов пространства Ь, количество которых равно размерности этого пространства, г.е.
в ортонормированный базис пространства 1. Следовательно, А(1 ) = 1. Поэтому для любого вектора х Е Ь существует такой вектор у Е Ь, что Ау = х. Если х й Ь, то для любого х б Ь имеот место равенство (Ая, х) = = (Ая, Ау) = (я, у) = О, поскольку у й Ь.
Теорема доказана. Теорема 2. Оператор А лвляется ортогональным тогда и только пгогда, когда А' = А Д о к аз атал ь ство. Оператор А является ортогональным тогда и только тогда, когда (Ах, Ау) ив е (х, А*Ау) = =(х,у), или (х, А*Ау— — у) = О, т.е. А*Ау =: у илн А*А = Е. Теорема доказана. Следствие. Оператор А яв летел ортогональным гпогда и пюлько тогда, когда в ортопормировапном базисе матрица А ~ равна А'".
Опре.деление 2. Матрица А называется ортогональной, если А '=А'" Таким образом, можно сказать, что оператор явллется ортогональным пюгда и только тогда, когда в ортопормироваппом базисе его матрица-- оргпогопальпая. Замечание 1. По определению ортогональной матрицы АА" (1 при = А'"А = Е, т.е. ~,а,,а ь = 2 а„а, = 1 0, ~' Таким образом, строки (столбцы) ортогональной матрицы — это координаты векторов, образующих ортонормированный базис. Замечание 2.
Поскольку для ортогональной матрицы ААы = Е, то (г1е1 А)г = 1. Если г1ес А = 1, то матрица А называется собствеюшй, а если де1 А = ( — 1), то несобственной ортогональной матрицей. Отметим также, что гюскольку определитель матрицы линейного оператора не зависит от выбора базиса, то определитель матрицы ортогонального оператора в любом базисе равен +1.
Операторы в Е Творе.ма 3. Длл любого ортогонального оператора существует такой ортоноумированный базис, в копюром его матрица имеет вид сое»»1 — гйп р» е1п д» сог.р» сое д» вЂ” гйп р» гйп у» сое р» л Л вЂ” м где Л» = +1. Доказательство. Воспользуемся теоремой 1 и методом математической индукции. При и = 1 справедливость утверждения очевидна. Допусгим, что теорема доказана для п < т — 1, и докажем, что в тком случае она верна и для п = т. Если характеристическое уравнение для данного оператора имеет по крайней мере один вещественный корень Л „то Л„, = х1, поскольку из равенства Ах = Л,„х следует, что (Ах, Ах) = (х,х) = Лг (х,х).
В этом случае для доказательства теоремы достаточно принягь собственный вектор, соответствующий Л, за базисный вектор епн а затем в ортогональном дополнении к Е(е ) привести матрицу оператора к требуемому виду. Возможен, однако, и такой случай: характеристическое уравнение не имеет вещественных корней. Пусть Л + 1р — один из его комплексных корней. Ему соответствует двумерное инвариантное надпространство Ь оператора А (см.п.б з2 гл.2). Выберем ортонормированный базис (е») так, что 1 = 1 (еы ег).
Поскольку Ь ь — также инвариантное подпространство, то матрица оператора в базисе (ег) имеет «блочный» вид амамО.. О а»1 агг О .. О О О А О О Строки ортогональной матрицы — это координаты векторов, образующих ортонормированный базис, поэтому аы + а»г = 1 г г г аг, +агг =1 аыагг + аггагг = О Полагая аы = соз»г, азг = — гйп г», получаем; (аг» агг) (х е1п з» х сое у) ' Гл 4. Евклидова пространство 132 Однако один из этих случаев отпадает, поскольку характеристическое урав/сов гг — Л вЂ” сцп гг пение ( ) = Л- — 1 = О, а значит и характеристическое (, — в1пэг -сову — Л) уравнение для матрицы А, имеют вещественные корни, что противоречит /аг~ аггл /сов гг — в|п<р') предположению.
Следовательно, ( " 'г) = ( ~~1. Для завер~агг агг~ в1п<Р сов Ф / шения доказательства теоремы осталось привести матрицу А к требуемому виду, что возможно в силу предположения индукции. 3. Ортогональные преобразования. Пусть (е,) — ортонормированный базис, (е,) — произвольный базис, е, = о,'е,.
Теорема. Бозио (е;) лв лстсл ортонормироваиным тогда и только тогда, когда матрица о — ортогонолыгал. Доказательство. Базис (е,) является ортонормированным тогда и только тогда, когда (е„е.) = б,, где б,г. = с (1 при Имеем: (О при в Итак, (е,,е ) = Б, тогда и только тогда, когда 2„о,'о' = бггэ т.е. г о'"о = Е, или а ~ = о". Теорема доказана. Следствие.
Произведение ортогон льиых матариц является ортогональной магприцей. Замечание. При ортогона иных преобразованиях,т.е. при переходах от ортонормированных базисов к ортонормированным базисам, исчезает различие между ковариантными и контраваршгнтными тен,горами. В самом деле, рассмотрим, например, тензор типа (1,1) (линейный оператор).