Изометрии, унитарные операторы и матричные разложения
[20/0%]Пусть и . Докажите, что является изометрией тогда и только тогда, когда — ортонормированный набор в для каждого ортонормированного набора длины два в .
Пусть . Докажите, что является скалярным кратным изометрии тогда и только тогда, когда сохраняет ортогональность.
Фраза « сохраняет ортогональность» означает, что для всех , таких что .
Покажите, что произведение двух унитарных операторов на является унитарным оператором.
Покажите, что обратный к унитарному оператору на является унитарным оператором.
Эта задача показывает, что множество унитарных операторов на образует группу, где групповой операцией является обычное произведение двух операторов.
Пусть и самосопряжены. Покажите, что унитарен тогда и только тогда, когда и .
Пусть . Докажите, что следующие утверждения эквивалентны.
-
— самосопряжённый унитарный оператор.
-
для некоторой ортогональной проекции на .
-
Существует подпространство пространства , такое что для каждого и для каждого .
Пусть — оба нормальные операторы на с собственными значениями . Докажите, что существует унитарный оператор , такой что .
Приведите пример двух самосопряжённых операторов , таких что собственные значения обоих операторов равны , но не существует унитарного оператора , такого что . Обязательно объясните, почему не существует унитарного оператора с требуемым свойством.
Докажите или приведите контрпример: если и существует ортонормированный базис пространства , такой что для каждого , то — унитарный оператор.
Пусть и . Пусть каждое собственное значение по модулю равно и для каждого . Докажите, что — унитарный оператор.
Пусть и — самосопряжённый оператор, такой что для всех .
Покажите, что является положительным оператором.
Покажите, что является унитарным оператором.
Пусть . Докажите, что — унитарный оператор тогда и только тогда, когда
Докажите или приведите контрпример: если обратим и для каждого , то унитарен.
Объясните, почему столбцы квадратной матрицы комплексных чисел образуют ортонормированный набор в тогда и только тогда, когда строки этой матрицы образуют ортонормированный набор в .
Пусть , , и . Также пусть . Докажите, что существует унитарный оператор , такой что , тогда и только тогда, когда .
Пусть — унитарный оператор на , такой что обратим.
Докажите, что является кососимметричным оператором (то есть равен противоположному своему сопряжённому).
Докажите, что если , то является самосопряжённым оператором.
Функция отображает единичную окружность в (за исключением точки ) на . Таким образом, пункт (b) иллюстрирует аналогию между унитарными операторами и единичной окружностью в , наряду с аналогией между самосопряжёнными операторами и .
Пусть и самосопряжён. Докажите, что является унитарным оператором и не является собственным значением этого оператора.
Объясните, почему выполняются характеризации унитарных матриц, данные в 7.57.
7.57 (характеризации унитарных матриц): пусть — -на- матрица. Тогда следующие утверждения эквивалентны: (a) — унитарная матрица; (b) строки образуют ортонормированный набор в ; (c) для каждого ; (d) , где — -на- матрица с единицами на диагонали и нулями в остальных местах.
Квадратная матрица называется симметричной, если она равна своей транспонированной. Докажите, что если — симметричная матрица с вещественными элементами, то существует унитарная матрица с вещественными элементами, такая что является диагональной матрицей.
Пусть — положительное целое число. В этой задаче мы используем обозначение, при котором типичный элемент пространства обозначается как . Определим линейные функционалы на по формуле
Дискретным преобразованием Фурье называется оператор , определённый как
Покажите, что — унитарный оператор на .
Покажите, что если и определено равным , то
Покажите, что .
Дискретное преобразование Фурье имеет много важных приложений в анализе данных. Обычное преобразование Фурье использует выражения вида для комплекснозначных интегрируемых функций , определённых на .
Пусть — квадратная матрица с линейно независимыми столбцами. Докажите, что существуют единственные матрицы и , такие что нижнетреугольна и имеет только положительные числа на диагонали, унитарна, и .