Алгебраические структуры 5 2015 — различия между версиями

Версия 18:40, 29 марта 2016

Лектор: Евгений Евгеньевич Горячко.

Преподаватель практики у подгруппы №1: Евгений Евгеньевич Горячко.

Список подгруппы №1 на практике: Иван Абрамов, Евгений Акимов, Роман Васильев, Марк Геллер, Сергей Голованов,
Андрей Крутиков, Рауф Курбанов, Антон Мордберг, Кирилл Пилюгин, Дмитрий Саввинов, Андрей Серебро, Алексей Степанов,
Ильнур Шугаепов, Наталья Ялышева, а также Иван Дмитриевский и Ирина Щукина.

Преподаватель практики у подгруппы №2: Софья Сергеевна Афанасьева.

Список подгруппы №2 на практике: Дмитрий Байдин, Виталий Бибаев, Фёдор Бочаров, Артём Бутомов, Святослав Власов,
Шамиль Гарифуллин, Егор Горбунов, Эдгар Жаворонков, Никита Иванов, Сергей Козлов, Татьяна Кузина, Михаил Митрофанов,
Семён Поляков, Владислав Саенко, Леонид Сташевский, Константин Чаркин.

Файл с домашним заданием на 11-е ноября.

Таблица успеваемости студентов.

Все основные материалы курса имеются на следующих страницах: http://mit.spbau.ru/courses/algstructures и
http://mit.spbau.ru/courses/algstructures_se (а также http://mit.spbau.ru/courses/algstructures_cs для группы CS).

1.1.1  Пространства матриц, столбцов, строк

• Пространство матриц ${\displaystyle \mathrm {Mat} (p,n,K)}$. Пространство столбцов: ${\displaystyle K^{p}=\mathrm {Mat} (p,1,K)}$. Пространство строк: ${\displaystyle {}^{n}\!K=\mathrm {Mat} (1,n,K)}$.
• Матричные единицы. Стандартный базис пространства ${\displaystyle \mathrm {Mat} (p,n,K)}$: ${\displaystyle \{e_{i}^{j}\mid i\in \{1,\ldots ,p\},\,j\in \{1,\ldots ,n\}\}}$.
• Стандартный базис пространства ${\displaystyle K^{p}}$: ${\displaystyle \{e_{i}\mid i\in \{1,\ldots ,p\}\}}$. Стандартный базис пространства ${\displaystyle {}^{n}\!K}$: ${\displaystyle \{e^{j}\mid j\in \{1,\ldots ,n\}\}}$.
• Умножение матриц: ${\displaystyle (b\cdot a)_{k}^{i}=\sum _{j=1}^{p}b_{j}^{i}\,a_{k}^{j}}$. Внешняя ассоциативность умножения матриц. Кольцо ${\displaystyle \mathrm {Mat} (n,K)}$. Группа ${\displaystyle \mathrm {GL} (n,K)}$.
• Выделение строк матрицы: ${\displaystyle a^{i}=e^{i}\cdot a}$. Выделение столбцов матрицы: ${\displaystyle a_{j}=a\cdot e_{j}}$. Утверждение: ${\displaystyle (b\cdot a)^{i}=b^{i}\cdot a}$ и ${\displaystyle (b\cdot a)_{k}=b\cdot a_{k}}$.
• След матрицы: ${\displaystyle \mathrm {tr} \,a=\sum _{i=1}^{n}a_{i}^{i}}$. Утверждение: пусть ${\displaystyle a\in \mathrm {Mat} (p,n,K)}$ и ${\displaystyle b\in \mathrm {Mat} (n,p,K)}$; тогда ${\displaystyle \mathrm {tr} (b\cdot a)=\mathrm {tr} (a\cdot b)}$.
• Транспонирование матрицы: ${\displaystyle (a^{\mathtt {T}})_{j}^{i}=a_{i}^{j}}$. Утверждение: пусть ${\displaystyle a\in \mathrm {Mat} (p,n,K)}$ и ${\displaystyle b\in \mathrm {Mat} (r,p,K)}$; тогда ${\displaystyle (b\cdot a)^{\mathtt {T}}=a^{\mathtt {T}}\cdot b^{\mathtt {T}}}$.

1.2.2  Ранг линейного оператора

• Ранг линейного оператора: ${\displaystyle \mathrm {rk} (a)=\dim \mathrm {Im} \,a}$. Ранг матрицы (ранг по столбцам): ${\displaystyle \mathrm {rk} (a)=\dim \,\langle a_{1},\ldots ,a_{n}\rangle }$. Утверждение: ${\displaystyle \mathrm {rk} (a)=\mathrm {rk} (a_{e}^{h})}$.
• Утверждение: ${\displaystyle \mathrm {rk} (a)\leq \min(\dim V,\dim Y)}$. Утверждение: ${\displaystyle a\in \mathrm {Inj} (V,Y)\,\Leftrightarrow \,\mathrm {rk} (a)=\dim V}$ и ${\displaystyle a\in \mathrm {Surj} (V,Y)\,\Leftrightarrow \,\mathrm {rk} (a)=\dim Y}$.
• Теорема о свойствах ранга. Пусть ${\displaystyle K}$ — поле, ${\displaystyle n,p\in \mathbb {N} _{0}}$ и ${\displaystyle a\in \mathrm {Mat} (p,n,K)}$; тогда
  (1) для любых матриц ${\displaystyle g\in \mathrm {GL} (p,K)}$ и ${\displaystyle g'\in \mathrm {GL} (n,K)}$ выполнено ${\displaystyle \mathrm {rk} (g\cdot a\cdot g')=\mathrm {rk} (a)}$;
  (2) существуют такие матрицы ${\displaystyle g\in \mathrm {GL} (p,K)}$ и ${\displaystyle g'\in \mathrm {GL} (n,K)}$, что ${\displaystyle g\cdot a\cdot g'=e_{1}^{1}+e_{2}^{2}+\ldots +e_{\mathrm {rk} (a)}^{\mathrm {rk} (a)}}$;
  (3) ${\displaystyle \mathrm {rk} (a^{\mathtt {T}})=\dim \,\langle a^{1},\ldots ,a^{p}\rangle }$ и ${\displaystyle \,\mathrm {rk} (a)=\mathrm {rk} (a^{\mathtt {T}})}$ (то есть ранг по столбцам равен рангу по строкам).

1.4.2  Полилинейные отображения и формы объема

• Пространства полилинейных отображений ${\displaystyle \mathrm {Multi} (V_{1},\ldots ,V_{k};Y)}$ и ${\displaystyle \mathrm {Multi} ^{k}(V;Y)}$ и полилинейных форм ${\displaystyle \mathrm {Multi} (V_{1},\ldots ,V_{k})}$ и ${\displaystyle \mathrm {Multi} ^{k}V}$.
• Пространство симметричных полилинейных форм ${\displaystyle \mathrm {SMulti} ^{k}V}$. Пространство антисимметричных полилинейных форм ${\displaystyle \mathrm {AMulti} ^{k}V}$.
• Лемма об антисимметричных формах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle k\in \mathbb {N} _{0}}$ и ${\displaystyle \omega \in \mathrm {Multi} ^{k}V}$; тогда
  следующие условия эквивалентны (если ${\displaystyle \mathrm {char} \,K=2}$, то исключаются импликации (2)${\displaystyle \;\Rightarrow \,}$(1) и (3)${\displaystyle \;\Rightarrow \,}$(1)):
  (1) ${\displaystyle \omega \in \mathrm {AMulti} ^{k}V}$;
  (2) для любых ${\displaystyle v_{1},\ldots ,v_{k}\in V}$ и таких ${\displaystyle u\in \mathrm {S} _{k}}$, что ${\displaystyle u}$ — транспозиция, выполнено ${\displaystyle \omega (v_{u(1)},\ldots ,v_{u(k)})=-\omega (v_{1},\ldots ,v_{k})}$;
  (3) для любых ${\displaystyle v_{1},\ldots ,v_{k}\in V}$ и ${\displaystyle u\in \mathrm {S} _{k}}$ выполнено ${\displaystyle \omega (v_{u(1)},\ldots ,v_{u(k)})=\mathrm {sgn} (u)\,\omega (v_{1},\ldots ,v_{k})}$.
• Пространство форм объема ${\displaystyle \mathrm {AMulti} ^{n}V}$ (${\displaystyle n=\dim V}$). Форма объема, связанная с базисом: ${\displaystyle \mathrm {vol} ^{e}(v_{1},\ldots ,v_{n})=\sum _{u\in \mathrm {S} _{n}}\mathrm {sgn} (u)\,(v_{1}^{e})^{u(1)}\!\ldots (v_{n}^{e})^{u(n)}}$.
• Теорема о формах объема. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$; обозначим через ${\displaystyle n}$ число ${\displaystyle \dim V}$; тогда
  (1) для любых ${\displaystyle e\in \mathrm {OB} (V)}$ и ${\displaystyle \omega \in \mathrm {AMulti} ^{n}V}$ выполнено ${\displaystyle \omega =\omega (e_{1},\ldots ,e_{n})\,\mathrm {vol} ^{e}}$;
  (2) для любых ${\displaystyle e\in \mathrm {OB} (V)}$ множество ${\displaystyle \{\mathrm {vol} ^{e}\}}$ — базис пространства ${\displaystyle \,\mathrm {AMulti} ^{n}V}$;
  (3) для любых ${\displaystyle v_{1},\ldots ,v_{n}\in V}$ и ${\displaystyle \omega \in \mathrm {AMulti} ^{n}V\setminus \{0\}}$ выполнено ${\displaystyle (v_{1},\ldots ,v_{n})\in \mathrm {OB} (V)\,\Leftrightarrow \,\omega (v_{1},\ldots ,v_{n})\neq 0}$.

1.4.3  Определитель линейного оператора

• Определитель линейного оператора: ${\displaystyle \omega (a(v_{1}),\ldots ,a(v_{n}))=\det a\cdot \omega (v_{1},\ldots ,v_{n})}$, где ${\displaystyle \omega \in \mathrm {AMulti} ^{n}V\setminus \{0\}}$. Корректность определения.
• Теорема о главных свойствах определителя. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$ и ${\displaystyle \dim V<\infty }$; тогда
  (1) ${\displaystyle \mathrm {GL} (V)=\{a\in \mathrm {End} (V)\mid \det a\neq 0\}}$ (напоминание: ${\displaystyle \mathrm {GL} (V)=\mathrm {End} (V)^{\times }}$);
  (2) для любых ${\displaystyle a,b\in \mathrm {End} (V)}$ выполнено ${\displaystyle \det(a\circ b)=\det a\cdot \det b}$
  (и, значит, отображение ${\displaystyle {\biggl (}\!{\begin{aligned}\mathrm {GL} (V)&\to K^{\times }\\a&\mapsto \det a\end{aligned}}\!{\biggr )}}$ определено корректно и является гомоморфизмом групп).
• Определитель матрицы: ${\displaystyle \det a=\sum _{u\in \mathrm {S} _{n}}\mathrm {sgn} (u)\,a_{1}^{u(1)}\!\ldots a_{n}^{u(n)}}$. Утверждение: пусть ${\displaystyle e\in \mathrm {OB} (V)}$; тогда ${\displaystyle \mathrm {vol} ^{e}(v_{1},\ldots ,v_{n})=\det \!{\bigl (}v_{1}^{e}\;\ldots \;v_{n}^{e}{\bigr )}}$.
• Лемма об определителе оператора и определителе матрицы. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$,
  ${\displaystyle a\in \mathrm {End} (V)}$ и ${\displaystyle e\in \mathrm {OB} (V)}$; тогда, обозначая через ${\displaystyle n}$ число ${\displaystyle \dim V}$, имеем ${\displaystyle \det a=\mathrm {vol} ^{e}(a(e_{1}),\ldots ,a(e_{n}))=\det a_{e}^{e}}$.
• Утверждение: ${\displaystyle \det a=\det a^{\mathtt {T}}}$ и определитель блочно-треугольной матрицы равен произведению определителей диагональных блоков.
• Специальные линейные группы: ${\displaystyle \mathrm {SL} (V)=\{a\in \mathrm {GL} (V)\mid \det a=1\}\trianglelefteq \mathrm {GL} (V)}$ и ${\displaystyle \mathrm {SL} (n,K)=\{a\in \mathrm {GL} (n,K)\mid \det a=1\}\trianglelefteq \mathrm {GL} (n,K)}$.

1.5  Линейные операторы (часть 2)

1.5.1  Многочлены от операторов

• Многочлен от оператора: ${\displaystyle f(a)=\sum _{k=0}^{\deg f}f_{k}a^{k}}$. Эвалюация ${\displaystyle {\biggl (}\!{\begin{aligned}\mathrm {eval} _{a}\colon K[x]&\to \mathrm {End} (V)\\f&\mapsto f(a)\end{aligned}}\!{\biggr )}}$ — гомоморфизм колец и векторных пространств.
• Кольцо, порожденное оператором: ${\displaystyle K[a]=\{f(a)\mid f\in K[x]\}=\mathrm {Im} \,\mathrm {eval} _{a}}$ — коммутативное подкольцо и подпространство в ${\displaystyle \mathrm {End} (V)}$.
• Минимальный многочлен оператора: ${\displaystyle \mu _{a}(a)=0}$, ${\displaystyle \mu _{a}}$ приведен, ${\displaystyle \deg \mu _{a}=\min\{\deg f\mid f\in K[x]\setminus \{0\}\;\land \;f(a)=0\}}$; ${\displaystyle (\mu _{a})=\mathrm {Ker} \,\mathrm {eval} _{a}\trianglelefteq K[x]}$.
• Утверждение: пусть ${\displaystyle a\in \mathrm {End} (V)}$ и ${\displaystyle f\in K[x]}$; тогда ${\displaystyle a{\bigl (}\mathrm {Ker} \,f(a){\bigr )}\leq \mathrm {Ker} \,f(a)}$ и, если ${\displaystyle g\in K[x]}$ и ${\displaystyle f}$ делит ${\displaystyle g}$, то ${\displaystyle \,\mathrm {Ker} \,f(a)\leq \mathrm {Ker} \,g(a)}$.
• Теорема о разложении в прямую сумму ядер. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle a\in \mathrm {End} (V)}$,
  ${\displaystyle f,g\in K[x]}$ и ${\displaystyle \gcd(f,g)=1}$; тогда ${\displaystyle \,\mathrm {Ker} \,(fg)(a)=\mathrm {Ker} \,f(a)\oplus \mathrm {Ker} \,g(a)}$.
• Проектор (идемпотент): ${\displaystyle a^{2}=a\,\Leftrightarrow \,V=\mathrm {Ker} \,(\mathrm {id} _{V}-a)\oplus \mathrm {Ker} \,a}$. Нильпотентный оператор: ${\displaystyle \exists \,m\in \mathbb {N} _{0}\;{\bigl (}a^{m}=0{\bigr )}\,\Leftrightarrow \,\exists \,m\in \mathbb {N} _{0}\;{\bigl (}\mu _{a}=x^{m}{\bigr )}}$.

1.5.2  Спектр оператора и характеристический многочлен оператора

• Спектр оператора: ${\displaystyle \mathrm {Spec} (a)=\{c\in K\mid (a-c\cdot \mathrm {id} _{V})\notin \mathrm {GL} (V)\}}$; если ${\displaystyle \dim V<\infty }$, то ${\displaystyle \mathrm {Spec} (a)=\{c\in K\mid \mathrm {Ker} \,(a-c\cdot \mathrm {id} _{V})\neq \{0\}\}}$.
• Характеристический многочлен матрицы: ${\displaystyle \chi _{a}=\det(x\cdot \mathrm {id} _{n}-a)}$. Характеристический многочлен оператора: ${\displaystyle \chi _{a}=\chi _{a_{e}^{e}}}$. Корректность определения.
• Утверждение: ${\displaystyle \chi _{a}=x^{n}-\mathrm {tr} \,a\cdot x^{n-1}+\ldots +(-1)^{n}\det a}$. Утверждение: ${\displaystyle \mathrm {Spec} (a)=\{c\in K\mid \chi _{a}(c)=0\}}$ (и, значит, ${\displaystyle |\mathrm {Spec} (a)|\leq \dim V}$).
• Теорема Гамильтона–Кэли. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$ и ${\displaystyle a\in \mathrm {End} (V)}$; тогда ${\displaystyle \chi _{a}(a)=0}$.
• Две кратности: ${\displaystyle \alpha (a,c)}$ — кратность ${\displaystyle c}$ как корня многочлена ${\displaystyle \chi _{a}}$ (алгебраическая кратность) и ${\displaystyle \beta (a,c)}$ — кратность ${\displaystyle c}$ как корня многочлена ${\displaystyle \mu _{a}}$.
• Лемма о минимальном и характеристическом многочленах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — вект. пр. над ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$, ${\displaystyle a\in \mathrm {End} (V)}$; тогда
  (1) многочлен ${\displaystyle \mu _{a}}$ делит многочлен ${\displaystyle \chi _{a}}$ (и, значит, ${\displaystyle \forall \,c\in K\;{\bigl (}\beta (a,c)\leq \alpha (a,c){\bigr )}}$);
  (2) ${\displaystyle \mathrm {Spec} (a)=\{c\in K\mid \mu _{a}(c)=0\}}$;
  (3) если ${\displaystyle a}$ — нильпотентный оператор, то ${\displaystyle \chi _{a}=x^{\dim V}}$.

1.5.3  Собственные и корневые подпространства оператора

• Обобщенные собственные подпространства: ${\displaystyle V_{j}(a,c)=\mathrm {Ker} \,(a-c\cdot \mathrm {id} _{V})^{j}\leq V}$. Корневые подпространства: ${\displaystyle V(a,c)=\bigcup _{j=0}^{\infty }V_{j}(a,c)\leq V}$.
• Цепь ${\displaystyle a}$-инвариантных подпространств: ${\displaystyle \{0\}<V_{1}(a,c)<\ldots <V_{p-1}(a,c)<V_{p}(a,c)=V_{p+1}(a,c)=\ldots }$; вывод: ${\displaystyle V(a,c)=V_{p}(a,c)}$.
• Обобщенные геометрические кратности: ${\displaystyle \gamma _{j}(a,c)=\dim V_{j}(a,c)-\dim V_{j-1}(a,c)}$ и ${\displaystyle \gamma (a,c)=\gamma _{1}(a,c)}$. Утверждение: ${\displaystyle \gamma (a,c)\leq \alpha (a,c)}$.
• Лемма об обобщенных собственных подпространствах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$,
  ${\displaystyle a\in \mathrm {End} (V)}$ и ${\displaystyle c\in \mathrm {Spec} (a)}$; обозначим через ${\displaystyle \beta }$ число ${\displaystyle \beta (a,c)}$; тогда
  (1) для любых ${\displaystyle j\in \mathbb {N} _{0}}$ выполнено ${\displaystyle \beta \leq j\,\Leftrightarrow \,V_{\beta }(a,c)=V_{j}(a,c)}$;
  (2) ${\displaystyle V_{\beta -1}(a,c)<V_{\beta }(a,c)=V_{\beta +1}(a,c)}$ и ${\displaystyle V(a,c)=V_{\beta }(a,c)=V_{\alpha (a,c)}(a,c)}$.
• Теорема о диагонализуемых операторах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$ и ${\displaystyle a\in \mathrm {End} (V)}$;
  тогда следующие условия эквивалентны:
  (1) существует такой упорядоченный базис ${\displaystyle e\in \mathrm {OB} (V)}$, что ${\displaystyle a_{e}^{e}}$ — диагональная матрица;
  (2) ${\displaystyle \mu _{a}=\!\!\!\prod _{c\in \mathrm {Spec} (a)}\!\!\!(x-c)}$;
  (3) ${\displaystyle V=\!\!\!\bigoplus _{c\in \mathrm {Spec} (a)}\!\!\!V_{1}(a,c)}$ (это разложение пространства ${\displaystyle V}$ в прямую сумму собственных подпространств оператора ${\displaystyle a}$).
• Теорема о разложении в прямую сумму корневых подпространств. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$,
  ${\displaystyle \dim V<\infty }$, ${\displaystyle a\in \mathrm {End} (V)}$ и многочлен ${\displaystyle \chi _{a}}$ раскладывается в произведение многочленов степени ${\displaystyle 1}$ в кольце ${\displaystyle K[x]}$ (если ${\displaystyle K=\mathbb {C} }$,
  то это условие выполнено для любого оператора ${\displaystyle a}$ в силу алгебраической замкнутости поля ${\displaystyle \mathbb {C} }$); тогда
  (1) ${\displaystyle V=\!\!\!\bigoplus _{c\in \mathrm {Spec} (a)}\!\!\!V(a,c)}$ (это разложение пространства ${\displaystyle V}$ в прямую сумму корневых подпространств оператора ${\displaystyle a}$);
  (2) для любых ${\displaystyle c\in \mathrm {Spec} (a)}$, обозначая через ${\displaystyle \mathrm {nil} (a,c)}$ оператор ${\displaystyle (a-c\cdot \mathrm {id} _{V})|_{V(a,c)\to V(a,c)}}$, имеем следующие факты:
  ${\displaystyle \mathrm {nil} (a,c)}$ — нильпотентный оператор, ${\displaystyle \mu _{\mathrm {nil} (a,c)}=x^{\beta (a,c)}}$ и ${\displaystyle \chi _{\mathrm {nil} (a,c)}=x^{\alpha (a,c)}}$ (и, значит, ${\displaystyle \dim V(a,c)=\alpha (a,c)}$).

1.6  Линейные операторы (часть 3)

1.6.1  Относительные базисы

• Независимое подмножество в ${\displaystyle V}$ относительно ${\displaystyle U}$: ${\displaystyle \sum _{c\in C}f^{c}c\in U\,\Rightarrow \,f=0}$. Порождающее подмножество в ${\displaystyle V}$ относительно ${\displaystyle U}$: ${\displaystyle U+\langle D\rangle =V}$.
• Базис в ${\displaystyle V}$ относительно ${\displaystyle U}$: одновременно независимое и порождающее подмножество в ${\displaystyle V}$ относительно ${\displaystyle U}$. Три леммы без доказательств.

  Лемма 1 об относительных базисах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — вект. пр. над ${\displaystyle K}$, ${\displaystyle U\leq V}$, ${\displaystyle E\subseteq V}$; тогда следующие условия эквивалентны:
  (1) ${\displaystyle E}$ — базис в ${\displaystyle V}$ относительно ${\displaystyle U}$;
  (2) для любого базиса ${\displaystyle A}$ в ${\displaystyle U}$ выполнено ${\displaystyle A\cap E=\varnothing }$ и ${\displaystyle A\cup E}$ — базис в ${\displaystyle V}$;
  (3) существует такой базис ${\displaystyle A}$ в ${\displaystyle U}$, что ${\displaystyle A\cap E=\varnothing }$ и ${\displaystyle A\cup E}$ — базис в ${\displaystyle V}$.

  Лемма 2 об относительных базисах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — вект. пр. над ${\displaystyle K}$, ${\displaystyle U\leq V}$, ${\displaystyle C}$ — независимое подмножество в ${\displaystyle V}$ относительно ${\displaystyle U}$;
  тогда существует базис в ${\displaystyle V}$ относительно ${\displaystyle U}$, содержащий ${\displaystyle C}$.

  Лемма 3 об относительных базисах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — вект. пр. над ${\displaystyle K}$, ${\displaystyle T\leq U\leq V}$, ${\displaystyle E}$ — базис в ${\displaystyle V}$ относительно ${\displaystyle U}$, ${\displaystyle F}$ — базис в ${\displaystyle U}$
  относительно ${\displaystyle T}$; тогда ${\displaystyle E\cup F}$ — базис в ${\displaystyle V}$ относительно ${\displaystyle T}$.

• Теорема об относительно независимых подмножествах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle a\in \mathrm {End} (V)}$,
  ${\displaystyle j\in \mathbb {N} \setminus \{1\}}$; обозначим через ${\displaystyle V_{j-2}}$, ${\displaystyle V_{j-1}}$ и ${\displaystyle V_{j}}$ пространства ${\displaystyle \,\mathrm {Ker} \,a^{j-2}}$, ${\displaystyle \mathrm {Ker} \,a^{j-1}}$ и ${\displaystyle \,\mathrm {Ker} \,a^{j}}$ соответственно; пусть ${\displaystyle C}$ — независимое
  подмножество в ${\displaystyle V_{j}}$ относительно ${\displaystyle V_{j-1}}$; тогда ${\displaystyle a|_{C\to a(C)}}$ — биекция и ${\displaystyle a(C)}$ — независимое подмножество в ${\displaystyle V_{j-1}}$ относительно ${\displaystyle V_{j-2}}$.

1.6.2  Жорданова нормальная форма оператора

• Жордановы клетки: ${\displaystyle \mathrm {J} _{n}(0)=e_{1}^{2}+e_{2}^{3}+\ldots +e_{n-1}^{n}}$ и ${\displaystyle \mathrm {J} _{n}(c)=c\cdot \mathrm {id} _{n}+\mathrm {J} _{n}(0)}$. Прямая сумма матриц: ${\displaystyle a\oplus b\oplus \ldots ={\Biggl (}{\begin{smallmatrix}a&0&0\\0&b&0\\0&0&\ddots \end{smallmatrix}}{\Biggr )}}$.
• Диаграммы Юнга. Жорданов блок: ${\displaystyle \mathrm {J} _{\Delta }(c)=\mathrm {J} _{n_{1}}(c)\oplus \ldots \oplus \mathrm {J} _{n_{r}}(c)}$, где числа ${\displaystyle n_{1},\ldots ,n_{r}}$ суть длины строк диаграммы Юнга ${\displaystyle \Delta }$.
• Диаграмма Юнга ${\displaystyle \Delta (a,c)}$: высоты столбцов диаграммы ${\displaystyle \Delta (a,c)}$ суть обобщенные геометрические кратности ${\displaystyle \gamma _{1}(a,c),\ldots ,\gamma _{\beta (a,c)}(a,c)}$.
• Теорема о жордановой нормальной форме нильпотентного оператора. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$,
  ${\displaystyle \dim V<\infty }$, ${\displaystyle a\in \mathrm {End} (V)}$ и ${\displaystyle a^{\dim V}=0}$; тогда существует такой упорядоченный базис ${\displaystyle e\in \mathrm {OB} (V)}$, что ${\displaystyle a_{e}^{e}=\mathrm {J} _{\Delta (a,0)}(0)}$.
• Теорема о жордановой нормальной форме. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$, ${\displaystyle a\in \mathrm {End} (V)}$
  и многочлен ${\displaystyle \chi _{a}}$ раскладывается в произведение многочленов степени ${\displaystyle 1}$ в кольце ${\displaystyle K[x]}$ (если ${\displaystyle K=\mathbb {C} }$, то это условие выполнено для
  любого оператора ${\displaystyle a}$ в силу алгебраической замкнутости поля ${\displaystyle \mathbb {C} }$); тогда существует такой упорядоченный базис ${\displaystyle e\in \mathrm {OB} (V)}$, что
  ${\displaystyle a_{e}^{e}=\!\!\!\bigoplus _{c\in \mathrm {Spec} (a)}\!\!\!\mathrm {J} _{\Delta (a,c)}(c)}$ (то есть матрица ${\displaystyle a_{e}^{e}}$ раскладывается в прямую сумму жордановых блоков).
• Экспонента оператора: ${\displaystyle \mathrm {e} ^{a}=\sum _{k=0}^{\infty }{\frac {1}{k!}}\,a^{k}}$. Нахождение степеней и экспоненты оператора при помощи теоремы о жордановой нормальной форме.

1.7  Алгебры

1.7.1  Определения и конструкции, связанные с алгебрами

1.7.2  Алгебры многочленов

1.7.3  Алгебра (тело) кватернионов

1.7.4  Алгебры Ли (основные определения и примеры)