19. Ранг матрицы. Системы линейных уравнений
Пусть Р некоторое фиксированное поле и пусть А = произвольная матрица размерности M ´ N. Каждый столбец матрицы можно рассматривать как M-Мерный вектор из M-мерного арифметического пространства АM. Тогда система столбцов матрицы будет системой M-Мерных векторов А1 = (А11, а21, … , аM1), А2 = (А12, а22, … , аM2), … , АN = (А1N, а2N, … , аMn).
Определение 26. Столбцовым рангом матрицы А Называется ранг системы её векторов – столбцов.
По аналогии со столбцами каждую строку матрицы А Можно рассматривать как N-мерный вектор из N-Мерного арифметического пространства АN .
Определение 27. Строчным рангом матрицы А Называется ранг системы её векторов – строк.
Теорема 18. Столбцовый ранг матрицы равен наибольшему порядку среди отличных от нуля её миноров.
Доказательство. Если все элементы матрицы – нули поля Р, то все её столбцы – нулевые вектора. Ранг этой системы векторов равен нулю. В матрице А все миноры первого порядка, все миноры второго порядка и т. д. равны нулю. Можно считать, что максимальный порядок отличных от нуля миноров равен нулю.
Пусть в матрице А Не все элементы равны нулю, тогда в матрице есть отличные от нуля миноры. Выберем минор наибольшего порядка среди всех отличных от нуля. При перестановке столбцов ранг системы векторов-столбцов не изменится. При перестановке строк матрицы изменится только порядок координат векторов (при этом у всех векторов одинаково). Следовательно, эта перестановка тоже не изменит ранга системы векторов-столбцов. Переставим, если нужно, строки и столбцы матрицы так, чтобы выбранный нами минор М располагался в левом верхнем углу матрицы. Пусть его порядок равен К. Рассмотрим систему векторов-столбцов матрицы А. Обозначим их А1, … , ак, ак+1, … , аn. Векторы А1, … , ак линейно независимы, иначе выбранный нами минор был бы равен нулю. Покажем, что любой другой вектор-столбец через них линейно выражается. Для этого окаймим выбранный минор любым столбцом с номером К +1, К + 2, … , N и любой
А =
Строкой. Если номер этой строки не больше К, то полученный определитель будет иметь две одинаковых строки, поэтому равен нулю. Если номер окаймляющей строки больше К, то это будет минор матрицы А порядка (К + 1), поэтому равен нулю по условию. Итак, определитель равнее нулю при любом S, Равном к + 1, … , N и любом Р, Равном 1, 2, … , M .
= 0.
Разложим по последней строке, получим
Так как М ¹ 0, то .
Если номер столбца S Зафиксирован, то алгебраические дополнения Ар1, … , Арк Не меняются при изменении номера строки Р. Следовательно, Аs = А1 – … –Ак . Итак, любой вектор-столбец матрицы А Линейно выражается через первые К Её столбцов. Следовательно, столбцовый ранг матрицы равен К, Т. е. наибольшему порядку отличных от нуля её миноров.
Следствие. Строчный ранг матрицы равен её столбцовому рангу.
Доказательство. Транспонируем матрицу А. При этом векторы-строки матрицы А Станут векторами-столбцами транспонированной матрицы АТ. П ри транспонировании матрицы транспонируются и все её миноры. Так как при транспонировании определитель не меняется, то максимальный порядок отличных от нуля миноров в матрицах А И АТ один и тот же. По доказанной теореме столбцовые ранги этих матриц равны. Отсюда и следует утверждение следствия.
Так как столбцовый и строчный ранги матриц равны, то можно дать определение:
Определение 28. Рангом матрицы называется ранг системы её векторов-столбцов (или векторов-строк).
Из теоремы о ранге матрицы следует, что если мы найдём в матрице А Минор М К-Го порядка, отличный от нуля, то среди миноров (К + 1)-го порядка достаточно рассмотреть только те, которые получаются окаймлением минора М. Если они все равны нулю, то ранг матрицы равен К. В дальнейшем минор наибольшего порядка среди отличных от нуля будем называть Базисным минором.
Пример. Найти ранг матрицы А = в зависимости от b.
Решение. Так как не все элементы матрицы равны нулю, то её ранг не меньше 1. Так как второй т третий столбцы одинаковы, то один из ни можно отбросить и находить ранг матрицы А1 = . Из миноров второго порядка только один не содержит b, но этот минор равен 0. Рассмотрим минор М1 = При b = 0 матрица А1 Имеет вид . В ней только один ненулевой столбец, следовательно, её ранг равен 1. Если , то М1 ¹ 0, т. е. ранг матрицы не меньше 2. Минор М1 можно окаймить третьей строкой и третьим столбцом или четвёртой строкой и третьим столбцом. Получим М2 = . Так как , то М2 ¹ 0. В матрице А1 миноров 4-го порядка нет, поэтому rang A = rang A1 = 3.
Итак, при b = 0 rang A = 1, при b ¹ 0 rang A =3.
Теорема 19. Элементарные преобразования матрицы не меняют её ранга.
Доказательство Следует из того, что при элементарных преобразованиях матрицы мы получаем эквивалентные системы её векторов-строк.
Исследование СЛАУ. Общие сведения
В данной статье мы расскажем о методах, видах, условиях и определениях исследований решений систем линейных уравнений, что такое метод Кронекера-Капели, а также приведем примеры.
Общие сведения (определения, условия, методы, виды)
Системы линейных алгебраических уравнений с n неизвестными могут иметь:
- единственное решение;
- бесконечное множество решение (неопределенные СЛАУ);
- ни одного решения (несовместные СЛАУ).
Пример 1
Система x + y + z = 1 2 x + 2 y + 2 z = 3 не имеет решений, поэтому она несовместна.
Система x + y = 1 2 x + 7 y = — 3 имеет единственное решение x = 2 ; y = 1 .
Система x + y = 1 2 x + 2 y = 2 3 x + 3 y = 3 имеет бесконечное множество решений x = t y = 1 — t при — ∞ t ∞ .
Перед решением системы уравнений необходимо исследовать систему, т.е. ответить на следующие вопросы:
- Совместна ли система?
- Если система совместна, то, какое количество решений она имеет — одно или несколько?
- Как найти все решения?
Если система малоразмерна при m = n , то ответить на поставленные вопросы можно при помощи метода Крамера:
- если основной определитель системы, то система совместна и имеет единственное решение, которое вычисляется методом Крамера;
- если, и один из вспомогательных определителей, то система не является совместной, т.е. не имеет решений;
- если и все, и один из коэффициентов СЛАУ, то система не является определенной и имеет бесконечное множество решений.
Ранг матрицы и его свойства
Бывают случаи, которые выбиваются из представленных вариантов решения СЛАУ, например, линейные уравнения с большим количеством уравнений и неизвестных.
Для такого варианта решения существует ранг матрицы, который представляет собой алгоритм действий в случае решения системы матрицы, когда
В математике выделяют следующие подходы к определению ранга матрицы:
- при помощи понятия линейной зависимости/независимости строк/столбцов матрицы. Ранг равен максимальному количеству независимых строк (столбцов) матрицы
- при помощи понятия минора матрицы в качестве наивысшего порядка минора, который отличается от нуля. Минор матрицы порядка k — определитель k-го порядка, составленный из элементов, которые стоят на пересечении вычеркиваемых k-строк и k-столбцов матрицы;
- при помощи метода Гаусса. По завершении прямого хода ранг матрицы равняется количеству ненулевых строк.
Обозначение ранга матрицы: r ( A ) , r g ( A ) , r A .
Свойства ранга матрицы:
- квадратная невырожденная матрица обладает рангом, который отличается от нуля;
- если транспонировать матрицу, то ранг матрицы не изменяется;
- если поменять местами 2 параллельные строки или 2 параллельных столбца, ранг матрицы не изменяется;
- при удалении нулевого столбца или строки ранг матрицы не изменяется;
- ранг матрицы не изменяется, если удалить строку или столбец, которые являются линейной комбинацией других строк;
- при умножении все элементов строки/столбца на число k н е р а в н о н у л ю ранг матрицы не изменяется;
- ранг матрицы не больше меньшего из ее размеров: r ( А ) ≤ m i n ( m ; n ) ;
- когда все элементы матрицы равны нулю, то только тогда r ( A ) = 0 .
Пример 2
А 1 = 1 1 1 2 2 2 3 3 3 , B 1 = 1 0 0 0 0 0
r ( A 1 ) = 1 , r ( B 1 ) = 1
А 2 = 1 2 3 4 0 5 6 7 0 0 0 0 ; В 2 = 1 1 3 1 2 1 4 3 1 2 5 0 5 4 13 6
VMath
Инструменты сайта
Основное
Навигация
Информация
Действия
Содержание
Понятие ранга возникает естественным образом при решении систем линейных уравнений.
Пример. Решить систему уравнений
$$ \left\< \begin
Пример. Решить систему уравнений
$$ \left\< \begin
Задача. Для заданной системы линейных уравнений $$ \left\< \begin
Это искомое число и будет называться рангом. На самом деле, поставленная задача тут же усложняется: во-первых, интересует какие именно уравнения можно из системы выбросить, а какие нельзя, и, во-вторых, сколькими параметрами можно описать множество решений этой системы — если это множество бесконечно (как было в предыдущем примере). Оказывается, на оба эти вопроса тоже помогает ответить понятие ранга — как некоторой целочисленной характеристики системы уравнений.
К тому же понятию можно подойти с другой стороны.
Пример. Рассмотрим систему из последнего примера и перепишем ее в виде:
$$ x_1 \underbrace<\left( \begin
Задача. Для заданной системы линейных уравнений $$ \left\< \begin
Это искомое число тоже будет называться рангом. Единство в названии разных объектов оказывается оправданным: это два подхода к одному и тому же понятию (в приведенных выше решениях примера именно так и оказалось — число существенных уравнений системы совпало с числом существенных переменных).
Для доказательства этого факта обратим сначала внимание на то обстоятельство, что мы, фактически действовали над коэффициентами системы уравнений, привлекая переменные только на самом последнем этапе. Так, в первом решении мы действовали только над строками матрицы коэффициентов, а во втором решении — только над ее столбцами.
Ранг системы строк (столбцов)
Рассмотрим систему 2) $ n_<> $ рядов (строк или столбцов) $$ \ < A_1,\dots,A_n \>\ . $$
Выражение $$ \alpha_1A_1+\dots+\alpha_nA_n $$ при фиксированных числах $ \alpha_1,\dots,\alpha_n $ называется линейной комбинацией рядов $ A_1,\dots,A_n $. Множество всевозможных линейных комбинаций рядов $ A_1,\dots,A_n $ называется их линейной оболочкой: $$ \mathcal L(A_1,\dots,A_n)=\left\ < \alpha_1A_1+\dots+\alpha_nA_n \ \big| \ \<\alpha_1,\dots,\alpha_n\>\subset \mathbb R \right\>. $$
Система рядов $ \ < A_1,\dots,A_n \>$ называется линейно зависимой (л.з.) если существуют числа $ \alpha_1,\dots,\alpha_n $, хотя бы одно из которых отлично от нуля, такие что $$ \alpha_1A_1+\dots+\alpha_nA_n=\mathbb O \ . $$ Если же последнее равенство возможно только при $ \alpha_1=0,\dots, \alpha_n=0 $, то система рядов называется линейно независимой (л.н.з.).
Теорема 1. а) Если система $ \ < A_1,\dots,A_n \>$ содержит хотя бы один нулевой ряд, то она л.з.
б) Если система $ \ < A_1,\dots,A_n \>$ л.н.з., то и любая ее подсистема л.н.з.
в) При $ n>1 $ система $ \ < A_1,\dots,A_n \>$ л.з. тогда и только тогда, когда по меньшей мере один ее ряд линейно выражается через остальные, т.е. существуют $ j\in \mathbb N $ и константы $ \gamma_1,\dots,\gamma_
Пример. Найти все значения параметра $ \color
Решение. Составим уравнение $ B=\gamma_1A_1+\gamma_2A_2+\gamma_3A_3 $ и попытаемся подобрать неопределенные параметры $ \gamma_j $ ему удовлетворяющие. $$ \left\< \begin
Теорема 2. Если каждый из рядов системы $ \ < A_1,\dots,A_n \>$ линейно выражается через ряды системы $ \
Рангом системы рядов $ \ < A_1,\dots,A_n \>$ называется число рядов в ее максимальной линейно независимой подсистеме: $$\mathfrak
Теорема 3. Ранг системы рядов $ \ < A_1,\dots,A_n \>$ равен $ \mathfrak
Эта теорема позволяет дать другое определение ранга.
Рангом системы рядов $ \ < A_1,\dots,A_n \>$ называется число $ \mathfrak
Теорема 4. При фиксированном базисе системы $ \ < A_1,\dots,A_n \>$ любой ряд из ее линейной оболочки $ \mathcal L(A_1,\dots,A_n) $ представúм в виде линейной комбинации базисных рядов и такое представление единственно.
Доказательство первой части тривиально. Докажем единственность представления. Предположим, для упрощения записи индексов, что базисными рядами являются первые $ \mathfrak r_<> $ рядов системы, т.е. $ \
Представление ряда $ X \in \mathcal L(A_1,\dots,A_n) $ в виде линейной комбинации базисных рядов $ \
Теорема 5. Любую линейно независимую подсистему
$$ \< A_
Пример. Найти какой-нибудь базис системы строк
$$A_1=(5,2,-3,1),\ A_2=(4,1,-2,3),\ A_3=(1,1,-1,-2),\ A_4=(3,4,-1,2)$$ и все строки системы, не входящие в этот базис, выразить через базисные.
Решение. Воспользуемся предыдущей теоремой. Строка $ A_1 $ ненулевая, возьмем ее в качестве первой строки искомого базиса и попытаемся дополнить оставшимися строками до базиса. Если $ \operatorname
В системе осталась только одна строка $ A_3 $, но поскольку уже установлена ее линейная зависимость от $ A_1,A_2 $, то ее включение в уже построенную подсистему не может увеличить ранга.
Ответ. Базис системы составляют, например, строки $ A_1,A_2,A_4 $; при этом $ A_3=A_1-A_2 $.
Установим теперь, какие действия над системой не изменяют ее ранга.
Теорема 6. Если систему дополнить рядом, линейно выражающимся через ряды системы, то ранг системы не изменится. Точно так же ранг системы не меняется при удалении ряда, линейно выражающегося через остальные ряды системы.
Если каждый из рядов системы $ \ < A_1,\dots,A_n \>$ линейно выражается через ряды системы $ \
Результат последней теоремы можно усилить, введя следующее определение.
Элементарными преобразованиями системы рядов называются следующие
Теорема 7. Элементарные преобразования не меняют ранга системы рядов.
Ранг матрицы
определяется для произвольной (не обязательно квадратной) матрицы $ A_<> $ как наибольший порядок ее отличных от нуля миноров. Иначе говоря: $ \operatorname
Матрицу $ A_<> $ порядка $ m\times n_<> $ можно рассматривать как состоящую из набора своих строк или набора своих столбцов. Так, например: $$ A= \left[ A_<[1]>\mid A_ <[2]>\mid \dots \mid A_ <[m]>\right] \quad npu \quad A_<[j]>=\left(\begin
Метод окаймляющих миноров
Очевидно, что если все миноры порядка $ \mathfrak
Для произвольного минора матрицы $ A_<> $ порядка $ k ☞ ЗДЕСЬ.
Метод окаймляющих миноров вычисления ранга матрицы
1. Ищем минор первого порядка (т.е. элемент матрицы $ a_
2. ищем минор второго порядка, содержащий $ a_
3. продолжаем процесс окаймления до тех пор, пока не найдем такой минор $ \mathfrak
Ранг матрицы равен рангу системы ее строк (и рангу системы ее столбцов).
Доказательство. Пусть $ \operatorname
Пример. Вычислить ранг матрицы
$$ \left( \begin
Ответ. Ранг матрицы равен $ 3_<> $.
Найти ранги матриц
$$ <\mathbf a)>\left( \begin
Ответ.
$ <\mathbf b)>\ \mathfrak
Любой отличный от нуля минор матрицы $ A $ порядка $ \mathfrak
Метод элементарных преобразований
Этот метод основан на последней теореме из ☞ ПУНКТА: элементарные преобразования системы строк матрицы не изменяют ее ранга. Поэтому имеет смысл преобразовать исходную систему к такому виду, для которого величина ранга будет очевидна.
1. Ищем ненулевой элемент матрицы $ a_
2. перестановкой строк и столбцов матрицы, добиваемся, чтобы ненулевой элемент $ a_
3. применяя метод исключения Гаусса, добиваемся, чтобы все элементы первого столбца полученной матрицы, кроме верхнего, обратились в нуль;
4. к полученной в результате исключения подматрице порядка $ (m-1)\times (n-1) $ применяем процедуры пунктов 1-3 .
Процесс заканчивается, когда матрица оказывается приведенной к виду: $$ \left( \begin
Пример. Вычислить ранг матрицы $$ \left( \begin
Решение. Элементарными преобразованиями строк матрицы, приводим ее к трапециевидной (ступенчатой): $$ \rightarrow \left( \begin
Ответ. Ранг матрицы равен $ 2_<> $.
Найти ранги матриц по методу элементарных преобразований:
$$ <\mathbf a)>\ \left( \begin
Матрицы ранга 1
Простейшими ненулевыми матрицами являются матрицы ранга $ 1_<> $ или одноранговые матрицы. Вид их довольно прост: все их столбцы (строки) должны быть пропорциональны.
Пример.
Теорема. $ \operatorname
$$ A= \left(\begin
Теорема. Любая матрица ранга $ \mathfrak r_<> $ может быть представлена в виде суммы $ \mathfrak r_<> $ матриц ранга $ 1_<> $, но не может быть представлена в виде суммы меньшего числа матриц ранга $ 1_<> $.
Пример. Представить матрицу
$$ \left(\begin
Решение. $$ \left(\begin
$$ \left(\begin
$$ <\mathbf a)>\det \left(E_n+ \left(\begin
Подсказка ☞ ЗДЕСЬ.
Применение для решения систем линейных уравнений
Рассмотрим снова общую систему линейных уравнений $$ \left\< \begin
Теорема [Кронекер, Капелли]. Система совместна тогда и только тогда, когда ранг матрицы этой системы совпадает с рангом ее расширенной матрицы:
$$ \operatorname
Более подробно изложено ☞ ЗДЕСЬ
Неравенства для ранга
Теорема 1. Для любых матриц $ A_<> $ и $ B_<> $ одинакового порядка имеет место неравенство:
$$ \operatorname
Теорема 2. Для любых матриц $ A_
$$ \operatorname
Если $ A_<> $ и $ B_<> $ — квадратные матрицы $ n_<> $-го порядка и $ \det B \ne 0_<> $, то
http://zaochnik.com/spravochnik/matematika/issledovanie-slau/slau/
http://vmath.ru/vf5/algebra2/rank