5B

Минимальный многочлен

[29/72%]
Показать
LaTeX
Задача 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}.