Алгебра phys 1 весна 2016 — различия между версиями
Материал из SEWiki
Goryachko (обсуждение | вклад) |
Goryachko (обсуждение | вклад) |
||
Строка 26: | Строка 26: | ||
<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> | <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> | + | <b>Приведение матриц к ступенчатому виду</b> |
− | <ul><li>Элементарные трансвекции | + | <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(\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>Элементарные преобразования над столбцами первого типа <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></ul> | + | <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>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></ul> |
Версия 21:10, 12 февраля 2016
Векторные пространства и линейные операторы
Отступление в первый семестр
- Обозначения из математической логики и теории множеств.
- Запись множеств и отображений. Обозначения по Минковскому.
- Отношения эквивалентности и разбиения. Слои отображений.
Матрицы, базисы, координаты
Матрицы, столбцы, строки
- Пространство матриц . Пространство столбцов: . Пространство строк: .
- Матричные единицы. Стандартный базис пространства : .
- Стандартный базис пространства : . Стандартный базис пространства : .
- Умножение матриц: . Внешняя ассоциативность умножения матриц. Кольцо . Группа .
- Выделение строк матрицы: . Выделение столбцов матрицы: . Утверждение: и .
- Транспонирование матрицы: . Утверждение: отображение — антиавтоморфизм кольца .
Столбцы координат векторов и матрицы гомоморфизмов
- Упорядоченные базисы. Столбец координат вектора. Утверждение: . Изоморфизм векторных пространств между и .
- Матрица гомоморфизма: . Утверждение: и . Утверждение: .
- Изоморфизм векторных пространств между и . Изоморфизм колец между и .
Преобразования координат при замене базиса
- Матрица замены координат: . Матрица замены базиса: . Утверждение: и .
- Преобразование базиса: . Преобразование координат вектора: . Покомпонентная запись: .
- Преобразование координат эндоморфизма: . Покомпонентная запись: .
Приведение матриц к ступенчатому виду
- Элементарные трансвекции и псевдоотражения .
- Элементарные преобразования над строками первого типа и второго типа .
- Элементарные преобразования над столбцами первого типа и второго типа .
- Ступенчатые по строкам и ступенчатые по столбцам матрицы. Теорема о приведении матрицы к ступенчатому виду. Теорема. Пусть — поле, и ; тогда
(1) существуют такие число и элементарные матрицы размера , что — ступенчатая по строкам матрица;
(2) число ненулевых строк ступенчатой по строкам матрицы из пункта (1) равно (и, значит, не зависит от матриц ).