Операторы на пространствах со скалярным произведением
[151/0%]Пусть — положительное целое число. Определим равенством
Найдите формулу для .
Пусть . Докажите, что
Пусть и . Докажите, что
Пусть и — подпространство . Докажите, что
Пусть . Пусть — ортонормированный базис , а — ортонормированный базис . Докажите, что
Числа в равенстве выше зависят от ортонормированного базиса , но правая часть от не зависит. Таким образом, равенство выше показывает, что сумма в левой части не зависит от того, какой ортонормированный базис используется.
Пусть . Докажите, что
инъективен сюръективен;
сюръективен инъективен.
Докажите, что если , то
;
.
Пусть — матрица размера на с элементами из . Используя пункт (b) задачи 7A.7, докажите, что ранг по строкам матрицы равен рангу по столбцам матрицы .
Эта задача предлагает ещё одно альтернативное доказательство результата, ранее доказанного в 3.57 и 3.133.
Докажите, что произведение двух самосопряжённых операторов на самосопряжено тогда и только тогда, когда эти два оператора коммутируют.
Пусть и . Докажите, что самосопряжён тогда и только тогда, когда
для всех .
Определим оператор равенством .
Найдите формулу для .
Покажите, что нормален, но не самосопряжён.
Найдите все собственные значения .
Если , то — это оператор поворота на против часовой стрелки на .
Оператор называется кососопряжённым, если
Пусть . Докажите, что нормален тогда и только тогда, когда существуют коммутирующие операторы и такие, что самосопряжён, кососопряжён и .
Пусть . Определим равенством для всех .
Найдите все собственные значения .
Найдите минимальный многочлен .
Определим скалярное произведение на равенством . Определим оператор равенством
Покажите, что с этим скалярным произведением оператор не самосопряжён.
Матрица относительно базиса равна
Эта матрица равна своей сопряжённо-транспонированной, хотя не самосопряжён. Объясните, почему это не является противоречием.
Пусть обратим. Докажите, что
самосопряжён самосопряжён;
нормален нормален.
Пусть .
Покажите, что множество самосопряжённых операторов на является подпространством .
Какова размерность подпространства из пункта (a) (в терминах )?
Пусть . Покажите, что множество самосопряжённых операторов на не является подпространством .
Пусть . Покажите, что множество нормальных операторов на не является подпространством .
Пусть и для всех . Докажите, что нормален.
Эта задача не выполняется в бесконечномерных пространствах со скалярным произведением, что приводит к так называемым гипонормальным операторам, теория которых хорошо разработана.
Пусть таков, что . Докажите, что следующие условия эквивалентны.
-
самосопряжён.
-
нормален.
-
Существует подпространство пространства такое, что .
Пусть — оператор дифференцирования, определённый равенством . Докажите, что не существует скалярного произведения на , делающего нормальным оператором.
Приведите пример оператора такого, что нормален, но не самосопряжён.
Пусть — нормальный оператор на . Пусть также удовлетворяют равенствам
Покажите, что .
Пусть и
— минимальный многочлен . Докажите, что минимальный многочлен равен
Эта задача показывает, что минимальный многочлен совпадает с минимальным многочленом , если .
Пусть . Докажите, что диагонализируем тогда и только тогда, когда диагонализируем.
Зафиксируем . Определим равенством для всех .
Докажите, что если — вещественное векторное пространство, то самосопряжён тогда и только тогда, когда набор линейно зависим.
Докажите, что нормален тогда и только тогда, когда набор линейно зависим.
Пусть нормален. Докажите, что
для всех положительных целых .
Пусть нормален. Докажите, что если , то минимальный многочлен не является произведением на какой-либо многочлен.
Докажите или приведите контрпример: если и существует ортонормированный базис пространства такой, что для каждого , то нормален.
Пусть нормален и . Пусть . Докажите, что .
Зафиксируем положительное целое число . В пространстве со скалярным произведением непрерывных вещественнозначных функций на со скалярным произведением пусть
Определим равенством . Покажите, что . Сделайте вывод, что нормален, но не самосопряжён.
Определим равенством . Покажите, что самосопряжён.
Пусть — линейное отображение. Покажите, что при стандартном отождествлении с (см. 6.58) и соответствующем отождествлении с сопряжённое отображение соответствует двойственному отображению . Точнее, покажите, что
для всех , где и определены как в 6.58.
6.58 (теорема Рисса о представлении, продолжение): пусть конечномерно. Для каждого определим равенством для каждого . Тогда — взаимно однозначное отображение из на .
Докажите, что нормальный оператор на комплексном пространстве со скалярным произведением самосопряжён тогда и только тогда, когда все его собственные значения вещественны.
Эта задача усиливает аналогию (для нормальных операторов) между самосопряжёнными операторами и вещественными числами.
Пусть . Пусть нормален и имеет единственное собственное значение. Докажите, что является скалярным кратным тождественного оператора.
Пусть и нормален. Докажите, что множество собственных значений содержится в тогда и только тогда, когда существует подпространство пространства такое, что .
Докажите, что нормальный оператор на комплексном пространстве со скалярным произведением кососопряжён (то есть равен минус своему сопряжённому) тогда и только тогда, когда все его собственные значения чисто мнимые (то есть их вещественная часть равна ).
Докажите или приведите контрпример: если — диагонализируемый оператор, то нормален (относительно обычного скалярного произведения).
Пусть — комплексное пространство со скалярным произведением, а — нормальный оператор такой, что . Докажите, что самосопряжён и .
Приведите пример оператора на комплексном векторном пространстве такого, что , но .
Пусть и . Докажите, что нормален тогда и только тогда, когда каждый собственный вектор является также собственным вектором .
Пусть и . Докажите, что нормален тогда и только тогда, когда существует многочлен такой, что .
Пусть — комплексное пространство со скалярным произведением. Докажите, что у каждого нормального оператора на есть квадратный корень.
Оператор называется квадратным корнем оператора , если . Квадратные корни операторов обсуждаются подробнее в разделах 7C и 8C.
Докажите, что у каждого самосопряжённого оператора на есть кубический корень.
Оператор называется кубическим корнем оператора , если .
Пусть — комплексное векторное пространство, а нормален. Докажите, что если — оператор на , коммутирующий с , то коммутирует с .
Результат этой задачи называется теоремой Фульгеде.
Не используя комплексную спектральную теорему, воспользуйтесь версией теоремы Шура, применимой к двум коммутирующим операторам (взяв в задаче 20 раздела 6B), чтобы дать другое доказательство того, что если и нормален, то имеет диагональную матрицу относительно некоторого ортонормированного базиса .
Пусть и . Докажите, что самосопряжён тогда и только тогда, когда все пары собственных векторов, соответствующих различным собственным значениям , ортогональны и , где обозначают различные собственные значения .
Пусть и . Докажите, что нормален тогда и только тогда, когда все пары собственных векторов, соответствующих различным собственным значениям , ортогональны и , где обозначают различные собственные значения .
Пусть и . Докажите, что существует ортонормированный базис , относительно которого каждый элемент имеет диагональную матрицу, тогда и только тогда, когда и являются коммутирующими нормальными операторами для всех .
Эта задача расширяет комплексную спектральную теорему на случай набора коммутирующих нормальных операторов.
Пусть и . Докажите, что существует ортонормированный базис , относительно которого каждый элемент имеет диагональную матрицу, тогда и только тогда, когда и являются коммутирующими самосопряжёнными операторами для всех .
Эта задача расширяет вещественную спектральную теорему на случай набора коммутирующих самосопряжённых операторов.
Приведите пример вещественного пространства со скалярным произведением , оператора и вещественных чисел с таких, что
необратим.
Эта задача показывает, что предположение о самосопряжённости нельзя отбросить в 7.26, даже для вещественных векторных пространств.
7.26 (обратимость квадратичных выражений): пусть самосопряжён и таковы, что . Тогда — обратимый оператор.
Пусть самосопряжён и — подпространство , инвариантное относительно .
Докажите, что инвариантно относительно .
Докажите, что самосопряжён.
Докажите, что самосопряжён.
Пусть нормален и — подпространство , инвариантное относительно .
Докажите, что инвариантно относительно .
Докажите, что инвариантно относительно .
Докажите, что .
Докажите, что и являются нормальными операторами.
Эту задачу можно использовать для ещё одного доказательства комплексной спектральной теоремы (используя индукцию по и результат о том, что у есть собственный вектор).
Пусть — самосопряжённый оператор на конечномерном пространстве со скалярным произведением, и пусть и — единственные собственные значения . Докажите, что
Приведите пример оператора такого, что и — единственные собственные значения и .
Пусть самосопряжён, и . Пусть существует такой, что и
Докажите, что у есть собственное значение такое, что .
Эта задача показывает, что для самосопряжённого оператора число, близкое к удовлетворению равенства, которое сделало бы его собственным значением, близко к собственному значению.
Пусть — конечномерное векторное пространство и .
Пусть . Докажите, что диагонализируем тогда и только тогда, когда существует базис , относительно которого матрица равна своей транспонированной.
Пусть . Докажите, что диагонализируем тогда и только тогда, когда существует базис , относительно которого матрица коммутирует со своей сопряжённо-транспонированной.
Эта задача добавляет ещё одно условие к списку условий, эквивалентных диагонализируемости, в 5.55.
Пусть и существует ортонормированный базис пространства , состоящий из собственных векторов , с соответствующими собственными значениями . Покажите, что если , то псевдообратный оператор удовлетворяет равенству
Пусть . Докажите, что если и , и являются положительными операторами, то .
Пусть — оператор, матрица которого (относительно стандартного базиса) равна
Покажите, что — обратимый положительный оператор.
Пусть — положительное целое число и — оператор, матрица которого (относительно стандартного базиса) состоит целиком из единиц. Покажите, что — положительный оператор.
Пусть — целое число, . Покажите, что существует -на- матрица , все элементы которой являются положительными числами и , но оператор на , матрица которого (относительно стандартного базиса) равна , не является положительным оператором.
Пусть самосопряжён. Докажите, что — положительный оператор тогда и только тогда, когда для каждого ортонормированного базиса пространства все элементы на диагонали являются неотрицательными числами.
Докажите, что сумма двух положительных операторов на является положительным оператором.
Пусть — обратимый положительный оператор, а — положительный оператор. Докажите, что обратим.
Пусть . Докажите, что — положительный оператор тогда и только тогда, когда псевдообратный оператор является положительным оператором.
Пусть — положительный оператор, а . Докажите, что является положительным оператором на .
Пусть — положительный оператор на . Пусть таковы, что
Докажите, что .
Пусть — положительный оператор на , а — подпространство , инвариантное относительно . Докажите, что является положительным оператором на .
Пусть — положительный оператор. Докажите, что является положительным оператором для каждого положительного целого числа .
Пусть самосопряжён и .
Докажите, что — положительный оператор тогда и только тогда, когда меньше или равно каждому собственному значению .
Докажите, что — положительный оператор тогда и только тогда, когда больше или равно каждому собственному значению .
Пусть — положительный оператор на и . Докажите, что
Пусть самосопряжён. Докажите, что существуют положительные операторы , такие что
Пусть — положительный оператор на . Докажите, что
Пусть — положительный оператор. Докажите, что существует многочлен с вещественными коэффициентами, такой что .
Пусть и — положительные операторы на . Докажите, что является положительным оператором тогда и только тогда, когда и коммутируют.
Покажите, что тождественный оператор на имеет бесконечно много самосопряжённых квадратных корней.
Пусть и — ортонормированный базис . Докажите, что — положительный оператор тогда и только тогда, когда существуют , такие что
для всех .
Числа являются элементами матрицы относительно ортонормированного базиса .
Пусть — положительное целое число. -на- матрицей Гильберта называется -на- матрица, элемент которой в строке , столбце равен . Пусть — оператор, матрица которого относительно некоторого ортонормированного базиса является -на- матрицей Гильберта. Докажите, что — положительный обратимый оператор.
Пример: 4-на-4 матрица Гильберта имеет вид
Пусть — положительный оператор и таков, что и для всех с . Покажите, что — собственный вектор , соответствующий наибольшему собственному значению .
Для и определим по формуле .
Пусть . Докажите, что является скалярным произведением на тогда и только тогда, когда — обратимый положительный оператор (относительно исходного скалярного произведения ).
Докажите, что каждое скалярное произведение на имеет вид для некоторого положительного обратимого оператора .
Пусть и — положительные операторы на . Докажите, что
Пусть — оператор второй производной из задачи 31(b) раздела 7A. Покажите, что является положительным оператором.
Задача 7A.31: зафиксируем положительное целое число . В пространстве непрерывных вещественнозначных функций на со скалярным произведением пусть . Пункт (b) определяет по формуле .
Пусть и . Докажите, что является изометрией тогда и только тогда, когда — ортонормированный набор в для каждого ортонормированного набора длины два в .
Пусть . Докажите, что является скалярным кратным изометрии тогда и только тогда, когда сохраняет ортогональность.
Фраза « сохраняет ортогональность» означает, что для всех , таких что .
Покажите, что произведение двух унитарных операторов на является унитарным оператором.
Покажите, что обратный к унитарному оператору на является унитарным оператором.
Эта задача показывает, что множество унитарных операторов на образует группу, где групповой операцией является обычное произведение двух операторов.
Пусть и самосопряжены. Покажите, что унитарен тогда и только тогда, когда и .
Пусть . Докажите, что следующие утверждения эквивалентны.
-
— самосопряжённый унитарный оператор.
-
для некоторой ортогональной проекции на .
-
Существует подпространство пространства , такое что для каждого и для каждого .
Пусть — оба нормальные операторы на с собственными значениями . Докажите, что существует унитарный оператор , такой что .
Приведите пример двух самосопряжённых операторов , таких что собственные значения обоих операторов равны , но не существует унитарного оператора , такого что . Обязательно объясните, почему не существует унитарного оператора с требуемым свойством.
Докажите или приведите контрпример: если и существует ортонормированный базис пространства , такой что для каждого , то — унитарный оператор.
Пусть и . Пусть каждое собственное значение по модулю равно и для каждого . Докажите, что — унитарный оператор.
Пусть и — самосопряжённый оператор, такой что для всех .
Покажите, что является положительным оператором.
Покажите, что является унитарным оператором.
Пусть . Докажите, что — унитарный оператор тогда и только тогда, когда
Докажите или приведите контрпример: если обратим и для каждого , то унитарен.
Объясните, почему столбцы квадратной матрицы комплексных чисел образуют ортонормированный набор в тогда и только тогда, когда строки этой матрицы образуют ортонормированный набор в .
Пусть , , и . Также пусть . Докажите, что существует унитарный оператор , такой что , тогда и только тогда, когда .
Пусть — унитарный оператор на , такой что обратим.
Докажите, что является кососимметричным оператором (то есть равен противоположному своему сопряжённому).
Докажите, что если , то является самосопряжённым оператором.
Функция отображает единичную окружность в (за исключением точки ) на . Таким образом, пункт (b) иллюстрирует аналогию между унитарными операторами и единичной окружностью в , наряду с аналогией между самосопряжёнными операторами и .
Пусть и самосопряжён. Докажите, что является унитарным оператором и не является собственным значением этого оператора.
Объясните, почему выполняются характеризации унитарных матриц, данные в 7.57.
7.57 (характеризации унитарных матриц): пусть — -на- матрица. Тогда следующие утверждения эквивалентны: (a) — унитарная матрица; (b) строки образуют ортонормированный набор в ; (c) для каждого ; (d) , где — -на- матрица с единицами на диагонали и нулями в остальных местах.
Квадратная матрица называется симметричной, если она равна своей транспонированной. Докажите, что если — симметричная матрица с вещественными элементами, то существует унитарная матрица с вещественными элементами, такая что является диагональной матрицей.
Пусть — положительное целое число. В этой задаче мы используем обозначение, при котором типичный элемент пространства обозначается как . Определим линейные функционалы на по формуле
Дискретным преобразованием Фурье называется оператор , определённый как
Покажите, что — унитарный оператор на .
Покажите, что если и определено равным , то
Покажите, что .
Дискретное преобразование Фурье имеет много важных приложений в анализе данных. Обычное преобразование Фурье использует выражения вида для комплекснозначных интегрируемых функций , определённых на .
Пусть — квадратная матрица с линейно независимыми столбцами. Докажите, что существуют единственные матрицы и , такие что нижнетреугольна и имеет только положительные числа на диагонали, унитарна, и .
Пусть . Покажите, что тогда и только тогда, когда все сингулярные числа равны .
Пусть и . Докажите, что — сингулярное число тогда и только тогда, когда существуют ненулевые векторы и , такие что
Векторы , удовлетворяющие обоим равенствам выше, называются парой Шмидта. Эрхард Шмидт ввёл понятие сингулярного числа в 1907 году.
Приведите пример , такого что — единственное собственное значение , а сингулярные числа равны .
Пусть — наибольшее сингулярное число , а — наименьшее сингулярное число . Докажите, что
Пусть определён формулой . Найдите сингулярные числа .
Найдите сингулярные числа оператора дифференцирования , определённого формулой , где скалярное произведение на задано формулой
Пусть самосопряжён, либо и нормален. Пусть — собственные значения , причём каждое включено в этот список столько раз, какова размерность соответствующего собственного подпространства. Покажите, что сингулярные числа равны после того, как эти числа отсортированы по убыванию.
Пусть . Пусть , а — ортонормированный набор в и — ортонормированный набор в , такие что
для каждого .
Докажите, что — ортонормированный базис .
Докажите, что — ортонормированный базис .
Докажите, что — положительные сингулярные числа .
Докажите, что если , то — собственный вектор с соответствующим собственным значением .
Докажите, что
для всех .
Пусть . Покажите, что и имеют одни и те же положительные сингулярные числа.
Пусть имеет сингулярные числа . Докажите, что если — обратимое линейное отображение, то имеет сингулярные числа
Пусть и — ортонормированный базис . Пусть обозначают сингулярные числа .
Докажите, что .
Докажите, что если и — положительный оператор, то
Задача 5 раздела 7A показывает, что если — ортонормированный базис , а — ортонормированный базис , то ; в частности, левая часть не зависит от того, какой ортонормированный базис пространства используется. Пункт (a) этой задачи определяет это общее значение.
Приведите пример конечномерного векторного пространства и оператора на нём, такого что сингулярные числа не равны квадратам сингулярных чисел .
Пусть нормален. Докажите, что сингулярные числа равны квадратам сингулярных чисел .
Пусть . Докажите, что и имеют одни и те же сингулярные числа тогда и только тогда, когда существуют унитарные операторы , такие что .
Пусть . Пусть обозначает наименьшее сингулярное число . Докажите, что для каждого .
Пусть и — сингулярные числа . Докажите, что если — собственное значение , то .
Пусть . Докажите, что .
Сравните результат этой задачи с аналогичным результатом для обратимых линейных отображений: если обратимо, то обратим и .
Пусть . Докажите, что самосопряжён тогда и только тогда, когда самосопряжён.
Докажите, что если , то .
Указанное выше неравенство называется обратным неравенством треугольника.
Пусть самосопряжён, либо и нормален. Докажите, что
Пусть и . Докажите, что
Пусть и . Докажите, что если и , то .
Пусть — конечномерное пространство со скалярным произведением, и . Докажите, что
Докажите или приведите контрпример: если , то .
Покажите, что определение для задаёт метрику на .
Эта задача требует знакомства с метрическими пространствами.
Докажите, что если и , то обратим.
Пусть обратим. Докажите, что если и , то обратим.
Эта задача показывает, что множество обратимых операторов в является открытым подмножеством относительно метрики, определённой в задаче 7.
Пусть . Докажите, что для каждого существует обратимый оператор , такой что .
Пусть и необратим. Докажите, что для каждого существует , такой что и необратим.
Пусть и . Докажите, что для каждого существует диагонализируемый оператор , такой что .
Пусть — положительный оператор. Покажите, что .
Пусть — положительные операторы. Покажите, что
Пусть и — подпространства , такие что . Докажите, что .
Определим формулой
Найдите (в явном виде) унитарный оператор , такой что .
Пусть — положительный обратимый оператор. Докажите, что существует , такое что — положительный оператор для каждого самосопряжённого оператора с .
Докажите, что если и — линейный функционал на , определённый равенством , то .
Здесь мы рассматриваем поле скаляров как пространство со скалярным произведением для всех . Таким образом означает норму как линейного отображения из в .
Пусть — ортонормированный базис и .
Докажите, что .
Докажите, что тогда и только тогда, когда .
Здесь — произвольный ортонормированный базис , необязательно связанный с сингулярным разложением . Если — список сингулярных чисел , то правая часть неравенства выше равна , как было показано в пункте (a) задачи 11 раздела 7E.
Докажите, что если , то .
Эта формула для ведёт к важному разделу теории -алгебр.
Пусть нормален. Докажите, что для каждого положительного целого .
Пусть и . Докажите, что норма на не происходит от скалярного произведения. Иными словами, докажите, что не существует скалярного произведения на , такого что
для всех .
Пусть . Пусть и пусть обозначают сингулярные числа . Докажите, что если , то
Пусть . Покажите, что равномерно непрерывен относительно метрик на и , возникающих из норм на этих пространствах.
См. задачу 23 раздела 6B для соответствующих определений.
Пусть обратим. Докажите, что
Зафиксируем с . Определим формулой для каждого . Докажите, что
для каждого .
Пусть . Докажите, что обратим тогда и только тогда, когда существует единственный унитарный оператор , такой что .
Пусть и — сингулярные числа . Пусть и — ортонормированные базисы , такие что
для всех . Определим формулой
Покажите, что унитарен и .
Покажите, что если унитарен, то .
Эта задача находит унитарный оператор , максимально близкий (среди унитарных операторов) к данному оператору .
Пусть . Докажите, что существует унитарный оператор , такой что .
Пусть .
Используя полярное разложение, покажите, что существует унитарный оператор , такой что .
Покажите, как из (a) следует, что и имеют одни и те же сингулярные числа.
Пусть — унитарный оператор, а — положительный оператор, такие что . Докажите, что .
Эта задача показывает, что если записать в виде произведения унитарного оператора и положительного оператора (как в полярном разложении), то этот положительный оператор равен .
Пусть и нормален. Докажите, что существует унитарный оператор , такой что и такой что и оба имеют диагональные матрицы относительно одного и того же ортонормированного базиса .
Пусть и . Пусть обозначают положительные сингулярные числа . Покажите, что существует ортонормированный базис пространства , такой что
равно шару в радиуса с центром в .