Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

13Теорема о базисном миноре и о ранге матрицы

.doc
Скачиваний:
16
Добавлен:
11.02.2014
Размер:
25.6 Кб
Скачать

Теорема о базисном миноре и о ранге матрицы:

Теорема №1: В произвольной матрице А каждый столбец является линейной комбинацией столбцов, в ко­торых расположен базисный минор. Доказательство начнем со следующего замечания. Соотношение вида аj0=1aj1+...+rajr (1) связывающее столбцы матрицы, не меняется при эле­ментарных преобразованиях её строк. В самом деле, мы можем смотреть на (1) как на систему линейных урав­нений относительно 1,...,r Элементарным преобразованиям строк соответствуют элементарные преобразования строк расширенной мат­рицы системы (1) и, =>, преобразования этой системы, не меняющие множества её решений (Элементарные преобразования не меняют ранга матрицы). Таким образом, столбцы преобразованной матри­цы связаны соотношением того же вида, как (1), с теми же коэффициентами. Для преобразованной матрицы справедливость теоре­мы непосредственно очевидна: любой её столбец раскла­дывается по базисным столбцам с коэффициентами, рав­ными тем его элементам, которые расположены в первых r строках. Из сделанного выше замечания следует, что та же зависимость имеет место и для столбцов исходной матрицы A. Теорема доказана. Следствие: Каждая строка матрицы есть линей­ная комбинация строк, в которых расположен базисный минор. Для доказательства следует применить теорему к транспонированной матрице, заметив предварительно, что ба­зисный минор после транспонирования остается базисным. Предложения: (2) Если А – квадратная матрица и det A0, то по крайней мере один из столбцов – ли­нейная комбинация остальных столбцов, а также одна из строк – линейная комбинация остальных строк. Действительно, условие detA=0 означает, что Rg An–1, где n порядок матрицы. Поэтому по крайней мере один из столбцов и одна из строк не пере­секают базисный минор. Столбец и строка, не пересека­ющие базисный минор, линейно выражаются соответст­венно через столбцы и строки, в которых расположен базисный минор. Теорема №2: (теорема о ранге матрицы). Ранг матрицы А равен, максимальному числу линейно не­зависимых столбцов в этой матрице. Если Rg А=0, то все столбцы нулевые и нет ни од­ного линейно независимого столбца. Пусть Rg А=r>0. Покажем, что в А существует r линейно независимых столбцов. Действительно, рассмотрим составленную из элементов матрицы А матрицу А' порядка r, детерминан­том которой является базисный минор. Столбцы A' представляют собой части столбцов А. Если бы столбцы А, в которых расположен базисный минор, были линейно зависимы, то были бы линейно за­висимы столбцы А' и базисный минор равнялся бы 0. Докажем теперь, что любые р столбцов матрицы А линейно зависимы, если р>r. Составим матрицу В из этих р столбцов. Rg Вr, так как каждый минор матри­цы В является минором матрицы А и, =>, в В нет отличного от нуля минора порядка, большего чем r. Таким образом, Rg В<р и хотя бы один из столбцов матрицы В не входит в её базисный минор. Этот столбец линейно выражается через остальные. Тем самым теорема доказана.

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