Энгельс теоремасы - Engels theorem - Wikipedia

Жылы ұсыну теориясы, математика бөлімі, Энгель теоремасы ақырлы өлшемді Ли алгебрасы деп айтады ${ displaystyle { mathfrak {g}}}$ Бұл өтірік алгебра егер және әрқайсысы үшін болса ғана ${ displaystyle X in { mathfrak {g}}}$, ілеспе карта

${ displaystyle operatorname {ad} (X) қос нүкте { mathfrak {g}} - { mathfrak {g}},}$

берілген ${ displaystyle operatorname {ad} (X) (Y) = [X, Y]}$, Бұл нилпотентті эндоморфизм қосулы ${ displaystyle { mathfrak {g}}}$; яғни, ${ displaystyle operatorname {ad} (X) ^ {k} = 0}$ кейбіреулер үшін к.^[1] Бұл Энгель теоремасы деп аталатын теореманың салдары, егер ол матрицалардың Ли алгебрасы нольпотентті матрицалардан тұрса, онда матрицаларды бір уақытта а қатаң жоғарғы үшбұрыш форма.

Теорема математиктің есімімен аталады Фридрих Энгель, кім хатта оның дәлелі эскизін жасады Вильгельмді өлтіру 20 шілде 1890 (Хокинс 2000, б. 176) Энгельдің шәкірті К.А. Умлауф өзінің 1891 жылғы диссертациясында толық дәлел келтірді,Умлауф 2010 ).

Мәлімдемелер

Келіңіздер ${ displaystyle { mathfrak {gl}} (V)}$ ақырлы өлшемді векторлық кеңістіктің эндоморфизмдерінің Ли алгебрасы бол V және ${ displaystyle { mathfrak {g}} subset { mathfrak {gl}} (V)}$ субальгебра. Сонда Энгель теоремасында келесілер барабар:

1. Әрқайсысы ${ displaystyle X in { mathfrak {g}}}$ бұл нилпотентті эндоморфизм V.
2. Онда жалау бар ${ displaystyle V = V_ {0} supset V_ {1} supset cdots supset V_ {n} = 0, , operatorname {codim} V_ {i} = i}$ осындай ${ displaystyle { mathfrak {g}} cdot V_ {i} ішкі жиын V_ {i + 1}}$; яғни, элементтері ${ displaystyle { mathfrak {g}}}$ бір уақытта қатаң жоғарғы үшбұрышталатын болып табылады.

Негізгі өріс бойынша ешқандай болжам қажет емес екенін ескеріңіз.

Біз мәлімдеме 2. әр түрлі екенін ескереміз ${ displaystyle { mathfrak {g}}}$ және V мәлімдемеге тең

Әрбір нөлдік емес ақырлы өлшемді векторлық кеңістік үшін V және субальгебра ${ displaystyle { mathfrak {g}} subset { mathfrak {gl}} (V)}$, нөлдік емес вектор бар v жылы V осындай ${ displaystyle X (v) = 0}$ әрқайсысы үшін ${ displaystyle X in { mathfrak {g}}.}$

Бұл теореманың дәлелденген формасы # Дәлел. (Бұл мәлімдеме 2-тұжырымға тривиальды түрде тең, өйткені ол қажетті қасиетімен жалаушаны индуктивті түрде құруға мүмкіндік береді.)

Жалпы, алгебра ${ displaystyle { mathfrak {g}}}$ деп айтылады әлсіз егер төменгі орталық серия оның ақырғы қадамы жоғалады; яғни, үшін ${ displaystyle C ^ {0} { mathfrak {g}} = { mathfrak {g}}, C ^ {i} { mathfrak {g}} = [{ mathfrak {g}}, C ^ {i -1} { mathfrak {g}}]}$ = (мен+1) -ші қуаты ${ displaystyle { mathfrak {g}}}$, кейбіреулері бар к осындай ${ displaystyle C ^ {k} { mathfrak {g}} = 0}$. Сонда Энгель теоремасы теореманы береді (оны Энгель теоремасы деп те атайды): қашан ${ displaystyle { mathfrak {g}}}$ шектеулі өлшемі бар, ${ displaystyle { mathfrak {g}}}$ тек егер болса, онда ол әлсіз болады ${ displaystyle operatorname {ad} (X)}$ әрқайсысына арналған ${ displaystyle X in { mathfrak {g}}}$.

Шынында да, егер ${ displaystyle operatorname {ad} ({ mathfrak {g}})}$ нилпотентті операторлардан тұрады, содан кейін 1-ге. ${ displaystyle Leftrightarrow}$ 2. алгебраға қолданылады ${ displaystyle operatorname {ad} ({ mathfrak {g}}) subset { mathfrak {gl}} ({ mathfrak {g}})}$, жалауша бар ${ displaystyle { mathfrak {g}} = { mathfrak {g}} _ {0} supset { mathfrak {g}} _ {1} supset cdots supset { mathfrak {g}} _ { n} = 0}$ осындай ${ displaystyle [{ mathfrak {g}}, { mathfrak {g}} _ {i}] subset { mathfrak {g}} _ {i + 1}}$. Бастап ${ displaystyle C ^ {i} { mathfrak {g}} subset { mathfrak {g}} _ {i}}$, бұл білдіреді ${ displaystyle { mathfrak {g}}}$ нөлдік күшке ие. (Керісінше анықтамадан тікелей шығады).

Дәлел

Теореманың келесі формасын дәлелдейміз:^[2] егер ${ displaystyle { mathfrak {g}} subset { mathfrak {gl}} (V)}$ бұл Lie субальгебрасы, сондықтан әрқайсысы ${ displaystyle X in { mathfrak {g}}}$ бұл нилпотентті эндоморфизм және егер V оң өлшемі бар, содан кейін нөлдік емес вектор бар v жылы V осындай ${ displaystyle X (v) = 0}$ әрқайсысы үшін X жылы ${ displaystyle { mathfrak {g}}}$.

Дәлелі - өлшемі бойынша индукция ${ displaystyle { mathfrak {g}}}$ және бірнеше қадамдардан тұрады. (Дәлелдің құрылымы дәл сол үшін өте ұқсас екенін ескеріңіз Өтірік теоремасы, бұл шешілетін алгебраға қатысты.) Негізгі жағдай тривиальды және біз өлшемін қабылдаймыз ${ displaystyle { mathfrak {g}}}$ оң.

1-қадам: Идеалды табыңыз ${ displaystyle { mathfrak {h}}}$ бір өлшемділік ${ displaystyle { mathfrak {g}}}$.

Бұл ең қиын қадам. Келіңіздер ${ displaystyle { mathfrak {h}}}$ максималды (дұрыс) субальгебрасы болуы керек ${ displaystyle { mathfrak {g}}}$, ол шектеулі өлшемділікпен бар. Біздің ойымызша, бұл идеал және кодименциясы бар. Әрқайсысы үшін ${ displaystyle X in { mathfrak {h}}}$, оны тексеру оңай (1) ${ displaystyle operatorname {ad} (X)}$ сызықтық эндоморфизмді тудырады ${ displaystyle { mathfrak {g}} / { mathfrak {h}} to { mathfrak {g}} / { mathfrak {h}}}$ және (2) бұл келтірілген карта нілпотентті (шын мәнінде, ${ displaystyle operatorname {ad} (X)}$ әлсіз). Осылайша, индуктивті гипотеза бойынша нөлдік емес вектор бар v жылы ${ displaystyle { mathfrak {g}} / { mathfrak {h}}}$ осындай ${ displaystyle operatorname {ad} (X) (v) = 0}$ әрқайсысы үшін ${ displaystyle X in { mathfrak {h}}}$. Яғни, егер ${ displaystyle v = [Y]}$ кейбіреулер үшін Y жылы ${ displaystyle { mathfrak {g}}}$ бірақ емес ${ displaystyle { mathfrak {h}}}$, содан кейін ${ displaystyle [X, Y] = operatorname {ad} (X) (Y) in { mathfrak {h}}}$ әрқайсысы үшін ${ displaystyle X in { mathfrak {h}}}$. Бірақ содан кейін ішкі кеңістік ${ displaystyle { mathfrak {h}} ' subset { mathfrak {g}}}$ таралған ${ displaystyle { mathfrak {h}}}$ және Y бұл Lie субальгебрасы, онда ${ displaystyle { mathfrak {h}}}$ идеал. Демек, максималдылығы бойынша, ${ displaystyle { mathfrak {h}} '= { mathfrak {g}}}$. Бұл талапты дәлелдейді.

2-қадам: Рұқсат етіңіз ${ displaystyle W = {v in V | X (v) = 0, X in { mathfrak {h}} }}$. Содан кейін ${ displaystyle { mathfrak {g}}}$ тұрақтандырады W; яғни, ${ displaystyle X (v) in W}$ әрқайсысы үшін ${ displaystyle X in { mathfrak {g}}, v in W}$.

Шынында да, үшін ${ displaystyle Y}$ жылы ${ displaystyle { mathfrak {g}}}$ және ${ displaystyle X}$ жылы ${ displaystyle { mathfrak {h}}}$, Бізде бар: ${ displaystyle X (Y (v)) = Y (X (v)) + [X, Y] (v) = 0}$ бері ${ displaystyle { mathfrak {h}}}$ идеал және солай ${ displaystyle [X, Y] in { mathfrak {h}}}$. Осылайша, ${ displaystyle Y (v)}$ ішінде W.

3-қадам: Нөлдік емес векторды тауып, дәлелді аяқтаңыз ${ displaystyle { mathfrak {g}}}$.

Жазыңыз ${ displaystyle { mathfrak {g}} = { mathfrak {h}} + L}$ қайда L - бұл бір өлшемді векторлық ішкі кеңістік. Келіңіздер Y нөлдік емес вектор болыңыз L және v нөлдік емес вектор W. Енді, ${ displaystyle Y}$ бұл нилпотентті эндоморфизм (гипотеза бойынша) және т.б. ${ displaystyle Y ^ {k} (v) neq 0, Y ^ {k + 1} (v) = 0}$ кейбіреулер үшін к. Содан кейін ${ displaystyle Y ^ {k} (v)}$ қажет вектор, өйткені вектор жатыр W 2-қадаммен. ${ displaystyle square}$

Сондай-ақ қараңыз

• Өтірік теоремасы
• Гейзенберг тобы

Ескертулер

Дәйексөздер

Келтірілген жұмыстар