8B

Разложение по обобщённым собственным подпространствам

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

Определим T∈L(C2)T \in \mathcal{L}\left(\mathbb {C}^{2}\right) формулой T(w,z)=(−z,w)T(w, z) = (-z, w). Найдите обобщённые собственные подпространства, соответствующие различным собственным значениям TT.

?
Задача 8B.2

Пусть T∈L(V)T \in \mathcal{L}(V) обратим. Докажите, что G(λ,T)=G(1λ,T−1)G(\lambda , T) = G\left(\frac{1}{\lambda }, T^{-1}\right) для каждого λ∈F\lambda \in \mathbf{F} с λ≠0\lambda \neq 0.

?
Задача 8B.3

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

?
Задача 8B.4

Пусть dim⁡V≥2\operatorname {dim} V \geq 2 и T∈L(V)T \in \mathcal{L}(V) таков, что null⁡Tdim⁡V−2≠null⁡Tdim⁡V−1\operatorname {null}T^{\operatorname {dim} V-2} \neq \operatorname {null} T^{\operatorname {dim} V-1}. Докажите, что TT имеет не более двух различных собственных значений.

?
Задача 8B.5

Пусть T∈L(V)T \in \mathcal{L}(V) и 33, 88 — собственные значения TT. Пусть n=dim⁡Vn = \operatorname {dim} V. Докажите, что V=(null⁡Tn−2)⊕(range⁡Tn−2)V = \left(\operatorname {null} T^{n-2}\right) \oplus \left(\operatorname {range} T^{n-2}\right).

?
Задача 8B.6

Пусть T∈L(V)T \in \mathcal{L}(V) и λ\lambda — собственное значение TT. Объясните, почему показатель степени z−λz-\lambda в разложении минимального многочлена TT является наименьшим положительным целым числом mm, таким что (T−λI)m∣G(λ,T)=0\left.(T-\lambda I)^{m}\right|_{G(\lambda , T)} = 0.

?
Задача 8B.7

Пусть T∈L(V)T \in \mathcal{L}(V) и λ\lambda — собственное значение TT кратности dd. Докажите, что G(λ,T)=null⁡(T−λI)dG(\lambda , T) = \operatorname {null}(T-\lambda I)^{d}.

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

Если d<dim⁡Vd < \operatorname {dim} V, то эта задача усиливает 8.20.

Задача 8B.8

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

V=G(λ1,T)⊕⋯⊕G(λm,T) V = G\left(\lambda _{1}, T\right) \oplus \cdots \oplus G\left(\lambda _{m}, T\right)

тогда и только тогда, когда минимальный многочлен TT равен (z−λ1)k1…(z−λm)km\left(z-\lambda_{1}\right)^{k_{1}} \ldots \left(z-\lambda_{m}\right)^{k_{m}} для некоторых положительных целых чисел k1,…,kmk_{1}, \ldots , k_{m}.

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

Случай F=C\mathbf{F} = \mathbb {C} немедленно следует из 5.27(b)5.27(b) и разложения на обобщённые собственные подпространства (8.22); таким образом, эта задача интересна только при F=R\mathrm{F} = \mathbb {R}.

Задача 8B.9

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Докажите, что существуют D,N∈L(V)D, N \in \mathcal{L}(V), такие что T=D+NT = D+N, оператор DD диагонализируем, NN нильпотентен, и DN=NDD N = N D.

?
Задача 8B.10

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

∣λ1∣2+⋯+∣λn∣2≤∥Te1∥2+⋯+∥Ten∥2. \left|\lambda _{1}\right|^{2}+\cdots +\left|\lambda _{n}\right|^{2} \leq \left\| T e_{1}\right\| ^{2}+\cdots +\left\| T e_{n}\right\| ^{2}.

См. замечание после задачи 5 раздела 7A. Задача 7A.5: пусть T∈L(V,W)T \in \mathcal{L}(V, W); пусть e1,…,ene_{1}, \ldots , e_{n} — ортонормированный базис VV, а f1,…,fmf_{1}, \ldots , f_{m} — ортонормированный базис WW. Докажите, что ∥Te1∥2+⋯+∥Ten∥2=∥T∗f1∥2+⋯+∥T∗fm∥2\left\| Te_{1}\right\|^{2}+\cdots +\left\| Te_{n}\right\|^{2} = \left\| T^{*}f_{1}\right\|^{2}+\cdots +\left\| T^{*}f_{m}\right\|^{2}. Замечание после этой задачи: числа ∥Te1∥2,…,∥Ten∥2\left\| Te_{1}\right\|^{2}, \ldots , \left\| Te_{n}\right\|^{2} в этом равенстве зависят от ортонормированного базиса e1,…,ene_{1}, \ldots , e_{n}, но правая часть не зависит от e1,…,ene_{1}, \ldots , e_{n}; таким образом, равенство показывает, что сумма в левой части не зависит от того, какой ортонормированный базис e1,…,ene_{1}, \ldots , e_{n} используется.

?
Задача 8B.11

Приведите пример оператора на C4\mathbb {C}^{4}, характеристический многочлен которого равен (z−7)2(z−8)2(z-7)^{2}(z-8)^{2}.

?
Задача 8B.12

Приведите пример оператора на C4\mathbb {C}^{4}, характеристический многочлен которого равен (z−1)(z−5)3(z-1)(z-5)^{3}, а минимальный многочлен равен (z−1)(z−5)2(z-1)(z-5)^{2}.

?
Задача 8B.13

Приведите пример оператора на C4\mathbb {C}^{4}, характеристический и минимальный многочлены которого оба равны z(z−1)2(z−3)z(z-1)^{2}(z-3).

?
Задача 8B.14

Приведите пример оператора на C4\mathbb {C}^{4}, характеристический многочлен которого равен z(z−1)2(z−3)z(z-1)^{2}(z-3), а минимальный многочлен равен z(z−1)(z−3)z(z-1)(z-3).

?
Задача 8B.15

Пусть TT — оператор на C4\mathbb {C}^{4}, определённый как T(z1,z2,z3,z4)=(0,z1,z2,z3)T\left(z_{1}, z_{2}, z_{3}, z_{4}\right) = \left(0, z_{1}, z_{2}, z_{3}\right). Найдите характеристический многочлен и минимальный многочлен TT.

?
Задача 8B.16

Пусть TT — оператор на C6\mathbb {C}^{6}, определённый как

T(z1,z2,z3,z4,z5,z6)=(0,z1,z2,0,z4,0). T\left(z_{1}, z_{2}, z_{3}, z_{4}, z_{5}, z_{6}\right) = \left(0, z_{1}, z_{2}, 0, z_{4}, 0\right).

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

?
Задача 8B.17

Пусть F=C\mathbf{F} = \mathbb {C} и P∈L(V)P \in \mathcal{L}(V) таков, что P2=PP^{2} = P. Докажите, что характеристический многочлен PP равен zm(z−1)nz^{m}(z-1)^{n}, где m=dim⁡null⁡Pm = \operatorname {dim}\operatorname {null}P и n=dim⁡n = \operatorname {dim} range PP.

?
Задача 8B.18

Пусть T∈L(V)T \in \mathcal{L}(V) и λ\lambda — собственное значение TT. Объясните, почему следующие четыре числа равны друг другу.

?
(a)

Показатель степени z−λz-\lambda в разложении минимального многочлена TT.

(b)

Наименьшее положительное целое число mm, такое что (T−λI)m∣G(λ,T)=0\left.(T-\lambda I)^{m}\right|_{G(\lambda , T)} = 0.

(c)

Наименьшее положительное целое число mm, такое что

null⁡(T−λI)m=null⁡(T−λI)m+1 \operatorname {null}(T-\lambda I)^{m} = \operatorname {null}(T-\lambda I)^{m+1}
(d)

Наименьшее положительное целое число mm, такое что

range⁡(T−λI)m=range⁡(T−λI)m+1 \operatorname {range}(T-\lambda I)^{m} = \operatorname {range}(T-\lambda I)^{m+1}
Задача 8B.19

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

?
Задача 8B.20

Пусть F=C\mathbf{F} = \mathbb {C} и V1,…,VmV_{1}, \ldots , V_{m} — ненулевые подпространства VV, такие что

V=V1⊕⋯⊕Vm V = V_{1} \oplus \cdots \oplus V_{m}

Пусть T∈L(V)T \in \mathcal{L}(V) и каждое VkV_{k} инвариантно относительно TT. Для каждого kk пусть pkp_{k} обозначает характеристический многочлен T∣Vk\left.T\right|_{V_{k}}. Докажите, что характеристический многочлен TT равен p1⋯pmp_{1} \cdots p_{m}.

?
Задача 8B.21

Пусть p,q∈P(C)p, q \in \mathcal{P}(\mathbb {C}) — нормированные многочлены с одними и теми же нулями, и qq кратен pp. Докажите, что существует T∈L(Cdeg⁡q)T \in \mathcal{L}\left(\mathbb {C}^{\operatorname {deg} q}\right), такой что характеристический многочлен TT есть qq, а минимальный многочлен TT есть pp.

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

Эта задача показывает, что каждый нормированный многочлен является характеристическим многочленом некоторого оператора.

Задача 8B.22

Пусть AA и BB — блочно-диагональные матрицы вида

A=[A10⋱0Am],B=[B10⋱0Bm] A =\left[\begin{smallmatrix} A_{1} & & 0 \\ & \ddots & \\ 0 & & A_{m} \end{smallmatrix}\right], \quad B =\left[\begin{smallmatrix} B_{1} & & 0 \\ & \ddots & \\ 0 & & B_{m} \end{smallmatrix}\right]

где AkA_{k} и BkB_{k} — квадратные матрицы одного размера для каждого k=1,…,mk = 1, \ldots , m. Покажите, что ABA B — блочно-диагональная матрица вида

AB=[A1B10⋱0AmBm] A B =\left[\begin{smallmatrix} A_{1} B_{1} & & 0 \\ & \ddots & \\ 0 & & A_{m} B_{m} \end{smallmatrix}\right]
?
Задача 8B.23

Пусть F=R\mathbf{F} = \mathbb {R}, T∈L(V)T \in \mathcal{L}(V), и λ∈C\lambda \in \mathbb {C}.

?
(a)

Покажите, что u+iv∈G(λ,TC)u+i v \in G\left(\lambda , T_{\mathrm{C}}\right) тогда и только тогда, когда u−iv∈G(λˉ,TC)u-i v \in G\left(\bar{\lambda }, T_{\mathrm{C}}\right).

(b)

Покажите, что кратность λ\lambda как собственного значения TCT_{\mathrm{C}} равна кратности λˉ\bar{\lambda } как собственного значения TCT_{\mathrm{C}}.

(c)

Используя (b) и результат о сумме кратностей (8.25), покажите, что если dim⁡V\operatorname {dim} V нечётно, то TCT_{\mathrm{C}} имеет вещественное собственное значение.

(d)

Используя (c) и результат о вещественных собственных значениях TCT_{\mathrm{C}} (задача 17 раздела 5A), покажите, что если dim⁡V\operatorname {dim} V нечётно, то TT имеет собственное значение (тем самым давая альтернативное доказательство 5.34).

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

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