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

Версия 00:40, 20 февраля 2016

1  Векторные пространства и линейные операторы

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

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 (a^{\mathtt {T}})_{j}^{i}=a_{i}^{j}}$. Утверждение: отображение ${\displaystyle \,a\mapsto a^{\mathtt {T}}}$ — антиавтоморфизм кольца ${\displaystyle \,\mathrm {Mat} (n,K)}$.

1.1.2  Столбцы координат векторов и матрицы гомоморфизмов

• Упорядоченные базисы. Столбец координат вектора. Утверждение: ${\displaystyle v=e\cdot v^{e}}$. Изоморфизм векторных пространств между ${\displaystyle V}$ и ${\displaystyle K^{\dim V}}$.
• Матрица гомоморфизма: ${\displaystyle (a_{e}^{h})_{j}=a(e_{j})^{h}}$. Утверждение: ${\displaystyle a(e)=h\cdot a_{e}^{h}}$ и ${\displaystyle \forall \,v\in V\;{\bigl (}a(v)^{h}=a_{e}^{h}\cdot v^{e}{\bigr )}}$. Утверждение: ${\displaystyle (b\circ a)_{e}^{g}=b_{f}^{g}\cdot a_{e}^{f}}$.
• Изоморфизм векторных пространств между ${\displaystyle \mathrm {Hom} (V,Y)}$ и ${\displaystyle \mathrm {Mat} (\dim Y,\dim V,K)}$. Изоморфизм колец между ${\displaystyle \mathrm {End} (V)}$ и ${\displaystyle \mathrm {Mat} (\dim V,K)}$.

1.1.3  Преобразования координат при замене базиса

• Матрица замены координат: ${\displaystyle \mathrm {c} _{e}^{\tilde {e}}=(\mathrm {id} _{V})_{e}^{\tilde {e}}}$. Матрица замены базиса: ${\displaystyle \mathrm {c} _{\tilde {e}}^{e}=(\mathrm {id} _{V})_{\tilde {e}}^{e}}$. Утверждение: ${\displaystyle \mathrm {c} _{\tilde {e}}^{\tilde {\tilde {e}}}\cdot \mathrm {c} _{e}^{\tilde {e}}=\mathrm {c} _{e}^{\tilde {\tilde {e}}}}$ и ${\displaystyle \,\mathrm {c} _{e}^{\tilde {e}}={\bigl (}\mathrm {c} _{\tilde {e}}^{e}{\bigr )}^{-1}}$.
• Преобразование базиса: ${\displaystyle {\tilde {e}}=e\cdot \mathrm {c} _{\tilde {e}}^{e}}$. Преобразование координат вектора: ${\displaystyle v^{\tilde {e}}=\mathrm {c} _{e}^{\tilde {e}}\cdot v^{e}}$. Покомпонентная запись: ${\displaystyle v^{\tilde {i}}=\sum _{k=1}^{\dim V}(e_{k})^{\tilde {i}}\,v^{k}}$.
• Преобразование координат эндоморфизма: ${\displaystyle a_{\tilde {e}}^{\tilde {e}}=\mathrm {c} _{e}^{\tilde {e}}\cdot a_{e}^{e}\cdot \mathrm {c} _{\tilde {e}}^{e}}$. Покомпонентная запись: ${\displaystyle a_{\tilde {j}}^{\tilde {i}}=\sum _{k=1}^{\dim V}\sum _{l=1}^{\dim V}(e_{k})^{\tilde {i}}(e_{\tilde {j}})^{l}\,a_{l}^{k}}$.

1.1.4  Элементарные матрицы и приведение к ступенчатому виду

• Элементарные трансвекции ${\displaystyle \{\mathrm {id} _{n}+c\,e_{i}^{j}\mid c\in K,\,i,j\in \{1,\ldots ,n\},\,i\neq j\}}$ и псевдоотражения ${\displaystyle \{\mathrm {id} _{n}+(c-1)e_{i}^{i}\mid c\in K^{\times },\,i\in \{1,\ldots ,n\}\}}$.
• Элементарные преобразования над строками первого типа ${\displaystyle \,a\mapsto (\mathrm {id} _{p}+c\,e_{i}^{k})\cdot a}$ и второго типа ${\displaystyle \,a\mapsto (\mathrm {id} _{p}+(c-1)e_{i}^{i})\cdot a}$.
• Элементарные преобразования над столбцами первого типа ${\displaystyle \,a\mapsto a\cdot (\mathrm {id} _{n}+c\,e_{l}^{j})}$ и второго типа ${\displaystyle \,a\mapsto a\cdot (\mathrm {id} _{n}+(c-1)e_{j}^{j})}$.
• Ступенчатые по строкам и ступенчатые по столбцам матрицы. Теорема о приведении матрицы к ступенчатому виду.

  Теорема о приведении матрицы к ступенчатому виду. Пусть ${\displaystyle K}$ — поле, ${\displaystyle p,n\in \mathbb {N} _{0}}$ и ${\displaystyle a\in \mathrm {Mat} (p,n,K)}$; тогда
  (1) существуют такие ${\displaystyle l\in \mathbb {N} _{0}}$ и элементарные матрицы ${\displaystyle g_{1},\ldots ,g_{l}}$ размера ${\displaystyle p\times p}$ над полем ${\displaystyle K}$, что ${\displaystyle g_{l}\cdot \ldots \cdot g_{1}\cdot a}$ — ступенчатая матрица;
  (2) число ненулевых строк ступенчатой матрицы из пункта (1) равно ${\displaystyle \dim \,\langle a^{1},\ldots ,a^{p}\rangle }$ (и, значит, не зависит от матриц ${\displaystyle g_{1},\ldots ,g_{l}}$).

• Нахождение базиса подпространства, порожденного множеством, с помощью теоремы о приведении матрицы к ступенчатому виду.

1.2  Линейные операторы

1.2.1  Ядро и образ линейного оператора

• Отступление о свойствах базиса. Утверждение: ${\displaystyle V\cong Y\,\Leftrightarrow \,\dim V=\dim Y}$. Утверждение: ${\displaystyle U\leq V\;\land \;\dim U=\dim V<\infty \,\Rightarrow \,U=V}$.
• Ядро линейного оператора: ${\displaystyle \mathrm {Ker} \,a=a^{-1}(0)\leq V}$. Образ линейного оператора: ${\displaystyle \mathrm {Im} \,a\leq Y}$. Лемма о слоях гомоморфизма и следствие из нее.

  Лемма о слоях гомоморфизма. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V,Y}$ — вект. пр. над ${\displaystyle K}$, ${\displaystyle a\in \mathrm {Hom} (V,Y)}$, ${\displaystyle y\in Y}$, ${\displaystyle v_{0}\in a^{-1}(y)}$; тогда ${\displaystyle a^{-1}(y)=v_{0}+\mathrm {Ker} \,a}$.

  Следствие из леммы о слоях гомоморфизма. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V,Y}$ — вект. пр. над ${\displaystyle K}$, ${\displaystyle a\in \mathrm {Hom} (V,Y)}$; тогда ${\displaystyle a\in \mathrm {Inj} (V,Y)\,\Leftrightarrow \,\mathrm {Ker} \,a=\{0\}}$.

• Теорема о размерностях ядра и образа линейного оператора. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V,Y}$ — векторные пространства над полем ${\displaystyle K}$,
  ${\displaystyle \dim V<\infty }$ и ${\displaystyle a\in \mathrm {Hom} (V,Y)}$; тогда ${\displaystyle \dim \mathrm {Ker} \,a+\dim \mathrm {Im} \,a=\dim V}$.
• Принцип Дирихле для линейных операторов. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V,Y}$ — векторные пространства над полем ${\displaystyle K}$ и ${\displaystyle \dim V=\dim Y<\infty }$;
  тогда ${\displaystyle \,\mathrm {Inj} (V,Y)\cap \mathrm {Hom} (V,Y)=\mathrm {Surj} (V,Y)\cap \mathrm {Hom} (V,Y)=\mathrm {Isom} (V,Y)}$.

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_{1}\in \mathrm {GL} (p,K)}$ и ${\displaystyle g_{2}\in \mathrm {GL} (n,K)}$ выполнено ${\displaystyle \mathrm {rk} (g_{1}\cdot a\cdot g_{2})=\mathrm {rk} (a)}$;
  (2) существуют такие матрицы ${\displaystyle g_{1}\in \mathrm {GL} (p,K)}$ и ${\displaystyle g_{2}\in \mathrm {GL} (n,K)}$, что ${\displaystyle g_{1}\cdot a\cdot g_{2}=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.2.3  Системы линейных уравнений

• Матричная запись систем. Однородные системы. Утверждение: ${\displaystyle a\cdot v_{0}=y\,\Rightarrow \,\{v\in K^{n}\mid a\cdot v=y\}=v_{0}+\{v\in K^{n}\mid a\cdot v=0\}}$.
• Теорема Кронекера–Капелли. Пусть ${\displaystyle K}$ — поле, ${\displaystyle n,p\in \mathbb {N} _{0}}$, ${\displaystyle a\in \mathrm {Mat} (p,n,K)}$ и ${\displaystyle y\in K^{p}}$; тогда ${\displaystyle \exists \,v\in K^{n}\;(a\cdot v=y)\,\Leftrightarrow \,\mathrm {rk} (a)=\mathrm {rk} ((a\;\,y))}$.
• Метод Гаусса. Главные и свободные неизвестные. Фундаментальная система решений — базис пространства ${\displaystyle \{v\in K^{n}\mid a\cdot v=0\}}$.

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

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

• Прямая сумма векторных пространств: ${\displaystyle U\oplus W}$. Базис прямой суммы. Теорема о прямой сумме. Внутренняя прямая сумма подпространств.

  Теорема о прямой сумме. Пусть ${\displaystyle K}$ — поле, ${\displaystyle V}$ — векторное пространство над полем ${\displaystyle K}$ и ${\displaystyle U,W\leq V}$; обозначим через
  ${\displaystyle \mathrm {add} _{U,W}}$ отображение, действующее из ${\displaystyle U\oplus W}$ в ${\displaystyle V}$ по правилу ${\displaystyle (u,w)\mapsto u+w}$ для любых ${\displaystyle u\in U}$ и ${\displaystyle w\in W}$; тогда
  (1) ${\displaystyle \mathrm {add} _{U,W}\in \mathrm {Hom} (U\oplus W,V)}$, ${\displaystyle \mathrm {Ker} \,\mathrm {add} _{U,W}\cong U\cap W}$ и ${\displaystyle \,\mathrm {Im} \,\mathrm {add} _{U,W}=U+W}$;
  (2) если ${\displaystyle \dim U,\dim W<\infty }$, то ${\displaystyle \dim(U\cap W)+\dim(U+W)=\dim U+\dim W}$;
  (3) ${\displaystyle \mathrm {add} _{U,W}\in \mathrm {Isom} (U\oplus W,V)\,\Leftrightarrow \,\forall \,v\in V\;\exists !\,u\in U,\,w\in W\;{\bigl (}v=u+w{\bigr )}\,\Leftrightarrow \,U\cap W=\{0\}\;\land \;U+W=V}$.

• Инвариантное подпространство эндоморфизма: ${\displaystyle a(U)\leq U}$. Вид матрицы эндоморфизма в случае наличия инвариантного подпространства.
• Вид матрицы эндоморфизма в случае наличия разложения пространства во внутреннюю прямую сумму инвариантных подпространств.
• Факторпространство ${\displaystyle V/U}$. Базис факторпространства.

1.3.2  Двойственное пространство

• Двойственное пространство ${\displaystyle V^{*}}$.

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

1.4.1  Отступление о симметрических группах

1.4.2  Пространства полилинейных отображений

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

1.5  Жорданова нормальная форма