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

редактировать

В математике, инвариантное подпространство линейного отображения T: V → V из некоторого векторного пространства V в себя, является подпространством W пространства V, которое сохраняется посредством T; то есть, T (W) ⊆ W.

Содержание

1 Общее описание
- 1.1 Тривиальные примеры инвариантных подпространств
- 1.2 Одномерное инвариантное подпространство U
2 Формальное описание
3 Матрица представление
4 Проблема инвариантных подпространств
5 Решетка инвариантных подпространств
6 Основная теорема некоммутативной алгебры
7 Левые идеалы
8 Почти инвариантные полупространства
9 См. также
10 Библиография

Общее описание

Рассмотрим линейное отображение $T {\ displaystyle T}$ $T$ , которое преобразует:

T: R n → R n. {\ displaystyle T: \ mathbb {R} ^ {n} \ to \ mathbb {R} ^ {n}.}

{\ displaystyle T: \ mathbb {R} ^ {n} \ to \ mathbb {R} ^ {n}.}

Инвариантное подпространство $W {\ displaystyle W}$ $W$ из $T {\ displaystyle T}$ $T$ обладает тем свойством, что все векторы $v ∈ W {\ displaystyle v \ in W}$ $v \ in W$ преобразуются на $T {\ displaystyle T}$ $T$ на векторы, также содержащиеся в $W {\ displaystyle W}$ $W$ . Это можно сформулировать как

v ∈ W ⇒ T (v) ∈ W. {\ displaystyle v \ in W \ Rightarrow T (v) \ in W.}

{\ displaystyle v \ in W \ Rightarrow T ( v) \ in W.}

Тривиальные примеры инвариантных подпространств

$R n {\ displaystyle \ mathbb {R} ^ {n}}$ $\ mathbb {R} ^ {n}$ : Поскольку $T {\ displaystyle T}$ $T$ отображает каждый вектор в $R n {\ displaystyle \ mathbb {R} ^ {n}}$ $\ mathbb {R} ^ {n}$ в $R п. {\ displaystyle \ mathbb {R} ^ {n}.}$ ${\ mathbb {R}} ^ {n}.$
${0} {\ displaystyle \ {0 \}}$ $\ {0 \}$ : поскольку линейная карта должна отображать $0 → 0. {\ displaystyle 0 \ to 0.}$ ${\ displaystyle 0 \ to 0.}$

Одномерное инвариантное подпространство U

Основой этого одномерного пространства является просто вектор $v {\ displaystyle v}$ $v$ . Следовательно, любой вектор $x ∈ U {\ displaystyle x \ in U}$ $x \ in U$ может быть представлен как $λ v {\ displaystyle \ lambda v}$ $\ lambda v$ где $λ {\ displaystyle \ lambda}$ $\ lambda$ - вещественный скаляр. Если мы представим $T {\ displaystyle T}$ $T$ матрицей $A {\ displaystyle A}$ $A$ , тогда для $U {\ displaystyle U}$ $U$ чтобы быть инвариантным подпространством, оно должно удовлетворять

∀ x ∈ U ∃ α ∈ R: A x = α v. {\ displaystyle \ forall _ {x \ in U} \; \ exists _ {\ alpha \ in \ mathbb {R}}: Ax = \ alpha v.}

{\ displaystyle \ forall _ {x \ in U} \; \ exists _ {\ alpha \ in \ mathbb {R}}: Ax = \ alpha v.}

Мы знаем, что $x ∈ U ⇒ x знак равно β v {\ displaystyle x \ in U \ Rightarrow x = \ beta v}$ $x \ in U \ Rightarrow x = \ beta v$ с $β ∈ R {\ displaystyle \ beta \ in \ mathbb {R}}$ $\ beta \ in {\ mathbb {R}}$ .

Следовательно, условие существования одномерного инвариантного подпространства выражается следующим образом:

A v = λ v {\ displaystyle Av = \ lambda v}

Av = \ lambda v

, где

λ {\ displaystyle \ lambda}

\ lambda

- скаляр (в поле векторного пространства

A {\ displaystyle A}

A

Обратите внимание, что это типичная формулировка задачи собственного значения, что означает, что любое собственный вектор из $A {\ displaystyle A}$ $A$ образует одномерное инвариантное подпространство в $T {\ displaystyle T}$ $T$ .

Формальное описание

Инвариантное подпространство линейного отображения

T: V → V {\ displaystyle T: V \ rightarrow V}

{\ displaystyle T: V \ rightarrow V}

из некоторого векторного пространства V в сам является подпространством W в V такое, что T (W) содержится в W. Инвариантное подпространство T также называется T-инвариантным .

Если W T-инвариантно, мы можем ограничить T до W, чтобы получить новое линейное отображение

T | W: W → W. {\ displaystyle T | _ {W}: W \ rightarrow W.}

{\ displaystyle T | _ {W}: W \ rightarrow W.}

Это линейное отображение называется ограничением T на W и определяется как

T | W (x) = T (x), ∀ x ∈ W. {\ displaystyle T | _ {W} (x) = T (x), \ forall x \ in W.}

{\ displaystyle T | _ {W} (x) = T (x), \ forall x \ in W.}

Затем мы дадим несколько непосредственных примеров инвариантных подпространств.

Конечно, само V и подпространство {0} являются тривиально инвариантными подпространствами для любого линейного оператора T: V → V. Для некоторых линейных операторов нет нетривиального инвариантного подпространства; рассмотрим, например, вращение двумерного реального векторного пространства.

Пусть v будет собственным вектором T, то есть T v = λ v . Тогда W = span {v} инвариантно относительно T. Как следствие фундаментальной теоремы алгебры, каждый линейный оператор в комплексном конечном- размерном векторном пространстве с размерностью не менее 2 имеет собственный вектор. Следовательно, каждый такой линейный оператор имеет нетривиальное инвариантное подпространство. Здесь требуется тот факт, что комплексные числа алгебраически замкнуты. Сравнивая с предыдущим примером, можно видеть, что инвариантные подпространства линейного преобразования зависят от лежащего в основе скалярного поля V.

инвариантный вектор (фиксированная точка of T), кроме 0, охватывает инвариантное подпространство размерности 1. Инвариантное подпространство размерности 1 будет обрабатываться T скаляром и состоит из инвариантных векторов тогда и только тогда, когда этот скаляр равен 1.

Как показывают приведенные выше примеры, инвариантные подпространства данного линейного преобразования T проливают свет на структуру T. Когда V - конечномерное векторное пространство над алгебраически замкнутым полем, линейные преобразования, действующие на V, характеризуются (с точностью до подобие) с помощью канонической формы Жордана, которая разлагает V на инвариантные подпространства T. Многие фундаментальные вопросы относительно T могут быть переведены на вопросы об инвариантных подпространствах T.

В более общем смысле, инвариантные подпространства определены для множеств операторов как подпространства, инвариантные для каждый оператор в наборе. Обозначим через L (V) алгебру линейных преобразований на V, а через Lat (T) - семейство подпространств, инвариантных относительно T ∈ L (V). (Обозначение "Lat" относится к тому факту, что Lat (T) образует решетку ; см. Обсуждение ниже.) Для непустого множества Σ ⊂ L (V) считается, что инвариантные подпространства инвариантны относительно каждого T ∈ Σ. В символах

Lat ⁡ (Σ) = ⋂ T ∈ Σ Lat ⁡ (T). {\ displaystyle \ operatorname {Lat} (\ Sigma) = \ bigcap _ {T \ in \ Sigma} \ operatorname {Lat} (T) \ ;.}

{\ displaystyle \ operatorname {Lat} (\ Sigma) = \ bigcap _ {T \ in \ Sigma} \ operatorname {Lat} (T) \ ;.}

Например, ясно, что если Σ = L ( V), то Lat (Σ) = {{0}, V}.

Учитывая представление группы G в векторном пространстве V, у нас есть линейное преобразование T (g): V → V для каждого элемента g из G. Если подпространство W из V инвариантно относительно всех этих преобразований, тогда это подпредставление, и группа G действует на W естественным образом.

В качестве другого примера пусть T ∈ L (V) и Σ - алгебра, порожденная {1, T}, где 1 - тождественный оператор. Тогда Lat (T) = Lat (Σ). Поскольку T лежит в Σ тривиально, Lat (Σ) ⊂ Lat (T). С другой стороны, Σ состоит из многочленов от 1 и T, поэтому имеет место и обратное включение.

Матричное представление

В конечномерном векторном пространстве любое линейное преобразование T: V → V может быть представлено матрицей один раз в базисе V был выбран.

Предположим, что теперь W - инвариантное подпространство T. Выберите базис C = {v1,..., vk} из W и дополните его до базиса B из V. Затем, относительно этого базиса, матричное представление T принимает вид:

T = [T 11 T 12 0 T 22] {\ displaystyle T = {\ begin {bmatrix} T_ {11} T_ {12} \\ 0 T_ {22} \ end {bmatrix}}}

T = {\ begin {bmatrix} T _ {{11}} T _ {{12}} \\ 0 T _ {{22}} \ end {bmatrix}}

где верхний- левый блок T 11 является ограничением T до W.

Другими словами, учитывая инвариантное подпространство W в T, V можно разложить на прямую сумму

V = W ⊕ W ′. {\ displaystyle V = W \ oplus W '.}

V=W\oplus W'.

Просмотр T как матрицы операторов

T = [T 11 T 12 T 21 T 22]: W ⊕ W ′ → W ⊕ W ′, {\ displaystyle T = {\ begin {bmatrix} T_ {11} T_ {12} \\ T_ {21} T_ {22} \ end {bmatrix}}: {\ begin {matrix} W \\\ oplus \\ W '\ end {matrix}} \ rightarrow {\ begin {matrix} W \\\ oplus \\ W '\ end {matrix}},}

T={\begin{bmatrix}T_{{11}}T_{{12}}\\T_{{21}}T_{{22}}\end{bmatrix}}:{\begin{matrix}W\\\oplus \\W'\end{matrix}}\rightarrow {\begin{matrix}W\\\oplus \\W'\end{matrix}},

ясно, что T 21 : W → W' должно быть нулевым.

Определение того, инвариантно ли данное подпространство W относительно T, якобы является проблемой геометрической природы. Матричное представление позволяет сформулировать эту проблему алгебраически. Оператор проектирования P на W определяется формулой P (w + w ') = w, где w ∈ W и w' ∈ W '. Проекция P имеет матричное представление

P = [1 0 0 0]: W ⊕ W ′ → W ⊕ W ′. {\ displaystyle P = {\ begin {bmatrix} 1 0 \\ 0 0 \ end {bmatrix}}: {\ begin {matrix} W \\\ oplus \\ W '\ end {matrix}} \ rightarrow {\ begin {matrix} } W \\\ oplus \\ W '\ end {matrix}}.}

P={\begin{bmatrix}10\\00\end{bmatrix}}:{\begin{matrix}W\\\oplus \\W'\end{matrix}}\rightarrow {\begin{matrix}W\\\oplus \\W'\end{matrix}}.

Прямое вычисление показывает, что W = Ran P, диапазон P, инвариантен относительно T тогда и только тогда, когда PTP = TP. Другими словами, подпространство W, являющееся элементом Lat (T), эквивалентно соответствующей проекции, удовлетворяющей соотношению PTP = TP.

Если P является проекцией (т. Е. P = P), значит, 1 - P, где 1 - тождественный оператор. Из вышеизложенного следует, что TP = PT тогда и только тогда, когда и Ran P, и Ran (1 - P) инвариантны относительно T. В этом случае T имеет матричное представление

T = [T 11 0 0 T 22]: Ран ⁡ П ⊕ Ран ⁡ (1 - П) → Ран ⁡ П ⊕ Ран ⁡ (1 - П). {\ displaystyle T = {\ begin {bmatrix} T_ {11} 0 \\ 0 T_ {22} \ end {bmatrix}}: {\ begin {matrix} \ operatorname {Ran} P \\\ oplus \\\ operatorname { Ran} (1-P) \ end {matrix}} \ rightarrow {\ begin {matrix} \ operatorname {Ran} P \\\ oplus \\\ operatorname {Ran} (1-P) \ end {matrix}} \ ;.}

{\ displaystyle T = {\ begin {bmatrix} T_ {11} 0 \\ 0 T_ { 22} \ end {bmatrix}}: {\ begin {matrix} \ operatorname {Ran} P \\\ oplus \\\ operatorname {Ran} (1-P) \ end {matrix}} \ rightarrow {\ begin {matrix } \ OperatorName {Ran} P \\\ oplus \\\ Operatorname {Ran} (1-P) \ end {matrix}} \ ;.}

Говоря языком, проекция, которая коммутирует с T, «диагонализирует» T.

Проблема инвариантного подпространства

Проблема инвариантного подпространства касается случая, когда V является сепарабельным гильбертовым пространством над комплексными числами размерности>1, а T - ограниченный оператор. Проблема состоит в том, чтобы решить, есть ли у каждого такого T нетривиальное замкнутое инвариантное подпространство. Эта проблема не решена по состоянию на 2020 год.

В более общем случае, когда V предполагается банаховым пространством, существует пример оператора без инвариантного подпространства из-за Пера Энфло (1976). конкретный пример оператора без инвариантного подпространства был приведен в 1985 г. Чарльзом Ридом.

Решетка инвариантных подпространств

. Для непустого Σ ⊂ L (V) инвариантные подпространства, инвариантные относительно каждого элемента Σ, образуют решетку, иногда называемую решеткой инвариантных подпространств Σ и обозначаемую Lat (Σ).

Операции решетки определяются естественным образом: для Σ '⊂ Σ операция встречи определяется следующим образом:

⋀ W ∈ Σ ′ W = ⋂ W ∈ Σ ′ W {\ displaystyle \ bigwedge _ {W \ in \ Sigma '} W = \ bigcap _ {W \ in \ Sigma'} W}

\bigwedge _{{W\in \Sigma '}}W=\bigcap _{{W\in \Sigma '}}W

, а операция соединения -

⋁ W ∈ Σ ′ W = span ⁡ ⋃ W ∈ Σ ′ W. {\ displaystyle \ bigvee _ {W \ in \ Sigma '} W = \ operatorname {span} \ bigcup _ {W \ in \ Sigma'} W.}

\bigvee _{W\in \Sigma '}W=\operatorname {span} \bigcup _{W\in \Sigma '}W.

Минимальный элемент в Lat (Σ) в названии a минимальное инвариантное подпространство .

Основная теорема некоммутативной алгебры

Так же, как основная теорема алгебры гарантирует, что каждое линейное преобразование, действующее в конечномерном комплексном векторном пространстве, имеет нетривиальное инвариантное подпространство, основная теорема некоммутативной алгебры утверждает, что Lat (Σ) содержит нетривиальные элементы для некоторого Σ.

Теорема (Бернсайд) Предположим, что V - комплексное векторное пространство конечной размерности. Для каждой собственной подалгебры Σ в L (V) Lat (Σ) содержит нетривиальный элемент.

Теорема Бернсайда имеет фундаментальное значение в линейной алгебре. Одно из следствий состоит в том, что каждое коммутирующее семейство в L (V) может быть одновременно верхнетреугольным.

Непустое Σ ⊂ L (V) называется треугольным, если существует базис {e 1... e n } V такой, что

span ⁡ {e 1,…, ek} ∈ Lat ⁡ (Σ) ∀ k ≥ 1. {\ displaystyle \ operatorname {span} \ {e_ {1}, \ ldots, e_ {k} \} \ in \ operatorname {Lat} (\ Sigma) \ quad \ forall k \ geq 1 \ ;.}

{\ displaystyle \ operatorname {span} \ {e_ {1}, \ ldots, e_ {k} \} \ in \ operatorname {Lat} (\ Sigma) \ quad \ forall k \ geq 1 \ ;.}

Другими словами, Σ является треугольным, если существует такой базис, что каждый элемент Σ имеет верхнетреугольное матричное представление в этом базисе. Из теоремы Бернсайда следует, что всякая коммутативная алгебра Σ в L (V) триангулируема. Следовательно, каждое коммутирующее семейство в L (V) может быть одновременно верхнетреугольным.

Левые идеалы

Если A - алгебра, можно определить левое регулярное представление Φ на A: Φ (a) b = ab - гомоморфизм из A в L (A), алгебра линейных преобразований на A

Инвариантные подпространства в Φ - это в точности левые идеалы в A. Левый идеал M в A дает подпредставление A на M.

Если M левый идеал в A. Рассмотрим фактор-векторное пространство A / M. Левое регулярное представление Φ на M теперь спускается до представления Φ 'на A / M. Если [b] обозначает класс эквивалентности в A / M, Φ '(a) [b] = [ab]. Ядром представления Φ 'является множество {a ∈ A | ab ∈ M для всех b}.

Представление Φ 'является неприводимым тогда и только тогда, когда M - максимальный левый идеал, поскольку подпространство V ⊂ A / M является инвариантом относительно {Φ' (a) | a ∈ A} тогда и только тогда, когда его прообраз при фактор-отображении V + M является левым идеалом в A.

Почти-инвариантные полупространства

Связанные с инвариантными подпространствами так называемые почти-инвариантные полупространства (AIHS ). Замкнутое подпространство $Y {\ displaystyle Y}$ $Y$ банахова пространства $X {\ displaystyle X}$ $X$ называется почти инвариантным под оператором $T ∈ B (X) {\ displaystyle T \ in {\ mathcal {B}} (X)}$ ${\ displaystyle T \ in {\ mathcal {B}} (X)}$ , если $TY ⊆ Y + E {\ displaystyle TY \ substeq Y + E}$ ${\ displaystyle TY \ substeq Y + E}$ для некоторого конечномерного подпространства $E {\ displaystyle E}$ $E$ ; эквивалентно, $Y {\ displaystyle Y}$ $Y$ почти инвариантен относительно $T {\ displaystyle T}$ $T$ , если существует оператор конечного ранга $F ∈ В (Икс) {\ Displaystyle F \ in {\ mathcal {B}} (X)}$ ${\ displaystyle F \ in {\ mathcal {B}} (X)}$ так, что $(T + F) Y ⊆ Y {\ displaystyle (T + F) Y \ substeq Y}$ ${\ displaystyle (T + F) Y \ substeq Y}$ , т.е. если $Y {\ displaystyle Y}$ $Y$ является инвариантным (в обычном смысле) относительно $T + F {\ displaystyle T + F}$ ${\ displaystyle T + F}$ . В этом случае минимально возможный размер $E {\ displaystyle E}$ $E$ (или ранг $F {\ displaystyle F}$ $F$ ) называется дефект .

Ясно, что любое конечномерное и конечномерное подпространство почти инвариантно относительно любого оператора. Таким образом, чтобы сделать вещи нетривиальными, мы говорим, что $Y {\ displaystyle Y}$ $Y$ является полупространством, если это замкнутое подпространство с бесконечной размерностью и бесконечной коразмерностью.

Задача AIHS заключается в следующем: каждый ли оператор допускает AIHS. В сложной постановке она уже решена; то есть, если $X {\ displaystyle X}$ $X$ является сложным бесконечномерным банаховым пространством и $T ∈ B (X) {\ displaystyle T \ in {\ mathcal {B}} (X)}$ ${\ displaystyle T \ in {\ mathcal {B}} (X)}$ , тогда $T {\ displaystyle T}$ $T$ допускает AIHS не более 1. В настоящее время неизвестно, выполняется ли то же самое, если $X { \ displaystyle X}$ $X$ - настоящее банахово пространство. Однако некоторые частичные результаты были получены. Например, любой самосопряженный оператор в бесконечномерном реальном гильбертовом пространстве допускает AIHS, как и любой строго сингулярный (или компактный) оператор, действующий в реальном бесконечномерном рефлексивном пространстве.

См. Также

Инвариантное многообразие

Библиография

Абрамович, Юрий А.; Алипрантис, Хараламбос Д. (2002). Приглашение к теории операторов. Американское математическое общество. ISBN 978-0-8218-2146-6.

Beauzamy, Bernard (1988). Введение в теорию операторов и инвариантные подпространства. Северная Голландия.

Энфло, Пер ; Ломоносов Виктор (2001). «Некоторые аспекты проблемы инвариантного подпространства». Справочник по геометрии банаховых пространств. Я . Амстердам: Северная Голландия. стр. 533–559.

Гохберг, Израиль; Ланкастер, Питер; Родман, Лейба (2006). Инвариантные подпространства матриц с приложениями. Классика прикладной математики. 51 (Перепечатка со списком исправлений и новым предисловием, изд. Wiley 1986 г.). Общество промышленной и прикладной математики (SIAM). С. xxii + 692. ISBN 978-0-89871-608-5.

Любич Юрий И. (1988). Введение в теорию банаховых представлений групп (пер. С русск. Ред. 1985 г.). Харьков, Украина: Birkhäuser Verlag.

Раджави, Гейдар; Розенталь, Питер (2003). Инвариантные подпространства (обновление от 1973 г., Springer-Verlag ed.). Dover Publications. ISBN 0-486-42822-2.