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

Версия 23:05, 10 февраля 2016

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

Отступление в первый семестр

• Обозначения из математической логики и теории множеств.
• Запись множеств и отображений. Обозначения по Минковскому.
• Отношения эквивалентности и разбиения. Слои отображений.

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

Матрицы, столбцы, строки.

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

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

• Упорядоченные базисы. Столбцы координат.
• Матрицы гомоморфизмов. Композиция гомоморфизмов и умножение матриц.
• Изоморфизм между кольцом эндоморфизмов и кольцом матриц.

${\displaystyle \forall \;e\in \mathrm {OB} (V),\;v\in V\;\;\;(\;v=e\cdot v^{e}\;)}$

${\displaystyle \forall \;e\in \mathrm {OB} (V),\;h\in \mathrm {OB} (Y),\;a\in \mathrm {Hom} (V,Y)\;\;\;(\;a(e)=h\cdot a_{e}^{h}\;)}$

${\displaystyle \forall \;e\in \mathrm {OB} (V),\;h\in \mathrm {OB} (Y),\;a\in \mathrm {Hom} (V,Y),\;v\in V\;\;\;(\;a(v)^{h}=a_{e}^{h}\cdot v^{e}\;)}$

${\displaystyle \forall \;e\in \mathrm {OB} (V),\;f\in \mathrm {OB} (X),\;g\in \mathrm {OB} (Z),\;a\in \mathrm {Hom} (V,X),\;b\in \mathrm {Hom} (X,Z)\;\;\;(\;(b\circ a)_{e}^{g}=b_{f}^{g}\cdot a_{e}^{f}\;)}$

План лекции 15.02.2016.

Замена базиса.

• Матрица замены базиса. Матрица замены координат.
• Преобразование координат векторов при замене базиса.
• Преобразование координат гомоморфизмов при замене базиса.
• Преобразование координат ковекторов при замене базиса.

Элементарные преобразования матриц.

• Элементарные матрицы. Элементарные преобразования над строками и над столбцами.
• Теорема о приведении матрицы к ступенчатому виду.