11.2

Ядро и образ линейного оператора. Инвариантные подпространства. Проекторы. Комплексификация и овеществление

[19/21%]
Показать
LaTeX
Задача 1116

Доказать, что ядро KerA и образ ImA любого линейного оператора в пространстве VV являются линейными подпространствами пространства VV, причем если VV конечномерно, то

dim⁡(Ker⁡A)+dim⁡(Im⁡A)=dim⁡V \operatorname {dim}(\operatorname {Ker} \mathbf{A})+\operatorname {dim}(\operatorname {Im} \mathbf{A}) = \operatorname {dim} V
?
Задача 1117

Показать, что ядро и образ любого оператора А инвариантны относительно оператора А.

?
Задача 1118

Найти ядро и образ следующих операторов, действующих в пространстве Rn[x]\mathbb {R}_{n}[x] многочленов степени не выше nn :

?
(1)

оператор сдвига T:f(x)↦f(x+1)\mathbf{T}: f(x) \mapsto f(x+1);

(2)

R:f(x)↦f(−x)\mathbf{R}: f(x) \mapsto f(-x);

(3)

D:f(x)↦xf′(x)\mathbf{D}: f(x) \mapsto x f^{\prime }(x);

(4)

P:f(x)↦f(0)x\mathbf{P}: f(x) \mapsto f(0) x.

Задача 1119

Найти ядро и образ оператора дифференцирования:

?
(1)

в пространстве kn[x]\mathbb {k}_{n}[x] многочленов степени не выше nn;

(2)

в пространстве k[x]\mathbb {k}[x] всех многочленов одной переменной;

(3)

в вещественном пространстве VnV_{n} тригонометрических многочленов, т. е. 2π2 \pi-периодических функций ff на числовой прямой R\mathbb {R} вида

f(x)=∑k=0naksin⁡kx+bkcos⁡kx f(x) = \sum _{k = 0}^{n} a_{k} \sin k x+b_{k} \cos k x
Задача 1120

Доказать, что для любых подпространств L1L_{1} и L2L_{2} конечномерного линейного пространства VV, таких что dim⁡L1+dim⁡L2=dim⁡V\operatorname {dim} L_{1}+\operatorname {dim} L_{2} = \operatorname {dim} V, найдется такой линейный оператор A\mathbf{A}, что

Ker⁡A=L1,Im⁡A=L2 \operatorname {Ker} \mathbf{A} = L_{1}, \quad \operatorname {Im} \mathbf{A} = L_{2}
?
Задача 1121

Доказать, что ядро и образ любого идемпотентного оператора А образуют прямую сумму. Доказать, что А является оператором проектирования на подпространство Im A параллельно Ker A.

?
Задача 1122

Пусть А и В — идемпотентные операторы (проекторы) в одном и том же векторном пространстве. Доказать, что оператор А - В идемпотентен (проектор) тогда и только тогда, когда AB=BA=B\mathbf{A B} = \mathbf{B A} = \mathbf{B}.

?
Задача 1123

Пусть А- идемпотентный оператор в пространстве VV. Доказать, что сопряженный оператор A∗\mathbf{A}^{*} в двойственном пространстве V∗V^{*} также идемпотентен. Каковы его ядро и образ?

?
Задача 1124

Доказать, что сумма и пересечение подпространств L1L_{1} и L2L_{2}, инвариантных относительно оператора A\mathrm{A}, также инвариантны относительно оператора А.

?
Задача 1125

Доказать, что если оператор A\mathbf{A} обратим, то A\mathbf{A} и A−1\mathbf{A}^{-1} имеют одни и те же инвариантные подпространства.

?
Задача 1126

Доказать, что если два оператора A, B, определенные на одном и том же векторном пространстве, коммутируют, то ядро и образ оператора А инвариантны относительно В.

?
Задача 1127

Охарактеризовать матрицы таких операторов А в базисе e1,…,ene_{1}, \ldots , e_{n}, что

?
(1)

подпространство ⟨e1,…,ek⟩\left\langle e_{1}, \ldots , e_{k}\right\rangle инвариантно относительно A\mathbf{A};

(2)

подпространство ⟨ek+1,…,en⟩\left\langle e_{k+1}, \ldots , e_{n}\right\rangle инвариантно относительно A\mathbf{A}.

Задача 1128

Доказать, что конечномерное вещественное линейное пространство VV, обладающее некоторой комплексной структурой J\mathrm{J}, имеет четную размерность.

?
Задача 1129

Пусть векторы e1,e2,…,ene_{1}, e_{2}, \ldots , e_{n} образуют базис вещественного пространства VV. Доказать, что векторы

(e1,0)=e1+i0,(e2,0)=e2+i0,…,(en,0)=en+i0 \left(e_{1}, 0\right) = e_{1}+i 0, \quad \left(e_{2}, 0\right) = e_{2}+i 0, \quad \ldots , \quad \left(e_{n}, 0\right) = e_{n}+i 0

образуют базис комплексификации VCV_{\mathbb {C}} пространства VV.

?
Задача 1130

Доказать, что вещественный оператор А вырожден тогда и только тогда, когда вырожден оператор комплексификации AC\mathbf{A}_{\mathbb {C}}.

?
Задача 1131

Пусть векторы e1,…,ene_{1}, \ldots , e_{n} образуют базис пространства VV над полем C\mathbb {C}. Доказать, что векторы e1,…,en,ie1,…,iene_{1}, \ldots , e_{n}, i e_{1}, \ldots , i e_{n} образуют базис овеществления VRV_{\mathbb {R}}.

?
Задача 1132

Пусть A- оператор, действующий в конечномерном комплексном пространстве VV. Доказать, что оператор AR:VR→VR\mathbf{A}_{\mathbb {R}}: V_{\mathbb {R}} \rightarrow V_{\mathbb {R}} имеет неотрицательный определитель.

?
Задача 1133

Пусть VV — вещественное линейное пространство. Доказать, что имеется следующий естественный изоморфизм вещественных пространств: (VC)R→V⊕V\left(V_{\mathbb {C}}\right)_{\mathbb {R}} \rightarrow V \oplus V.

?
Задача 1134

Пусть VV — вещественное линейное пространство и J\mathbf{J} — некоторая комплексная структура на нем. Доказать, что:

?
(1)

подпространство L⊂VL \subset V является одновременно и комплексным подпространством в (V,J(V, \mathbf{J}), если LL является инвариантным подпространством оператора J\mathbf{J};

(2)

оператор A:V→V\mathbf{A}: V \rightarrow V определяет комплексный линейный оператор в пространстве (V,J)(V, \mathbf{J}), если и только если операторы А и J\mathbf{J} коммутируют: AJ=JA\mathbf{A J} = \mathbf{J A}.