7B

Спектральная теорема

[25/0%]
Показать
LaTeX
Задача 7B.1

Докажите, что нормальный оператор на комплексном пространстве со скалярным произведением самосопряжён тогда и только тогда, когда все его собственные значения вещественны.

?
Примечание.
?

Эта задача усиливает аналогию (для нормальных операторов) между самосопряжёнными операторами и вещественными числами.

Задача 7B.2

Пусть F=C\mathbf{F} = \mathbb {C}. Пусть T∈L(V)T \in \mathcal{L}(V) нормален и имеет единственное собственное значение. Докажите, что TT является скалярным кратным тождественного оператора.

?
Задача 7B.3

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V) нормален. Докажите, что множество собственных значений TT содержится в {0,1}\left\{ 0,1\right\} тогда и только тогда, когда существует подпространство UU пространства VV такое, что T=PUT = P_{U}.

?
Задача 7B.4

Докажите, что нормальный оператор на комплексном пространстве со скалярным произведением кососопряжён (то есть равен минус своему сопряжённому) тогда и только тогда, когда все его собственные значения чисто мнимые (то есть их вещественная часть равна 00).

?
Задача 7B.5

Докажите или приведите контрпример: если T∈L(C3)T \in \mathcal{L}(\mathbb {C}^{3}) — диагонализируемый оператор, то TT нормален (относительно обычного скалярного произведения).

?
Задача 7B.6

Пусть VV — комплексное пространство со скалярным произведением, а T∈L(V)T \in \mathcal{L}(V) — нормальный оператор такой, что T9=T8T^{9} = T^{8}. Докажите, что TT самосопряжён и T2=TT^{2} = T.

?
Задача 7B.7

Приведите пример оператора TT на комплексном векторном пространстве такого, что T9=T8T^{9} = T^{8}, но T2≠TT^{2} \neq T.

?
Задача 7B.8

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT нормален тогда и только тогда, когда каждый собственный вектор TT является также собственным вектором T∗T^{*}.

?
Задача 7B.9

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT нормален тогда и только тогда, когда существует многочлен p∈P(C)p \in \mathcal{P}(\mathbb {C}) такой, что T∗=p(T)T^{*} = p(T).

?
Задача 7B.10

Пусть VV — комплексное пространство со скалярным произведением. Докажите, что у каждого нормального оператора на VV есть квадратный корень.

?
Примечание.
?

Оператор S∈L(V)S \in \mathcal{L}(V) называется квадратным корнем оператора T∈L(V)T \in \mathcal{L}(V), если S2=TS^{2} = T. Квадратные корни операторов обсуждаются подробнее в разделах 7C и 8C.

Задача 7B.11

Докажите, что у каждого самосопряжённого оператора на VV есть кубический корень.

?
Примечание.
?

Оператор S∈L(V)S \in \mathcal{L}(V) называется кубическим корнем оператора T∈L(V)T \in \mathcal{L}(V), если S3=TS^{3} = T.

Задача 7B.12

Пусть VV — комплексное векторное пространство, а T∈L(V)T \in \mathcal{L}(V) нормален. Докажите, что если SS — оператор на VV, коммутирующий с TT, то SS коммутирует с T∗T^{*}.

?
Примечание.
?

Результат этой задачи называется теоремой Фульгеде.

Задача 7B.13

Не используя комплексную спектральную теорему, воспользуйтесь версией теоремы Шура, применимой к двум коммутирующим операторам (взяв E={T,T∗}\mathcal{E} = \left\{ T, T^{*}\right\} в задаче 20 раздела 6B), чтобы дать другое доказательство того, что если F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V) нормален, то TT имеет диагональную матрицу относительно некоторого ортонормированного базиса VV.

?
Задача 7B.14

Пусть F=R\mathbf{F} = \mathbb {R} и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT самосопряжён тогда и только тогда, когда все пары собственных векторов, соответствующих различным собственным значениям TT, ортогональны и V=E(λ1,T)⊕⋯⊕E(λm,T)V = E(\lambda_{1}, T) \oplus \cdots \oplus E(\lambda_{m}, T), где λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} обозначают различные собственные значения TT.

?
Задача 7B.15

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT нормален тогда и только тогда, когда все пары собственных векторов, соответствующих различным собственным значениям TT, ортогональны и V=E(λ1,T)⊕⋯⊕E(λm,T)V = E(\lambda_{1}, T) \oplus \cdots \oplus E(\lambda_{m}, T), где λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} обозначают различные собственные значения TT.

?
Задача 7B.16

Пусть F=C\mathbf{F} = \mathbb {C} и E⊆L(V)\mathcal{E} \subseteq \mathcal{L}(V). Докажите, что существует ортонормированный базис VV, относительно которого каждый элемент E\mathcal{E} имеет диагональную матрицу, тогда и только тогда, когда SS и TT являются коммутирующими нормальными операторами для всех S,T∈ES, T \in \mathcal{E}.

?
Примечание.
?

Эта задача расширяет комплексную спектральную теорему на случай набора коммутирующих нормальных операторов.

Задача 7B.17

Пусть F=R\mathbf{F} = \mathbb {R} и E⊆L(V)\mathcal{E} \subseteq \mathcal{L}(V). Докажите, что существует ортонормированный базис VV, относительно которого каждый элемент E\mathcal{E} имеет диагональную матрицу, тогда и только тогда, когда SS и TT являются коммутирующими самосопряжёнными операторами для всех S,T∈ES, T \in \mathcal{E}.

?
Примечание.
?

Эта задача расширяет вещественную спектральную теорему на случай набора коммутирующих самосопряжённых операторов.

Задача 7B.18

Приведите пример вещественного пространства со скалярным произведением VV, оператора T∈L(V)T \in \mathcal{L}(V) и вещественных чисел b,cb, c с b2<4cb^{2}<4 c таких, что

T2+bT+cI T^{2}+b T+c I

необратим.

?
Примечание.
?

Эта задача показывает, что предположение о самосопряжённости TT нельзя отбросить в 7.26, даже для вещественных векторных пространств.

7.26 (обратимость квадратичных выражений): пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён и b,c∈Rb, c \in \mathbb {R} таковы, что b2<4cb^{2}<4 c. Тогда T2+bT+cIT^{2}+b T+c I — обратимый оператор.

Задача 7B.19

Пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён и UU — подпространство VV, инвариантное относительно TT.

?
(a)

Докажите, что U⊥U^{\perp } инвариантно относительно TT.

(b)

Докажите, что T∣U∈L(U)\left.T\right|_{U} \in \mathcal{L}(U) самосопряжён.

(c)

Докажите, что T∣U⊥∈L(U⊥)\left.T\right|_{U^{\perp }} \in \mathcal{L}(U^{\perp }) самосопряжён.

Задача 7B.20

Пусть T∈L(V)T \in \mathcal{L}(V) нормален и UU — подпространство VV, инвариантное относительно TT.

?
(a)

Докажите, что U⊥U^{\perp } инвариантно относительно TT.

(b)

Докажите, что UU инвариантно относительно T∗T^{*}.

(c)

Докажите, что (T∣U)∗=(T∗)∣U\left(\left.T\right|_{U}\right)^{*} = \left.\left(T^{*}\right)\right|_{U}.

(d)

Докажите, что T∣U∈L(U)\left.T\right|_{U} \in \mathcal{L}(U) и T∣U⊥∈L(U⊥)\left.T\right|_{U^{\perp }} \in \mathcal{L}(U^{\perp }) являются нормальными операторами.

Эту задачу можно использовать для ещё одного доказательства комплексной спектральной теоремы (используя индукцию по dim⁡V\operatorname {dim} V и результат о том, что у TT есть собственный вектор).

Задача 7B.21

Пусть TT — самосопряжённый оператор на конечномерном пространстве со скалярным произведением, и пусть 22 и 33 — единственные собственные значения TT. Докажите, что

T2−5T+6I=0. T^{2}-5 T+6 I = 0.
?
Задача 7B.22

Приведите пример оператора T∈L(C3)T \in \mathcal{L}(\mathbb {C}^{3}) такого, что 22 и 33 — единственные собственные значения TT и T2−5T+6I≠0T^{2}-5 T+6 I \neq 0.

?
Задача 7B.23

Пусть T∈L(V)T \in \mathcal{L}(V) самосопряжён, λ∈F\lambda \in \mathbf{F} и ϵ>0\epsilon >0. Пусть существует v∈Vv \in V такой, что ∥v∥=1\left\| v\right\| = 1 и

∥Tv−λv∥<ϵ. \left\| T v-\lambda v\right\| <\epsilon .

Докажите, что у TT есть собственное значение λ′\lambda^{\prime } такое, что ∣λ−λ′∣<ϵ\left|\lambda -\lambda^{\prime }\right|<\epsilon.

?
Примечание.
?

Эта задача показывает, что для самосопряжённого оператора число, близкое к удовлетворению равенства, которое сделало бы его собственным значением, близко к собственному значению.

Задача 7B.24

Пусть UU — конечномерное векторное пространство и T∈L(U)T \in \mathcal{L}(U).

?
(a)

Пусть F=R\mathbf{F} = \mathbb {R}. Докажите, что TT диагонализируем тогда и только тогда, когда существует базис UU, относительно которого матрица TT равна своей транспонированной.

(b)

Пусть F=C\mathbf{F} = \mathbb {C}. Докажите, что TT диагонализируем тогда и только тогда, когда существует базис UU, относительно которого матрица TT коммутирует со своей сопряжённо-транспонированной.

Эта задача добавляет ещё одно условие к списку условий, эквивалентных диагонализируемости, в 5.55.

Задача 7B.25

Пусть T∈L(V)T \in \mathcal{L}(V) и существует ортонормированный базис e1,…,ene_{1}, \ldots , e_{n} пространства VV, состоящий из собственных векторов TT, с соответствующими собственными значениями λ1,…,λn\lambda_{1}, \ldots , \lambda_{n}. Покажите, что если k∈{1,…,n}k \in \left\{ 1, \ldots , n\right\}, то псевдообратный оператор T†T^{\dagger } удовлетворяет равенству

T†ek={1λkek если λk≠0,0 если λk=0. T^{\dagger } e_{k} = \begin{cases} \frac{1}{\lambda _{k}} e_{k} & \text{ если } \lambda _{k} \neq 0, \\ 0 & \text{ если } \lambda _{k} = 0. \end{cases}
?