Лекция 6. Раздел 6.3
Базисный минор и ранг матрицы.

Введя понятие линейной комбинации строк и столбцов матрицы, как это было сделано у векторов, можно ввести понятие их линейной зависимости и независимости.

Определение 6.3.1. Строки , ,..., называются линейно зависимыми, если существуют такие числа , не все равные нулю, что справедливо равенство .

Здесь 0 – нулевая строка.

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

В этом случае линейная комбинация называется тривиальной.

Так же как и у векторов имеется соответствующая теорема.

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

Доказательство проводится так же, как и в п. 1.4.

Теорема 6.3.2. Если в систему строк матрицы входит нулевая строка, то эти строки линейно зависимы.

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

Рассмотрим теперь понятие базисного минора. Пусть имеется произвольная матрица порядка :

.

Определение 6.3.3. Минором -го порядка матрицы называется определитель -го порядка с элементами, лежащими на пересечении любых строк и столбцов матрицы .

Определение 6.3.4. В матрице , порядка , минор порядка называется базисным, если он не равен нулю, а все остальные миноры порядка равны нулю или миноров порядка вообще нет, то есть совпадает с меньшим из чисел или .

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

Определение 6.3.5. Рангом матрицы называется порядок базисного минора.

Обозначается ранг матрицы – . Строки и столбцы, на пересечении которых стоят элементы базисного минора, называются базисными.

Теорема 6.3.3. (Теорема о базисном миноре). Базисные строки и столбцы линейно независимы. Любая другая строка или столбец матрицы являются линейной комбинацией базисных строк или столбцов.

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

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

.

По определению данный минор равен нулю. Раскроем его по последнему столбцу:

.

Здесь , разделим на него все равенство:

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

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