LinAl12 (1113087)
Текст из файла
2. Канонический базис для ортогонального оператора.
Теорема. Пусть — ортогональный оператор в
. Тогда существует ортонормированный базис, в котором матрица
имеет вид:
(1) По лемме 1 (см. самосопряжённые операторы) у есть инвариантное подпространство
. По лемме 5:
. Следовательно,
— инвариантные подпространства,
или
. Кроме того,
не содержат инвариантных подпространств
и
. При этом
.
(3) ,
— ортонормированный базис
,
— матрица
в этом базисе,
по лемме 4. Тогда
.
(а) Предположим, что . Вычислим
:
. Отсюда
корни
на
— вещественные, следовательно, существует собственный вектор в
в
есть 1-мерное
— инвариантное подпространство. Противоречие.
, поэтому
. Значит, система имеет единственное решение. Подходит
.
3. Полярное разложение.
Теорема. Пусть — невырожденный линейный оператор на евклидовом пространстве
. Тогда существуют ортогональный оператор
и самосопряжённый оператор
с положительными собственными значениями, такие, что
.
1) Положим, что , где
— сопряжённый к
. Тогда
. То есть
самосопряжён.
2) Существует ортонормированный базис, в котором имеет матрицу
. Пусть
— одно из собственных чисел
, и
— собственный вектор. Тогда
. Отсюда и
, то есть все
— положительны.
3) Существует самосопряжённый оператор с матрицей
в том же базисе. Ясно, что
и
— невырожденный.
4) Положим . Тогда
так как
. То есть
ортогонален.
Тем самым мы доказали существование полярного разложения.
УНИТАРНЫЕ ПРОСТРАНСТВА
1. Эрмитовы (полуторалинейные) формы.
Пусть — линейное пространство над
.
Определение. — эрмитова форма на
, если
, причём:
2. (Эрмитово) скалярное произведение.
Пусть — комплексное пространство.
Определение. Скалярное произведение на — эрмитова положительно определённая форма. Обозначение:
. Положительная определённость:
из
.
3. Ортогональность.
Пусть — унитарное пространство, то есть комплексное пространство со скалярным произведением.
Определение. и
ортогональны, если
.
Теорема. В конечномерном унитарном пространстве можно выбрать ортонормированный базис, т.е. .
Пусть — произвольный базис
. Возьмём любой
. Умножая на (вещественный) скаляр, можно считать
. Пусть теперь
. Тогда
— уравнения с
неизвестными
. Так как
, то
— подпространство в
,
. По индукции (
) в
есть ортонормированный базис
. Положив,
, получаем ортонормированный базис
в
.
4. Унитарные и Эрмитовы матрицы.
Обозначим: (
— комплексное сопряжение).
Определение. Матрица — эрмитова, если
.
Теорема. Пусть — матрица перехода от одного ортогонального базиса к другому ортогональному базису. Тогда
унитарна.
Пусть — матрица перехода от
к
. Если
, то
. Если
— элементы
-ого столбца
, то
— элементы
-ой строки у матрицы
.
Произведение -ой строки
на
-ый столбец
равно
. Но это есть
, так как
. Поэтому
, так как базис
ортонормирован. Следовательно,
и
— унитарная матрица.
6. Сопряжённый оператор.
Пусть — унитарное пространство,
.
Определение. — сопряжённый к
, если
.
Как и в вещёственном случае: и
.
Теорема. Пусть и
,
— матрицы
и
в ортонормированном базисе. Тогда
.
14.03.05
3
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.