|
|
| Строка 17: |
Строка 17: |
| | ======= Подподподподзаголовок уже не работает ======= | | ======= Подподподподзаголовок уже не работает ======= |
| | <h6>А вот это - заголовок через HTML-тег</h6> | | <h6>А вот это - заголовок через HTML-тег</h6> |
| − |
| |
| − | == 1 Векторные пространства и линейные операторы ==
| |
| − |
| |
| − | === 1.1 Матрицы, базисы, координаты ===
| |
| − |
| |
| − | ===== 1.1.1 Матрицы, столбцы, строки =====
| |
| − | <b>1.1.1 Матрицы, столбцы, строки</b>
| |
| − | * Пространство матриц <math>\mathrm{Mat}(p,n,K)</math>. Пространство столбцов: <math>K^p=\mathrm{Mat}(p,1,K)</math>. Пространство строк: <math>{}^n\!K=\mathrm{Mat}(1,n,K)</math>.
| |
| − | * Матричные единицы. Стандартный базис пространства <math>\mathrm{Mat}(p,n,K)</math>: <math>\{e_i^j\mid i\in\{1,\ldots,p\},\,j\in\{1,\ldots,n\}\}</math>.
| |
| − | * Стандартный базис пространства <math>K^p</math>: <math>\{e_i\mid i\in\{1,\ldots,p\}\}</math>. Стандартный базис пространства <math>{}^n\!K</math>: <math>\{e^j\mid j\in\{1,\ldots,n\}\}</math>.
| |
| − | * Умножение матриц: <math>(b\cdot a)^i_k=\sum_{j=1}^pb^i_j\,a^j_k</math>. Внешняя ассоциативность умножения матриц. Кольцо <math>\mathrm{Mat}(n,K)</math>. Группа <math>\mathrm{GL}(n,K)</math>.
| |
| − | * Выделение строк матрицы: <math>a^i=e^i\cdot a</math>. Выделение столбцов матрицы: <math>a_j=a\cdot e_j</math>. Утверждение: <math>(b\cdot a)^i=b^i\cdot a\,</math> и <math>\,(b\cdot a)_k=b\cdot a_k</math>.
| |
| − | * Транспонирование матрицы: <math>(a^\mathtt T)^i_j=a^j_i</math>. Утверждение: отображение <math>a\mapsto a^\mathtt T</math> — антиавтоморфизм кольца <math>\mathrm{Mat}(n,K)</math>.
| |
| − |
| |
| − | <b>1.1.2 Столбцы координат векторов и матрицы гомоморфизмов</b>
| |
| − | <ul><li>Упорядоченные базисы. Столбец координат вектора. Утверждение: <math>v=e\cdot v^e</math>. Изоморфизм векторных пространств между <math>V</math> и <math>K^{\dim V}</math>.</li>
| |
| − | <li>Матрица гомоморфизма: <math>(a_e^h)_j=a(e_j)^h</math>. Утверждение: <math>a(e)=h\cdot a_e^h\,</math> и <math>\,\forall\,v\in V\;\bigl(\,a(v)^h=a_e^h\cdot v^e\,\bigr)</math>. Утверждение: <math>(b\circ a)_e^g=b_f^g\cdot a_e^f</math>.</li>
| |
| − | <li>Изоморфизм векторных пространств между <math>\mathrm{Hom}(V,Y)</math> и <math>\mathrm{Mat}(\dim Y,\dim V,K)</math>. Изоморфизм колец между <math>\mathrm{End}(V)</math> и <math>\mathrm{Mat}(\dim V,K)</math>.</li></ul>
| |
| − |
| |
| − | <b>1.1.3 Преобразования координат при замене базиса</b>
| |
| − | <ul><li>Матрица замены координат: <math>\mathrm c_e^\tilde e=(\mathrm{id}_V)_e^\tilde e</math>. Матрица замены базиса: <math>\mathrm c_\tilde e^e=(\mathrm{id}_V)_\tilde e^e</math>. Утверждение: <math>\mathrm c_\tilde e^\tilde\tilde e\cdot\mathrm c_e^\tilde e=\mathrm c_e^\tilde\tilde e\,</math> и <math>\,\mathrm c_e^\tilde e=\bigl(\mathrm c_\tilde e^e\bigr)^{-1}</math>.</li>
| |
| − | <li>Преобразование базиса: <math>\tilde e=e\cdot\mathrm c_\tilde e^e</math>. Преобразование координат вектора: <math>v^\tilde e=\mathrm c_e^\tilde e\cdot v^e</math>. Покомпонентная запись: <math>v^\tilde i=\sum_{k=1}^{\dim V}(e_k)^\tilde i\,v^k</math>.</li>
| |
| − | <li>Преобразование координат эндоморфизма: <math>a_\tilde e^\tilde e=\mathrm c_e^\tilde e\cdot a_e^e\cdot\mathrm c_\tilde e^e</math>. Покомпонентная запись: <math>a^\tilde i_\tilde j=\sum_{k=1}^{\dim V}\sum_{l=1}^{\dim V}(e_k)^\tilde i(e_\tilde j)^l\,a_l^k</math>.</li></ul>
| |
| − |
| |
| − | <b>1.1.4 Элементарные матрицы, приведение к ступенчатому виду, метод Гаусса</b>
| |
| − | <ul><li>Элементарные трансвекции <math>\{\mathrm{id}_n+c\,e_i^j\mid c\in K,\,i,j\in\{1,\ldots,n\},\,i\ne j\}</math> и псевдоотражения <math>\{\mathrm{id}_n+(c-1)e_i^i\mid c\in K^\times,\,i\in\{1,\ldots,n\}\}</math>.</li>
| |
| − | <li>Элементарные преобразования над строками первого типа <math>a\mapsto(\mathrm{id}_p+c\,e_i^k)\cdot a</math> и второго типа <math>a\mapsto(\mathrm{id}_p+(c-1)e_i^i)\cdot a</math>.</li>
| |
| − | <li>Элементарные преобразования над столбцами первого типа <math>a\mapsto a\cdot(\mathrm{id}_n+c\,e_l^j)</math> и второго типа <math>a\mapsto a\cdot(\mathrm{id}_n+(c-1)e_j^j)</math>.</li>
| |
| − | <li>Ступенчатые по строкам и ступенчатые по столбцам матрицы. Теорема о приведении матрицы к ступенчатому виду.</li>
| |
| − | Теорема. <i>Пусть <math>K</math> — поле, <math>p,n\in\mathbb N_0</math> и <math>a\in\mathrm{Mat}(p,n,K)</math>; тогда<br>(1) существуют такие <math>l\in\mathbb N_0</math> и элементарные матрицы <math>g_1,\ldots,g_l</math> размера <math>p\times p</math> над полем <math>K</math>, что <math>g_l\cdot\ldots\cdot g_1\cdot a</math> — ступенчатая матрица;<br>(2) число ненулевых строк ступенчатой матрицы из пункта (1) равно <math>\dim\,\langle a^1,\ldots,a^p\rangle</math> (и, значит, не зависит от матриц <math>g_1,\ldots,g_l</math>).</i>
| |
| − | <li>Нахождение базиса подпространства, порожденного множеством, с помощью теоремы о приведении матрицы к ступенчатому виду.</li></ul>
| |
| − |
| |
| − | === 1.2 Линейные операторы ===
| |
| − |
| |
| − | === 1.3 Конструкции над векторными пространствами ===
| |
| − |
| |
| − | === Полилинейные отображения и определитель ===
| |
Это песочница. Тут можно тестировать разметку.
