Доказательство этой теоремы выходит за пределы курса

Лекция 2

12. Линейные подпространства.

Определение 12.1. Подмножество Доказательство этой теоремы выходит за пределы курса - student2.ru линейного пространства L называется линейным подпространством, если

Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru .

Справедливость аксиом линейного пространства для L Доказательство этой теоремы выходит за пределы курса - student2.ru прямо вытекает из их справедливости в L. Таким образом, каждое линейное подпространство само является линейным пространством.

Пусть дано некоторое множество P векторов в линейном пространстве L. Совокупность всевозможных линейных комбинаций, каждая из которых составлена из конечного числа векторов, принадлежащих P, называется линейной оболочкой множества P. Покажем, что линейная оболочка L Доказательство этой теоремы выходит за пределы курса - student2.ru множества P является линейным подпространством.

В самом деле, если Доказательство этой теоремы выходит за пределы курса - student2.ru , то Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru , где все Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru принадлежат P. Тогда Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru , т.е. сумма векторов Доказательство этой теоремы выходит за пределы курса - student2.ru и произведение вектора Доказательство этой теоремы выходит за пределы курса - student2.ru на число Доказательство этой теоремы выходит за пределы курса - student2.ru снова являются линейными комбинациями конечного числа векторов из P.

Приведем еще два примера линейных подпространств.

1. Сумма двух геометрических векторов в одной плоскости и произведение вектора на число лежат в той же плоскости. Следовательно, множество всех геометрических векторов в плоскости есть линейное подпространство множества всех геометрических векторов в пространстве.

2. Рассмотрим однородную систему линейных уравнений с n неизвестными. Каждое решение такой системы есть элемент пространства Доказательство этой теоремы выходит за пределы курса - student2.ru . Так как сумма двух решений однородной системы и произведение решения на число являются решениями той же системы, то совокупность всех решений однородной системы линейных уравнений с n неизвестными есть линейное подпространство пространства Доказательство этой теоремы выходит за пределы курса - student2.ru .

13. Евклидово пространство.

Понятия длины вектора и угла между ними в линейном пространстве введем с помощью скалярного произведения, которое определим аксиоматически.

Определение 13.1. Числовая функция вида L×L→R, сопоставляющая каждой паре векторов Доказательство этой теоремы выходит за пределы курса - student2.ru некоторое вещественное число, обозначаемое Доказательство этой теоремы выходит за пределы курса - student2.ru , называется скалярным произведением векторов Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru , если выполнены следующие четыре условия (аксиомы):

1) Доказательство этой теоремы выходит за пределы курса - student2.ru ; 2) Доказательство этой теоремы выходит за пределы курса - student2.ru ;

3) Доказательство этой теоремы выходит за пределы курса - student2.ru ; 4) Доказательство этой теоремы выходит за пределы курса - student2.ru ,

причем Доказательство этой теоремы выходит за пределы курса - student2.ru тогда и только тогда, когда Доказательство этой теоремы выходит за пределы курса - student2.ru .

Определение 13.2. Конечномерное линейное пространство с заданным скалярным произведением называется евклидовым и обозначается E.

Приведем примеры евклидовых пространств.

1) В пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru скалярное произведение векторов Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru

зададим формулой Доказательство этой теоремы выходит за пределы курса - student2.ru . Нетрудно проверить, что так определенное скалярное произведение удовлетворяет всем перечисленным выше четырем аксиомам. Следовательно, пространство Доказательство этой теоремы выходит за пределы курса - student2.ru превращается в n-мерное евклидово, которое называется n-мерным координатным евклидовым пространством и обозначается Доказательство этой теоремы выходит за пределы курса - student2.ru .

2) В линейном пространстве геометрических векторов на плоскости или в пространстве скалярное произведение задается формулой

Доказательство этой теоремы выходит за пределы курса - student2.ru . Доказательство этой теоремы выходит за пределы курса - student2.ru

В разделе «Векторная алгебра» показывается, что так определенное скалярное произведение удовлетворяет всем четырем аксиомам скалярного произведения.

Определение 13.3. Длиной вектора Доказательство этой теоремы выходит за пределы курса - student2.ru в евклидовом пространстве называется число Доказательство этой теоремы выходит за пределы курса - student2.ru , определяемое формулой

Доказательство этой теоремы выходит за пределы курса - student2.ru . (13.1)

Углом между двумя ненулевыми векторами Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru называется число Доказательство этой теоремы выходит за пределы курса - student2.ru , удовлетворяющее условию

Доказательство этой теоремы выходит за пределы курса - student2.ru . (13.2)

В силу четвертой аксиомы длина вектора есть вещественное неотрицательное число, равное нулю тогда и только тогда, когда вектор нулевой. Определение (13.2) будет корректным лишь в том случае, когда Доказательство этой теоремы выходит за пределы курса - student2.ru или

Доказательство этой теоремы выходит за пределы курса - student2.ru . (13.3)

Неравенство (13.3) носит название неравенства Буняковского. Докажем его справедливость. При любых Доказательство этой теоремы выходит за пределы курса - student2.ru и любых Доказательство этой теоремы выходит за пределы курса - student2.ru в силу аксиом скалярного произведения имеем:

Доказательство этой теоремы выходит за пределы курса - student2.ru ,

так как Доказательство этой теоремы выходит за пределы курса - student2.ru то

Доказательство этой теоремы выходит за пределы курса - student2.ru . (13.4)

Полагая в (13.4) Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru получим Доказательство этой теоремы выходит за пределы курса - student2.ru .

Отсюда при Доказательство этой теоремы выходит за пределы курса - student2.ru вытекает доказываемое неравенство. В случае Доказательство этой теоремы выходит за пределы курса - student2.ru обе части неравенства (13.3) равны нулю.

Определение 13.4. Векторы Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru в евклидовом пространстве называются ортогональными, если Доказательство этой теоремы выходит за пределы курса - student2.ru .

Нулевой вектор по определению считается ортогональным любому вектору. Заметим, что ортогональность геометрических векторов означает их перпендикулярность.

Определение 13.5. Система векторов Доказательство этой теоремы выходит за пределы курса - student2.ru в евклидовом пространстве называется ортонормированной, если

Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru . (13.5)

Теорема 13.1. Ортонормированная система векторов линейно независима.

Доказательство. Пусть Доказательство этой теоремы выходит за пределы курса - student2.ru - ортонормированная система векторов. Рассмотрим равенство Доказательство этой теоремы выходит за пределы курса - student2.ru . Обе части этого равенства умножим скалярно на Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru . В силу (13.5) все слагаемые кроме i-го обратятся в нуль и мы получим Доказательство этой теоремы выходит за пределы курса - student2.ru .

Таким образом, каждая равная нулю линейная комбинация векторов Доказательство этой теоремы выходит за пределы курса - student2.ru - тривиальная, т.е. система векторов Доказательство этой теоремы выходит за пределы курса - student2.ru линейно независима.

Определение 13.6. Ортонормированным базисом в n-мерном евклидовом пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru называется любая ортонормированная система n векторов.

Пусть в n-мерном евклидовом пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru задан ортонормированный базис Доказательство этой теоремы выходит за пределы курса - student2.ru и пусть Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru . Тогда в силу аксиом скалярного произведения Доказательство этой теоремы выходит за пределы курса - student2.ru . Отсюда на основании (13.5)

Доказательство этой теоремы выходит за пределы курса - student2.ru , (13.6)

т.е. в ортонормированном базисе скалярное произведение двух векторов равно сумме по парных произведений их соответствующих координат. Из (13.6) непосредственно следует

Доказательство этой теоремы выходит за пределы курса - student2.ru ,

т.е. в ортонормированном базисе длина вектора равна корню квадратному из суммы квадратов его координат.

Пусть в n-мерном евклидовом пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru задана линейно независимая система n векторов Доказательство этой теоремы выходит за пределы курса - student2.ru . Построим n векторов Доказательство этой теоремы выходит за пределы курса - student2.ru по формулам: Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru , где Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru , где Доказательство этой теоремы выходит за пределы курса - student2.ru , …, Доказательство этой теоремы выходит за пределы курса - student2.ru где Доказательство этой теоремы выходит за пределы курса - student2.ru .

Доказывается, что система векторов Доказательство этой теоремы выходит за пределы курса - student2.ru ортонормированная. Указанный метод построения ортонормированной системы векторов по заданной линейно независимой системе векторов называется ортогонализацией этой системы.

Рассмотрим в n-мерном евклидовом пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru два ортонормированных базиса Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru . Пусть Доказательство этой теоремы выходит за пределы курса - student2.ru - матрица перехода от базиса Доказательство этой теоремы выходит за пределы курса - student2.ru к базису Доказательство этой теоремы выходит за пределы курса - student2.ru . Согласно (11.7)

Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru . Отсюда в силу (13.5)

Доказательство этой теоремы выходит за пределы курса - student2.ru

или опять же в силу (13.5)

Доказательство этой теоремы выходит за пределы курса - student2.ru . (13.7)

В матричных обозначениях равенства (13.7) переписывается в виде

Доказательство этой теоремы выходит за пределы курса - student2.ru , (13.8)

где Доказательство этой теоремы выходит за пределы курса - student2.ru - транспонированная матрица С, а J - единичная матрица. По определению обратной матрицы равенство (13.8) равносильно

Доказательство этой теоремы выходит за пределы курса - student2.ru .

Определение 13.7. Матрица С, удовлетворяющая условию (13.8), называется ортогональной.

Простейшим примером ортогональной матрицы является Доказательство этой теоремы выходит за пределы курса - student2.ru .

Итак, ортогональные матрицы и только они могут служить матрицами перехода от одного ортонормированного базиса к другому.

14. Линейные преобразования.

Рассмотрим линейное пространство L и преобразование Ā в этом пространстве, сопоставляющее каждому вектору Доказательство этой теоремы выходит за пределы курса - student2.ru из L некоторый вектор Доказательство этой теоремы выходит за пределы курса - student2.ru из того же пространства. Образ Доказательство этой теоремы выходит за пределы курса - student2.ru вектора Доказательство этой теоремы выходит за пределы курса - student2.ru при преобразовании Ā будем обозначать Доказательство этой теоремы выходит за пределы курса - student2.ru .

Определение 14.1. Преобразование Ā линейного пространства L называется линейным, если для любых векторов Доказательство этой теоремы выходит за пределы курса - student2.ru и любого числа

Доказательство этой теоремы выходит за пределы курса - student2.ru выполняются условия

Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru . (14.1)

Нетрудно проверить, что при линейном преобразовании линейная комбинация векторов переходит в линейную комбинацию их образов с теми же коэффициентами. Преобразование вида Доказательство этой теоремы выходит за пределы курса - student2.ru является линейным. Оно называется тождественным и обозначается Доказательство этой теоремы выходит за пределы курса - student2.ru .

Приведем еще один пример линейного преобразования. Производная от многочлена есть многочлен меньший степени. Поэтому дифференцирование является преобразованием в линейном пространстве многочленов степени не выше заданного числа n. Это преобразование линейное, так как производная суммы равна сумме производных и постоянный множитель выносится за знак производной.

Выберем в n-мерном линейном пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru базис Доказательство этой теоремы выходит за пределы курса - student2.ru . Каждый вектор Доказательство этой теоремы выходит за пределы курса - student2.ru может быть разложен по этому базису, т.е. представлен в виде Доказательство этой теоремы выходит за пределы курса - student2.ru , где Доказательство этой теоремы выходит за пределы курса - student2.ru - координатный столбец вектора Доказательство этой теоремы выходит за пределы курса - student2.ru в базис Доказательство этой теоремы выходит за пределы курса - student2.ru . По свойству (14.1) линейного преобразования

Доказательство этой теоремы выходит за пределы курса - student2.ru . (14.2)

Разлагая каждый из векторов Доказательство этой теоремы выходит за пределы курса - student2.ru по базису Доказательство этой теоремы выходит за пределы курса - student2.ru , получим

Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru . (14.3)

Подстановка (14.3) в (14.2) даст

Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru

Отсюда по определению координат

Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru , (14.4)

где Доказательство этой теоремы выходит за пределы курса - student2.ru - координатный столбец вектора Доказательство этой теоремы выходит за пределы курса - student2.ru в базисе Доказательство этой теоремы выходит за пределы курса - student2.ru . Обозначим

Доказательство этой теоремы выходит за пределы курса - student2.ru . (14.5)

В матричной форме равенства (14.4) запишутся в виде

Доказательство этой теоремы выходит за пределы курса - student2.ru . (14.6)

Матрица А называется матрицей линейного преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru в базисе Доказательство этой теоремы выходит за пределы курса - student2.ru . Столбцы матрицы А есть координатные столбцы образов векторов Доказательство этой теоремы выходит за пределы курса - student2.ru при преобразовании Доказательство этой теоремы выходит за пределы курса - student2.ru . Итак, в заданном базисе линейное преобразование Доказательство этой теоремы выходит за пределы курса - student2.ru определяется своей матрицей (14.5). Само линейное преобразование задается формулами (14.4). В случае тождественного преобразования для каждого вектора Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru имеем Доказательство этой теоремы выходит за пределы курса - student2.ru . Поэтому тождественное преобразование в каждом базисе определяется единичной матрицей J.

Результат последовательного выполнения двух линейных преобразований Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru называется их произведением и обозначается Доказательство этой теоремы выходит за пределы курса - student2.ru . Пусть в некотором базисе линейные преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru имеют соответственно матрицы А и В.

Теорема 14.1. Произведение Доказательство этой теоремы выходит за пределы курса - student2.ru имеет матрицу Доказательство этой теоремы выходит за пределы курса - student2.ru . Для доказательства обозначим через Х, У, Z соответственно координатные столбцы векторов Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru . Тогда по формуле (14.6) Доказательство этой теоремы выходит за пределы курса - student2.ru , или Доказательство этой теоремы выходит за пределы курса - student2.ru , или по свойству произведения матриц Доказательство этой теоремы выходит за пределы курса - student2.ru , т.е. произведение Доказательство этой теоремы выходит за пределы курса - student2.ru определяется матрицей Доказательство этой теоремы выходит за пределы курса - student2.ru .

Определение 14.2. Линейное преобразование Доказательство этой теоремы выходит за пределы курса - student2.ru в евклидовом пространстве E называется ортогональным, если Доказательство этой теоремы выходит за пределы курса - student2.ru для любых Доказательство этой теоремы выходит за пределы курса - student2.ru .

Таким образом, ортогональное преобразование сохраняет скалярное произведение, а, следовательно, длины векторов и углы между ними. Можно показать, что в любом ортонормированном базисе ортогональное преобразование имеет ортогональную матрицу. Примером ортогонального преобразования в Доказательство этой теоремы выходит за пределы курса - student2.ru является

Доказательство этой теоремы выходит за пределы курса - student2.ru ,

Доказательство этой теоремы выходит за пределы курса - student2.ru .

15. Собственные векторы и собственные значения линейного преобразования.

Определение 15.1. Ненулевой вектор Доказательство этой теоремы выходит за пределы курса - student2.ru называется собственным вектором линейного преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru , если существует такое число Доказательство этой теоремы выходит за пределы курса - student2.ru , что

Доказательство этой теоремы выходит за пределы курса - student2.ru . (15.1)

При этом число Доказательство этой теоремы выходит за пределы курса - student2.ru называется собственным значением линейного преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru .

Зададим в пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru какой-либо базис Доказательство этой теоремы выходит за пределы курса - student2.ru . Пусть в этом базисе линейное преобразование Доказательство этой теоремы выходит за пределы курса - student2.ru имеет матрицу

Доказательство этой теоремы выходит за пределы курса - student2.ru , (15.2)

а вектор Доказательство этой теоремы выходит за пределы курса - student2.ru - координатный столбец Доказательство этой теоремы выходит за пределы курса - student2.ru . В силу (14.4) равенство (15.1) равносильно соотношениям Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru или в развернутом виде

Доказательство этой теоремы выходит за пределы курса - student2.ru . (15.3)

Таким образом, координаты собственного вектора являются ненулевым решением однородной системы линейных уравнений (15.3). Эта система имеет ненулевое решение тогда и только тогда, когда определитель матрицы системы (15.3) равен нулю, т.е.

Доказательство этой теоремы выходит за пределы курса - student2.ru . (15.4)

Доказывается, что уравнение (15.4) не зависит от выбора базиса. Оно называется характеристическим уравнением линейного преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru .

Раскрыв определитель в левой части (15.4), получим уравнение n-ой степени относительно Доказательство этой теоремы выходит за пределы курса - student2.ru . Оно имеет ровно n корней. Собственные значения линейного преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru совпадают с корнями уравнения (15.4). Каждому собственному значению Доказательство этой теоремы выходит за пределы курса - student2.ru соответствует бесконечное множество собственных векторов. Все они находятся из системы (15.3).

Матрица вида Доказательство этой теоремы выходит за пределы курса - student2.ru , где Доказательство этой теоремы выходит за пределы курса - student2.ru - некоторые числа, называется диагональной.

Теорема 15.1. Матрица линейного преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru в базисе Доказательство этой теоремы выходит за пределы курса - student2.ru имеет диагональный вид с собственными значениями на главной диагонали тогда и только тогда, когда все векторы базиса есть собственные вектора преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru .

Доказательство. i-ый столбец матрицы линейного преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru есть координатный столбец вектора Доказательство этой теоремы выходит за пределы курса - student2.ru . В этом столбце i-ый элемент равен Доказательство этой теоремы выходит за пределы курса - student2.ru , а остальные элементы равны нулю тогда и только тогда, когда Доказательство этой теоремы выходит за пределы курса - student2.ru ? т.е. вектор Доказательство этой теоремы выходит за пределы курса - student2.ru - собственный для линейного преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru .

Определение 15.2. Линейное преобразование Доказательство этой теоремы выходит за пределы курса - student2.ru евклидова пространства E называется симметрическим, если для любых векторов Доказательство этой теоремы выходит за пределы курса - student2.ru выполняется условие.

Доказательство этой теоремы выходит за пределы курса - student2.ru . (15.5) Доказательство этой теоремы выходит за пределы курса - student2.ru

Зададим в n-мерном евклидовом пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru ортонормированный базис. Пусть в этом базисе линейное преобразование Доказательство этой теоремы выходит за пределы курса - student2.ru имеет матрицу (15.2), а векторы Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru - координатные столбцы Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru соответственно. В силу (14.4) координатными столбцами векторов Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru будут

Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru

соответственно. Отсюда по формуле (13.6)

Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru . (15.6)

Подстановка выражений (15.6) в условие (15.5) дает

Доказательство этой теоремы выходит за пределы курса - student2.ru .

В силу произвольности Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru отсюда следует

Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru . (15.7)

Условие (15.7) равносильно

Доказательство этой теоремы выходит за пределы курса - student2.ru . (15.8)

Определение 15.2. Матрица Доказательство этой теоремы выходит за пределы курса - student2.ru , удовлетворяющая условию (15.8), называется симметрической.

Таким образом, доказано, что матрица симметрического преобразования в любом ортонормированном базисе является симметрической.

Собственные значения и собственные векторы симметрического преобразования обладают рядом важных и интересных свойств, к изложению которых мы и перейдем.

Теорема 15.2. Все собственные значения симметрического преобразования вещественные.

Доказательство этой теоремы выходит за пределы курса.

Теорема 15.3. Собственные векторы симметрического преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru , соответствующие разным собственным значениям, ортогональны.

Доказательство. Пусть Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru . Тогда

Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru . (15.9)

Из (15.5) в силу (15.9) следует Доказательство этой теоремы выходит за пределы курса - student2.ru , отсюда Доказательство этой теоремы выходит за пределы курса - student2.ru , что и требовалось доказать.

Доказывается, что в n-мерном евклидовом пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru существует ортонормированный базис из собственных векторов симметрического преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru . Для нахождения указанного базиса следует вычислить собственные значения преобразования А и для каждого значения найти соответствующий собственный вектор. В случае простого корня характеристического уравнения собственный вектор остается только нормировать, т.е. разделить на его длину. Для корня кратности r надо найти r линейно независимых собственных вектора, соответствующих фундаментальной системе из r решений однородной системы линейных уравнений (15.3). Эти векторы следует ортогонализировать и нормировать.

16. Квадратичные формы.

Рассмотрим в линейном пространстве L числовую функцию Доказательство этой теоремы выходит за пределы курса - student2.ru , сопоставляющую каждому вектору Доказательство этой теоремы выходит за пределы курса - student2.ru некоторое вещественное число Доказательство этой теоремы выходит за пределы курса - student2.ru . Числовая функция Доказательство этой теоремы выходит за пределы курса - student2.ru называется линейной формой, если для любых Доказательство этой теоремы выходит за пределы курса - student2.ru и любого Доказательство этой теоремы выходит за пределы курса - student2.ru выполняются следующие условия

Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru .

Далее, рассмотрим числовую функцию Доказательство этой теоремы выходит за пределы курса - student2.ru , сопоставляющую каждой паре векторов Доказательство этой теоремы выходит за пределы курса - student2.ru некоторое действительное число Доказательство этой теоремы выходит за пределы курса - student2.ru . Числовая функция Доказательство этой теоремы выходит за пределы курса - student2.ru называется билинейной формой, если при фиксированном Доказательство этой теоремы выходит за пределы курса - student2.ru она является линейной формой по Доказательство этой теоремы выходит за пределы курса - student2.ru , а при фиксированном Доказательство этой теоремы выходит за пределы курса - student2.ru - линейной формой по Доказательство этой теоремы выходит за пределы курса - student2.ru . Билинейная форма Доказательство этой теоремы выходит за пределы курса - student2.ru называется симметрической, если Доказательство этой теоремы выходит за пределы курса - student2.ru при любых Доказательство этой теоремы выходит за пределы курса - student2.ru . Простейшим примером билинейной формы является скалярное произведение векторов.

Пусть Доказательство этой теоремы выходит за пределы курса - student2.ru - симметрическая билинейная форма в линейном пространстве L.

Определение 16.1. Числовая функция Доказательство этой теоремы выходит за пределы курса - student2.ru , полученная из Доказательство этой теоремы выходит за пределы курса - student2.ru при Доказательство этой теоремы выходит за пределы курса - student2.ru , называется квадратичной формой в пространстве L.

Пусть в пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru задан базис Доказательство этой теоремы выходит за пределы курса - student2.ru и пусть Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru . В силу свойств билинейной формы

Доказательство этой теоремы выходит за пределы курса - student2.ru

или

Доказательство этой теоремы выходит за пределы курса - student2.ru , (16.1)

где Доказательство этой теоремы выходит за пределы курса - student2.ru . При этом в силу симметричности билинейной формы Доказательство этой теоремы выходит за пределы курса - student2.ru

Доказательство этой теоремы выходит за пределы курса - student2.ru . (16.2)

Полагая в (16.1) Доказательство этой теоремы выходит за пределы курса - student2.ru получим следующее представление квадратичной формы Доказательство этой теоремы выходит за пределы курса - student2.ru в базисе Доказательство этой теоремы выходит за пределы курса - student2.ru :

Доказательство этой теоремы выходит за пределы курса - student2.ru . (16.3)

Матрица

Доказательство этой теоремы выходит за пределы курса - student2.ru (16.4)

называется матрицей квадратичной формы Доказательство этой теоремы выходит за пределы курса - student2.ru в заданном базисе Доказательство этой теоремы выходит за пределы курса - student2.ru . Согласно (16.2) матрица (16.4) является симметрической. Итак, в заданном базисе каждой квадратичной форме Доказательство этой теоремы выходит за пределы курса - student2.ru соответствует симметрическая матрица (16.4) и, обратно, каждой симметрической матрице (16.4) соответствует квадратичная форма Доказательство этой теоремы выходит за пределы курса - student2.ru , представление которой в заданном базисе Доказательство этой теоремы выходит за пределы курса - student2.ru имеет вид (16.3).

Определение 16.2. Квадратичная форма Доказательство этой теоремы выходит за пределы курса - student2.ru называется положительно (отрицательно) определенной, если Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru для всех Доказательство этой теоремы выходит за пределы курса - student2.ru , и знакопеременной, если существуют такие Доказательство этой теоремы выходит за пределы курса - student2.ru , что Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru .

Ниже будет указан критерий, то которому можно судить о принадлежности квадратичной формы к одному из указанных типов

Определители

Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru ………… Доказательство этой теоремы выходит за пределы курса - student2.ru

называются угловыми минорами матрицы (16.4).

Теорема 16.1. (Критерий Сильвестра) Для того чтобы, квадратичная форма Доказательство этой теоремы выходит за пределы курса - student2.ru была положительно (отрицательно) определенной необходимо и достаточно, чтобы все угловые миноры ее матрицы были положительны (знаки угловых миноров чередовались, причем Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru ).

Пусть в некотором базисе Доказательство этой теоремы выходит за пределы курса - student2.ru квадратичная форма Доказательство этой теоремы выходит за пределы курса - student2.ru имеет вид

Доказательство этой теоремы выходит за пределы курса - student2.ru . (16.5)

Выражение (16.5) называется каноническим видом квадратичной формы. Далее, будем рассматривать квадратичные формы в евклидовом пространстве. Линейное преобразование Доказательство этой теоремы выходит за пределы курса - student2.ru , матрица которого в любом ортонормированном базисе совпадает с матрицей квадратичной формы Доказательство этой теоремы выходит за пределы курса - student2.ru , называется присоединенным к Доказательство этой теоремы выходит за пределы курса - student2.ru .

В силу симметрическости матрицы Доказательство этой теоремы выходит за пределы курса - student2.ru присоединенное к Доказательство этой теоремы выходит за пределы курса - student2.ru преобразование Доказательство этой теоремы выходит за пределы курса - student2.ru будет симметрическим. Согласно результатам §15 в евклидовом пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru существует ортонормированный базис Доказательство этой теоремы выходит за пределы курса - student2.ru из собственных векторов преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru , в котором матрица этого преобразования имеет диагональный вид с собственными значениями Доказательство этой теоремы выходит за пределы курса - student2.ru на главной диагонали. Если Доказательство этой теоремы выходит за пределы курса - student2.ru Доказательство этой теоремы выходит за пределы курса - student2.ru , то в базисе Доказательство этой теоремы выходит за пределы курса - student2.ru квадратичная форма Доказательство этой теоремы выходит за пределы курса - student2.ru приводится к сумме квадратов (16.5). При этом в силу (11.9) соответствующее преобразование координат определяется формулой

Доказательство этой теоремы выходит за пределы курса - student2.ru , (16.6)

где столбцами матрицы С являются координатные столбцы векторов Доказательство этой теоремы выходит за пределы курса - student2.ru в исходном базисе Доказательство этой теоремы выходит за пределы курса - student2.ru . Так как переход от одного ортонормированного базиса к другому осуществляется с помощью ортогональной матрицы, то преобразование (16.6) в пространстве Доказательство этой теоремы выходит за пределы курса - student2.ru - ортогональное.

Пример. Квадратичную форму Доказательство этой теоремы выходит за пределы курса - student2.ru в евклидовом пространстве привести к каноническому виду.

Решение. Матрица квадратичной формы есть

Доказательство этой теоремы выходит за пределы курса - student2.ru .

Составляем характеристическое уравнение

Доказательство этой теоремы выходит за пределы курса - student2.ru .

Его корни Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru . Соответствующие Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru собственные векторы, присоединенные к Доказательство этой теоремы выходит за пределы курса - student2.ru линейного преобразования Доказательство этой теоремы выходит за пределы курса - student2.ru , находятся из уравнений Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru соответственно. Это векторы Доказательство этой теоремы выходит за пределы курса - student2.ru и Доказательство этой теоремы выходит за пределы курса - student2.ru , где Доказательство этой теоремы выходит за пределы курса - student2.ru - любые числа. После нормировки, т.е. деления этих векторов на их длины, получаем ортонормированный базис из векторов Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru . В этом базисе квадратичная форма Доказательство этой теоремы выходит за пределы курса - student2.ru имеет канонический вид Доказательство этой теоремы выходит за пределы курса - student2.ru . Соответствующее преобразование координат есть Доказательство этой теоремы выходит за пределы курса - student2.ru или Доказательство этой теоремы выходит за пределы курса - student2.ru , Доказательство этой теоремы выходит за пределы курса - student2.ru .

Наши рекомендации