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

Версия 04:20, 5 июля 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).

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

2.1  Векторные пространства с ¯-билинейной формой

2.1.1  ???

2.1.?  Векторные пространства с ¯-квадратичной формой

• Пространство ¯-квадратичных форм: ${\displaystyle {\overline {\mathrm {Quad} }}(V)=\{\kappa \in \mathrm {Map} (V,K)\mid \exists \,\sigma \in {\overline {\mathrm {Bi} }}(V)\;\forall \,v\in V\;{\bigl (}\kappa (v)=\sigma (v,v){\bigr )}\}}$.
• Теорема о поляризации квадратичной формы. Пусть ${\displaystyle K}$ — поле, ${\displaystyle \mathrm {char} \,K\neq 2}$ и ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$; тогда
  (1) для любых ${\displaystyle \kappa \in \mathrm {Quad} (V)}$, обозначая через ${\displaystyle \,\mathrm {pol} _{\kappa }}$ отображение ${\displaystyle {\biggl (}\!{\begin{aligned}V\times V&\to K\\(v,w)&\mapsto {\bigl (}\kappa (v+w)-\kappa (v-w){\bigr )}/4\end{aligned}}\!{\biggr )}}$, имеем следующий факт:
  ${\displaystyle \mathrm {pol} _{\kappa }}$ — симметричная билинейная форма в пространстве ${\displaystyle V}$ (то есть ${\displaystyle \mathrm {pol} _{\kappa }\!\in \mathrm {SBi} (V)}$);
  (2) отображения ${\displaystyle {\biggl (}\!{\begin{aligned}\mathrm {Quad} (V)&\to \mathrm {SBi} (V)\\\kappa &\mapsto \mathrm {pol} _{\kappa }\end{aligned}}\!{\biggr )}}$ и ${\displaystyle {\biggl (}\!{\begin{aligned}\mathrm {SBi} (V)&\to \mathrm {Quad} (V)\\\sigma &\mapsto {\bigl (}v\mapsto \sigma (v,v){\bigr )}\end{aligned}}\!{\biggr )}}$ суть взаимно обратные изоморфизмы векторных пространств.
• Теорема о поляризации ¯-квадратичной формы над полем C. Пусть ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle \mathbb {C} }$; тогда
  (1) для любых ${\displaystyle \kappa \in {\overline {\mathrm {Quad} }}(V)}$, обозначая через ${\displaystyle \,\mathrm {pol} _{\kappa }}$ отображение ${\displaystyle {\biggl (}\!{\begin{aligned}V\times V&\to \mathbb {C} \\(v,w)&\mapsto {\bigl (}\kappa (v+w)+\mathrm {i} \,\kappa (v+\mathrm {i} w)-\kappa (v-w)-\mathrm {i} \,\kappa (v-\mathrm {i} w){\bigr )}/4\end{aligned}}\!{\biggr )}}$,
  имеем следующий факт: ${\displaystyle \mathrm {pol} _{\kappa }}$ — полуторалинейная форма в пространстве ${\displaystyle V}$ (то есть ${\displaystyle \mathrm {pol} _{\kappa }\!\in {\overline {\mathrm {Bi} }}(V)}$);
  (2) отображения ${\displaystyle {\biggl (}\!{\begin{aligned}{\overline {\mathrm {Quad} }}(V)&\to {\overline {\mathrm {Bi} }}(V)\\\kappa &\mapsto \mathrm {pol} _{\kappa }\end{aligned}}\!{\biggr )}}$ и ${\displaystyle {\biggl (}\!{\begin{aligned}{\overline {\mathrm {Bi} }}(V)&\to {\overline {\mathrm {Quad} }}(V)\\\sigma &\mapsto {\bigl (}v\mapsto \sigma (v,v){\bigr )}\end{aligned}}\!{\biggr )}}$ суть взаимно обратные изоморфизмы векторных пространств.

2.1.?  Диагонализация симметричных ¯-билинейных форм

• Ортогональный базис: ${\displaystyle e\in \mathrm {OOB} (V,\sigma )}$${\displaystyle \,\Leftrightarrow \,}$${\displaystyle {\bigl (}}$${\displaystyle \sigma _{e,e}}$ — диагональная матрица${\displaystyle {\bigr )}}$${\displaystyle \;\Leftrightarrow \,}$${\displaystyle \forall \,j_{1},j_{2}\in \{1,\ldots ,\dim V\}\;{\bigl (}j_{1}\neq j_{2}\,\Rightarrow \,\sigma (e_{j_{1}},e_{j_{2}})=0{\bigr )}}$.
• Ортонормированный базис (обычно ${\displaystyle K=\mathbb {R} }$ или ${\displaystyle K=\mathbb {C} }$): ${\displaystyle e\in \mathrm {OnOB} (V,\sigma )}$${\displaystyle \,\Leftrightarrow \,}$${\displaystyle {\bigl (}}$${\displaystyle \sigma _{e,e}}$ — диагональная матрица с ${\displaystyle 1}$, ${\displaystyle -1}$, ${\displaystyle 0}$ на диагонали${\displaystyle {\bigr )}}$.
• Лемма о неизотропном векторе. Пусть ${\displaystyle K}$ — поле с инволюцией, ${\displaystyle \mathrm {char} \,K\neq 2}$, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$ и
  ${\displaystyle \sigma \in {\overline {\mathrm {SBi} }}(V)\!\setminus \!\{0\}}$; тогда существует такой вектор ${\displaystyle v\in V}$, что ${\displaystyle \sigma (v,v)\neq 0}$.
• Теорема Лагранжа о диагонализации симметричной ¯-билинейной формы. Пусть ${\displaystyle K}$ — поле с инволюцией, ${\displaystyle \mathrm {char} \,K\neq 2}$, ${\displaystyle V}$ — векторное
  пространство над полем ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$ и ${\displaystyle \sigma \in {\overline {\mathrm {SBi} }}(V)}$; тогда
  (1) в пространстве ${\displaystyle V}$ существует ортогональный базис (то есть ${\displaystyle \mathrm {OOB} (V,\sigma )\neq \varnothing }$);
  (2) если ${\displaystyle K=\mathbb {R} }$ или ${\displaystyle K=\mathbb {C} }$, то в пространстве ${\displaystyle V}$ существует ортонормированный базис (то есть ${\displaystyle \mathrm {OnOB} (V,\sigma )\neq \varnothing }$).
• Матричная формулировка теоремы Лагранжа. Пусть ${\displaystyle K}$ — поле с инволюцией, ${\displaystyle \mathrm {char} \,K\neq 2}$, ${\displaystyle n\in \mathbb {N} _{0}}$ и ${\displaystyle s\in {\overline {\mathrm {S} }}\mathrm {Mat} (n,K)}$; тогда
  (1) существует такая матрица ${\displaystyle g\in \mathrm {GL} (n,K)}$, что ${\displaystyle g^{\mathtt {T}}\!\cdot s\cdot {\overline {g}}}$ — диагональная матрица;
  (2) если ${\displaystyle K=\mathbb {R} }$ или ${\displaystyle K=\mathbb {C} }$, то существует такая матрица ${\displaystyle g\in \mathrm {GL} (n,K)}$, что ${\displaystyle g^{\mathtt {T}}\!\cdot s\cdot {\overline {g}}}$ — диагональная матрица с ${\displaystyle 1}$, ${\displaystyle -1}$, ${\displaystyle 0}$ на диагонали.
• Метод Лагранжа: приведение квадратичной формы к сумме квадратов (с коэффициентами) при помощи выделения полных квадратов.
• Процесс ортогонализации Грама–Шмидта в пространстве с симметричной ¯-билинейной формой. Пусть ${\displaystyle K}$ — поле с инволюцией,
  ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$ и ${\displaystyle \sigma \in {\overline {\mathrm {SBi} }}(V)}$; обозначим через ${\displaystyle n}$ число ${\displaystyle \dim V}$. Пусть ${\displaystyle e\in \mathrm {OB} (V)}$;
  для любых ${\displaystyle i\in \{0,\ldots ,n\}}$ обозначим через ${\displaystyle V_{i}}$ пространство ${\displaystyle \langle e_{1},\ldots ,e_{i}\rangle }$ и обозначим через ${\displaystyle m_{i}}$ ${\displaystyle i}$-й угловой минор матрицы ${\displaystyle \sigma _{e,e}}$.
  Пусть для любых ${\displaystyle i\in \{1,\ldots ,n\}}$ форма ${\displaystyle \sigma |_{V_{i}\times V_{i}}}$ невырождена (это эквивалентно тому, что ${\displaystyle m_{i}\neq 0}$). Тогда
  (1) существует единственная такая последовательность ${\displaystyle {\hat {e}}\in V^{n}}$, что для любых ${\displaystyle i\in \{1,\ldots ,n\}}$ выполнено ${\displaystyle {\hat {e}}_{i}\in (e_{i}+V_{i-1})\cap V_{i-1}^{\perp }}$;
  (2) последовательность ${\displaystyle {\hat {e}}}$ из пункта (1) обладает следующими свойствами: ${\displaystyle {\hat {e}}\in \mathrm {OOB} (V,\sigma )}$ и для любых ${\displaystyle i\in \{1,\ldots ,n\}}$ выполнено
  ${\displaystyle \sigma ({\hat {e}}_{i},{\hat {e}}_{i})={\frac {m_{i}}{m_{i-1}}}}$, а также ${\displaystyle {\hat {e}}_{i}=e_{i}-\sum _{j=1}^{i-1}{\frac {\sigma (e_{i},{\hat {e}}_{j})}{\sigma ({\hat {e}}_{j},{\hat {e}}_{j})}}{\hat {e}}_{j}}$ (это индуктивная формула для нахождения векторов ${\displaystyle {\hat {e}}_{1},\ldots ,{\hat {e}}_{n}}$).

2.2  Векторные пространства с симметричной ¯-билинейной формой над ${\displaystyle \mathbb {R} }$ или ${\displaystyle \mathbb {C} }$

2.2.1  Положительно и отрицательно определенные формы и матрицы

• Множество положительно определенных форм над ${\displaystyle \mathbb {R} }$ или ${\displaystyle \mathbb {C} }$: ${\displaystyle {\overline {\mathrm {SBi} }}_{>0}(V)=\{\sigma \in {\overline {\mathrm {SBi} }}(V)\mid \forall \,v\in V\!\setminus \!\{0\}\;{\bigl (}\sigma (v,v)>0{\bigr )}\}}$.
• Множество положительно определенных матриц над ${\displaystyle \mathbb {R} }$ или ${\displaystyle \mathbb {C} }$: ${\displaystyle {\overline {\mathrm {S} }}\mathrm {Mat} _{>0}(n,K)=\{s\in {\overline {\mathrm {S} }}\mathrm {Mat} (n,K)\mid \forall \,v\in K^{n}\!\setminus \!\{0\}\;{\bigl (}v^{\mathtt {T}}\!\cdot s\cdot {\overline {v}}>0{\bigr )}\}}$.
• Отрицательно определенные формы и матрицы: в двух предыдущих определениях символы «${\displaystyle >0}$» заменяются на символы «${\displaystyle <0}$».
• Положительно и отрицательно полуопределенные формы и матрицы: символы «${\displaystyle >}$» и «${\displaystyle <}$» заменяются на символы «${\displaystyle \geq }$» и «${\displaystyle \leq }$» соответственно.
• Критерий Сильвестра. Пусть ${\displaystyle K=\mathbb {R} }$ или ${\displaystyle K=\mathbb {C} }$, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$ и ${\displaystyle \sigma \in {\overline {\mathrm {SBi} }}(V)}$; обозначим
  через ${\displaystyle n}$ число ${\displaystyle \dim V}$. Пусть ${\displaystyle e\in \mathrm {OB} (V)}$; для любых ${\displaystyle i\in \{1,\ldots ,n\}}$ обозначим через ${\displaystyle m_{i}}$ ${\displaystyle i}$-й угловой минор матрицы ${\displaystyle \sigma _{e,e}}$. Тогда
  (1) ${\displaystyle \sigma \in {\overline {\mathrm {SBi} }}_{>0}(V)}$, если и только если ${\displaystyle \forall \,i\in \{1,\ldots ,n\}\;{\bigl (}m_{i}>0{\bigr )}}$;
  (2) ${\displaystyle \sigma \in {\overline {\mathrm {SBi} }}_{<0}(V)}$, если и только если ${\displaystyle \forall \,i\in \{1,\ldots ,n\}\;{\bigl (}(-1)^{i}\,m_{i}>0{\bigr )}}$.
• Матричная формулировка критерия Сильвестра. Пусть ${\displaystyle K=\mathbb {R} }$ или ${\displaystyle K=\mathbb {C} }$, ${\displaystyle n\in \mathbb {N} _{0}}$ и ${\displaystyle s\in {\overline {\mathrm {S} }}\mathrm {Mat} (n,K)}$; для любых ${\displaystyle i\in \{1,\ldots ,n\}}$
  обозначим через ${\displaystyle m_{i}}$ ${\displaystyle i}$-й угловой минор матрицы ${\displaystyle s}$; тогда
  (1) ${\displaystyle s\in {\overline {\mathrm {S} }}\mathrm {Mat} _{>0}(n,K)}$, если и только если ${\displaystyle \forall \,i\in \{1,\ldots ,n\}\;{\bigl (}m_{i}>0{\bigr )}}$;
  (2) ${\displaystyle s\in {\overline {\mathrm {S} }}\mathrm {Mat} _{<0}(n,K)}$, если и только если ${\displaystyle \forall \,i\in \{1,\ldots ,n\}\;{\bigl (}(-1)^{i}\,m_{i}>0{\bigr )}}$.

2.2.2  Сигнатура симметричной ¯-билинейной формы над ${\displaystyle \mathbb {R} }$ или ${\displaystyle \mathbb {C} }$

• Два ранга формы: ${\displaystyle \mathrm {rk} _{>0}(\sigma )=\max\{\dim U\mid U\leq V\;\land \;\sigma |_{U\times U}\!\in {\overline {\mathrm {SBi} }}_{>0}(U)\}}$ и ${\displaystyle \mathrm {rk} _{<0}(\sigma )=\max\{\dim U\mid U\leq V\;\land \;\sigma |_{U\times U}\!\in {\overline {\mathrm {SBi} }}_{<0}(U)\}}$.
• Закон инерции Сильвестра. Пусть ${\displaystyle K=\mathbb {R} }$ или ${\displaystyle K=\mathbb {C} }$, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$, ${\displaystyle \dim V<\infty }$ и ${\displaystyle \sigma \in {\overline {\mathrm {SBi} }}(V)}$,
  а также ${\displaystyle e\in \mathrm {OOB} (V,\sigma )}$; обозначим через ${\displaystyle n}$ число ${\displaystyle \dim V}$; тогда
  (1) ${\displaystyle \mathrm {rk} _{>0}(\sigma )=|\{i\in \{1,\ldots ,n\}\mid (\sigma _{e,e})_{i,i}>0\}|}$ (и, значит, число ${\displaystyle |\{i\in \{1,\ldots ,n\}\mid (\sigma _{e,e})_{i,i}>0\}|}$ не зависит от базиса ${\displaystyle e}$);
  (2) ${\displaystyle \mathrm {rk} _{<0}(\sigma )=|\{i\in \{1,\ldots ,n\}\mid (\sigma _{e,e})_{i,i}<0\}|}$ (и, значит, число ${\displaystyle |\{i\in \{1,\ldots ,n\}\mid (\sigma _{e,e})_{i,i}<0\}|}$ не зависит от базиса ${\displaystyle e}$).
• Сигнатура формы: пара ${\displaystyle (\mathrm {rk} _{>0}(\sigma ),\mathrm {rk} _{<0}(\sigma ))}$. Пространство Минковского — четырехмерное пространство над ${\displaystyle \mathbb {R} }$ с формой сигнатуры ${\displaystyle (1,3)}$.
• Отступление в геометрию???

2.2.3  (Псевдо)евклидовы и (псевдо)эрмитовы пространства

2.2  Евклидовы и эрмитовы пространства

2.2.1  ???

• Процесс ортогонализации Грама–Шмидта в евклидовом или эрмитовом пространстве. Пусть ${\displaystyle V}$ — евклидово или эрмитово пространство;
  обозначим через ${\displaystyle n}$ число ${\displaystyle \dim V}$. Пусть ${\displaystyle e\in \mathrm {OB} (V)}$; для любых ${\displaystyle i\in \{0,\ldots ,n\}}$ обозначим через ${\displaystyle V_{i}}$ пространство ${\displaystyle \langle e_{1},\ldots ,e_{i}\rangle }$. Тогда
  (1) существует единственная такая последовательность ${\displaystyle {\hat {e}}\in V^{n}}$, что для любых ${\displaystyle i\in \{1,\ldots ,n\}}$ выполнено ${\displaystyle {\hat {e}}_{i}\in (e_{i}+V_{i-1})\cap V_{i-1}^{\perp }}$;
  (2) определим последовательность ${\displaystyle {\check {e}}\in V^{n}}$, используя последовательность ${\displaystyle {\hat {e}}}$ из пункта (1): для любых ${\displaystyle i\in \{1,\ldots ,n\}}$ обозначим
  через ${\displaystyle {\check {e}}_{i}}$ вектор ${\displaystyle {\frac {{\hat {e}}_{i}}{\|{\hat {e}}_{i}\|}}}$; тогда последовательность ${\displaystyle {\check {e}}}$ обладает следующими свойствами: ${\displaystyle {\check {e}}\in \mathrm {OnOB} (V)}$ и для любых ${\displaystyle i\in \{1,\ldots ,n\}}$
  выполнено ${\displaystyle {\check {e}}_{i}={\frac {e_{i}-\sum _{j=1}^{i-1}(e_{i},{\check {e}}_{j}){\check {e}}_{j}}{\|e_{i}-\sum _{j=1}^{i-1}(e_{i},{\check {e}}_{j}){\check {e}}_{j}\|}}}$ (это индуктивная формула для нахождения векторов ${\displaystyle {\check {e}}_{1},\ldots ,{\check {e}}_{n}}$).

  2.3  Линейные операторы и ¯-билинейные формы