
- •Модуль 4. Линейные операторы. Квадратичные формы Глава 4.1. Линейные операторы §4.1.1. Линейные операторы в линейном пространстве
- •Упражнения
- •§4.1.2. Ядро и образ линейного оператора
- •Упражнения
- •§4.1.3. Матрица линейного оператора
- •Упражнения
- •§4.1.4. Сумма и произведение линейных операторов
- •Упражнения
- •§4.1.5. Собственные векторы и собственные значения
- •Упражнения
- •§4.1.6. Самосопряженный линейный оператор
- •Упражнения
- •§4.1.7. Группа ортогональных матриц
- •Упражнения
- •§4.1.8. Ортогональный линейный оператор
- •Упражнения
- •Глава 4.2. Квадратичные формы
- •§4.2.1. Матричная запись квадратичной формы
- •Упражнения
- •§4.2.2. Теорема Лагранжа
- •Упражнения
- •§4.2.3. Закон инерции
- •Упражнения
- •§4.2.4. Положительно определенные квадратичные формы
- •Упражнения
- •§4.2.5. Приведение квадратичной формы к главным осям
- •§4.2.6. Билинейная форма
- •Упражнения
- •§4.2.7. Применение квадратичных форм к исследованию линий и поверхностей второго порядка
- •Упражнения
- •Глава 4.3. Каноническая форма Жордана
- •§4.3.1. Относительная линейная независимость
- •§4.3.2. Относительный базис
- •§4.3.3. Корневые векторы
- •Упражнения
- •§4.3.4. Корневое подпространство
- •Упражнения
- •§4.3.5. Канонический базис
- •§4.3.6. Циклическое подпространство
- •§4.3.7. Построение канонического базиса в корневом подпространстве
- •§4.3.8. Построение канонического базиса в общем случае
- •§4.3.9. Единственность канонической формы Жордана
§4.1.5. Собственные векторы и собственные значения
Если существует
ненулевой вектор слинейного
пространстваV/K,
для которого,
,
то
называетсясобственным значениемлинейного оператора
,
а векторсназываетсясобственным
вектором для собственного значения
.
Теорема. Собственные
векторы, принадлежащие различным
собственным значениям линейного
оператора,
линейно независимы.
Доказательство
проведем методом полной математической
индукции по числу собственных значений.
Пусть,с
.
Один ненулевой вектор образует линейно
независимую систему. Предположим, что
утверждение верно для любого количества
собственных значений <nи пусть
,
,
,
…,
,
приi
j,
.
Подействовав на обе части равенства
линейным оператором
,
получим
,
а умножив
на
обе части того же равенства
.
После вычитания второго из полученных равенств из первого, получим
.
По гипотезе индукции
векторы x2, ...,xn
линейно независимы, поэтому,
...,
векторыx1, ...,xn
линейно независимы. ■
Если А– квадратная
матрица порядкаn,
Е – единичная матрица того же порядка,
то– характеристический многочлен матрицыА. Легко проверить, что характеристические
многочлены подобных матриц равны.
Поэтому характеристический многочлен
матрицы линейного оператора не зависит
от выбора базиса и он называется
характеристическим многочленом линейного
оператора
Теорема. Собственными значениями линейного оператора являются корни его характеристического многочлена, лежащие в полеK, и только они.
Доказательство.
Пусть– собственное значение линейного
оператора
.
Тогда существует ненулевой векторс,
для которого
.
ПустьА – матрица линейного оператора
в некотором базисеe1,
…,en,c=
Тогда
Однородная система n линейных уравнений с n неизвестнымиx1, ...,xn имеет ненулевое решение. Поэтому ее определитель равен нулю
Нетрудно провести все
рассуждения в обратном направлении:
если
– корень характеристического многочлена,
то найдется ненулевой векторс, для
которого
.
■
Набор корней
характеристического многочлена матрицы
линейного оператора называется спектром
линейного оператора, причем каждый
корень берется с той кратностью, какую
он имеет в характеристическом многочлене.
Линейный оператор имеетпростой
спектр, если все его характеристические
корни принадлежат основному полю и
различны. Для линейного оператора с
простым спектром существует базис, в
котором матрица линейного оператора
диагональная. ПодпространствоLлинейного пространстваV/
Kназываетсяинвариантным относительно линейного
оператора
,если
Линейный
оператор
,
рассматриваемый только для векторов
инвариантного подпространстваL,
называется индуцированным наL
линейным оператором и обозначается
– ограничение
на подпространствоL.
Пример.Найдите собственные векторы линейного оператора, заданного матрицей
А =
.
Составим характеристическую матрицу
А -
Е
=
.
Так как ее определитель
равен
,
то корни характеристического уравнения
=
= 3,
=
6. Для нахождения собственных векторов,
принадлежащих собственному значению
3 рассмотрим матричное уравнение (А
– 3Е)Х =
или в координатной форме однородную
систему линейных уравнений
Ранг матрицы системы
равен 1, поэтому система равносильна
системе из одного уравнения
.
Фундаментальная система состоит из
двух решений (-5, 1, 0) и (-3, 0, 1). Все собственные
векторы, принадлежащие собственному
значению
=
= 3 записываются в виде
(-5,
1, 0) +
(-3,
0, 1).
Для нахождения
собственных векторов, принадлежащих
собственному значению 6 рассмотрим
матричное уравнение ( А – 6Е)Х =
или в координатной форме однородную
систему линейных уравнений
Ранг матрицы системы равен 2, поэтому система равносильна системе из двух уравнений
Фундаментальная
система состоит из одного решения (-).
Все собственные векторы, принадлежащие
собственному значению
=
6 записываются в виде
(-
).
Пример. Найдите собственные векторы линейного оператора, заданного матрицей
А =
а) над полем вещественных чисел;
б) над полем комплексных чисел.
а) Определитель матрицы
(А -
Е)
равен -
.
Характеристическое уравнение над полем
вещественных чисел имеет один корень
2. Координаты собственных векторов
найдем из системы
Фундаментальная
система решений системы (1, 1, 1). Все
собственные векторы, принадлежащие
собственному значению
= 2 записываются в виде
(1,
1, 1).
б) Характеристическое
уравнение над комплексных чисел имеет
три корня
= 2,
,
.
Все собственные векторы, принадлежащие
собственному значению
= 2 записываются в виде
(1,
1, 1).
Для
координаты собственных векторов найдем
из системы:
С помощью элементарных преобразований получим эквивалентную систему:
Фундаментальная система решений состоит из одного решения:
,
1).
Таким образом, все
собственные векторы, принадлежащие
собственному значению
записываются в виде
,
1).
Аналогично получим,
что все собственные векторы, принадлежащие
собственному значению
записываются в виде
,
1).