
- •Матрица перехода
- •Характеристический многочлен
- •Диагонализируемые линейные операторы
- •Собственные вектора и собственные значения
- •Жорданова нормальная форма линейного оператора и матрицы
- •Евклидовы и унитарные пространства
- •Грама. Определитель Грамма, его геометрический смысл
- •Скалярное произведение в произвольном базисе
- •Ортогональное дополнение подпространства m из l
- •Прямая сумма подпространств
Жорданова нормальная форма линейного оператора и матрицы
Определение.Жордановой клеткойпорядка
называется
матрица порядка
вида
Жордановой матрицейназывается матрица, состоящая из жордановых клеток.
Лемма.Для нильпотентного операторана
-мерном
векторном пространстве
существует
базис
,
в котором матрица оператора жорданова
(с нулями на главной диагонали).
Теорема.Если характеристический
многочленлинейного
оператора
разлагается
на линейные множители, то существует
базис
пространства
,
в котором матрица оператора жорданова
(на диагонали стоят собственные значения
оператора
).
Следствие.Для каждого комплексного оператора существует жорданов базис.
Обозначим через
количество
жордановых клеток порядка
с
на
диагонали. Через
,
где
матрицы,
будем обозначать матрицу
,
вдоль диагонали которой идут матрицы
,
а остальные нули.
Теорема.Еслии
--
жордановы матрицы оператора
в
разных базисах, то для всякого
и
всякого
имеет
место равенство
,
т.е. матрицы
и
отличаются
только порядком расположения жордановых
клеток ``вдоль'' диагонали.
Следствие.Жорданова клетка не диагонализируема (иначе получили бы две разные жордановы формы).
Определение.Матрицаподобнаматрице
,
пишут
,
если существует такая невырожденная
матрица
,
что
.
Замечание.Отношение подобияявляется
отношением эквивалентности:
рефлексивность:
,
симметричность:
если
,
то
,
транзитивность:
если
и
,
то
.
Определение.Жордановой формойквадратной матрицыназывается
жорданова матрица, которая подобна
.
Теорема.Каждая
матрица
над полем комплексных чисел
обладает
жордановой формой, причем единственной
(с точностью до порядка жордановых
клеток).
Две
матрицы
над
подобны
тогда и только тогда, когда их жордановы
формы совпадают (с точностью до порядка
жордановых клеток).
Теорема.Линейный операторв
комплексном
-мерном
пространстве
диагонализируем
тогда и только тогда, когда его минимальный
многочлен не имеет кратных корней.
Билет 9
Комплексные линейные пространства
См билет 8 –про структуры
Билет 10+билет 11
Евклидовы и унитарные пространства
Определение.Евклидовым пространствомназывается
вещественное линейное пространствос
заданной на
положительно
определенной симметрической билинейной
функцией
,
которая называется скалярным произведением
и обозначается
.
Пример.Рассмотрим примеры евклидовых пространств.
Арифметическое
пространство
.
Если
и
--
столбцы координат векторов
и
соответственно
в стандартном базисе, то
.
Пространство
непрерывных
функций на
.
Для любых двух функций
полагаем
.
Пространство
многочленов степени не больше
.
Для любых двух многочленов
полагаем
.
Определение.Пусть--
-мерное
евклидово пространство с базисом
.Матрица Граммабазиса
--
это матрица
Определитель
матрицы
Грамма
называетсяопределителем Грамма.
Определение.Вектораназываютсяортогональными, если
.Длинавектора
--
это неотрицательное число
.
Если
,
тоуголмежду
и
определяется
по формуле
.
Теорема.Если векторыортогональны,
то
.
Теорема.Если--
ортогональная система ненулевых
векторов, то она линейно независима.
Теорема.[Неравенство Коши-Буняковского]
Для любых векторовевклидова
пространства
справедливо
неравенство
.
Причем равенство имеет место тогда и
только тогда, когда векторы
и
линейно
зависимы.
Следствие.[Неравенство Коши] Для
всяких векторов чисели
справедливо
неравенство
.
Следствие.[Неравенство Буняковского]
Для любых чисели
любых непрерывных функций
справедливо
неравенство
.
Следствие.[Неравенство треугольника]
Для всяких векторовевклидова
пространства
справедливо
неравенство
.
Определение.Унитарнымпространством называется линейное
пространство над полем комплексных
чисел,
на котором определена эрмитова
положительно определенная функция. Она
обозначается также
.
Теорема.Для любых векторовунитарного
пространства
справедливо
неравенство
.
Определение.Базисв
евклидовом (унитарном) пространстве
называетсяортогональным нормированным(ортонормальным), если для любых
базисных векторов справедливо равенство
.
Замечание.Из следствия следует, существования такого базиса. Заметим, что матрица Грамма в этом базисе единична.
Определение.Пусть--
произвольная квадратная матрица над
.
Система столбцов в
называетсяортонормальнойсистемой, если
.
Матрица
называетсяортогональной, если система ее
столбцов ортонормальна.
Теорема.Для всякой квадратной
вещественной матрицыпорядка
следующие
условия равносильны:
система
строк матрицы
ортонормальна;
система
столбцов матрицы
ортонормальна;
.
Следствие.Если
--
ортогональна, то
.
Если
--
ортогональна, то
--
ортогональна.
Если
и
--
ортогональные матрицы, то матрица
тоже
ортогональна.
Замечание.Ортогональные матрицы
образуют группу.
Определение.Комплексная матрицаназываетсяунитарной, если
.
Теорема.Если
--
унитарная матрица, то
.
Если
--
унитарная матрица, то
--
унитарная матрица.
Если
и
--
унитарные матрицы, то матрица
тоже
унитарная.
Замечание.Унитарные матрицы
образуют группу.
Теорема.Пусть--
ортонормальный базис евклидова
(унитарного) пространства
.
Базис
является
ортонормальным тогда и только тогда,
когда матрица перехода от базиса
к
является
ортогональной (унитарной).
Определение.Изоморфизмомевклидовых
(унитарных) пространств
и
называется
такой изоморфизм линейных пространств,
для которого
для
любых векторов
.
Теорема.Два конечномерных
евклидовых (унитарных) пространстваи
изоморфны
тогда и только тогда, когда
.
Пусть
--
-мерное
евклидово пространство, и
--
его сопряженное. Положим для любого
вектора
по
определению
,
где
.
Теорема.является
линейной функцией на
,
т.е.
.
Имеется
естественный изоморфизм
между
-мерными
евклидовым пространством
и
.
Процесс ортогонализации.Пусть
даны линейно независимые векторы.
Требуется найти такие векторы
,
что
при
и
.
Тогда
и
.
Берем
.
Хотим
и
,
тогда
(
).
На
-ом
шаге получаем,
и
.
Определение.Определитель матрицы
Грамма векторовназываетсяквадратом
-мерного
объема параллелепипеда, натянутого
на
.
Теорема.Определитель Грамма не меняется при процессе ортогонализации.