- Теорема о базисном миноре матрицы
- Формулировка теоремы
- Пример задачи
- Теорема о базисном миноре
- Формулировка теоремы о базисном миноре
- Примеры решения задач
- Ранг матрицы и базисный минор матрицы
- Теоремы о базисном миноре и о ранге матрицы
- Условие равенства нулю определителя
- Инвариантность ранга матрицы при элементарных преобразованиях
- Ранге произведения и суммы матриц
Теорема о базисном миноре матрицы
В данной публикации мы рассмотрим теорему о базисном миноре (формулировка и следствия). Также разберем пример задачи для демонстрации ее применения на практике.
Формулировка теоремы
В произвольной матрице A столбцы/строки, входящие в состав базисного минора M (называются “базисными”), линейно независимы. Каждый столбец/строка матрицы является линейной комбинацией базисных столбцов/строк.
Допустим, дана матрица A размером mxn . Базисным называется ненулевой минор M порядка r , при этом все миноры более старшего порядка ( r+1 и выше) равняются нулю или их вовсе нет. Это значит, что r равняется меньшему из чисел m или n .
Из теорему о базисном миноре следует:
- Линейно независимые столбцы/строки матрицы, число которых равно рангу данной матрицы, являются базисными.
Пример задачи
Давайте найдем всем базисные миноры матрицы A, представленной ниже, а также определим ее ранг.
Решение:
1. Выполним элементарные преобразования над матрицей, чтобы упростить ее. Для начала разделим третью строку на 2 и переставим ее с первой местами.
2. Отнимем из третьей строки первую.
3. Получаем матрицу с нулевой строкой, что означает, что все миноры третьего порядка равняются нулю.
4. Таким образом, базисными в нашем случае могут быть только ненулевые миноры второго порядка, состоящие из первой и второй строк полученной матрицы.
Ответ:
Все рассчитанные миноры отличны от нуля, значит, все они являются базисными. Ранг матрицы равен двум , так как все миноры более высокого (третьего) порядка равны нулю.
Источник
Теорема о базисном миноре
Формулировка теоремы о базисном миноре
Столбцы матрицы $A$, входящие в базисный минор, образуют линейно независимую систему. Любой столбец матрицы $A$ линейно выражается через остальные столбцы из базисного минора.
В матрице $A$ размеров $m \times n$ минор $r$-го порядка называется базисным, если он отличен от нуля, а все миноры $(r + 1)$-ro порядка равны нулю или их вообще не существует.
Следствие. Если все столбцы матрицы $A$ линейно выражаются через $r$ столбцов $A_, A_, \ldots, A_$, которые образуют линейно независимую систему, то ранг матрицы $\operatorname
Примеры решения задач
Задание. Найти все базисные миноры и ранг матрицы:
$$A=\left(\begin
Решение. Все миноры третьего порядка данной матрицы равны нулю, так как у этих определителей третья строка будет нулевой. Поэтому базисным может быть только минор второго порядка, который будет состоять из элементов первых двух строк матрицы. Перебираем всевозможные миноры второго порядка, состоящие из элементов указанных строк:
$$M_<12>^<12>=\left|\begin
Таким образом, пять минор являются ненулевыми и каждый из них — базисный. Следовательно, так как порядок базисных миноров равен двум, то и ранг матрицы равен двум: $\operatorname
Ответ. Базисные миноры $M_<12>^<12>, M_<13>^<12>, M_<14>^<12>, M_<24>^<12>, M_<34>^ <12>;$ rang $A=2$ .
Источник
Ранг матрицы и базисный минор матрицы
Пусть — матрица размеров , а — натуральное число, не превосходящее и : . Минором k-го порядка матрицы называется определитель матрицы k-го порядка, образованной элементами, стоящими на пересечении произвольно выбранных строк и столбцов матрицы . Обозначая миноры, номера выбранных строк будем указывать верхними индексами, а выбранных столбцов — нижними, располагая их по возрастанию.
Пример 3.4. Записать миноры разных порядков матрицы
Решение. Матрица имеет размеры . Она имеет: 12 миноров 1-го порядка, например, минор ; 18 миноров 2-го порядка, например, ; 4 минора 3-го порядка, например,
В матрице размеров минор r-го порядка называется базисным , если он отличен от нуля, а все миноры (r+1)-ro порядка равны нулю или их вообще не существует.
Рангом матрицы называется порядок базисного минора. В нулевой матрице базисного минора нет. Поэтому ранг нулевой матрицы, по определению полагают равным нулю. Ранг матрицы обозначается .
Пример 3.5. Найти все базисные миноры и ранг матрицы
Решение. Все миноры третьего порядка данной матрицы равны нулю, так как у этих определителей третья строка нулевая. Поэтому базисным может быть только минор второго порядка, расположенный в первых двух строках матрицы. Перебирая 6 возможных миноров, отбираем отличные от нуля
Каждый из этих пяти миноров является базисным. Следовательно, ранг матрицы равен 2.
1. Если в матрице все миноры k-го порядка равны нулю, то равны нулю и миноры более высокого порядка. Действительно, раскладывая минор (k+1)-ro порядка по любой строке, получаем сумму произведений элементов этой строки на миноры k-го порядка, а они равны нулю.
2. Ранг матрицы равен наибольшему порядку отличного от нуля минора этой матрицы.
3. Если квадратная матрица невырожденная, то ее ранг равен ее порядку. Если квадратная матрица вырожденная, то ее ранг меньше ее порядка.
4. Для ранга применяются также обозначения .
5. Ранг блочной матрицы определяется как ранг обычной (числовой) матрицы, т.е. не обращая внимания на ее блочную структуру. При этом ранг блочной матрицы не меньше рангов ее блоков: и , поскольку все миноры матрицы (или ) являются также минорами блочной матрицы .
Теоремы о базисном миноре и о ранге матрицы
Рассмотрим основные теоремы, выражающие свойства линейной зависимости и линейной независимости столбцов (строк) матрицы.
Действительно, без ограничения общности предполагаем, что в матрице размеров базисный минор расположен в первых строках и первых столбцах. Рассмотрим определитель
который получен приписыванием к базисному минору матрицы соответствующих элементов s-й строки и k-го столбца. Отметим, что при любых и этот определитель равен нулю. Если или , то определитель содержит две одинаковых строки или два одинаковых столбца. Если же r» png;base64,iVBORw0KGgoAAAANSUhEUgAAAC0AAAANBAMAAADPmPqfAAAALVBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACttl6nAAAADnRSTlMAw0GjIQExURDqgZBhcSAd87kAAACaSURBVBjTY2AgALQasIuzCzugiRyUAlNBMAl2qR5pIMVsEVgAkRBUANOOfXM1DzAw+CnoQcQZWAxVQdT1PAM7oAq9WSkwE1kMQSoO3EtoA1KB716jirNaBoA4CVrzAmDCpSCKdSKI5H7EsBIizmYIsZftFYhklGCVBXOZhCHCDDzPwLLSGxdAhGH+4p4ApkJcwZQy3LscoBABALpmHTnYFagmAAAAAElFTkSuQmCC» style=»vertical-align: middle;»/> и r» png;base64,iVBORw0KGgoAAAANSUhEUgAAAC4AAAAQCAMAAABeF73YAAAAM1BMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADbQS4qAAAAEHRSTlMA5yEQoYcxQcBCsQFxYVHRE4q+egAAAL9JREFUKM+VkuESxBAMhIUkgiLv/7Sn12q563SGfxkr2f3CmNXjUeKC3GZdkZug24qclIeKyb3LBeZhgvZFnXbrWWh6wLOmCLks6E7rtBGkcUKUMNKIToECbId14qTwwwslXA22zM0C6t5CVNpo/gtoEUpfjcvqjeOv9VrhiaTFWq4CNd3UZ5TdTL7TJJDuq0mLhlRHMeMU1Vjt4GJDUtT7CWT086zd+nGgUXcQ5YrqH9ZEF7fjiocP+rBTdzb7APG8BaKqEtq4AAAAAElFTkSuQmCC» style=»vertical-align: middle;»/>, то определитель равен нулю, так как является минором (r+l)-ro порядка. Раскладывая определитель по последней строке, получаем
где — алгебраические дополнения элементов последней строки. Заметим, что , так как это базисный минор. Поэтому
Записывая последнее равенство для , получаем
т.е. -й столбец (при любом ) есть линейная комбинация столбцов базисного минора, что и требовалось доказать.
Теорема о базисном миноре служит для доказательства следующих важных теорем.
Условие равенства нулю определителя
Теорема 3.2 (необходимое и достаточное условие равенства нулю определителя). Для того чтобы определитель был равен нулю необходимо и достаточно, чтобы один из его столбцов <одна из его строк) был линейной комбинацией остальных столбцов (строк).
В самом деле, необходимость следует из теоремы о базисном миноре. Если определитель квадратной матрицы n-го порядка равен нулю, то ее ранг меньше , т.е. хотя бы один столбец не входит в базисный минор. Тогда этот выбранный столбец по теореме 3.1 является линейной комбинацией столбцов, в которых расположен базисный минор. Добавляя, при необходимости, к этой комбинации другие столбцы с нулевыми коэффициентами, получаем, что выбранный столбец есть линейная комбинация остальных столбцов матрицы. Достаточность следует из свойств определителя. Если, например, последний столбец определителя линейно выражается через остальные
то прибавляя к столбец , умноженный на , затем столбец , умноженный на , и т.д. столбец , умноженный на , получим определитель с нулевым столбцом, который равен нулю (свойство 2 определителя).
Инвариантность ранга матрицы при элементарных преобразованиях
Теорема 3.3 (об инвариантности ранга при элементарных преобразованиях). При элементарных преобразованиях столбцов (строк) матрицы ее ранг не меняется.
Действительно, пусть . Предположим, что в результате одного элементарного преобразования столбцов матрицы получили матрицу . Если было выполнено преобразование I типа (перестановка двух столбцов), то любой минор (r+l)-ro порядка матрицы либо равен соответствующему минору (r+l)-ro порядка матрицы , либо отличается от него знаком (свойство 3 определителя). Если было выполнено преобразование II типа (умножение столбца на число ), то любой минор (г+l)-ro порядка матрицы либо равен соответствующему минору (r+l)-ro порядка матрицы , либо отличается от него множителем (свойство 6 определителя). Если было выполнено преобразование III типа (прибавление к одному столбцу другого столбца, умноженного на число ), то любой минор (г+1)-го порядка матрицы либо равен соответствующему минору (г+1) -го порядка матрицы (свойство 9 определителя), либо равен сумме двух миноров (r+l)-ro порядка матрицы (свойство 8 определителя). Поэтому при элементарном преобразовании любого типа все миноры (r+l)-ro порядка матрицы равны нулю, так как равны нулю все миноры (г+l)-ro порядка матрицы . Таким образом, доказано, что при элементарных преобразованиях столбцов ранг матрицы не может увеличиться. Так как преобразования, обратные к элементарным, являются элементарными, то ранг матрицы при элементарных преобразованиях столбцов не может и уменьшиться, т.е. не изменяется. Аналогично доказывается, что ранг матрицы не изменяется при элементарных преобразованиях строк.
Следствие 1. Если одна строка (столбец) матрицы является линейной комбинацией других ее строк (столбцов), то эту строку (столбец) можно вычеркнуть из матрицы, не изменив при этом ее ранга.
Действительно, такую строку при помощи элементарных преобразований можно сделать нулевой, а нулевая строка не может входить в базисный минор.
Следствие 2. Если матрица приведена к простейшему виду (1.7), то
Действительно, матрица простейшего вида (1.7) имеет базисный минор r-го порядка.
Следствие 3. Любая невырожденная квадратная матрица является элементарной, другими словами, любая невырожденная квадратная матрица эквивалентна единичной матрице того же порядка.
Действительно, если — невырожденная квадратная матрица n-го порядка, то (см. п.З замечаний 3.2). Поэтому, приводя элементарными преобразованиями матрицу к простейшему виду (1.7), получим единичную матрицу , так как (см. следствие 2). Следовательно, матрица эквивалентна единичной матрице и может быть получена из нее в результате конечного числа элементарных преобразований. Это означает, что матрица элементарная.
Теорема 3.4 (о ранге матрицы). Ранг матрицы равен максимальному числу линейно независимых строк этой матрицы.
В самом деле, пусть . Тогда в матрице имеется линейно независимых строк. Это строки, в которых расположен базисный минор. Если бы они были линейно зависимы, то этот минор был бы равен нулю по теореме 3.2, а ранг матрицы не равнялся бы . Покажем, что — максимальное число линейно независимых строк, т.е. любые строк линейно зависимы при r» png;base64,iVBORw0KGgoAAAANSUhEUgAAAC4AAAAQBAMAAACb51DZAAAALVBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACttl6nAAAADnRSTlMAvIVBEGEhoVFx0aAx5ZKY76IAAACvSURBVBjTY2AgAJwSsIszSx9A4bMKcUBEmAsNICI80h7SDgyJdpKcV8B8tsIGMM3ot/ysAoNO3wTmlxCFbFUBIKqTT0AvgCFAL4H5EdRMFi2QhJldgDOQkmXgfAkT11UAUXpgpz1nYHyDrBykEuSMpwx+AhDjocJAlUDA9IhBygEsvLEB6pOnYFfdUiwB8zZCnc/AdA1E8hVA/OluAPcq2Nq+AOzhsq8Bu7igKFZhAOuFIbXpNMR3AAAAAElFTkSuQmCC» style=»vertical-align: middle;»/>. Действительно, образуем из этих строк матрицу . Поскольку матрица — это часть матрицы , то . Значит, хотя бы одна строка матрицы не входит в базисный минор этой матрицы. Тогда по теореме о базисном миноре она равна линейной комбинации строк, в которых расположен базисный минор. Следовательно, строки матрицы линейно зависимы. Таким образом, в матрице не более, чем линейно независимых строк.
Следствие 1. Максимальное число линейно независимых строк в матрице равно максимальному числу линейно независимых столбцов:
Это утверждение вытекает из теоремы 3.4, если ее применить к строкам транспонированной матрицы и учесть, что при транспонировании миноры не изменяются (свойство 1 определителя).
Следствие 2. При элементарных преобразованиях строк матрицы линейная зависимость (или линейная независимость) любой системы столбцов этой матрицы сохраняется.
В самом деле, выберем любые столбцов данной матрицы и составим из них матрицу . Пусть в результате элементарных преобразований строк матрицы была получена матрица , а в результате тех же преобразований строк матрицы была получена матрица . По теореме 3.3 . Следовательно, если столбцы матрицы были линейно независимы, т.е. (см. следствие 1), то и столбцы матрицы также линейно независимы, так как . Если столбцы матрицы были линейно зависимы \operatorname
1. В силу следствия 1 теоремы 3.4 свойство столбцов, указанное в следствии 2, справедливо и для любой системы строк матрицы, если элементарные преобразования выполняются только над ее столбцами.
2. Следствие 3 теоремы 3.3 можно уточнить следующим образом: любую невырожденную квадратную матрицу, используя элементарные преобразования только ее строк (либо только ее столбцов), можно привести к единичной матрице того же порядка.
В самом деле, используя только элементарные преобразования строк, любую матрицу можно привести к упрощенному виду (рис. 1.5) (см. теорему 1.1). Поскольку матрица невырожденная , то ее столбцы линейно независимы. Значит, столбцы матрицы также линейно независимы (следствие 2 теоремы 3.4). Поэтому упрощенный вид невырожденной матрицы совпадает с ее простейшим видом (рис. 1.6) и представляет собой единичную матрицу (см. следствие 3 теоремы 3.3). Таким образом, преобразовывая только строки невырожденной матрицы, ее можно привести к единичной. Аналогичные рассуждения справедливы и для элементарных преобразований столбцов невырожденной матрицы.
Ранге произведения и суммы матриц
Теорема 3.5 (о ранге произведения матриц). Ранг произведения матриц не превышает ранга множителей:
В самом деле, пусть матрицы и имеют размеры и . Припишем к матрице матрицу . Разумеется, что , так как — это часть матрицы (см. п.5 замечаний 3.2). Заметим, что каждый столбец , согласно операции умножения матриц, является линейной комбинацией столбцов матрицы
Такой столбец можно вычеркнуть из матрицы , при этом ее ранг не изменится (следствие 1 теоремы 3.3). Вычеркивая все столбцы матрицы , получаем: . Отсюда, . Аналогично можно доказать, что одновременно выполняется условие , и сделать вывод о справедливости теоремы.
Следствие. Если невырожденная квадратная матрица, то и , т.е. ранг матрицы не изменяется приумножении ее слева или справа на невырожденную квадратную матрицу.
Теорема 3.6 о ранге суммы матриц. Ранг суммы матриц не превышает суммы рангов слагаемых:
Действительно, составим матрицу . Заметим, что каждый столбец матрицы есть линейная комбинация столбцов матриц и . Поэтому . Учитывая, что количество линейно независимых столбцов в матрице не превосходит , а (см. п.5 замечаний 3.2), получаем доказываемое неравенство.
Источник
