Алгебра phys 1 февраль–март

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

2.1  Векторные пространства

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

• Векторное пространство над полем $K$ — абелева группа с умножением на скаляры из $K$, являющимся действием эндоморфизмами по сложению.
• Гомоморфизмы векторных пространств (линейные операторы): $\mathrm {Hom} (V,Y)$ — векторное пространство. Кольцо $\mathrm {End} (V)$, группа $\mathrm {GL} (V)=\mathrm {Aut} (V)$.
• Примеры: пространства столбцов и строк, пространства матриц, пространства функций, пространства финитных функций, пространства многочленов.
• Подпространство: $U\leq V\,\Leftrightarrow \,U+U\subseteq U\,\land \,0\in U\,\land \,K\,U\subseteq U$. Подпростр.-во, порожд. мн.-вом $D$: $\langle D\rangle \leq V\;\land \;\forall \,U\leq V\;{\bigl (}D\subseteq U\,\Leftrightarrow \,\langle D\rangle \subseteq U{\bigr )}$.
• Утверждение: $\langle D\rangle ={\bigl \{}\sum _{d\in D}f(d)\,d\mid f\in \mathrm {FinFunc} (D,K){\bigr \}}$. Линейная комбинация элементов мн.-ва $D$: $\sum _{d\in D}f(d)\,d=f(d_{1})\,d_{1}+\ldots +f(d_{m})\,d_{m}$.
• Ядро и образ линейного оператора $a$: $\mathrm {Ker} \,a=a^{-1}(0)$ и $\mathrm {Im} \,a$. Утверждение: $\mathrm {Ker} \,a\leq V$, $\mathrm {Im} \,a\leq Y$. Теорема о слоях и ядре гомоморфизма. Примеры.

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

• Факторпростр.-во: $V/U$ с фактороперациями ($U\leq V$). Корректность опр.-я факторопераций. Теорема о гомоморфизме. Пример: $K^{n}\!/\langle {\underline {e}}_{i}\rangle \cong K^{n-1}$.

  Теорема о гомоморфизме. Пусть $K$ — поле, $V,Y$ — векторные пространства над полем $K$ и $a\in \mathrm {Hom} (V,Y)$; тогда $V/\,\mathrm {Ker} \,a\cong \mathrm {Im} \,a$.

• Прямая сумма $U\oplus W$: $U\times W$ с покомпонентными операциями. Обобщение ($I$ — мн.-во): $\bigoplus _{i\in I}V_{i}=\{f\in \mathrm {FinFunc} (I,\bigcup _{i\in I}V_{i})\mid \forall \,i\in I\;{\bigl (}f(i)\in V_{i}{\bigr )}\}$.

2.1.2  Базисы, координаты, размерность

• $C$ — независимое подмножество в $V$: $\forall \,f\in \mathrm {FinFunc} (C,K)\;{\bigl (}\sum _{c\in C}f(c)\,c=0\,\Rightarrow \,f=0{\bigr )}$. Базис — независимое и порождающее подмножество.
• Стандартные базисы пространств $K^{n}$, $K_{n}$ и $\mathrm {Mat} (p,n,K)$: $\{{\underline {e}}_{i}\mid i\in \{1,\ldots ,n\}\}$, $\{{\underline {e}}^{j}\mid j\in \{1,\ldots ,n\}\}$ и $\{{\underline {e}}_{i}^{j}\mid i\in \{1,\ldots ,p\},\,j\in \{1,\ldots ,n\}\}$.
• Теорема о свойствах базиса. Пусть $K$ — поле, $V$ — векторное пространство над полем $K$ и $B\subseteq V$; тогда следующие условия эквивалентны:
  (1) $B$ — базис пространства $V$;
  (2) отображение ${\Biggl (}\!{\begin{aligned}\,\mathrm {FinFunc} (B,K)&\to V\\f&\mapsto \sum _{b\in B}f(b)\,b\end{aligned}}\!{\Biggr )}$ — изоморфизм векторных пространств;
  (3) для любого вектора $v\in V$ существует единственная такая функция $f\in \mathrm {FinFunc} (B,K)$, что $v=\sum _{b\in B}f(b)\,b$;
  (4) $B$ — независимое подмножество в $V$ и для любого вектора $v\in V\!\setminus \!B$ множество $B\cup \{v\}$ не является независимым подмножеством в $V$
  (то есть $B$ — максимальное независимое подмножество в $V$);
  (5) $B$ — порождающее подмножество в $V$ и для любого вектора $b\in B$ множество $B\!\setminus \!\{b\}$ не является порождающим подмножеством в $V$
  (то есть $B$ — минимальное порождающее подмножество в $V$).
• Отступление о свойствах базиса. Утверждение: $V\cong Y\,\Leftrightarrow \,\dim V=\dim Y$. Утверждение: пусть $U\leq V$, $\dim U=\dim V<\infty$; тогда $U=V$.