VI.4

Инвариантные подпространства

[9/0%]
LaTeX
Задача VI.4.1

Пусть A,B,TB(X)A, B, T \in \mathcal{B}(\mathscr {X}) таковы, что TA=BTTA = BT. Покажите, что graph(T)Lat(AB)\mathrm{graph}(T) \in \mathrm{Lat}(A \oplus B).

?
Задача VI.4.2

Докажите, что MLat T\mathscr {M} \in \mathrm{Lat}\ T тогда и только тогда, когда MLat T\mathscr {M}^\perp \in \mathrm{Lat}\ T^*. Что делает отображение MM\mathscr {M} \mapsto \mathscr {M}^\perp из Lat T\mathrm{Lat}\ T в Lat T\mathrm{Lat}\ T^* с решёточными операциями?

?
Задача VI.4.3

Пусть {e1,e2,e3}\left\{ e_1, e_2, e_3\right\} — обычный базис для F3\mathbb {F}^3 и α1,α2,α3F\alpha_1, \alpha_2, \alpha_3 \in \mathbb {F}. Определим T:F3F3T: \mathbb {F}^3 \to \mathbb {F}^3 как Tej=αjejTe_j = \alpha_j e_j, 1j31 \le j \le 3.

?
(a)

Если α1,α2,α3\alpha_1, \alpha_2, \alpha_3 все различны, покажите, что MLat T\mathscr {M} \in \mathrm{Lat}\ T тогда и только тогда, когда M=E\mathscr {M} = \bigvee E, где E{e1,e2,e3}E \subseteq \left\{ e_1, e_2, e_3\right\}.

(b)

Если α1=α2α3\alpha_1 = \alpha_2 \ne \alpha_3, покажите, что MLat T\mathscr {M} \in \mathrm{Lat}\ T тогда и только тогда, когда M=N+L\mathscr {M} = \mathscr {N} + \mathscr {L}, где N{e1,e2}\mathscr {N} \le \bigvee \left\{ e_1, e_2\right\} и L{αe3:αF}\mathscr {L} \le \left\{ \alpha e_3: \alpha \in \mathbb {F}\right\}.

Задача VI.4.4

Обобщите упражнение 3, охарактеризовав Lat T\mathrm{Lat}\ T, где TT определён как Tej=αjejTe_j = \alpha_j e_j, 1jd1 \le j \le d, для произвольного выбора скаляров α1,,αd\alpha_1, \ldots , \alpha_d и где {e1,,ed}\left\{ e_1, \ldots , e_d\right\} — обычный базис для Fd\mathbb {F}^d.

?
Задача VI.4.5

Пусть {e1,,ed}\left\{ e_1, \ldots , e_d\right\} — обычный базис для Fd\mathbb {F}^d, {α1,,αd1}F\left\{ \alpha_1, \ldots , \alpha_{d-1}\right\} \subseteq \mathbb {F}, причём ни одно αj=0\alpha_j = 0. Если Tej=αjej+1Te_j = \alpha_j e_{j+1} при 1jd11 \le j \le d - 1 и Ted=0Te_d = 0, найдите Lat T\mathrm{Lat}\ T.

?
Задача VI.4.6

Если TB(Rd)T \in \mathcal{B}(\mathbb {R}^d) и d3d \ge 3, покажите, что TT имеет нетривиальное подпространство.

?
Задача VI.4.7

Покажите, что если TB(X)T \in \mathcal{B}(\mathscr {X}) и X\mathscr {X} не сепарабельно, то TT имеет нетривиальное инвариантное подпространство.

?
Задача VI.4.8

Приведите пример обратимого оператора TT на банаховом пространстве X\mathscr {X} и инвариантного подпространства M\mathscr {M} для TT такого, что M\mathscr {M} не инвариантно для T1T^{-1}.

?
Задача VI.4.9

Пусть X\mathscr {X} — банахово пространство над C\mathbb {C}, KB0(X)K \in \mathcal{B}_0(\mathscr {X}), и покажите, что если C\mathscr {C} — максимальная цепь в Lat K\mathrm{Lat}\ K, то C\mathscr {C} — максимальная цепь в решётке всех подпространств X\mathscr {X}.

?