8C

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

[14/0%]
LaTeX
Задача 8C.1

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

?
Задача 8C.2

Определим T∈L(F5)T \in \mathcal{L}\left(\mathbf{F}^{5}\right) формулой T(x1,x2,x3,x4,x5)=(2x2,3x3,−x4,4x5,0)T\left(x_{1}, x_{2}, x_{3}, x_{4}, x_{5}\right) = \left(2 x_{2}, 3 x_{3},-x_{4}, 4 x_{5}, 0\right).

?
(a)

Покажите, что TT нильпотентен.

(b)

Найдите квадратный корень из I+TI+T.

Задача 8C.3

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

?
Задача 8C.4

Пусть VV — вещественное векторное пространство. Докажите, что оператор −I-I на VV имеет квадратный корень тогда и только тогда, когда dim⁡V\operatorname {dim} V чётно.

?
Задача 8C.5

Пусть T∈L(C2)T \in \mathcal{L}\left(\mathbb {C}^{2}\right) — оператор, определённый как T(w,z)=(−w−z,9w+5z)T(w, z) = (-w-z, 9 w+5 z). Найдите базис Жордана для TT.

?
Задача 8C.6

Найдите базис P4(R)\mathcal{P}_{4}(\mathbb {R}), являющийся базисом Жордана для оператора дифференцирования DD на P4(R)\mathcal{P}_{4}(\mathbb {R}), определённого как Dp=p′D p = p^{\prime }.

?
Задача 8C.7

Пусть T∈L(V)T \in \mathcal{L}(V) нильпотентен и v1,…,vnv_{1}, \ldots , v_{n} — базис Жордана для TT. Докажите, что минимальный многочлен TT равен zm+1z^{m+1}, где mm — длина самой длинной последовательной строки единиц, стоящих непосредственно над диагональю в матрице TT относительно v1,…,vnv_{1}, \ldots , v_{n}.

?
Задача 8C.8

Пусть T∈L(V)T \in \mathcal{L}(V) и v1,…,vnv_{1}, \ldots , v_{n} — базис VV, являющийся базисом Жордана для TT. Опишите матрицу T2T^{2} относительно этого базиса.

?
Задача 8C.9

Пусть T∈L(V)T \in \mathcal{L}(V) нильпотентен. Объясните, почему существуют v1,…,vn∈Vv_{1}, \ldots , v_{n} \in V и неотрицательные целые числа m1,…,mnm_{1}, \ldots , m_{n}, такие что выполняются оба условия (a) и (b) ниже.

?
(a)

Tm1v1,…,Tv1,v1,…,Tmnvn,…,Tvn,vnT^{m_{1}} v_{1}, \ldots , T v_{1}, v_{1}, \ldots , T^{m_{n}} v_{n}, \ldots , T v_{n}, v_{n} — базис VV.

(b)

Tm1+1v1=⋯=Tmn+1vn=0T^{m_{1}+1} v_{1} = \cdots = T^{m_{n}+1} v_{n} = 0.

Задача 8C.10

Пусть T∈L(V)T \in \mathcal{L}(V) и v1,…,vnv_{1}, \ldots , v_{n} — базис VV, являющийся базисом Жордана для TT. Опишите матрицу TT относительно базиса vn,…,v1v_{n}, \ldots , v_{1}, полученного обращением порядка vv.

?
Задача 8C.11

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

?
Задача 8C.12

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

?
Задача 8C.13

Пусть T∈L(V)T \in \mathcal{L}(V) нильпотентен. Докажите, что если v1,…,vnv_{1}, \ldots , v_{n} — векторы в VV, а m1,…,mnm_{1}, \ldots , m_{n} — неотрицательные целые числа, такие что

Tm1v1,…,Tv1,v1,…,Tmnvn,…,Tvn,vn является базисом V T^{m_{1}} v_{1}, \ldots , T v_{1}, v_{1}, \ldots , T^{m_{n}} v_{n}, \ldots , T v_{n}, v_{n} \text{ является базисом } V

и

Tm1+1v1=⋯=Tmn+1vn=0, T^{m_{1}+1} v_{1} = \cdots = T^{m_{n}+1} v_{n} = 0,

то Tm1v1,…,TmnvnT^{m_{1}} v_{1}, \ldots , T^{m_{n}} v_{n} — базис null⁡T\operatorname {null}T. Эта задача показывает, что n=dim⁡null⁡Tn = \operatorname {dim}\operatorname {null}T. Таким образом, положительное целое число nn, фигурирующее выше, зависит только от TT, а не от конкретного выбранного базиса Жордана для TT.

?
Задача 8C.14

Пусть F=C\mathbf{F} = \mathbb {C} и T∈L(V)T \in \mathcal{L}(V). Докажите, что не существует разложения VV в прямую сумму двух ненулевых подпространств, инвариантных относительно TT, тогда и только тогда, когда минимальный многочлен TT имеет вид (z−λ)dim⁡V(z-\lambda )^{\operatorname {dim} V} для некоторого λ∈C\lambda \in \mathbb {C}.

?