Главная » Просмотр файлов » В.А. Ильин, Э.Г. Позняк - Линейная алгебра

В.А. Ильин, Э.Г. Позняк - Линейная алгебра (1152751), страница 32

Файл №1152751 В.А. Ильин, Э.Г. Позняк - Линейная алгебра (В.А. Ильин, Э.Г. Позняк - Линейная алгебра) 32 страницаВ.А. Ильин, Э.Г. Позняк - Линейная алгебра (1152751) страница 322019-08-03СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 32)

Нетрудно видеть, что такое представление является единственным. Мы докажем следующую теорему о симметричных билинейных формах (эта теорема служит аналогом теоремы 5.25 об эрмитовых формах). Теорема 5.33. Для того чтобы билинейная форма В(х, у), заданная на всевозможных векторах х и у вещественного евклидова пространства Ъ', была симметричной, необходимо и достаточно, чтобы линейный оператор А, фигурирующий в представлении (5.113), бгял самосоиряженнгям.

Д о к а з а т е л ь с т в о. Если А — самосопряженный оператор, то, используя свойства скалярного произведения, получим В(х, у) = (Ах, у) = (х, Ау) = (Ау, х) = В(у, х). Таким образом, выполняется соотношение (5.114), т.е. билинейная форма В(х, у) = (Ах, у) симметричная. (гл. 5 148 ЛИНЕИНЫЕ ОПЕРЛТОРЫ с$с! (А — Л1) = О самосопряженного оператора А. Фиксируем в Ъ' какой-либо базис (еь) и обозначим через а,ь элементы матрицы оператора А в этом базисе (отметим, что а ь— вещественные числа). Будем искать ненулевое решение слсдуюшсй системы линейных однородных уравнений относительно С!, ~а, ..., С„: 2 ать~а = Л~зч 1 = 1, 2, ..., и, ь=! (5.1 !6) где Л = о + ч,З. Так как определитель системы (5.1!6) равен дех(А — Л1) (напомним, что определитель матрипы линейного преобразования не зависит от выбора базиса и, согласно (5.115), этот определитель равен нулю), то система (5.116) однородных линейных уравнений имеет ненулевое решение Сь = ха + 4ую 1с = 1, 2, ..., и..

Если же форма В(х, у) = (Ах, у) симметричная, то справедливы соотношения (Ах, у) = В(х, у) = В(у, х) = (Ау, х). Следовательно, оператор А самосопряженный. Теорема доказана. Введем понятие матрицы линейного оператора А. Пусть е!, е!,... ..., ен — какой-либо базис в и-мерном вещественном линейном пространстве Ь. Положим Аеь = 2 к' аье!. !=! Тогда, как и в комплексном случае, нетрудно показать, что если х = 2 лчеь, то для компонент вектора у = Ах справедливо представь=! ление у' = 2 а'„х".

ь=! Матрица А = (аь) называется матрицей линейного оператора А в базисе (еь). Аналогично тому, как это было сделано в 8 2 настоящей главы, можно доказать, что величина бег А не зависит от выбора базиса и, тем самым, корректно вводится определитель де!А оператора А. Характеристическим уравнением, отвечающим оператору А, называется уравнение г!ет(А — Л1) = О, а многочлен, стоящий в левой части этого уравнения, называется характеристическим многочлвном оператора А.

Докажем теперь теорему о корнях характеристического многочлена самосопряженного оператора в вещественном евклидовом пространстве. Теорема 5.34. Всг корни характеристического многочлена само- сопряженного линейного оператора А в евклидовом пространстве вещественны. Доказательство. Пусть Л = о + з,9 — корень характеристического уравнения (5.1! 5) й9) !49 линейные опеглтогы Подставляя это решение в правую и левую части системы (5.1!б), учитывая при этом, что Л = о + !д, и отделяя затем вещественную и мнимую части полученных соотношений, найдем, что наборы (хы хз,..., х ) и (ун уз,..., у„) вещественных чисел ') удовлетворяют следующей системе уравнений: а,ьхь =- ох, — ду,, ь=о (5.117) а,куй = ау, — ' дх,, У =- 1, 2,..., п.

ь=! Рассмотрим в данном базисе еы ем ..., е„векторы х и у с координатами хн хз, ..., х„и уы уз, ..., у„соответственно. Тогда соотношения (5.11?) можно переписать в виде Ах = ох — ду, Ау = ау+ фх. Умножнм первое из полученных соотношений скалярно на у, а второе на х. Очевидно, получим равенства (Ах, у) = о(х, у) — д(у, у), (х, Ау) = о(х, у) + р(х, х). (5.1 18) Так как оператор А самосопряженный, то (Ах, у) = (х, Ау). Поэтому путем вычитания соотношений (5.1!8) получим равенство )7[(х, х) + (у, у)) = О. Но (х,х) + (у, у) ~ О (если (х,х) + (у, у) = О, то хь = О и уь = О, к = 1, 2,..., и; следовательно, решение сь = хь + !ул было бы нулевыы, тогда как по построению это решение ненулевое).

Поэтому р = О, а так как д мнимая часть корня Л = о + Ц характеристического уравнения (5.115), то, очевидно, Л -- вещественное число. Теорема доказана. Как и в комплексном случае, для самосопряженного оператора справедливо утверждение о существовании ортонормированного базиса, состоящего нз собственных векторов этого оператора (аналог теоремы 5.21). Докажем это утверждение. Теорема 5.35.

У каждого самосопряжвнного линейного оператора А, действующего в и-мерном вещественном евклидовом пространстве ~', существует ортонормированный базис из собственных векторов. Д о к а з а т е л ь с т в о. Пусть Л ~ — вещественное собственное значение оператора А, а е! — единичный собственный вектор, отвечающий этому собственному значению ((~е1(~ = 1). Обозначим через 1:1 (и — 1)-мерное подпространство пространства $', ортогональное к ею Очевидно, 1ч — инвариантное подпространство пространства !г (т.е. если х е Уи то Ах е 1:1). Дей- ') Напомним, что не зсе этн числа равны нулю.

(гл. 5 150 линеЙные ОпеРлтОРы ствительно, пусть х Е 'РИ тогда (х, е|) = О. Поскольку оператор А самосопряженный и Л1 — собственное значение А, получим (Ах, е1) = =- (х, Ае1) = Л1(х, е1) = О. Следовательно, Ах е Ъ'и и поэтому Ъ'1 — инвариантное подпространство оператора А. Поэтому мы можем рассматривать оператор А в подпространстве $'~. Ясно, что в Рт оператор А будет самосопряженным.

По теореме 5.34 у оператора А, действующего в 11, имеется вещественное собственное значение Ла, которому отвечает собственный вектоР ез Е Ъ) опеРатоРа А, УдовлетвоРЯющий Условию 5ез5 = !. Обращаясь далее к (и — 2)-мерному подпространству Ъ~, ортогональному векторам е| и ею и повторяя только что описанные рассуждения, мы построим собственный вектор ез оператора А, ортогональный векторам е~ и ез и удовлетворяющий условию ~~ез~~ = 1. Рассуждая и дальше таким же образом, мы в результате найдем и взаимно ортогональиых собственных векторов ен ею..., е„оператора А, удовлетворяющих условию 5еь5 = 1, й = 1, 2,..., и. Очевидно, векторы (еь) образуют базис в К Теорема доказана.

3 а м е ч а н и е, Пусть еи ею..., е„— ортонормированный базис в а-мерном евклидовом пространстве 1', состоящий из собственных векторов самосопряженного оператора А, т. е. Аеь = Льею Тогда матрица оператора А в базисе (еь) является диагональной, причем диагональные элементы имеют вид а,„ = Лю ь Отметим, что если (еь) — произвольный ортонормированный базис в вещественном евклидовом пространстве Ъ', то матрица самосопряженного оператора А будет симметричной, т.е. А' = А. Верно и обратное утверждение, т.е. если в некотором ортонормированном базисе (еь) матрица оператора является симметричной, то оператор А— самосопряженный. Этим вещественный случай отличается от комплексного, поскольку в комплексном случае оператор А является самосопряженным тогда и только тогда, когда матрица А этого оператора в ортонормированном базисе является эрмитовой, т.е. элементы а' матрицы А удовлетворяют условию а'„= а," (черта означает комплексное сопряжение).

Указанное утверждение непосредственно следует из того, что если (и'„) — матрица оператора А, то матрица сопряженного оператора в вещественном случае равна (а~), а в комплексном случае — (ай), что легко проверяется прямым вычислением. 2. Ортогоиальные операторы. В комплексном евклидовом пространстве важную роль играют унитарные операторы, введенные в 2 7. Аналогом унитарных операторов в вещественном евклидовом пространстве являются ортогональные операторы.

Определение 1. Линейный оператор Р, действующий в вещественном евклидовом пространстве Ъ', называется ортогональным, если для любых х и у из Ъ' выполняется равенство (Рх, Ру) = (х, у). (5.119) !5! 99) линеиные опеглтогы Таким образом, ортогональный оператор сохраняет скалярное произведение. Отсюда непосредственно следует, что если е!, еа,..., е„— ортонормированный базис евклидова пространства 1г, то Ре!, Реэ,... ..., Ре„ также является ортонормированным базисом. В дальнейшем условие (5.1!9) будем называть условием ортогональности оператора Р.

Справедливо следующее утверждение. Теорема 5.36. Для того чтоб!я линейный оператор Р бьгл ортогональным, необходимо и достаточно, чтобы существовал оператор Р ' и было выполнено равенство Р" =Р (5. 120) где Р* — оператор, сопряженный к Р, а Р ' — оператор, обратный к Р. Доказательство. !) Необходимость. Пусть Р— ортогональный оператор, т.е. выполняется условие (5.119).

Применяя сопряженный оператор Р*, это условие можно записать в виде (Р'Рх, у) = = (х, у). Таким образом, для любых х и у выполняется равенство ((Р*Р— 1)х, у) = О. Фиксируя в этом равенстве любой элемент х, считая у произвольным, получим, что линейный оператор Р*Р— 1 действует по правилу (Р*Р— 1)х = О. Следовательно, Р*Р = 1; совершенно аналогично можно убедиться, что РР* = 1. Таким образом, операторы Р* и Р взаимно обратны, т. е. условие (5.120) выполнено. 2) Достаточность.

Пусть выполнено условие (5.120). Тогда, очевидно, РР" = Р*Р =1. Обращаясь к определению сопряженного оператора и используя только что написанные соотношения, получим для любых х и у равенства (Рх, Ру) = (х, Р*Ру) = (х, 1у) = (х, у). Мы видим, что условие (5.119) выполнено, следовательно, оператор Р ортогональный.

Характеристики

Тип файла
PDF-файл
Размер
20,4 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6417
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее