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

Версия 05:00, 16 апреля 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} \,(\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)}$;
  тогда следующие условия эквивалентны:
  (1) существует такой упорядоченный базис ${\displaystyle e\in \mathrm {OB} (V)}$, что ${\displaystyle a_{e}^{e}}$ — диагональная матрица;
  (2) ${\displaystyle \mu _{a}=\!\!\!\prod _{c\in \mathrm {Spec} (a)}\!\!\!(x-c)}$ (то есть ${\displaystyle \forall \,c\in \mathrm {Spec} (a)\;{\bigl (}\beta (a,c)=1{\bigr )}}$);
  (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 \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 \alpha (a,c)=\dim V(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}}$ раскладывается в прямую сумму жордановых блоков).
• Экспонента оператора: ${\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  Алгебры Ли (основные определения и примеры)

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

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