Глава 5

Собственные значения и собственные векторы

[119/49%]
Показать
LaTeX
§
Задача 5A.1

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

?
(a)

Докажите, что если U⊆null⁡TU \subseteq \operatorname {null}T, то UU инвариантно относительно TT.

(b)

Докажите, что если range T⊆UT \subseteq U, то UU инвариантно относительно TT.

Задача 5A.2

Пусть T∈L(V)T \in \mathcal{L}(V) и V1,…,VmV_{1}, \ldots , V_{m} — подпространства VV, инвариантные относительно TT. Докажите, что V1+⋯+VmV_{1}+\cdots +V_{m} инвариантно относительно TT.

?
Задача 5A.3

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что пересечение любого набора подпространств VV, инвариантных относительно TT, инвариантно относительно TT.

?
Задача 5A.4

Докажите или приведите контрпример: если VV конечномерно и UU — подпространство VV, инвариантное относительно каждого оператора на VV, то U={0}U = \left\{ 0\right\} или U=VU = V.

?
Задача 5A.5

Пусть T∈L(R2)T \in \mathcal{L}\left(\mathbb {R}^{2}\right) определён равенством T(x,y)=(−3y,x)T(x, y) = (-3 y, x). Найдите собственные значения TT.

?
Задача 5A.6

Определим T∈L(F2)T \in \mathcal{L}\left(\mathbf{F}^{2}\right) равенством T(w,z)=(z,w)T(w, z) = (z, w). Найдите все собственные значения и собственные векторы TT.

?
Задача 5A.7

Определим T∈L(F3)T \in \mathcal{L}\left(\mathbf{F}^{3}\right) равенством T(z1,z2,z3)=(2z2,0,5z3)T\left(z_{1}, z_{2}, z_{3}\right) = \left(2 z_{2}, 0,5 z_{3}\right). Найдите все собственные значения и собственные векторы TT.

?
Задача 5A.8

Пусть P∈L(V)P \in \mathcal{L}(V) таков, что P2=PP^{2} = P. Докажите, что если λ\lambda — собственное значение PP, то λ=0\lambda = 0 или λ=1\lambda = 1.

?
Задача 5A.9

Определим T:P(R)→P(R)T: \mathcal{P}(\mathbb {R}) \rightarrow \mathcal{P}(\mathbb {R}) равенством Tp=p′T p = p^{\prime }. Найдите все собственные значения и собственные векторы TT.

?
Задача 5A.10

Определим T∈L(P4(R))T \in \mathcal{L}\left(\mathcal{P}_{4}(\mathbb {R})\right) равенством (Tp)(x)=xp′(x)(T p)(x) = x p^{\prime }(x) для всех x∈Rx \in \mathbb {R}. Найдите все собственные значения и собственные векторы TT.

?
Задача 5A.11

Пусть VV конечномерно, T∈L(V)T \in \mathcal{L}(V) и α∈F\alpha \in \mathbf{F}. Докажите, что существует δ>0\delta > 0, такое что T−λIT-\lambda I обратим для всех λ∈F\lambda \in \mathbf{F}, таких что 0<∣α−λ∣<δ0 < \left|\alpha -\lambda \right| < \delta.

?
Задача 5A.12

Пусть V=U⊕WV = U \oplus W, где UU и WW — ненулевые подпространства VV. Определим P∈L(V)P \in \mathcal{L}(V) равенством P(u+w)=uP(u+w) = u для каждого u∈Uu \in U и каждого w∈Ww \in W. Найдите все собственные значения и собственные векторы PP.

?
Задача 5A.13

Пусть T∈L(V)T \in \mathcal{L}(V). Пусть S∈L(V)S \in \mathcal{L}(V) обратим.

?
(a)

Докажите, что TT и S−1TSS^{-1} T S имеют одни и те же собственные значения.

(b)

Какова связь между собственными векторами TT и собственными векторами S−1TSS^{-1} T S?

Задача 5A.14

Приведите пример оператора на R4\mathbb {R}^{4}, не имеющего (вещественных) собственных значений.

?
Задача 5A.15

Пусть VV конечномерно, T∈L(V)T \in \mathcal{L}(V) и λ∈F\lambda \in \mathbf{F}. Покажите, что λ\lambda является собственным значением TT тогда и только тогда, когда λ\lambda является собственным значением двойственного оператора T′∈L(V′)T^{\prime } \in \mathcal{L}\left(V^{\prime }\right).

?
Задача 5A.16

Пусть v1,…,vnv_{1}, \ldots , v_{n} — базис VV и T∈L(V)T \in \mathcal{L}(V). Докажите, что если λ\lambda — собственное значение TT, то

∣λ∣≤nmax⁡{∣M(T)j,k∣:1≤j,k≤n}, \left|\lambda \right| \leq n \max \left\{ \left|\mathcal{M}(T)_{j, k}\right|: 1 \leq j, k \leq n\right\} ,

где M(T)j,k\mathcal{M}(T)_{j, k} обозначает элемент в строке jj, столбце kk матрицы TT относительно базиса v1,…,vnv_{1}, \ldots , v_{n}.

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

См. упражнение 19 раздела 6A для другой оценки ∣λ∣\left|\lambda \right|.

Задача 5A.17

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

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

См. упражнение 33 раздела 3B для определения TCT_{\mathbb {C}}.

Задача 5A.18

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

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

Комплексификация TCT_{\mathbb {C}} была определена в задаче 33 раздела 3B: пусть VV — вещественное векторное пространство и T∈L(V)T \in \mathcal{L}(V); комплексификация TC:VC→VCT_{\mathbb {C}}: V_{\mathbb {C}} \rightarrow V_{\mathbb {C}} определяется как TC(u+iv)=Tu+iTvT_{\mathbb {C}}(u+iv) = Tu+iTv для всех u,v∈Vu, v \in V, где VCV_{\mathbb {C}} — комплексификация VV из задачи 8 раздела 1B.

Задача 5A.19

Покажите, что оператор прямого сдвига T∈L(F∞)T \in \mathcal{L}\left(\mathbf{F}^{\infty }\right), определённый равенством

T(z1,z2,…)=(0,z1,z2,…) T\left(z_{1}, z_{2}, \ldots \right) = \left(0, z_{1}, z_{2}, \ldots \right)

не имеет собственных значений.

?
Задача 5A.20

Определим оператор обратного сдвига S∈L(F∞)S \in \mathcal{L}\left(\mathbf{F}^{\infty }\right) равенством

S(z1,z2,z3,…)=(z2,z3,…). S\left(z_{1}, z_{2}, z_{3}, \ldots \right) = \left(z_{2}, z_{3}, \ldots \right).
?
(a)

Покажите, что каждый элемент F\mathbf{F} является собственным значением SS.

(b)

Найдите все собственные векторы SS.

Задача 5A.21

Пусть T∈L(V)T \in \mathcal{L}(V) обратим.

?
(a)

Пусть λ∈F\lambda \in \mathbf{F}, причём λ≠0\lambda \neq 0. Докажите, что λ\lambda является собственным значением TT тогда и только тогда, когда 1λ\frac{1}{\lambda } является собственным значением T−1T^{-1}.

(b)

Докажите, что TT и T−1T^{-1} имеют одни и те же собственные векторы.

Задача 5A.22

Пусть T∈L(V)T \in \mathcal{L}(V) и существуют ненулевые векторы uu и ww в VV, такие что

Tu=3w and Tw=3u T u = 3 w \quad \text{ and } \quad T w = 3 u

Докажите, что 33 или −3-3 является собственным значением TT.

?
Задача 5A.23

Пусть VV конечномерно и S,T∈L(V)S, T \in \mathcal{L}(V). Докажите, что STS T и TST S имеют одни и те же собственные значения.

?
Задача 5A.24

Пусть AA — матрица размера nn-на-nn с элементами из F\mathbf{F}. Определим T∈L(Fn)T \in \mathcal{L}\left(\mathbf{F}^{n}\right) равенством Tx=AxT x = A x, где элементы Fn\mathbf{F}^{n} рассматриваются как столбцы размера nn-на-11.

?
(a)

Пусть сумма элементов в каждой строке AA равна 11. Докажите, что 11 является собственным значением TT.

(b)

Пусть сумма элементов в каждом столбце AA равна 11. Докажите, что 11 является собственным значением TT.

Задача 5A.25

Пусть T∈L(V)T \in \mathcal{L}(V) и u,wu, w — собственные векторы TT, такие что u+wu+w также является собственным вектором TT. Докажите, что uu и ww — собственные векторы TT, соответствующие одному и тому же собственному значению.

?
Задача 5A.26

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

?
Задача 5A.27

Пусть VV конечномерно и k∈{1,…,dim⁡V−1}k \in \left\{ 1, \ldots , \operatorname {dim} V-1\right\}. Пусть T∈L(V)T \in \mathcal{L}(V) таков, что каждое подпространство VV размерности kk инвариантно относительно TT. Докажите, что TT является скалярным кратным тождественного оператора.

?
Задача 5A.28

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT имеет не более 1+dim⁡1+\operatorname {dim} range TT различных собственных значений.

?
Задача 5A.29

Пусть T∈L(R3)T \in \mathcal{L}\left(\mathbb {R}^{3}\right) и −4,5-4,5 и 7\sqrt{7} — собственные значения TT. Докажите, что существует x∈R3x \in \mathbb {R}^{3}, такой что Tx−9x=(−4,5,7)T x-9 x = (-4,5, \sqrt{7}).

?
Задача 5A.30

Пусть T∈L(V)T \in \mathcal{L}(V) и (T−2I)(T−3I)(T−4I)=0(T-2 I)(T-3 I)(T-4 I) = 0. Пусть λ\lambda — собственное значение TT. Докажите, что λ=2\lambda = 2, или λ=3\lambda = 3, или λ=4\lambda = 4.

?
Задача 5A.31

Приведите пример T∈L(R2)T \in \mathcal{L}\left(\mathbb {R}^{2}\right), такого что T4=−IT^{4} = -I.

?
Задача 5A.32

Пусть T∈L(V)T \in \mathcal{L}(V) не имеет собственных значений и T4=IT^{4} = I. Докажите, что T2=−IT^{2} = -I.

?
Задача 5A.33

Пусть T∈L(V)T \in \mathcal{L}(V) и mm — натуральное число.

?
(a)

Докажите, что TT инъективен тогда и только тогда, когда TmT^{m} инъективен.

(b)

Докажите, что TT сюръективен тогда и только тогда, когда TmT^{m} сюръективен.

Задача 5A.34

Пусть VV конечномерно и v1,…,vm∈Vv_{1}, \ldots , v_{m} \in V. Докажите, что список v1,…,vmv_{1}, \ldots , v_{m} линейно независим тогда и только тогда, когда существует T∈L(V)T \in \mathcal{L}(V), такой что v1,…,vmv_{1}, \ldots , v_{m} — собственные векторы TT, соответствующие различным собственным значениям.

?
Задача 5A.35

Пусть λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} — список различных вещественных чисел. Докажите, что список eλ1x,…,eλnxe^{\lambda_{1} x}, \ldots , e^{\lambda_{n} x} линейно независим в векторном пространстве вещественнозначных функций на R\mathbb {R}.

?
Задача 5A.36

Пусть λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} — список различных положительных чисел. Докажите, что список cos⁡(λ1x),…,cos⁡(λnx)\cos \left(\lambda_{1} x\right), \ldots , \cos \left(\lambda_{n} x\right) линейно независим в векторном пространстве вещественнозначных функций на R\mathbb {R}.

?
Задача 5A.37

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Определим A∈L(L(V))\mathcal{A} \in \mathcal{L}(\mathcal{L}(V)) равенством

A(S)=TS \mathcal{A}(S) = T S

для каждого S∈L(V)S \in \mathcal{L}(V). Докажите, что множество собственных значений TT совпадает с множеством собственных значений A\mathcal{A}.

?
Задача 5A.38

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

(T/U)(v+U)=Tv+U (T / U)(v+U) = T v+U

для каждого v∈Vv \in V.

?
(a)

Покажите, что определение T/UT / U корректно (что требует использования условия инвариантности UU относительно TT), и покажите, что T/UT / U является оператором на V/UV / U.

(b)

Покажите, что каждое собственное значение T/UT / U является собственным значением TT.

Задача 5A.39

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT имеет собственное значение тогда и только тогда, когда существует подпространство VV размерности dim⁡V−1\operatorname {dim} V-1, инвариантное относительно TT.

?
Задача 5A.40

Пусть S,T∈L(V)S, T \in \mathcal{L}(V) и SS обратим. Пусть p∈P(F)p \in \mathcal{P}(\mathbf{F}) — многочлен. Докажите, что

p(STS−1)=Sp(T)S−1 p\left(S T S^{-1}\right) = S p(T) S^{-1}
?
Задача 5A.41

Пусть T∈L(V)T \in \mathcal{L}(V) и UU — подпространство VV, инвариантное относительно TT. Докажите, что UU инвариантно относительно p(T)p(T) для каждого многочлена p∈P(F)p \in \mathcal{P}(\mathbf{F}).

?
Задача 5A.42

Определим T∈L(Fn)T \in \mathcal{L}\left(\mathbf{F}^{n}\right) равенством T(x1,x2,x3,…,xn)=(x1,2x2,3x3,…,nxn)T\left(x_{1}, x_{2}, x_{3}, \ldots , x_{n}\right) = \left(x_{1}, 2 x_{2}, 3 x_{3}, \ldots , n x_{n}\right).

?
(a)

Найдите все собственные значения и собственные векторы TT.

(b)

Найдите все подпространства Fn\mathbf{F}^{n}, инвариантные относительно TT.

Задача 5A.43

Пусть VV конечномерно, dim⁡V>1\operatorname {dim} V > 1 и T∈L(V)T \in \mathcal{L}(V). Докажите, что {p(T):p∈P(F)}≠L(V)\left\{ p(T): p \in \mathcal{P}(\mathbf{F})\right\} \neq \mathcal{L}(V).

?
§
Задача 5B.1

Пусть T∈L(V)T \in \mathcal{L}(V). Докажите, что 99 является собственным значением T2T^{2} тогда и только тогда, когда 33 или −3-3 является собственным значением TT.

?
Задача 5B.2

Пусть VV — комплексное векторное пространство и T∈L(V)T \in \mathcal{L}(V) не имеет собственных значений. Докажите, что каждое подпространство VV, инвариантное относительно TT, является либо {0}\left\{ 0\right\}, либо бесконечномерным.

?
Задача 5B.3

Пусть nn — натуральное число и T∈L(Fn)T \in \mathcal{L}\left(\mathbf{F}^{n}\right) определён равенством

T(x1,…,xn)=(x1+⋯+xn,…,x1+⋯+xn). T\left(x_{1}, \ldots , x_{n}\right) = \left(x_{1}+\cdots +x_{n}, \ldots , x_{1}+\cdots +x_{n}\right).
?
(a)

Найдите все собственные значения и собственные векторы TT.

(b)

Найдите минимальный многочлен TT.

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

Матрица TT относительно стандартного базиса Fn\mathbf{F}^{n} состоит целиком из единиц.

Задача 5B.4

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

?
Задача 5B.5

Приведите пример оператора на R2\mathbb {R}^{2}, показывающего, что результат упражнения 4 не выполняется, если C\mathbb {C} заменить на R\mathbb {R}.

?
Задача 5B.6

Пусть T∈L(F2)T \in \mathcal{L}\left(\mathbf{F}^{2}\right) определён равенством T(w,z)=(−z,w)T(w, z) = (-z, w). Найдите минимальный многочлен TT.

?
Задача 5B.7
?
(a)

Приведите пример S,T∈L(F2)S, T \in \mathcal{L}\left(\mathbf{F}^{2}\right), таких что минимальный многочлен STS T не совпадает с минимальным многочленом TST S.

(b)

Пусть VV конечномерно и S,T∈L(V)S, T \in \mathcal{L}(V). Докажите, что если хотя бы один из S,TS, T обратим, то минимальный многочлен STS T совпадает с минимальным многочленом TSTS.

Задача 5B.8

Пусть T∈L(R2)T \in \mathcal{L}\left(\mathbb {R}^{2}\right) — оператор поворота против часовой стрелки на 1∘1^{\circ }. Найдите минимальный многочлен TT.

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

Поскольку dim⁡R2=2\operatorname {dim} \mathbb {R}^{2} = 2, степень минимального многочлена TT не превосходит 22. Таким образом, минимальный многочлен TT — это не соблазнительный многочлен x180+1x^{180}+1, хотя T180=−IT^{180} = -I.

Задача 5B.9

Пусть T∈L(V)T \in \mathcal{L}(V) таков, что относительно некоторого базиса VV все элементы матрицы TT являются рациональными числами. Объясните, почему все коэффициенты минимального многочлена TT являются рациональными числами.

?
Задача 5B.10

Пусть VV конечномерно, T∈L(V)T \in \mathcal{L}(V) и v∈Vv \in V. Докажите, что

\label5B.10:Eqspan⁡(v,Tv,…,Tmv)=span⁡(v,Tv,…,Tdim⁡V−1v) \label{5B.10:Eq} \operatorname {span}\left(v, T v, \ldots , T^{m} v\right) = \operatorname {span}\left(v, T v, \ldots , T^{\operatorname {dim} V-1} v\right)

для всех целых m≥dim⁡V−1m \geq \operatorname {dim} V-1.

?
Задача 5B.11

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

(acbd) \begin{pmatrix} a & c \\ b & d \end{pmatrix}
?
(a)

Покажите, что T2−(a+d)T+(ad−bc)I=0T^{2}-(a+d) T+(a d-b c) I = 0.

(b)

Покажите, что минимальный многочлен TT равен

{z−a if b=c=0 and a=dz2−(a+d)z+(ad−bc) otherwise  \begin{cases} z-a & \text{ if } b = c = 0 \text{ and } a = d \\ z^{2}-(a+d) z+(a d-b c) & \text{ otherwise }\end{cases}
Задача 5B.12

Определим T∈L(Fn)T \in \mathcal{L}\left(\mathbf{F}^{n}\right) равенством T(x1,x2,x3,…,xn)=(x1,2x2,3x3,…,nxn)T\left(x_{1}, x_{2}, x_{3}, \ldots , x_{n}\right) = \left(x_{1}, 2 x_{2}, 3 x_{3}, \ldots , n x_{n}\right). Найдите минимальный многочлен TT.

?
Задача 5B.13

Пусть T∈L(V)T \in \mathcal{L}(V) и p∈P(F)p \in \mathcal{P}(\mathbf{F}). Докажите, что существует единственный r∈P(F)r \in \mathcal{P}(\mathbf{F}), такой что p(T)=r(T)p(T) = r(T) и deg⁡r\operatorname {deg} r меньше степени минимального многочлена TT.

?
Задача 5B.14

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V) имеет минимальный многочлен μT(z)=4+5z−6z2−7z3+2z4+z5\mu_T(z) = 4+5 z-6 z^{2}-7 z^{3}+2 z^{4}+z^{5}. Найдите минимальный многочлен T−1T^{-1}.

?
Задача 5B.15

Пусть VV — конечномерное комплексное векторное пространство с dim⁡V>0\operatorname {dim} V > 0 и T∈L(V)T \in \mathcal{L}(V). Определим f:C→Rf: \mathbb {C} \rightarrow \mathbb {R} равенством

f(λ)=dim⁡range⁡(T−λI). f(\lambda ) = \operatorname {dim} \operatorname {range}(T-\lambda I).

Докажите, что ff не является непрерывной функцией.

?
Задача 5B.16

Пусть a0,…,an−1∈Fa_{0}, \ldots , a_{n-1} \in \mathbf{F}. Пусть TT — оператор на Fn\mathbf{F}^{n}, матрица которого (относительно стандартного базиса) равна

(0−a010−a11⋱−a2⋱⋮0−an−21−an−1) \begin{pmatrix} 0 & & & & & -a_{0} \\ 1 & 0 & & & & -a_{1} \\ & 1 & \ddots & & & -a_{2} \\ & & \ddots & & & \vdots \\ & & & & 0 & -a_{n-2} \\ & & & & 1 & -a_{n-1} \end{pmatrix}

Здесь все элементы матрицы равны 00, кроме единиц на линии под диагональю и элементов в последнем столбце (некоторые из которых также могут быть равны 00). Покажите, что минимальный многочлен TT — это многочлен

a0+a1z+⋯+an−1zn−1+zn. a_{0}+a_{1} z+\cdots +a_{n-1} z^{n-1}+z^{n}.
?
Примечание.
?

Матрица выше называется сопровождающей матрицей многочлена выше. Это упражнение показывает, что каждый нормированный многочлен является минимальным многочленом некоторого оператора. Следовательно, формула или алгоритм, способные выдавать точные собственные значения для каждого оператора на каждом Fn\mathbf{F}^{n}, могли бы затем производить точные нули для каждого многочлена [по 5.27(a)]. Таким образом, такой формулы или алгоритма не существует. Однако существуют эффективные численные методы получения очень хороших приближений собственных значений оператора.

Задача 5B.17

Пусть VV конечномерно, T∈L(V)T \in \mathcal{L}(V) и μT\mu_T — минимальный многочлен TT. Пусть λ∈F\lambda \in \mathbf{F}. Покажите, что минимальный многочлен T−λIT-\lambda I — это многочлен qq, определённый равенством q(z)=μT(z+λ)q(z) = \mu_{T}(z+\lambda ).

?
Задача 5B.18

Пусть VV конечномерно, T∈L(V)T \in \mathcal{L}(V) и pp — минимальный многочлен TT. Пусть λ∈F\{0}\lambda \in \mathbf{F} \backslash \left\{ 0\right\}. Покажите, что минимальный многочлен λT\lambda T — это многочлен qq, определённый равенством q(z)=λdeg⁡pp(zλ)q(z) = \lambda^{\operatorname {deg} p} p\left(\frac{z}{\lambda }\right).

?
Задача 5B.19

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

E={q(T):q∈P(F)}. \mathcal{E} = \left\{ q(T): q \in \mathcal{P}(\mathbf{F})\right\} .

Докажите, что dim⁡E\operatorname {dim} \mathcal{E} равна степени минимального многочлена TT.

?
Задача 5B.20

Пусть T∈L(F4)T \in \mathcal{L}\left(\mathbf{F}^{4}\right) таков, что собственными значениями TT являются 3,5,83,5,8. Докажите, что

(T−3I)2(T−5I)2(T−8I)2=0 (T-3 I)^{2}(T-5 I)^{2}(T-8 I)^{2} = 0
?
Задача 5B.21

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Докажите, что минимальный многочлен TT имеет степень не более 1+dim⁡range⁡T1+\operatorname {dim}\operatorname {range}T.

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

Если dim⁡range⁡T+1<dim⁡V\operatorname {dim}\operatorname {range}T + 1<\operatorname {dim} V, то это упражнение даёт лучшую верхнюю оценку, чем 5.22, для степени минимального многочлена TT.

Задача 5B.22

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT обратим тогда и только тогда, когда I∈span⁡(T,T2,…,Tdim⁡V)I \in \operatorname {span}\left(T, T^{2}, \ldots , T^{\operatorname {dim} V}\right).

?
Задача 5B.23

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Пусть n=dim⁡Vn = \operatorname {dim} V. Докажите, что если v∈Vv \in V, то span⁡(v,Tv,…,Tn−1v)\operatorname {span}\left(v, T v, \ldots , T^{n-1} v\right) инвариантно относительно TT.

?
Задача 5B.24

Пусть VV — конечномерное комплексное векторное пространство. Пусть n=dim⁡Vn = \operatorname {dim} V. Пусть T∈L(V)T \in \mathcal{L}(V) таков, что 55 и 66 являются собственными значениями TT, и других собственных значений TT не имеет. Докажите, что (T−5I)n−1(T−6I)n−1=0(T-5 I)^{n-1}(T-6 I)^{n-1} = 0.

?
Задача 5B.25

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

?
(a)

Докажите, что минимальный многочлен TT является многочленным кратным минимального многочлена фактор-оператора T/UT / U.

(b)

Докажите, что

(минимальный многочлен T∣U)×(минимальный многочлен T/U) \left(\text{минимальный многочлен } T|_{U}\right) \times \left(\text{минимальный многочлен } T / U\right)

является многочленным кратным минимального многочлена TT.

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

Фактор-оператор T/UT/U был определён в 5A.38.

Задача 5B.26

Пусть VV конечномерно, T∈L(V)T \in \mathcal{L}(V) и UU — подпространство VV, инвариантное относительно TT. Докажите, что множество собственных значений TT равно объединению множества собственных значений T∣U\left.T\right|_{U} и множества собственных значений T/UT / U.

?
Задача 5B.27

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

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

Комплексификация TCT_{\mathbb {C}} была определена в 3B.33: пусть VV — вещественное векторное пространство и T∈L(V)T \in \mathcal{L}(V); комплексификация TC:VC→VCT_{\mathbb {C}}: V_{\mathbb {C}} \rightarrow V_{\mathbb {C}} определяется как TC(u+iv)=Tu+iTvT_{\mathbb {C}}(u+iv) = Tu+iTv для всех u,v∈Vu, v \in V, где VCV_{\mathbb {C}} — комплексификация VV из задачи 8 раздела 1B.

Задача 5B.28

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Докажите, что минимальный многочлен T′∈L(V′)T^{\prime } \in \mathcal{L}\left(V^{\prime }\right) совпадает с минимальным многочленом TT.

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

Двойственное отображение T′T^{\prime } было определено в разделе 3F.

Задача 5B.29

Покажите, что каждый оператор на конечномерном векторном пространстве размерности не менее двух имеет инвариантное подпространство размерности два.

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

Упражнение 6 раздела 5C даст усиление этого результата в случае F=C\mathbf{F} = \mathbb {C}.

§
Задача 5C.1

Докажите или приведите контрпример: если T∈L(V)T \in \mathcal{L}(V) и T2T^{2} имеет верхнетреугольную матрицу относительно некоторого базиса VV, то TT имеет верхнетреугольную матрицу относительно некоторого базиса VV.

?
Задача 5C.2

Пусть AA и BB — верхнетреугольные матрицы одинакового размера, с α1,…,αn\alpha_{1}, \ldots , \alpha_{n} на диагонали AA и β1,…,βn\beta_{1}, \ldots , \beta_{n} на диагонали BB.

?
(a)

Покажите, что A+BA+B — верхнетреугольная матрица с α1+β1,…,αn+βn\alpha_{1}+\beta_{1}, \ldots , \alpha_{n}+\beta_{n} на диагонали.

(b)

Покажите, что ABA B — верхнетреугольная матрица с α1β1,…,αnβn\alpha_{1} \beta_{1}, \ldots , \alpha_{n} \beta_{n} на диагонали.

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

Результаты этого упражнения используются в доказательстве 5.81.

Задача 5C.3

Пусть T∈L(V)T \in \mathcal{L}(V) обратим и v1,…,vnv_{1}, \ldots , v_{n} — базис VV, относительно которого матрица TT верхнетреугольна, с λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} на диагонали. Покажите, что матрица T−1T^{-1} также верхнетреугольна относительно базиса v1,…,vnv_{1}, \ldots , v_{n}, с

1λ1,…,1λn \frac{1}{\lambda _{1}}, \ldots , \frac{1}{\lambda _{n}}

на диагонали.

?
Задача 5C.4

Приведите пример оператора, матрица которого относительно некоторого базиса содержит на диагонали только нули, но при этом оператор обратим.

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

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

Задача 5C.5

Приведите пример оператора, матрица которого относительно некоторого базиса содержит на диагонали только ненулевые числа, но при этом оператор не обратим.

?
Задача 5C.6

Пусть F=C,V\mathbf{F} = \mathbb {C}, V конечномерно и T∈L(V)T \in \mathcal{L}(V). Докажите, что если k∈{1,…,dim⁡V}k \in \left\{ 1, \ldots , \operatorname {dim} V\right\}, то VV имеет kk-мерное подпространство, инвариантное относительно TT.

?
Задача 5C.7

Пусть VV конечномерно, T∈L(V)T \in \mathcal{L}(V) и v∈Vv \in V.

?
(a)

Докажите, что существует единственный нормированный многочлен pvp_{v} наименьшей степени, такой что pv(T)v=0p_{v}(T) v = 0.

(b)

Докажите, что минимальный многочлен TT является многочленным кратным pvp_{v}.

Задача 5C.8

Пусть VV конечномерно, T∈L(V)T \in \mathcal{L}(V) и существует ненулевой вектор v∈Vv \in V, такой что T2v+2Tv=−2vT^{2} v+2 T v = -2 v.

?
(a)

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

(b)

Докажите, что если F=C\mathbf{F} = \mathbb {C} и AA — верхнетреугольная матрица, равная матрице TT относительно некоторого базиса VV, то на диагонали AA встречается −1+i-1+i или −1−i-1-i.

Задача 5C.9

Пусть BB — квадратная матрица с комплексными элементами. Докажите, что существует обратимая квадратная матрица AA с комплексными элементами, такая что A−1BAA^{-1} B A — верхнетреугольная матрица.

?
Задача 5C.10

Пусть T∈L(V)T \in \mathcal{L}(V) и v1,…,vnv_{1}, \ldots , v_{n} — базис VV. Покажите, что следующие условия эквивалентны.

?
(a)

Матрица TT относительно v1,…,vnv_{1}, \ldots , v_{n} нижнетреугольна.

(b)

span⁡(vk,…,vn)\operatorname {span}\left(v_{k}, \ldots , v_{n}\right) инвариантно относительно TT при каждом k=1,…,nk = 1, \ldots , n.

(c)

Tvk∈span⁡(vk,…,vn)T v_{k} \in \operatorname {span}\left(v_{k}, \ldots , v_{n}\right) при каждом k=1,…,nk = 1, \ldots , n.

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

Квадратная матрица называется нижнетреугольной, если все элементы над диагональю равны 00.

Задача 5C.11

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

?
Задача 5C.12

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

?
(a)

Докажите, что T∣U\left.T\right|_{U} имеет верхнетреугольную матрицу относительно некоторого базиса UU.

(b)

Докажите, что фактор-оператор T/UT / U имеет верхнетреугольную матрицу относительно некоторого базиса V/UV / U.

Фактор-оператор T/UT/U был определён в упражнении 38 раздела 5A.

Задача 5C.13

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Пусть существует подпространство UU пространства VV, инвариантное относительно TT, такое что T∣U\left.T\right|_{U} имеет верхнетреугольную матрицу относительно некоторого базиса UU, а также T/UT / U имеет верхнетреугольную матрицу относительно некоторого базиса V/UV / U. Докажите, что TT имеет верхнетреугольную матрицу относительно некоторого базиса VV.

?
Задача 5C.14

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT имеет верхнетреугольную матрицу относительно некоторого базиса VV тогда и только тогда, когда двойственный оператор T′T^{\prime } имеет верхнетреугольную матрицу относительно некоторого базиса двойственного пространства V′V^{\prime }.

?
§
Задача 5D.1

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

?
(a)

Докажите, что если T4=IT^{4} = I, то TT диагонализируем.

(b)

Докажите, что если T4=TT^{4} = T, то TT диагонализируем.

(c)

Приведите пример оператора T∈L(C2)T \in \mathcal{L}\left(\mathbb {C}^{2}\right), такого что T4=T2T^{4} = T^{2}, но TT не диагонализируем.

Задача 5D.2

Пусть T∈L(V)T \in \mathcal{L}(V) имеет диагональную матрицу AA относительно некоторого базиса VV. Докажите, что если λ∈F\lambda \in \mathbf{F}, то λ\lambda встречается на диагонали AA ровно dim⁡E(λ,T)\operatorname {dim} E(\lambda , T) раз.

?
Задача 5D.3

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Докажите, что если оператор TT диагонализируем, то V=null⁡T⊕range⁡TV =\operatorname {null}T \oplus \operatorname {range}T.

?
Задача 5D.4

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Докажите, что следующие условия эквивалентны.

(i) V=null⁡T⊕range⁡TV = \operatorname {null} T \oplus \operatorname {range} T.

(ii) V=null⁡T+range⁡TV =\operatorname {null}T+\operatorname {range} T.

(iii) null⁡T  ∩range⁡T={0}\operatorname {null}T \; \cap \operatorname {range} T = \left\{ 0\right\}.

?
Задача 5D.5

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

V=null⁡(T−λI)⊕range⁡(T−λI) V = \operatorname {null}(T-\lambda I) \oplus \operatorname {range}(T-\lambda I)

для каждого λ∈C\lambda \in \mathbb {C}.

?
Задача 5D.6

Пусть T∈L(F5)T \in \mathcal{L}\left(\mathbf{F}^{5}\right) и dim⁡E(8,T)=4\operatorname {dim} E(8, T) = 4. Докажите, что T−2IT-2 I или T−6IT-6 I обратим.

?
Задача 5D.7

Пусть T∈L(V)T \in \mathcal{L}(V) обратим. Докажите, что

E(λ,T)=E(1λ,T−1) E(\lambda , T) = E\left(\frac{1}{\lambda }, T^{-1}\right)

для каждого λ∈F\lambda \in \mathbf{F} с λ≠0\lambda \neq 0.

?
Задача 5D.8

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Пусть λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} обозначают различные ненулевые собственные значения TT. Докажите, что

dim⁡E(λ1,T)+⋯+dim⁡E(λm,T)≤dim⁡range⁡T. \operatorname {dim} E(\lambda _{1}, T)+\cdots +\operatorname {dim} E(\lambda _{m}, T) \leq \operatorname {dim} \operatorname {range} T.
?
Задача 5D.9

Пусть R,T∈L(F3)R, T \in \mathcal{L}\left(\mathbf{F}^{3}\right) — операторы, у каждого из которых 2,6,72, 6, 7 являются собственными значениями. Докажите, что существует обратимый оператор S∈L(F3)S \in \mathcal{L}\left(\mathbf{F}^{3}\right), такой что R=S−1TSR = S^{-1} T S.

?
Задача 5D.10

Найдите R,T∈L(F4)R, T \in \mathcal{L}\left(\mathbf{F}^{4}\right), такие что у RR и TT собственными значениями являются 2,6,72, 6, 7 и никакие другие, но не существует обратимого оператора S∈L(F4)S \in \mathcal{L}\left(\mathbf{F}^{4}\right), такого что R=S−1TSR = S^{-1} T S.

?
Задача 5D.11

Найдите T∈L(C3)T \in \mathcal{L}\left(\mathbb {C}^{3}\right), такой что 6 и 7 являются собственными значениями TT и такой что TT не имеет диагональной матрицы ни относительно какого базиса C3\mathbb {C}^{3}.

?
Задача 5D.12

Пусть T∈L(C3)T \in \mathcal{L}\left(\mathbb {C}^{3}\right) таков, что 6 и 7 являются собственными значениями TT. Пусть, кроме того, TT не имеет диагональной матрицы ни относительно какого базиса C3\mathbb {C}^{3}. Докажите, что существует (z1,z2,z3)∈C3\left(z_{1}, z_{2}, z_{3}\right) \in \mathbb {C}^{3}, такой что

T(z1,z2,z3)=(6+8z1,7+8z2,13+8z3). T\left(z_{1}, z_{2}, z_{3}\right) = \left(6+8 z_{1}, 7+8 z_{2}, 13+8 z_{3}\right).
?
Задача 5D.13

Пусть AA — диагональная матрица с различными элементами на диагонали, а BB — матрица того же размера, что и AA. Покажите, что AB=BAA B = B A тогда и только тогда, когда BB — диагональная матрица.

?
Задача 5D.14
?
(a)

Приведите пример конечномерного комплексного векторного пространства и оператора TT на этом пространстве, такого что T2T^{2} диагонализируем, а TT — нет.

(b)

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

Задача 5D.15

Пусть VV — конечномерное комплексное векторное пространство, T∈L(V)T \in \mathcal{L}(V), и pp — минимальный многочлен TT. Докажите, что следующие условия эквивалентны.

?
(a)

TT диагонализируем.

(b)

Не существует λ∈C\lambda \in \mathbb {C}, такого что pp кратен (z−λ)2(z-\lambda )^{2}.

(c)

pp и его производная p′p^{\prime } не имеют общих нулей.

(d)

Наибольший общий делитель pp и p′p^{\prime } — это постоянный многочлен 11.

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

Наибольшим общим делителем pp и p′p^{\prime } называется нормированный многочлен qq наибольшей степени, такой что pp и p′p^{\prime } оба кратны qq. Алгоритм Евклида для многочленов (найдите информацию о нём) позволяет быстро находить наибольший общий делитель двух многочленов, не используя никакой информации о нулях этих многочленов. Таким образом, эквивалентность пунктов (a) и (d) выше показывает, что мы можем определить, диагонализируем ли TT, не зная ничего о нулях pp.

Задача 5D.16

Пусть T∈L(V)T \in \mathcal{L}(V) диагонализируем. Пусть λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} обозначают различные собственные значения TT. Докажите, что подпространство UU пространства VV инвариантно относительно TT тогда и только тогда, когда существуют подпространства U1,…,UmU_{1}, \ldots , U_{m} пространства VV, такие что Uk⊆E(λk,T)U_{k} \subseteq E(\lambda_{k}, T) для каждого kk и U=U1⊕⋯⊕UmU = U_{1} \oplus \cdots \oplus U_{m}.

?
Задача 5D.17

Пусть VV конечномерно. Докажите, что L(V)\mathcal{L}(V) имеет базис, состоящий из диагонализируемых операторов.

?
Задача 5D.18

Пусть T∈L(V)T \in \mathcal{L}(V) диагонализируем и UU — подпространство VV, инвариантное относительно TT. Докажите, что фактор-оператор T/UT / U является диагонализируемым оператором на V/UV / U.

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

Фактор-оператор T/UT/U был определён в задаче 38 раздела 5A.

Задача 5D.19

Докажите или приведите контрпример: если T∈L(V)T \in \mathcal{L}(V) и существует подпространство UU пространства VV, инвариантное относительно TT, такое что T∣U\left.T\right|_{U} и T/UT / U оба диагонализируемы, то TT диагонализируем.

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

См. задачу 13 раздела 5C для аналогичного утверждения о верхнетреугольных матрицах.

Задача 5D.20

Пусть VV конечномерно и T∈L(V)T \in \mathcal{L}(V). Докажите, что TT диагонализируем тогда и только тогда, когда двойственный оператор T′T^{\prime } диагонализируем.

?
Задача 5D.21

Последовательность Фибоначчи F0,F1,F2,…F_{0}, F_{1}, F_{2}, \ldots определяется формулами

F0=0,F1=1, и Fn=Fn−2+Fn−1 для n≥2 F_{0} = 0, F_{1} = 1, \text{ и } F_{n} = F_{n-2}+F_{n-1} \text{ для } n \geq 2

Определим T∈L(R2)T \in \mathcal{L}\left(\mathbb {R}^{2}\right) формулой T(x,y)=(y,x+y)T(x, y) = (y, x+y).

?
(a)

Покажите, что Tn(0,1)=(Fn,Fn+1)T^{n}(0,1) = \left(F_{n}, F_{n+1}\right) для каждого неотрицательного целого nn.

(b)

Найдите собственные значения TT.

(c)

Найдите базис R2\mathbb {R}^{2}, состоящий из собственных векторов TT.

(d)

Используя решение пункта (c), вычислите Tn(0,1)T^{n}(0,1). Выведите отсюда, что

Fn=15[(1+52)n−(1−52)n] F_{n} = \frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^{n}-\left(\frac{1-\sqrt{5}}{2}\right)^{n}\right]

для каждого неотрицательного целого nn.

(e)

Используя (d), выведите, что если nn — неотрицательное целое число, то число Фибоначчи FnF_{n} является ближайшим целым числом к

15(1+52)n \frac{1}{\sqrt{5}}\left(\frac{1+\sqrt{5}}{2}\right)^{n}
Примечание.
?

Каждое FnF_{n} является неотрицательным целым числом, хотя правая часть формулы в пункте (d) не выглядит как целое число. Число

φ:=1+52 \varphi := \frac{1+\sqrt{5}}{2}

называется золотым сечением.

Задача 5D.22

Пусть T∈L(V)T \in \mathcal{L}(V) и AA — матрица размера nn-на-nn, являющаяся матрицей TT относительно некоторого базиса VV. Докажите, что если

∣Aj,j∣>∑k=1k≠jn∣Aj,k∣ \left|A_{j, j}\right| > \sum _{\substack {k = 1 \\ k \neq j}}^{n}\left|A_{j, k}\right|

для каждого j∈{1,…,n}j \in \left\{ 1, \ldots , n\right\}, то TT обратим.

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

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

Задача 5D.23

Пусть определение кругов Гершгорина изменено так, что радиус kth k^{\text{th }} круга равен сумме абсолютных значений элементов столбца (вместо строки) kk матрицы AA, исключая диагональный элемент. Покажите, что теорема о кругах Гершгорина (5.67) остаётся верной при этом изменённом определении.

?
§
Задача 5E.1

Приведите пример двух коммутирующих операторов S,TS, T на F4\mathbf{F}^{4}, таких что существует подпространство F4\mathbf{F}^{4}, инвариантное относительно SS, но не относительно TT, и существует подпространство F4\mathbf{F}^{4}, инвариантное относительно TT, но не относительно SS.

?
Задача 5E.2

Пусть E\mathcal{E} — подмножество L(V)\mathcal{L}(V), и каждый элемент E\mathcal{E} диагонализируем. Докажите, что существует базис VV, относительно которого каждый элемент E\mathcal{E} имеет диагональную матрицу, тогда и только тогда, когда каждая пара элементов E\mathcal{E} коммутирует.

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

Эта задача обобщает 5.76, которая рассматривает случай, когда E\mathcal{E} содержит только два элемента. В этой задаче E\mathcal{E} может содержать любое число элементов и даже может быть бесконечным множеством.

Задача 5E.3

Пусть S,T∈L(V)S, T \in \mathcal{L}(V) таковы, что ST=TSS T = T S. Пусть p∈P(F)p \in \mathcal{P}(\mathbf{F}).

?
(a)

Докажите, что null⁡p(S)\operatorname {null}p(S) инвариантно относительно TT.

(b)

Докажите, что range⁡p(S)\operatorname {range}p(S) инвариантно относительно TT.

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

См. 5.18 для частного случая S=TS = T.

Задача 5E.4

Докажите или приведите контрпример: если AA — диагональная матрица, а BB — верхнетреугольная матрица того же размера, что и AA, то AA и BB коммутируют.

?
Задача 5E.5

Докажите, что пара операторов на конечномерном векторном пространстве коммутирует тогда и только тогда, когда коммутируют их двойственные операторы.

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

См. 3.118 для определения двойственного оператора.

Задача 5E.6

Пусть VV — конечномерное комплексное векторное пространство и S,T∈L(V)S, T \in \mathcal{L}(V) коммутируют. Докажите, что существуют α,λ∈C\alpha , \lambda \in \mathbb {C}, такие что

range⁡(S−αI)+range⁡(T−λI)≠V \operatorname {range}(S-\alpha I)+\operatorname {range}(T-\lambda I) \neq V
?
Задача 5E.7

Пусть VV — комплексное векторное пространство, S∈L(V)S \in \mathcal{L}(V) диагонализируем, а T∈L(V)T \in \mathcal{L}(V) коммутирует с SS. Докажите, что существует базис VV, относительно которого SS имеет диагональную матрицу, а TT имеет верхнетреугольную матрицу.

?
Задача 5E.8

Пусть m=3m = 3 в примере 5.72, и Dx,DyD_{x}, D_{y} — коммутирующие операторы частного дифференцирования на P3(R2)\mathcal{P}_{3}\left(\mathbb {R}^{2}\right) из этого примера. Найдите базис P3(R2)\mathcal{P}_{3}\left(\mathbb {R}^{2}\right), относительно которого DxD_{x} и DyD_{y} оба имеют верхнетреугольную матрицу.

?
Задача 5E.9

Пусть VV — конечномерное ненулевое комплексное векторное пространство. Пусть E⊆L(V)\mathcal{E} \subseteq \mathcal{L}(V) таково, что SS и TT коммутируют для всех S,T∈ES, T \in \mathcal{E}.

?
(a)

Докажите, что в VV существует вектор, являющийся собственным вектором для каждого элемента E\mathcal{E}.

(b)

Докажите, что существует базис VV, относительно которого каждый элемент E\mathcal{E} имеет верхнетреугольную матрицу.

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

Эта задача обобщает 5.78 и 5.80, которые рассматривают случай, когда E\mathcal{E} содержит только два элемента. В этой задаче E\mathcal{E} может содержать любое число элементов и даже может быть бесконечным множеством.

Задача 5E.10

Приведите пример двух коммутирующих операторов S,TS, T на конечномерном вещественном векторном пространстве, таких что S+TS+T имеет собственное значение, не равное сумме некоторого собственного значения SS и некоторого собственного значения TT, и STS T имеет собственное значение, не равное произведению некоторого собственного значения SS и некоторого собственного значения TT.

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

Эта задача показывает, что 5.81 не выполняется для вещественных векторных пространств.