Спектральная теорема
[25/0%]Докажите, что нормальный оператор на комплексном пространстве со скалярным произведением самосопряжён тогда и только тогда, когда все его собственные значения вещественны.
Эта задача усиливает аналогию (для нормальных операторов) между самосопряжёнными операторами и вещественными числами.
Пусть . Пусть нормален и имеет единственное собственное значение. Докажите, что является скалярным кратным тождественного оператора.
Пусть и нормален. Докажите, что множество собственных значений содержится в тогда и только тогда, когда существует подпространство пространства такое, что .
Докажите, что нормальный оператор на комплексном пространстве со скалярным произведением кососопряжён (то есть равен минус своему сопряжённому) тогда и только тогда, когда все его собственные значения чисто мнимые (то есть их вещественная часть равна ).
Докажите или приведите контрпример: если — диагонализируемый оператор, то нормален (относительно обычного скалярного произведения).
Пусть — комплексное пространство со скалярным произведением, а — нормальный оператор такой, что . Докажите, что самосопряжён и .
Приведите пример оператора на комплексном векторном пространстве такого, что , но .
Пусть и . Докажите, что нормален тогда и только тогда, когда каждый собственный вектор является также собственным вектором .
Пусть и . Докажите, что нормален тогда и только тогда, когда существует многочлен такой, что .
Пусть — комплексное пространство со скалярным произведением. Докажите, что у каждого нормального оператора на есть квадратный корень.
Оператор называется квадратным корнем оператора , если . Квадратные корни операторов обсуждаются подробнее в разделах 7C и 8C.
Докажите, что у каждого самосопряжённого оператора на есть кубический корень.
Оператор называется кубическим корнем оператора , если .
Пусть — комплексное векторное пространство, а нормален. Докажите, что если — оператор на , коммутирующий с , то коммутирует с .
Результат этой задачи называется теоремой Фульгеде.
Не используя комплексную спектральную теорему, воспользуйтесь версией теоремы Шура, применимой к двум коммутирующим операторам (взяв в задаче 20 раздела 6B), чтобы дать другое доказательство того, что если и нормален, то имеет диагональную матрицу относительно некоторого ортонормированного базиса .
Пусть и . Докажите, что самосопряжён тогда и только тогда, когда все пары собственных векторов, соответствующих различным собственным значениям , ортогональны и , где обозначают различные собственные значения .
Пусть и . Докажите, что нормален тогда и только тогда, когда все пары собственных векторов, соответствующих различным собственным значениям , ортогональны и , где обозначают различные собственные значения .
Пусть и . Докажите, что существует ортонормированный базис , относительно которого каждый элемент имеет диагональную матрицу, тогда и только тогда, когда и являются коммутирующими нормальными операторами для всех .
Эта задача расширяет комплексную спектральную теорему на случай набора коммутирующих нормальных операторов.
Пусть и . Докажите, что существует ортонормированный базис , относительно которого каждый элемент имеет диагональную матрицу, тогда и только тогда, когда и являются коммутирующими самосопряжёнными операторами для всех .
Эта задача расширяет вещественную спектральную теорему на случай набора коммутирующих самосопряжённых операторов.
Приведите пример вещественного пространства со скалярным произведением , оператора и вещественных чисел с таких, что
необратим.
Эта задача показывает, что предположение о самосопряжённости нельзя отбросить в 7.26, даже для вещественных векторных пространств.
7.26 (обратимость квадратичных выражений): пусть самосопряжён и таковы, что . Тогда — обратимый оператор.
Пусть самосопряжён и — подпространство , инвариантное относительно .
Докажите, что инвариантно относительно .
Докажите, что самосопряжён.
Докажите, что самосопряжён.
Пусть нормален и — подпространство , инвариантное относительно .
Докажите, что инвариантно относительно .
Докажите, что инвариантно относительно .
Докажите, что .
Докажите, что и являются нормальными операторами.
Эту задачу можно использовать для ещё одного доказательства комплексной спектральной теоремы (используя индукцию по и результат о том, что у есть собственный вектор).
Пусть — самосопряжённый оператор на конечномерном пространстве со скалярным произведением, и пусть и — единственные собственные значения . Докажите, что
Приведите пример оператора такого, что и — единственные собственные значения и .
Пусть самосопряжён, и . Пусть существует такой, что и
Докажите, что у есть собственное значение такое, что .
Эта задача показывает, что для самосопряжённого оператора число, близкое к удовлетворению равенства, которое сделало бы его собственным значением, близко к собственному значению.
Пусть — конечномерное векторное пространство и .
Пусть . Докажите, что диагонализируем тогда и только тогда, когда существует базис , относительно которого матрица равна своей транспонированной.
Пусть . Докажите, что диагонализируем тогда и только тогда, когда существует базис , относительно которого матрица коммутирует со своей сопряжённо-транспонированной.
Эта задача добавляет ещё одно условие к списку условий, эквивалентных диагонализируемости, в 5.55.
Пусть и существует ортонормированный базис пространства , состоящий из собственных векторов , с соответствующими собственными значениями . Покажите, что если , то псевдообратный оператор удовлетворяет равенству