Алгебра phys 1 весна 2016 — различия между версиями

Версия 05:20, 26 апреля 2016

1  Линейная алгебра

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

Содержание первой половины второго семестра курса алгебры

1.1  Матрицы, базисы, координаты

• 1.1.1  Пространства матриц, столбцов, строк
• 1.1.2  Столбцы координат векторов и матрицы гомоморфизмов
• 1.1.3  Преобразования координат при замене базиса
• 1.1.4  Элементарные матрицы и приведение к ступенчатому виду

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

• 1.2.1  Ядро и образ линейного оператора
• 1.2.2  Ранг линейного оператора
• 1.2.3  Системы линейных уравнений

1.3  Конструкции над векторными пространствами

• 1.3.1  Прямая сумма векторных пространств и факторпространства
• 1.3.2  Двойственное пространство

1.4  Полилинейные отображения, формы объема, определитель

• 1.4.1  Отступление о симметрических группах
• 1.4.2  Полилинейные отображения и формы объема
• 1.4.3  Определитель линейного оператора
• 1.4.4  Миноры матрицы и присоединенная матрица

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

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 K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle a\in \mathrm {End} (V)}$,
  ${\displaystyle f\in K[x]}$, ${\displaystyle f(a)=0}$ и ${\displaystyle f=\prod _{i=1}^{t}f_{i}}$, где ${\displaystyle t\in \mathbb {N} _{0}}$, ${\displaystyle f_{1},\ldots ,f_{t}\in K[x]}$ и ${\displaystyle f_{1},\ldots ,f_{t}}$ попарно взаимно просты; тогда ${\displaystyle V=\bigoplus _{i=1}^{t}\mathrm {Ker} \,f_{i}(a)}$.
• Проектор (идемпотент): ${\displaystyle a^{2}=a\,\Leftrightarrow \,V=\mathrm {Ker} \,(a-\mathrm {id} _{V})\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)}$;
  тогда следующие условия эквивалентны:
  (1) существует такой упорядоченный базис ${\displaystyle e\in \mathrm {OB} (V)}$, что ${\displaystyle a_{e}^{e}}$ — диагональная матрица;
  (2) ${\displaystyle \mu _{a}=\!\!\!\prod _{c\in \mathrm {Spec} (a)}\!\!\!(x-c)}$ (то есть ${\displaystyle \mu _{a}}$ раскладывается без кратностей в произведение многочленов степени ${\displaystyle 1}$ в кольце ${\displaystyle K[x]}$);
  (3) ${\displaystyle V=\!\!\!\bigoplus _{c\in \mathrm {Spec} (a)}\!\!\!V_{1}(a,c)}$ (это разложение пространства ${\displaystyle V}$ в прямую сумму собственных подпространств оператора ${\displaystyle a}$);
  (3') ${\displaystyle \dim V=\!\!\!\sum _{c\in \mathrm {Spec} (a)}\!\!\!\gamma (a,c)}$.
• Лемма об обобщенных собственных подпространствах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — вект. пр. над ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$, ${\displaystyle a\in \mathrm {End} (V)}$, ${\displaystyle c\in K}$; тогда
  (1) для любых ${\displaystyle j\in \mathbb {N} _{0}}$ выполнено ${\displaystyle \beta (a,c)\leq j\,\Leftrightarrow \,V_{\beta (a,c)}(a,c)=V_{j}(a,c)}$;
  (2) ${\displaystyle \beta (a,c)=\min\{j\in \mathbb {N} _{0}\mid V_{j}(a,c)=V_{j+1}(a,c)\}}$ и ${\displaystyle V(a,c)=V_{\beta (a,c)}(a,c)=V_{\alpha (a,c)}(a,c)}$.
• Теорема о разложении в прямую сумму корневых подпространств. Пусть ${\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 j\in \mathbb {N} _{0}}$
  выполнено ${\displaystyle \,\mathrm {Ker} \,\mathrm {nil} (a,c)^{j}=V_{j}(a,c)}$, а также ${\displaystyle \mathrm {nil} (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}$;
  (1') ${\displaystyle E}$ — независимое подмножество в ${\displaystyle V}$ и ${\displaystyle U\oplus \langle E\rangle =V}$;
  (2) ${\displaystyle E}$ — максимальное независимое подмножество в ${\displaystyle V}$ относительно ${\displaystyle U}$;
  (3) ${\displaystyle E}$ — минимальное порождающее подмножество в ${\displaystyle V}$ относительно ${\displaystyle U}$.
  Лемма 2 об относительных базисах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — вект. пр. над ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$, ${\displaystyle U\leq V}$; тогда
  (1) любое независимое подмножество в ${\displaystyle V}$ относительно ${\displaystyle U}$ можно дополнить до базиса в ${\displaystyle V}$ относительно ${\displaystyle U}$;
  (2) из любого конечного порождающего подмножества в ${\displaystyle V}$ относительно ${\displaystyle U}$ можно выделить базис в ${\displaystyle V}$ относительно ${\displaystyle U}$.
  Лемма 3 об относительных базисах. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — вект. пр. над ${\displaystyle K}$, ${\displaystyle U'\leq U\leq V}$, ${\displaystyle E}$ — базис в ${\displaystyle V}$ относительно ${\displaystyle U}$, ${\displaystyle E'}$ — базис в ${\displaystyle U}$
  относительно ${\displaystyle U'}$; тогда ${\displaystyle E\cup E'}$ — базис в ${\displaystyle V}$ относительно ${\displaystyle U'}$.

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

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

• Жордановы клетки: ${\displaystyle \mathrm {jc} _{n}(0)=\mathrm {se} _{1}^{2}+\mathrm {se} _{2}^{3}+\ldots +\mathrm {se} _{n-1}^{n}}$ и ${\displaystyle \mathrm {jc} _{n}(c)=c\cdot \mathrm {id} _{n}+\mathrm {jc} _{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 {jb} _{\Delta }(c)=\mathrm {jc} _{n_{1}}(c)\oplus \ldots \oplus \mathrm {jc} _{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}$ — нильпотентный оператор; тогда существует такой упорядоченный базис ${\displaystyle e\in \mathrm {OB} (V)}$, что ${\displaystyle a_{e}^{e}=\mathrm {jb} _{\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 {jb} _{\Delta (a,c)}(c)}$ (то есть матрица ${\displaystyle a_{e}^{e}}$ раскладывается в прямую сумму жордановых блоков).

1.6.3  Примеры использования жордановой нормальной формы в анализе и физике

• Утверждение: пусть ${\displaystyle a\in \mathrm {Mat} (n,K)}$ и ${\displaystyle f\in K[x]}$; тогда ${\displaystyle f(a)=\mathrm {c} _{e}^{\mathrm {se} }\cdot f(\mathrm {jnf} (a))\cdot \mathrm {c} _{\mathrm {se} }^{e}}$. Вычисление многочленов и рядов от жордановых клеток.
• Экспонента от оператора: ${\displaystyle \mathrm {e} ^{a}=\sum _{k=0}^{\infty }{\frac {1}{k!}}\,a^{k}}$. Утверждение: пусть ${\displaystyle a\circ b=b\circ a}$; тогда ${\displaystyle \mathrm {e} ^{a+b}=\mathrm {e} ^{a}\circ \mathrm {e} ^{b}}$. Утверждение: ${\displaystyle \mathrm {e} ^{{\Bigl (}{\begin{smallmatrix}0&-\varphi \\\varphi &0\end{smallmatrix}}{\Bigr )}}\!={\Bigl (}{\begin{smallmatrix}\cos \varphi &-\sin \varphi \\\sin \varphi &\cos \varphi \end{smallmatrix}}{\Bigr )}}$.
• Системы линейных дифференциальных уравнений с постоянными коэффициентами. Утверждение: пусть ${\displaystyle a\in \mathrm {Mat} (n,\mathbb {C} )}$; тогда ${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\mathrm {e} ^{xa}=a\cdot \mathrm {e} ^{xa}}$.
• Стационарное уравнение Шрёдингера для частицы в одномерной потенциальной яме с бесконечными стенками. Спектр и собственные функции.

1.7  Алгебры

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

• ${\displaystyle K}$-Алгебра — векторное пространство над ${\displaystyle K}$ с билинейным умножением — кольцо (в широком смысле слова) с умножением на скаляры из ${\displaystyle K}$.
• Гомоморфизм алгебр — гомоморфизм колец и векторных пространств. Подалгебра (идеал) алгебры — подкольцо (идеал) и подпространство.
• Примеры алгебр: ${\displaystyle K}$-алгебры ${\displaystyle K[x]}$, ${\displaystyle K[[x]]}$, ${\displaystyle K(x)}$, ${\displaystyle \mathrm {End} (V)}$ и ${\displaystyle \mathrm {Mat} (n,K)}$; ${\displaystyle \mathbb {R} }$-алгебры ${\displaystyle \mathbb {C} }$, ${\displaystyle \mathbb {R} ^{3}}$ с векторным умножением, ${\displaystyle \mathrm {C} ^{0}(\mathbb {R} ^{n})}$ и ${\displaystyle \mathrm {C} ^{\infty }(\mathbb {R} ^{n})}$.
• Структурные константы алгебры: ${\displaystyle (\,{\stackrel {e}{\cdot }}\,)_{j_{1},j_{2}}^{i}\!=((e_{j_{1}}\!\cdot e_{j_{2}})^{e})^{i}}$. Утверждение: массив ${\displaystyle {\bigl (}(\,{\stackrel {e}{\cdot }}\,)_{j_{1},j_{2}}^{i}{\bigr )}_{1\leq i,j_{1},j_{2}\leq \dim A}}$ определяет умножение в ${\displaystyle K}$-алгебре ${\displaystyle A}$.
• Теорема Кэли для алгебр. Пусть ${\displaystyle K}$ — поле и ${\displaystyle A}$ — ассоциативная ${\displaystyle K}$-алгебра с единицей; обозначим через ${\displaystyle {}_{K}\!A}$ векторное пространство над
  полем ${\displaystyle K}$, получающееся из ${\displaystyle K}$-алгебры ${\displaystyle A}$ при «забывании» умножения в ${\displaystyle A}$; тогда
  (1) для любых ${\displaystyle a\in A}$, обозначая через ${\displaystyle \mathrm {reg} _{A}(a)}$ отображение ${\displaystyle {\biggl (}\!{\begin{aligned}A&\to A\\b&\mapsto a\cdot b\end{aligned}}\!{\biggr )}}$, имеем следующий факт: ${\displaystyle \mathrm {reg} _{A}(a)}$ — эндоморфизм векторного
  пространства ${\displaystyle {}_{K}\!A}$ (то есть элемент ${\displaystyle K}$-алгебры ${\displaystyle \,\mathrm {End} ({}_{K}\!A)}$);
  (2) обозначая через ${\displaystyle \mathrm {reg} _{A}}$ отображение ${\displaystyle {\biggl (}\!{\begin{aligned}A&\to \mathrm {End} ({}_{K}\!A)\\a&\mapsto \mathrm {reg} _{A}(a)\end{aligned}}\!{\biggr )}}$, имеем следующий факт: ${\displaystyle \mathrm {reg} _{A}}$ — инъективный гомоморфизм ${\displaystyle K}$-алгебр с единицей.

1.7.2  Полилинейные формы и многочлены от свободных переменных

• Тензорное произведение полилинейных форм: ${\displaystyle (\omega \otimes \omega ')(v_{1},\ldots ,v_{k},v_{1}',\ldots ,v_{k'}')=\omega (v_{1},\ldots ,v_{k})\cdot \omega '(v_{1}',\ldots ,v_{k'}')}$. Билинейность операции ${\displaystyle \otimes }$.
• Утверждение: пусть ${\displaystyle e\in \mathrm {OB} (V)}$ и ${\displaystyle n=\dim V}$; тогда множество ${\displaystyle \{e_{j_{1}}^{*}\!\otimes \ldots \otimes e_{j_{k}}^{*}\!\mid j_{1},\ldots ,j_{k}\in \{1,\ldots ,n\}\}}$ — базис пространства ${\displaystyle \,\mathrm {Multi} ^{k}V}$.
• Алгебра полилинейных форм (ковариантных тензоров): ${\displaystyle \mathrm {Multi} (V)=\bigoplus _{k=0}^{\infty }\mathrm {Multi} ^{k}V}$. Утверждение: ${\displaystyle \mathrm {Multi} (V)}$ — ассоциативная ${\displaystyle K}$-алгебра с единицей.
• Моном от свободных (некоммутирующих) переменных ${\displaystyle x_{1},\ldots ,x_{n}}$: ${\displaystyle x_{j_{1}}\!\otimes \ldots \otimes x_{j_{k}}}$, где ${\displaystyle j_{1},\ldots ,j_{k}\in \{1,\ldots ,n\}}$. ${\displaystyle K}$-Алгебра ${\displaystyle K_{\otimes }[x_{1},\ldots ,x_{n}]}$.
• Теорема об алгебре полилинейных форм. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$; обозначим через ${\displaystyle n}$ число ${\displaystyle \dim V}$;
  тогда отображение, продолжающее по линейности частичное отображение ${\displaystyle {\biggl (}\!{\begin{aligned}K_{\otimes }[x_{1},\ldots ,x_{n}]&\to \mathrm {Multi} (V)\\x_{j_{1}}\!\otimes \ldots \otimes x_{j_{k}}&\mapsto e_{j_{1}}^{*}\!\otimes \ldots \otimes e_{j_{k}}^{*}\end{aligned}}\!{\biggr )}}$, — изоморфизм ${\displaystyle K}$-алгебр.

1.7.3  Тело кватернионов

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

2  Билинейная алгебра

3  Полилинейная алгебра