Алгебра phys 1 апрель–май — различия между версиями
Goryachko (обсуждение | вклад) |
Goryachko (обсуждение | вклад) |
||
Строка 46: | Строка 46: | ||
<ul><li><math>K</math>-Алгебра — вект. пространство над <math>K</math> с билинейным умножением — кольцо (в широком смысле слова) с «правильным» умножением на скаляры из <math>K</math>. | <ul><li><math>K</math>-Алгебра — вект. пространство над <math>K</math> с билинейным умножением — кольцо (в широком смысле слова) с «правильным» умножением на скаляры из <math>K</math>. | ||
<li>Примеры: <math>K</math>-алгебры <math>\mathrm{Func}(X,K)</math>, <math>K[x]</math>, <math>K(x)</math>, <math>\mathrm{Mat}(n,K)</math>, <math>\mathrm{End}(V)</math>, <math>K[a]</math>; <math>\mathbb R</math>-алгебры <math>\mathbb C</math>, <math>\mathbb H</math>, <math>\mathrm C^0\!(X,\mathbb R)</math>, <math>\mathrm C^\infty\!(M,\mathbb R)</math> и <math>\mathbb R^3</math> с векторным умножением. | <li>Примеры: <math>K</math>-алгебры <math>\mathrm{Func}(X,K)</math>, <math>K[x]</math>, <math>K(x)</math>, <math>\mathrm{Mat}(n,K)</math>, <math>\mathrm{End}(V)</math>, <math>K[a]</math>; <math>\mathbb R</math>-алгебры <math>\mathbb C</math>, <math>\mathbb H</math>, <math>\mathrm C^0\!(X,\mathbb R)</math>, <math>\mathrm C^\infty\!(M,\mathbb R)</math> и <math>\mathbb R^3</math> с векторным умножением. | ||
− | <li>Структурные константы алгебры: <math>m^i_{j_1,j_2}\!\!=((e_{j_1}e_{j_2})^e)^i</math>. Утверждение: <i>массив <math>\bigl(m^i_{j_1,j_2}\bigr)_{1\le i,j_1,j_2\le\dim A}</math> однозначно определяет умножение в | + | <li>Структурные константы алгебры: <math>m^i_{j_1,j_2}\!\!=((e_{j_1}e_{j_2})^e)^i</math>. Утверждение: <i>массив <math>\bigl(m^i_{j_1,j_2}\bigr)_{1\le i,j_1,j_2\le\dim A}</math> однозначно определяет умножение в алгебре <math>A</math></i>. |
<li>Теорема Кэли для ассоциативных алгебр с 1. Инъект. гомоморфизмы <math>\mathbb R</math>-алгебр: <math>\biggl(\!\begin{align}\mathbb C&\to\mathrm{Mat}(2,\mathbb R)\,\\\alpha+\beta\,\mathrm i&\mapsto\!\Bigl(\begin{smallmatrix}\alpha&-\beta\\\beta&\alpha\end{smallmatrix}\Bigr)\end{align}\!\biggr)</math> и <math>\biggl(\!\begin{align}\mathbb H&\to\mathrm{Mat}(2,\mathbb C)\\\alpha+\beta\,\mathrm i+\gamma\,\mathrm j+\delta\,\mathrm k&\mapsto\!\Bigl(\begin{smallmatrix}\alpha+\beta\,\mathrm i&\gamma+\delta\,\mathrm i\\-\gamma+\delta\,\mathrm i&\alpha-\beta\,\mathrm i\end{smallmatrix}\Bigr)\end{align}\!\biggr)</math>. | <li>Теорема Кэли для ассоциативных алгебр с 1. Инъект. гомоморфизмы <math>\mathbb R</math>-алгебр: <math>\biggl(\!\begin{align}\mathbb C&\to\mathrm{Mat}(2,\mathbb R)\,\\\alpha+\beta\,\mathrm i&\mapsto\!\Bigl(\begin{smallmatrix}\alpha&-\beta\\\beta&\alpha\end{smallmatrix}\Bigr)\end{align}\!\biggr)</math> и <math>\biggl(\!\begin{align}\mathbb H&\to\mathrm{Mat}(2,\mathbb C)\\\alpha+\beta\,\mathrm i+\gamma\,\mathrm j+\delta\,\mathrm k&\mapsto\!\Bigl(\begin{smallmatrix}\alpha+\beta\,\mathrm i&\gamma+\delta\,\mathrm i\\-\gamma+\delta\,\mathrm i&\alpha-\beta\,\mathrm i\end{smallmatrix}\Bigr)\end{align}\!\biggr)</math>. | ||
<p><u>Теорема Кэли для ассоциативных алгебр с 1.</u> <i>Пусть <math>K</math> — поле и <math>A</math> — ассоциативная <math>K</math>-алгебра с <math>1</math>; обозначим через <math>{}_K\!A</math> векторное пространство<br>над полем <math>K</math>, получающееся из алгебры <math>A</math> при «забывании» умножения в этой алгебре; тогда<br>(1) для любых <math>a\in A</math>, обозначая через <math>\mathrm{lm}_a</math> отображение <math>\biggl(\!\begin{align}A&\to A\\b&\mapsto a\,b\end{align}\!\biggr)</math>, имеем следующий факт: <math>\mathrm{lm}_a</math> — линейный оператор (то есть <math>\mathrm{lm}_a\!\in\mathrm{End}({}_K\!A)</math>);<br>(2) отображение <math>\biggl(\!\begin{align}A&\to\mathrm{End}({}_K\!A)\\a&\mapsto\mathrm{lm}_a\end{align}\!\biggr)</math> — инъективный гомоморфизм алгебр с <math>1</math>.</i></p> | <p><u>Теорема Кэли для ассоциативных алгебр с 1.</u> <i>Пусть <math>K</math> — поле и <math>A</math> — ассоциативная <math>K</math>-алгебра с <math>1</math>; обозначим через <math>{}_K\!A</math> векторное пространство<br>над полем <math>K</math>, получающееся из алгебры <math>A</math> при «забывании» умножения в этой алгебре; тогда<br>(1) для любых <math>a\in A</math>, обозначая через <math>\mathrm{lm}_a</math> отображение <math>\biggl(\!\begin{align}A&\to A\\b&\mapsto a\,b\end{align}\!\biggr)</math>, имеем следующий факт: <math>\mathrm{lm}_a</math> — линейный оператор (то есть <math>\mathrm{lm}_a\!\in\mathrm{End}({}_K\!A)</math>);<br>(2) отображение <math>\biggl(\!\begin{align}A&\to\mathrm{End}({}_K\!A)\\a&\mapsto\mathrm{lm}_a\end{align}\!\biggr)</math> — инъективный гомоморфизм алгебр с <math>1</math>.</i></p> | ||
Строка 64: | Строка 64: | ||
<h5>2.4.3 Алгебры Ли (основные определения и примеры)</h5> | <h5>2.4.3 Алгебры Ли (основные определения и примеры)</h5> | ||
− | <ul><li> | + | <ul><li><math>K</math>-Алгебра Ли — <math>K</math>-алгебра, умножение в которой (<math>[\,,]</math>) антисимметрично (<math>[a,a]=0</math>) и удовл. тождеству Якоби (<math>[[a,b],c]+[[b,c],a]+[[c,a],b]=0</math>). |
− | <li>Коммутатор в ассоциативной алгебре <math>A</math>: <math>[a,b]=a\,b-b\,a</math>. Алгебра <math>A^-</math>: | + | <li>Коммутатор в ассоциативной алгебре <math>A</math>: <math>[a,b]=a\,b-b\,a</math>. Алгебра <math>A^-</math>: вект. простр.-во <math>{}_K\!A</math> с операцией <math>[\,,]</math>. Утверждение: <i>алгебра <math>A^-</math> — алгебра Ли</i>. |
<li>Примеры: <math>\mathfrak{gl}(V)=\mathrm{End}(V)^-</math>, <math>\mathfrak{sl}(V)=\{a\in\mathfrak{gl}(V)\mid\mathrm{tr}\,a=0\}</math>, <math>\mathbb R^3</math> с векторным умножением — алгебра Ли, так как <math>v\times w=\frac12[v,w]</math> в алгебре Ли <math>\mathbb H^-</math>. | <li>Примеры: <math>\mathfrak{gl}(V)=\mathrm{End}(V)^-</math>, <math>\mathfrak{sl}(V)=\{a\in\mathfrak{gl}(V)\mid\mathrm{tr}\,a=0\}</math>, <math>\mathbb R^3</math> с векторным умножением — алгебра Ли, так как <math>v\times w=\frac12[v,w]</math> в алгебре Ли <math>\mathbb H^-</math>. | ||
<li>Матричные алгебры Ли: <math>\mathfrak{gl}(n,K)</math>, <math>\mathfrak{sl}(n,K)</math>, <math>\mathfrak o(n)=\mathfrak{so}(n)=\{a\in\mathfrak{gl}(n,\mathbb R)\mid a^\mathtt T\!=-a\}</math>, <math>\mathfrak u(n)=\{a\in\mathfrak{gl}(n,\mathbb C)\mid\overline a^\mathtt T\!=-a\}</math>, | <li>Матричные алгебры Ли: <math>\mathfrak{gl}(n,K)</math>, <math>\mathfrak{sl}(n,K)</math>, <math>\mathfrak o(n)=\mathfrak{so}(n)=\{a\in\mathfrak{gl}(n,\mathbb R)\mid a^\mathtt T\!=-a\}</math>, <math>\mathfrak u(n)=\{a\in\mathfrak{gl}(n,\mathbb C)\mid\overline a^\mathtt T\!=-a\}</math>, | ||
<math>\mathfrak{su}(n)=\mathfrak{sl}(n,\mathbb C)\cap\mathfrak u(n)</math>. | <math>\mathfrak{su}(n)=\mathfrak{sl}(n,\mathbb C)\cap\mathfrak u(n)</math>. | ||
<li>Утверждение: <i><math>\mathrm e^{\mathfrak{gl}(n,K)}\!\subseteq\mathrm{GL}(n,K)</math> и <math>\mathrm e^{\mathfrak{sl}(n,K)}\!\subseteq\mathrm{SL}(n,K)</math> (здесь <math>K=\mathbb R</math> или <math>K=\mathbb C</math>), а также <math>\mathrm e^{\mathfrak o(n)}\!=\mathrm e^{\mathfrak{so}(n)}\!\subseteq\mathrm{SO}(n)</math>, <math>\mathrm e^{\mathfrak u(n)}\!\subseteq\mathrm U(n)</math>, <math>\mathrm e^{\mathfrak{su}(n)}\!\subseteq\mathrm{SU}(n)</math></i>. | <li>Утверждение: <i><math>\mathrm e^{\mathfrak{gl}(n,K)}\!\subseteq\mathrm{GL}(n,K)</math> и <math>\mathrm e^{\mathfrak{sl}(n,K)}\!\subseteq\mathrm{SL}(n,K)</math> (здесь <math>K=\mathbb R</math> или <math>K=\mathbb C</math>), а также <math>\mathrm e^{\mathfrak o(n)}\!=\mathrm e^{\mathfrak{so}(n)}\!\subseteq\mathrm{SO}(n)</math>, <math>\mathrm e^{\mathfrak u(n)}\!\subseteq\mathrm U(n)</math>, <math>\mathrm e^{\mathfrak{su}(n)}\!\subseteq\mathrm{SU}(n)</math></i>. | ||
− | <li>Теорема Кэли для алгебр Ли. Изоморфизмы <math>\mathbb R</math>-алгебр Ли: <math>\Biggl(\!\begin{align}\mathbb R^3\!&\to\mathfrak{so}(3)\\\beta\underline e_1+\gamma\underline e_2+\delta\underline e_3\!&\mapsto\!\biggl(\begin{smallmatrix}0&-\delta&\gamma\\\delta&0&-\beta\\-\gamma&\beta&0\end{smallmatrix}\biggr)\end{align}\!\!\Biggr)</math> и <math>\Biggl(\!\begin{align}\mathbb R^3\!&\to\mathfrak{su}(2)\\\beta\underline e_1+\gamma\underline e_2+\delta\underline e_3\!&\mapsto\!\biggl(\begin{smallmatrix}\frac | + | <li>Теорема Кэли для алгебр Ли. Изоморфизмы <math>\mathbb R</math>-алгебр Ли: <math>\Biggl(\!\begin{align}\mathbb R^3\!&\to\mathfrak{so}(3)\\\beta\underline e_1+\gamma\underline e_2+\delta\underline e_3\!&\mapsto\!\biggl(\begin{smallmatrix}0&-\delta&\gamma\\\delta&0&-\beta\\-\gamma&\beta&0\end{smallmatrix}\biggr)\end{align}\!\!\Biggr)</math> и <math>\Biggl(\!\begin{align}\mathbb R^3\!&\to\mathfrak{su}(2)\\\beta\underline e_1+\gamma\underline e_2+\delta\underline e_3\!&\mapsto\!\biggl(\begin{smallmatrix}\frac\beta2\mathrm i&\frac\gamma2+\frac\delta2\mathrm i\\-\frac\gamma2+\frac\delta2\mathrm i&-\frac\beta2\mathrm i\end{smallmatrix}\biggr)\end{align}\!\!\Biggr)</math>. |
<p><u>Теорема Кэли для алгебр Ли.</u> <i>Пусть <math>K</math> — поле и <math>\mathfrak g</math> — <math>K</math>-алгебра Ли; обозначим через <math>{}_K\mathfrak g</math> векторное пространство над полем <math>K</math>, получающееся<br>из алгебры <math>\mathfrak g</math> при «забывании» умножения в этой алгебре; тогда<br>(1) для любых <math>a\in\mathfrak g</math>, обозначая через <math>\mathrm{ad}_a</math> отображение <math>\biggl(\!\begin{align}\mathfrak g&\to\mathfrak g\\b&\mapsto[a,b]\end{align}\!\biggr)</math>, имеем следующий факт: <math>\mathrm{ad}_a</math> — линейный оператор (то есть <math>\mathrm{ad}_a\!\in\mathfrak{gl}({}_K\mathfrak g)</math>);<br>(2) отображение <math>\biggl(\!\begin{align}\mathfrak g&\to\mathfrak{gl}({}_K\mathfrak g)\\a&\mapsto\mathrm{ad}_a\end{align}\!\biggr)</math> — гомоморфизм алгебр Ли.</i></p> | <p><u>Теорема Кэли для алгебр Ли.</u> <i>Пусть <math>K</math> — поле и <math>\mathfrak g</math> — <math>K</math>-алгебра Ли; обозначим через <math>{}_K\mathfrak g</math> векторное пространство над полем <math>K</math>, получающееся<br>из алгебры <math>\mathfrak g</math> при «забывании» умножения в этой алгебре; тогда<br>(1) для любых <math>a\in\mathfrak g</math>, обозначая через <math>\mathrm{ad}_a</math> отображение <math>\biggl(\!\begin{align}\mathfrak g&\to\mathfrak g\\b&\mapsto[a,b]\end{align}\!\biggr)</math>, имеем следующий факт: <math>\mathrm{ad}_a</math> — линейный оператор (то есть <math>\mathrm{ad}_a\!\in\mathfrak{gl}({}_K\mathfrak g)</math>);<br>(2) отображение <math>\biggl(\!\begin{align}\mathfrak g&\to\mathfrak{gl}({}_K\mathfrak g)\\a&\mapsto\mathrm{ad}_a\end{align}\!\biggr)</math> — гомоморфизм алгебр Ли.</i></p> | ||
<li>Алгебра дифференцирований алгебры <math>A</math>: <math>\mathrm{Der}(A)=\{d\in\mathfrak{gl}({}_K\!A)\mid\forall\,a,b\in A\;\bigl(d(a\,b)=d(a)\,b+a\,d(b)\bigr)\}</math> — подалгебра алгебры Ли <math>\mathfrak{gl}({}_K\!A)</math>. | <li>Алгебра дифференцирований алгебры <math>A</math>: <math>\mathrm{Der}(A)=\{d\in\mathfrak{gl}({}_K\!A)\mid\forall\,a,b\in A\;\bigl(d(a\,b)=d(a)\,b+a\,d(b)\bigr)\}</math> — подалгебра алгебры Ли <math>\mathfrak{gl}({}_K\!A)</math>. | ||
<li>Пример: пусть <math>M</math> — открытое множество в <math>\mathbb R^n</math> и <math>v\in\mathrm C^\infty\!(M,\mathbb R^n)</math>; тогда <math>\Biggl(\begin{align}\mathrm C^\infty\!(M,\mathbb R)&\to\mathrm C^\infty\!(M,\mathbb R)\\f&\mapsto\sum_{i=1}^nv^i\frac{\partial f}{\partial x^i}\end{align}\Biggr)</math> — дифференцирование алгебры <math>\mathrm C^\infty\!(M,\mathbb R)</math>.</ul> | <li>Пример: пусть <math>M</math> — открытое множество в <math>\mathbb R^n</math> и <math>v\in\mathrm C^\infty\!(M,\mathbb R^n)</math>; тогда <math>\Biggl(\begin{align}\mathrm C^\infty\!(M,\mathbb R)&\to\mathrm C^\infty\!(M,\mathbb R)\\f&\mapsto\sum_{i=1}^nv^i\frac{\partial f}{\partial x^i}\end{align}\Biggr)</math> — дифференцирование алгебры <math>\mathrm C^\infty\!(M,\mathbb R)</math>.</ul> |
Версия 14:20, 13 апреля 2017
2 Линейная алгебра
2.3 Линейные операторы (часть 2)
2.3.1 Многочлены от линейных операторов, спектр и характеристический многочлен линейного оператора
- Эвалюация — гомоморфизм. Кольцо, порожденное лин. оператором : .
- Минимальный многочлен лин. оператора : , нормирован, ; .
- Теорема о ядрах многочленов от линейного оператора. Пусть — поле, — векторное пространство над полем и ; тогда
(1) если , то (то есть — -инвариантное подпространство);
(2) если и делит , то ;
(3) если , и многочлены попарно взаимно просты, то
(и, значит, ). - Проектор (идемпотент): . Отражение: (здесь ).
- Собственные число и вектор лин. операт. : . Спектр лин. операт. : . Лемма о спектре.
Лемма о спектре. Пусть — поле, — векторное простр.-во над полем и ; тогда
и, если , то "" можно заменить на "". - Характеристический многочлен матрицы : . Характеристический многочлен лин. оператора : . Корректность опред.-я.
- След линейного оператора : . Корректность определения. Теорема о спектре и характеристическом многочлене. Теорема Гамильтона–Кэли.
Теорема о спектре и характеристическом многочлене. Пусть — поле, — вект. простр.-во над полем , и ; тогда
(1) (и, значит, );
(2) ;
(3) если (то есть — нильпотентный линейный оператор), то .Теорема Гамильтона–Кэли. Пусть — поле, — векторное пространство над полем , и ; тогда .
- Кратности: (алгебраич. кратность), . Теорема о минимальном многочлене.
Теорема о минимальном многочлене. Пусть — поле, — векторное пространство над полем , и ; тогда
(1) делит (и, значит, для любых выполнено );
(2) .
2.3.2 Собственные, обобщенные собственные и корневые подпространства линейного оператора
- Собственные подпространства: ; геометрическая кратность: . Лемма о собственных подпространствах.
Лемма о собственных подпространствах. Пусть — поле, — векторное пространство над полем , , , и
попарно различны; тогда
(1) ;
(2) если и — независимые множества, то — независимое множество;
(3) если , то для любых выполнено . - Теорема о диагонализуемых линейных операторах. Пусть — поле, — векторное пространство над полем , и ; тогда
следующие утверждения эквивалентны:
(у1) существует такой упорядоченный базис , что — диагональная матрица;
(у2) (то есть многочлен раскладывается без кратностей в произведение многочленов степени в кольце );
(у3) (то есть пространство раскладывается в прямую сумму собственных подпространств линейного оператора );
(у4) . - Обобщенные собственные подпростр.-ва: ; относительные геометрич. кратности: .
- Жорданова клетка: ; если , то и .
- Теорема об обобщенных собственных подпространствах. Пусть — поле, — вект. пр.-во над , , и ; тогда
(1) для любых выполнено и, если , то ;
(2) для любых выполнено ;
(3) и . - Корневые подпространства: . Нильпотентные части линейного оператора : .
- Теорема о разложении в прямую сумму корневых подпространств. Пусть — поле, — векторное пространство над полем , ,
и многочлен раскладывается в произведение многочленов степени в кольце (если , то это условие выполнено
для любых в силу алгебраической замкнутости поля ); тогда
(1) (то есть пространство раскладывается в прямую сумму корневых подпространств линейного оператора );
(2) для любых выполнено , — нильпотентный линейный оператор и .
2.3.3 Относительные базисы, жорданова нормальная форма, приложения жордановой нормальной формы
- — независимое мн.-во относит.-но : . — порождающее мн.-во относит.-но : .
- Базис в относительно — независ. и порожд. подмн.-во в относительно . Три теоремы об относительных базисах (без подробных доказательств).
Теорема 1 об относительных базисах. Пусть — поле, — вект. пр.-во над , и ; тогда следующие утверждения эквивалентны:
(у1) — базис пространства относительно ;
(у2) — независимое множество и ;
(у3) для любого вектора существуют единственные такие и , что ;
(у4) — максимальное независимое множество относительно ;
(у5) — минимальное порождающее множество относительно .
Теорема 2 об относительных базисах. Пусть — поле, — векторное пространство над полем , и ; тогда
(1) любое независимое подмножество в относительно можно дополнить до базиса в относительно ;
(2) из любого порождающего подмножества в относительно можно выделить базис в относительно .
Теорема 3 об относительных базисах. Пусть — поле, — векторное пространство над полем , , — базис в относительно и
— базис в относительно ; тогда и — базис в относительно . - Теорема об относительно независимых подмножествах в ядрах степеней линейного оператора. Пусть — поле, — вект. простр.-во над полем и
, а также , , и ; тогда
(1) если — независимое подмножество в относит.-но , то — инъекция и — независимое подмножество в относит.-но ;
(2) если , то . - Прямая сумма матриц: . Диаграммы Юнга. Жорданов блок: , где — длины строк диаграммы Юнга .
- Диаграмма Юнга : высоты столбцов диаграммы — относительные геометрич. кратности . Корректность опред.-я.
- Теорема о жордановой нормальной форме. Обозначение: . Утверждение: пусть и ; тогда .
Теорема о жордановой нормальной форме. Пусть — поле, — векторное пространство над полем , и ; тогда
(1) если — нильпотентный линейный оператор, то существует такой упорядоченный базис , что ;
(2) если многочлен раскладывается в произведение многочленов степени в кольце (если , то это условие выполнено для любых
в силу алгебраической замкнутости поля ), то существует такой упорядоченный базис , что . - Многочлен (ряд) от жордановой клетки: . Экспонента от лин. операт. : . Теорема о свойствах экспоненты.
Теорема о свойствах экспоненты.
(1) Пусть — банахово пространство и ; тогда , а также и .
(2) Пусть и ; тогда , и . - Однородная система линейных дифференциальных уравнений: (, ); решение системы: , где .
2.4 Алгебры
2.4.1 Определения и конструкции, связанные с алгебрами
- -Алгебра — вект. пространство над с билинейным умножением — кольцо (в широком смысле слова) с «правильным» умножением на скаляры из .
- Примеры: -алгебры , , , , , ; -алгебры , , , и с векторным умножением.
- Структурные константы алгебры: . Утверждение: массив однозначно определяет умножение в алгебре .
- Теорема Кэли для ассоциативных алгебр с 1. Инъект. гомоморфизмы -алгебр: и .
Теорема Кэли для ассоциативных алгебр с 1. Пусть — поле и — ассоциативная -алгебра с ; обозначим через векторное пространство
над полем , получающееся из алгебры при «забывании» умножения в этой алгебре; тогда
(1) для любых , обозначая через отображение , имеем следующий факт: — линейный оператор (то есть );
(2) отображение — инъективный гомоморфизм алгебр с . - Алгебры с делением: и . Утверждение: конечномерная алгебра без делителей нуля — алгебра с делением.
- Моноидная алгебра ( — моноид): с операцией свертки; способ записи элементов: ().
- Алгебра многочленов от свободных переменных: . Одночлены: . Степень. Однородные многочлены.
2.4.2 Алгебра полилинейных форм
- Тензорное произведение полилинейных форм: . Свойства тензорного произведения.
- Базис в пространстве : . Разложение формы по базису: .
- Обозначение: . Пример: . Преобразов.-е при замене базиса: .
- Алгебра полилинейных форм (ковариантных тензоров) над : . Утверждение: — ассоциативная -алгебра с .
- Теорема об алгебре полилинейных форм. Пусть — поле, — векторное пространство над полем , и ; тогда
(1) отображение, продолжающее по линейности частичное отображение , — изоморфизм алгебр с ;
(2) для любых изоморфизм из пункта (1) отображает пространство однородных многочленов степени в пространство . - Идеалы и : и .
- Алгебра многочленов от коммутирующих переменных: . Утверждение: .
- Алгебра многочленов от грассмановых переменных: . Грассмановы одночлены: , где .
2.4.3 Алгебры Ли (основные определения и примеры)
- -Алгебра Ли — -алгебра, умножение в которой () антисимметрично () и удовл. тождеству Якоби ().
- Коммутатор в ассоциативной алгебре : . Алгебра : вект. простр.-во с операцией . Утверждение: алгебра — алгебра Ли.
- Примеры: , , с векторным умножением — алгебра Ли, так как в алгебре Ли .
- Матричные алгебры Ли: , , , , .
- Утверждение: и (здесь или ), а также , , .
- Теорема Кэли для алгебр Ли. Изоморфизмы -алгебр Ли: и .
Теорема Кэли для алгебр Ли. Пусть — поле и — -алгебра Ли; обозначим через векторное пространство над полем , получающееся
из алгебры при «забывании» умножения в этой алгебре; тогда
(1) для любых , обозначая через отображение , имеем следующий факт: — линейный оператор (то есть );
(2) отображение — гомоморфизм алгебр Ли. - Алгебра дифференцирований алгебры : — подалгебра алгебры Ли .
- Пример: пусть — открытое множество в и ; тогда — дифференцирование алгебры .