VI.

ТЕОРИЯ СИСТЕМ ЛИНЕЙНЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ

Ранг матрицы

Введем числовую характеристику матрицы над полем.

Определение 6.1. Рангом матрицы называется ранг ее системы
столбцов как векторов арифметического пространства .
Обозначение: .
Такое определение ранга называют еще определением «столбцового» ранга. По
аналогии можно было бы определить и «строчный» ранг как ранг системы строк матрицы,
принадлежащей . Но самое удивительное состоит в том, что эти два числа совпадают,
что видно из следующей теоремы.

Теорема 6.1. (о ранге матрицы).

Ранг матрицы равен максимальному порядку миноров этой матрицы, отличных от
нуля.
Доказательство. Пусть задана матрица , и максимальный
порядок миноров, отличных от нуля, равен , Это значит, что существует, по крайней
мере, один минор порядка , а все миноры порядков больших чем , если они
существуют, равны нулю. Не ограничивая общности рассуждений будем считать, что
минор расположен в левом верхнем углу матрицы А. Представим матрицу явно.

Если доказать, что первые столбцов образуют базу системы столбцов А, то будет
доказано, что . Действительно, первые столбцов линейно независимы, ибо в
противном случае были бы зависимы столбцы минора . Но он отличен от нуля, и тогда
это противоречит теореме 4.3. Остается доказать, что последние столбцов
выражаются через первые . Для доказательства этого построим вспомогательный
определитель порядка +1. А именно:

, , .

Такой определитель . В самом деле, если , то имеет две одинаковые

строки, а если , то является минором порядка +1 матрицы А. Раскроем его
по последней строке, руководствуясь теоремой 4.5. Получим
, где – алгебраические дополнения к элементам .

Откуда .

Надо заметить, что коэффициенты , , не зависят от , ибо вычисляются

по первым строкам. Поэтому, когда индекс изменяется от 1 до , получаем -й

столбец матрицы А, который выражается линейно через первые столбцов. Таким
образом, теорема доказана.
 2
Следствие 1. Ранг системы столбцов матрицы равен рангу ее системы строк.
Действительно, так как , ибо миноры при транспонировании
сохраняют свое значение. Поэтому ранг системы строк матрицы тоже равен .

Следствие 2. Если определитель равен нулю, то его строки линейно зависимы.

Это обещанное в главе IV доказательство необходимости в теореме 4.3. В самом деле,
пусть определитель матрицы А порядка равен нулю. Тогда минор максимального
порядка этой матрицы, отличный от нуля, не может совпадать с определителем А. Таким
образом, . Следовательно, строки (столбцы) матрицы линейно зависимы.

Следствие 3. При вычислении ранга матрицы методом поиска минора максимального

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

Исследуя вопрос о связи ранга произведения матриц с рангами сомножителей можно

убедиться, что точного соотношения не существует. Например, рассмотрим произведение
матриц второго порядка:
и .
В первом случае перемножаются матрицы ранга 1 и получаем матрицу ранга 1, а во
втором похожие матрицы ранга 1 дают в произведении матрицу ранга 0. тем не менее,
справедлива следующая теорема.

Теорема 6.2. (о ранге произведения матриц).

Ранг произведения матриц не превосходит ранга каждого из сомножителей.
Доказательство. Докажем теорему для случая двух сомножителей. Пусть заданы
матрицы , и матрица .
Тогда по правилу перемножения матриц имеем:
,

. . . . . . . .
, .

Таким образом, видно, что -й столбец матрицы С линейно выражается через столбцы
матрицы А. А это по свойству 6 ранга системы векторов (глава V) означает, что ранг
системы столбцов матрицы С не превосходит ранга системы столбцов матрицы А, т.е.,
. С другой стороны,
, , . . . , .

Отсюда видно, что -я строка матрицы С есть линейная комбинация строк матрицы В, т.е.,
по упоминавшемуся свойству ранга систем векторов . Теорема доказана.
Следствие. Пусть , тогда .

Общий подход к решению СЛАУ

Сначала представим необходимое и достаточное условие разрешимости СЛАУ.

 3
Теорема 6.3 (критерий Кронекера-Капелли).
Система линейных алгебраических уравнений совместна тогда и только тогда, когда
ранг расширенной матрицы системы совпадает с рангом матрицы коэффициентов при
неизвестных.
Доказательство. Необходимость. Пусть задана совместная система над полем Р
вида:

. (6.1)

Обозначим матрицу системы через А, а расширенную матрицу через .

Пусть какое-либо ее частное решение. Тогда столбец правых частей
линейно выражается через столбцы матрицы коэффициентов при неизвестных.
Действительно,

. (6.2)

По свойству 6 ранга системы векторов ранг системы столбцов расширенной матрицы не

может превышать ранг столбцов матрицы коэффициентов при неизвестных. Но не может
быть и меньше. Поэтому .
Достаточность. Пусть теперь выполнено равенство . В этом
случае система столбцов расширенной матрицы, содержащая систему столбцов матрицы
коэффициентов при неизвестных в качестве подсистемы, имеет с последней общую базу
по свойству 5 ранга системы. И эта база естественно расположена среди столбцов
матрицы коэффициентов при неизвестных. Но тогда столбец правых частей линейно через
базу выражается, а тем самым выражается и через всю систему. Таким образом, найдется
упорядоченный набор элементов из поля Р такой, что будет выполнено
равенство (6.2), т.е., существует частное решение исходной системы. Теорема доказана.

Будем теперь считать систему (6.1) совместной. И рассмотрим вопрос о представлении

общего решения такой системы. Пусть . Это, в частности, означает,
что в матрице А имеется минор порядка отличный от нуля. А все миноры более
высокого порядка, если они существуют, равны нулю. Назовем этот минор базисным.
Легко понять, что все уравнения системы можно представить в виде линейных
комбинаций уравнений, содержащих базисный минор. Поэтому при помощи
элементарных преобразований их можно обнулить, что не скажется на общем решении
системы, т.е., получим систему эквивалентную исходной. Не ограничивая общности
рассуждений, будем считать, что базисный минор расположен в левом верхнем углу
матрицы системы. Тогда после удаления «балластных» уравнений получим систему вида:

. (6.3)

Теперь рассмотрим два случая. Во-первых, пусть . Тогда система (6.3) представляет
собой систему «крамеровского» типа (см. теорему 4.13). Такая система имеет
единственное частное решение, которое может быть получено, например, по методу
Крамера. Во-вторых, пусть теперь . Тогда перенесем все слагаемые каждого
 4
уравнения, содержащие неизвестные с номерами от до , в праву часть системы.
Получим, очевидно, систему эквивалентную (6.3) и, значит, (6.1). Именно:

. (6.4)

Неизвестные с номерами от 1 до назовем основными, а остальные свободными. Если

придать свободным неизвестным произвольные значения, то правая часть системы (6.4)
становится вполне определенной, и (6.4) превращается в «крамеровскую» систему.
Отсюда легко получить однозначно определенные значения основных неизвестных.
Объединяя оба набора в один, получаем частное решение системы (6.4) , а следовательно
и (6.1) . И, таким образом, если поле Р числовое, можно получить бесконечно много
различных частных решений системы (6.1). Покажем, что любое частное решение
системы (6.1) может быть получено указанным способом. Пусть имеется частное решение
(6.1) вида: . Перейдем к эквивалентной системе (6.4), для
которой указанный набор будет частным решением, и придадим свободным неизвестным
значения . Вновь получим «крамеровскую» систему, для которой найдем
значения основных неизвестных. Они обязаны совпасть с набором , ибо в
противном случае «крамеровская» система, получаемая из (6.4) будет иметь, по крайней
мере, два частных решения, что запрещается теоремой 4.13. Все сказанное можно
подытожить в виде следующей теоремы.

Теорема 6.4. Система линейных алгебраических уравнений вида (6.1), заданная над
числовым полем, может иметь 1) нуль частных решений, 2) одно частное решение, 3)
бесконечно много частных решений. В случае совместности системы, если ранг матрицы
коэффициентов при неизвестных равен числу неизвестных, то система имеет одно
частное решение, которое может быть получено по правилу Крамера, в противном
случае система имеет бесконечно много частных решений, каждое из которых может
получиться заданием значений свободных неизвестных и вычислением по ним значений
основных. Сами основные неизвестные определяются положением базисного минора в
матрице коэффициентов, именно: ими назначаются неизвестные, стоящие при столбцах
базисного минора.

Теорема 6.5 (критерий определенности СЛАУ).

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

Рассмотрим теперь случай однородных систем. Соответствующие теоремы легко

следуют из предыдущих рассуждений.

Теорема 6.6. Однородная система линейных алгебраических уравнений, число

неизвестных в которой больше числа уравнений, имеет нетривиальное (ненулевое)
решение.

Теорема 6.7. Однородная система линейных алгебраических уравнений с квадратной

матрицей коэффициентов при неизвестных имеет нетривиальное решение тогда и
только тогда, когда определитель матрицы системы равен нулю.

Структура общего решения СЛАУ.

 5
Обратимся сначала к однородным системам. Выясним, как устроено общее решение
такой системы.

Теорема 6.8. Общее решение однородной системы линейных алгебраических

уравнений с неизвестными над полем Р есть линейное подпространство
арифметического пространства .
Доказательство легко протекает при использовании критерия подпространства (см.
теорему 5.1).

Определение 6.2. Базис пространства решений однородной системы линейных

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

Теорема 6.9. Размерность общего решения однородной системы линейных

алгебраических уравнений от неизвестных равна , где – ранг матрицы системы.
Доказательство. Пусть задана система вида:

. (6.5)

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

Придадим набору свободных неизвестных значения строк определителя , вычислим по

этим значениям значения основных неизвестных и получим в итоге частных решений
системы (6.5):

(6.6)
Покажем теперь, что данная система частных решений есть фундаментальная система
решений (6.5). Во-первых, система линейно независима ввиду того, что . Покажем,
во-вторых, что каждое частное решение системы (6.5) есть линейная комбинация системы
решений (6.6). Пусть вектор будет произвольным частным
решением (6.5). Рассмотрим вспомогательную систему

Векторы этой системы принадлежат арифметическому пространству и образуют в

нем базис (так как это строки определителя ). Тогда вектор
линейно выражается через указанный базис:
.
Составим разность
.
Вектор , очевидно, является частным решением системы (6.5) . Все значения его
компонент, отвечающих свободным неизвестным равны нулю, а потому и остальные
компоненты, отвечающие основным неизвестным, тоже равны нулю, ибо система
 6
однородная. Итак, . Но тогда , что и требовалось. Теорема
доказана.

Наконец, пусть задана неоднородная СЛАУ вида (6.1). Будем считать ее совместной.
Определение 6.3. Отвечающая (6.1) однородная система вида (6.5) (т.е. получающаяся
из (6.1) заменой правых частей нулями) называется приведенной по отношению к данной
неоднородной.

Теорема 6.10. Общее решение совместной неоднородной системы от неизвестных

над полем Р представляет собой линейное многообразие в пространстве , где
направляющим подпространством служит общее решение соответствующей
приведенной системы, а вектором сдвига любое частное решение данной неоднородной.
Доказательство. Достаточно проверить, что разность двух частных решений
неоднородной системы есть частное решение соответствующей приведенной, а также то,
что сумма частного решения неоднородной системы с произвольным частным решением
приведенной есть частное решение данной неоднородной системы. Действительно, пусть
, и будут соответственно два частных решения
неоднородной системы и частное решение приведенной системы. Тогда

А также

Теорема доказана.

Пример 6.1. Пусть задана неоднородная система

и приведенная

Решая приведенную систему (например, методом Гаусса), получим общее решение в виде

Так как ранг системы равен трем, то размерность общего решения приведенной системы
равна единице. Фундаментальная система решений, таким образом, состоит из одного
вектора. Пусть это будет . Тогда общее решение приведенной системы
можно представить в виде линейной оболочки фундаментальной системы, т.е.,
. Далее, легко видеть, что вектор является частным
решением исходной неоднородной системы. Поэтому общее решение неоднородной
системы запишется в виде .