Алгебраические группы матриц

Первое впечатление таково, что мы вернулись к исходным позициям, потеряв время и ничего не выиграв. На самом же деле мы располагаем теперь рядом важных понятий. Осталось приобрести навыки в обращении с ними.

В этом месте удобно условиться в обозначениях. В дальнейшем для сокращения записи мы часто будем обозначать сумму значком

. При этом --- величины произвольной природы (числа, векторы-строки и т. д.), для которых выполнены все законы сложения чисел или векторов. Правила

достаточно понятны, чтобы их нужно было разъяснять. Будут рассматриваться также двойные суммы,

в которых порядок суммирования (по первому и по второму индексу) можно выбирать по своему желанию. Это легко понять, если расположить величины в прямоугольную матрицу размера : в нашей воле начинать суммирование элементов матрицы по строкам или по столбцам.

Другие возможные типы суммирования будут разъясняться в нужном месте.

2.2 Ранг матрицы

Назовем пространством столбцов прямоугольной матрицы размера введенное выше пространство , которое мы будем обозначать теперь символом или просто (в --- вертикальный). Его размерность назовем рангом по столбцам матрицы . Аналогично вводится ранг по строкам матрицы : , где --- подпространство в , натянутое на векторы-строки , (г --- горизонтальный). Другими словами,

- ранги систем векторов-столбцов и соответственно векторов-строк. По теореме о существовании конечного базиса у подпространства величины и определены правильно.

Будем говорить, что матрица получена из при помощи элементарного преобразования типа (I), если для какой-то пары индексов и для . Если же для всех и , , то говорим, что к применено элементарное преобразование типа (II).

Заметим, что элементарные преобразования обоих типов обратимы, т. е. матрица , получающаяся из при помощи одного элементарного преобразования, переходит снова в путем применения одного элементарного преобразования, причем того же типа.

2.2.1 Лемма. Если матрица получена из прямоугольной матрицы путем применения конечной последовательности элементарных преобразований, то имеют место равенства:

(i)

(ii)

Доказательство. Достаточно рассмотреть тот случай, когда получена из путем применения одного элементарного преобразования (сокращенно э. п.).

(i) Так как, очевидно, , то э. п. типа (I) не меняет . Далее, и, следовательно, , так что не меняется и при э. п. типа (II).

(ii) Пусть --- столбцы матрицы . Нам нужно доказать, что

Тогда всякой, в том числе и максимальной, независимой системе столбцов одной матрицы будет отвечать независимая система столбцов с теми же номерами другой матрицы, чем и устанавливается равенство . Заметим еще, что в силу обратимости элементарных преобразований достаточно доказать импликацию в одну сторону. Пусть, например, . Тогда, заменяя в (1) на и все на 0, мы видим, что --- решение однородной системы ОС, ассоциированной с линейной системой (2). По соответствующей теореме это решение будет также решением однородной системы , получающейся из ОС при помощи э. п. типа (I) или (II) и имеющей своей матрицей как раз матрицу . Так как система кратко записывается в виде , то мы приходим к соотношению

 Скачать реферат