Ранг матрицы 5 порядка. Найти ранг матрицы: способы и примеры

Главная

Чехов

А также рассмотрим важное практическое приложение темы: исследование системы линейных уравнений на совместность .

Что такое ранг матрицы?

В юмористическом эпиграфе статьи содержится большая доля истины. Само слово «ранг» у нас обычно ассоциируется с некоторой иерархией, чаще всего, со служебной лестницей. Чем больше у человека знаний, опыта, способностей, блата и т.д. – тем выше его должность и спектр возможностей. Выражаясь по молодёжному, под рангом подразумевают общую степень «крутизны».

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

Задумаемся, если в матрице одни нули , то о каком ранге может идти речь? Всем знакомо неформальное выражение «полный ноль». В обществе матриц всё точно так же:

Ранг нулевой матрицы любых размеров равен нулю .

Примечание : нулевая матрица обозначается греческой буквой «тета»

В целях лучшего понимания ранга матрицы здесь и далее я буду привлекать на помощь материалы аналитической геометрии . Рассмотрим нулевой вектор нашего трёхмерного пространства, который не задаёт определённого направления и бесполезен для построения аффинного базиса . С алгебраической точки зрения координаты данного вектора записаны в матрицу «один на три» и логично (в указанном геометрическом смысле) считать, что ранг этой матрицы равен нулю.

Теперь рассмотрим несколько ненулевых векторов-столбцов и векторов-строк :

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

Ранг любого ненулевого вектора-строки (вектора-столбца) равен единице

И вообще – если в матрице произвольных размеров есть хотя бы один ненулевой элемент, то её ранг не меньше единицы .

Алгебраические векторы-строки и векторы-столбцы в известной степени абстрактны, поэтому снова обратимся к геометрической ассоциации. Ненулевой вектор задаёт вполне определённое направление в пространстве и годится для построения базиса , поэтому ранг матрицы будем считать равным единице.

Теоретическая справка : в линейной алгебре вектор – это элемент векторного пространства (определяемое через 8 аксиом), который, в частности, может представлять собой упорядоченную строку (или столбец) действительных чисел с определёнными для них операциями сложения и умножения на действительное число. С более подробной информацией о векторах можно ознакомиться в статье Линейные преобразования .

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

Перепишем координаты векторов в столбцы (транспонируем матрицу ):

Что изменилось с точки зрения ранга? Ничего. Столбцы пропорциональны, значит, ранг равен единице. Кстати, обратите внимание, что все три строки тоже пропорциональны. Их можно отождествить с координатами трёх коллинеарных векторов плоскости, из которых только один полезен для построения «плоского» базиса. И это полностью согласуется с нашим геометрическим смыслом ранга.

Из вышеприведённого примера следует важное утверждение:

Ранг матрицы по строкам равен рангу матрицы по столбцам . Об этом я уже немного упоминал на уроке об эффективных методах вычисления определителя .

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

Продолжим дрессировать нашего любимого питомца. Добавим в матрицу третьей строкой координаты ещё одного коллинеарного вектора :

Помог ли он нам в построении трёхмерного базиса? Конечно, нет. Все три вектора гуляют туда-сюда по одной дорожке, и ранг матрицы равен единице. Можно взять сколько угодно коллинеарных векторов, скажем, 100, уложить их координаты в матрицу «сто на три» и ранг такого небоскрёба всё равно останется единичным.

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

А чему равен ранг матрицы ? Строки вроде не пропорциональны…, значит, по идее трём. Однако ранг этой матрицы тоже равен двум. Я сложил первые две строки и записал результат внизу, то есть линейно выразил третью строку через первые две. Геометрически строки матрицы соответствуют координатам трёх компланарных векторов , причём среди этой тройки существует пара неколлинеарных товарищей.

Как видите, линейная зависимость в рассмотренной матрице не очевидна, и сегодня мы как раз научимся выводить её «на чистую воду».

Думаю, многие догадываются, что такое ранг матрицы!

Рассмотрим матрицу , строки которой линейно независимы . Векторы образуют аффинный базис , и ранг данной матрицы равняется трём.

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

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

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

Из вышесказанного также следует важный практический ориентир: ранг матрицы не превосходит её минимальной размерности . Например, в матрице четыре строки и пять столбцов. Минимальная размерность – четыре, следовательно, ранг данной матрицы заведомо не превзойдёт 4.

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

Как найти ранг матрицы с помощью миноров?

Если бы у бабушки нас в матрице был пятый столбец, то следовало бы вычислить ещё один минор 4-го порядка («синие», «малиновый» + 5-й столбец).

Вывод : максимальный порядок ненулевого минора равен трём, значит, .

Возможно, не все до конца осмыслили данную фразу: минор 4-го порядка равен нулю, но среди миноров 3-го порядка нашёлся ненулевой – поэтому максимальный порядок ненулевого минора и равен трём.

Возникает вопрос, а почему бы сразу не вычислить определитель? Ну, во-первых, в большинстве заданий матрица не квадратная, а во-вторых, даже если у вас и получится ненулевое значение, то задание с высокой вероятностью забракуют, так как оно обычно подразумевает стандартное решение «снизу вверх». А в рассмотренном примере нулевой определитель 4-го порядка и вовсе позволяет утверждать, что ранг матрицы лишь меньше четырёх.

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

Пример 2

Найти ранг матрицы методом окаймляющих миноров

Решение и ответ в конце урока.

Когда алгоритм работает быстрее всего? Вернёмся к той же матрице «четыре на четыре» . Очевидно, решение будет самым коротким в случае «хороших» угловых миноров :

И, если , то , в противном случае – .

Размышление совсем не гипотетично – существует немало примеров, где всё дело и ограничивается только угловыми минорами.

Однако в ряде случаев более эффективен и предпочтителен другой способ:

Как найти ранг матрицы с помощью метода Гаусса?

Параграф рассчитан на читателей, которые уже знакомы с методом Гаусса и мало-мальски набили на нём руку.

С технической точки зрения метод не отличается новизной:

1) с помощью элементарных преобразований приводим матрицу к ступенчатому виду;

2) ранг матрицы равен количеству строк.

Совершенно понятно, что использование метода Гаусса не меняет ранга матрицы , и суть здесь предельно проста: согласно алгоритму, в ходе элементарных преобразований выявляются и удаляются все лишние пропорциональные (линейно зависимые) строки, в результате чего остаётся «сухой остаток» – максимальное количество линейно независимых строк.

Преобразуем старую знакомую матрицу с координатами трёх коллинеарных векторов:

(1) Ко второй строке прибавили первую строку, умноженную на –2. К третьей строке прибавили первую строку.

(2) Нулевые строки удаляем.

Таким образом, осталась одна строка, следовательно, . Что и говорить, это гораздо быстрее, чем рассчитать девять нулевых миноров 2-го порядка и только потом сделать вывод.

Напоминаю, что в самой по себе алгебраической матрице ничего менять нельзя, и преобразования выполняются только с целью выяснения ранга! Кстати, остановимся ещё раз на вопросе, почему нельзя? Исходная матрица несёт информацию, которая принципиально отлична от информации матрицы и строки . В некоторых математических моделях (без преувеличения) разница в одном числе может быть вопросом жизни и смерти. …Вспомнились школьные учителя математики начальных и средних классов, которые безжалостно срезали оценку на 1-2 балла за малейшую неточность или отклонение от алгоритма. И было жутко обидно, когда вместо, казалось бы, гарантированной «пятёрки» получалось «хорошо» или того хуже. Понимание пришло намного позже – а как иначе доверить человеку спутники, ядерные боеголовки и электростанции? Но вы не беспокойтесь, я не работаю в этих сферах =)

Перейдём к более содержательным заданиям, где помимо прочего познакомимся с важными вычислительными приёмами метода Гаусса :

Пример 3

Найти ранг матрицы с помощью элементарных преобразований

Решение : дана матрица «четыре на пять», значит, её ранг заведомо не больше, чем 4.

В первом столбце, отсутствует 1 или –1, следовательно, необходимы дополнительные действия, направленные на получение хотя бы одной единицы. За всё время существования сайта мне неоднократно задавали вопрос: «Можно ли в ходе элементарных преобразований переставлять столбцы?». Вот здесь – переставили первый-второй столбец, и всё отлично! В большинстве задач, где используется метод Гаусса , столбцы действительно переставлять можно. НО НЕ НУЖНО. И дело даже не в возможной путанице с переменными, дело в том, что в классическом курсе обучения высшей математике данное действие традиционно не рассматривается, поэтому на такой реверанс посмотрят ОЧЕНЬ криво (а то и заставят всё переделывать).

Второй момент касается чисел. В ходе решения полезно руководствоваться следующим эмпирическим правилом: элементарные преобразования по возможности должны уменьшать числа матрицы . Ведь с единицей-двойкой-тройкой работать значительно легче, чем, например, с 23, 45 и 97. И первое действие направлено не только на получение единицы в первом столбце, но и на ликвидацию чисел 7 и 11.

Сначала полное решение, потом комментарии:

(1) Ко второй строке прибавили первую строку, умноженную на –2. К третьей строке прибавили первую строку, умноженную на –3. И до кучи: к 4-й строке прибавили 1-ю строку, умноженную на –1.

(2) Последние три строки пропорциональны. Удалили 3-ю и 4-ю строки, вторую строку переместили на первое место.

(3) Ко второй строке прибавили первую строку, умноженную на –3.

В приведённой к ступенчатому виду матрице две строки.

Ответ :

Теперь ваша очередь мучить матрицу «четыре на четыре»:

Пример 4

Найти ранг матрицы методом Гаусса

Напоминаю, что метод Гаусса не предполагает однозначной жёсткости, и ваше решение, скорее всего, будет отличаться от моего решения. Краткий образец оформления задачи в конце урока.

Какой метод использовать для нахождения ранга матрицы?

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

Пример 5

Найти ранг матрицы

Решение : первый способ как-то сразу отпадает =)

Чуть выше я советовал не трогать столбцы матрицы, но когда есть нулевой столбец, либо пропорциональные/совпадающие столбцы, то всё же стОит провести ампутацию:

(1) Пятый столбец нулевой, удалим его из матрицы. Таким образом, ранг матрицы не больше четырёх. Первую строку умножили на –1. Это ещё одна фирменная фишка метода Гаусса, превращающая следующее действие в приятную прогулку:

(2) Ко всем строкам, начиная со второй, прибавили первую строку.

(3) Первую строку умножили на –1, третью строку разделили на 2, четвёртую строку разделили на 3. К пятой строке прибавили вторую строку, умноженную на –1.

(4) К пятой строке прибавили третью строку, умноженную на –2.

(5) Последние две строки пропорциональны, пятую удаляем.

В результате получено 4 строки.

Ответ :

Стандартная пятиэтажка для самостоятельного исследования:

Пример 6

Найти ранг матрицы

Краткое решение и ответ в конце урока.

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

Как исследовать систему линейных уравнений на совместность?

Нередко помимо решения системы линейных уравнений по условию предварительно требуется исследовать её на совместность, то есть доказать, что какое-либо решение вообще существует. Ключевую роль в такой проверке играет теорема Кронекера-Капелли , которую я сформулирую в необходимом виде:

Если ранг матрицы системы равен рангу расширенной матрицы системы , то система совместна, причём, если данное число совпадает с количеством неизвестных, то решение единственно.

Таким образом, для исследования системы на совместность нужно проверить равенство , где – матрица системы (вспоминаем терминологию из урока Метод Гаусса ), а – расширенная матрица системы (т.е. матрица с коэффициентами при переменных + столбец свободных членов).

Число r называется рангом матрицы A , если:
1) в матрице A есть минор порядка r , отличный от нуля;
2) все миноры порядка (r+1) и выше, если они существуют, равны нулю.
Иначе, ранг матрицы – это наивысший порядок минора, отличного от нуля.
Обозначения: rangA , r A или r .
Из определения следует, что r – целое положительное число. Для нуль-матрицы считают ранг равным нулю.

Назначение сервиса . Онлайн-калькулятор предназначен для нахождения ранга матрицы . При этом решение сохраняется в формате Word и Excel . см. пример решения .

Инструкция . Выберите размерность матрицы, нажмите Далее.

Определение . Пусть дана матрица ранга r . Любой минор матрицы, отличный от нуля и имеющий порядок r, называется базисным, а строки и столбцы его составляющие – базисными строками и столбцами.
Согласно этому определению, матрица A может иметь несколько базисных миноров.

Ранг единичной матрицы E равен n (количеству строк).

Пример 1 . Даны две матрицы , и их миноры , . Какой из них можно принять в качестве базисного?
Решение . Минор M 1 =0, поэтому он не может быть базисным ни для одной из матриц. Минор M 2 =-9≠0 и имеет порядок 2, значит его можно принять в качестве базисного матриц A или / и B при условии, что они имеют ранги, равные 2 . Поскольку detB=0 (как определитель с двумя пропорциональными столбцами), то rangB=2 и M 2 можно взять за базисный минор матрицы B. Ранг матрицы A равен 3, в силу того, что detA=-27≠0 и, следовательно, порядок базисного минора этой матрицы должен равняться 3, то есть M 2 не является базисным для матрицы A . Отметим, что у матрицы A единственный базисный минор, равный определителю матрицы A .

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

Всякие (r+1) столбцов (строк) матрицы ранга r линейно зависимы.
Если ранг матрицы меньше числа ее строк (столбцов), то ее строки (столбцы) линейно зависимы. Если rangA равен числу ее строк (столбцов), то строки (столбцы) линейно независимы.
Определитель матрицы A равен нулю тогда и только тогда, когда ее строки (столбцы) линейно зависимы.
Если к строке (столбцу) матрицы прибавить другую строку, (столбец) умноженную на любое число, отличное от нуля, то ранг матрицы не изменится.
Если в матрице зачеркнуть строку (столбец), являющуюся линейной комбинацией других строк (столбцов), то ранг матрицы не изменится.
Ранг матрицы равен максимальному числу ее линейно независимых строк (столбцов).
Максимальное число линейно независимых строк совпадает с максимальным числом линейно независимых столбцов.

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

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

Теорема 1 о ранге матрицы. Рангом матрицы называется максимальный порядок отличного от нуля минора матрицы.

Понятие минора мы уже разбирали на уроке по определителям , а сейчас обобщим его. Возьмём в матрице сколько-то строк и сколько-то столбцов, причём это "сколько-то" должно быть меньше числа строк и стобцов матрицы, а для строк и столбцов это "сколько-то" должно быть одним и тем же числом. Тогда на пересечении скольки-то строк и скольки-то столбцов окажется матрица меньшего порядка, чем наша исходная матрица. Определитель это матрицы и будет минором k-го порядка, если упомянутое "сколько-то" (число строк и столбцов) обозначим через k.

Определение. Минор (r +1)-го порядка, внутри которого лежит выбранный минор r -го порядка, называется называется окаймляющим для данного минора.

Наиболее часто используются два способа отыскания ранга матрицы . Это способ окаймляющих миноров и способ элементарных преобразований (методом Гаусса).

При способе окаймляющих миноров используется следующая теорема.

Теорема 2 о ранге матрицы. Если из элементов матрицы можно составить минор r -го порядка, не равный нулю, то ранг матрицы равен r .

При способе элементарных преобразований используется следующее свойство:

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

Отыскание ранга матрицы способом окаймляющих миноров

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

Например, дана матрица

Возьмём минор

окаймляющими будут такие миноры:

Алгоритм нахождения ранга матрицы следующий.

1. Находим не равные нулю миноры второго порядка. Если все миноры второго порядка равны нулю, то ранг матрицы будет равен единице (r =1 ).

2. Если существует хотя бы один минор второго порядка, не равный нулю, то составляем окаймляющие миноры третьего порядка. Если все окаймляющие миноры третьего порядка равны нулю, то ранг матрицы равен двум (r =2 ).

3. Если хотя бы один из окаймляющих миноров третьего порядка не равен нулю, то составляем окаймляющие его миноры. Если все окаймляющие миноры четвёртого порядка равны нулю, то ранг матрицы равен трём (r =2 ).

4. Продолжаем так, пока позволяет размер матрицы.

Пример 1. Найти ранг матрицы

Решение. Минор второго порядка .

Окаймляем его. Окаймляющих миноров будет четыре:

Таким образом, все окаймляющие миноры третьего порядка равны нулю, следовательно, ранг данной матрицы равен двум (r =2 ).

Пример 2. Найти ранг матрицы

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

Пример 3. Найти ранг матрицы

Решение. Минор второго порядка этой матрицы , в все миноры третьего порядка этой матрицы равны нулю. Следовательно, ранг данной матрицы равен двум.

Пример 4. Найти ранг матрицы

Решение. Ранг данной матрицы равен 3, так как единственный минор третьего порядка этой матрицы равен 3.

Отыскание ранга матрицы способом элементарных преобразований (методом Гаусса)

Уже на примере 1 видно, что задача определения ранга матрицы способом окаймляющих миноров требует вычисления большого числа определителей. Существует, однако, способ, позволяющий свести объём вычислений к минимуму. Этот способ основан на использовании элементарных преобразований матриц и ещё называется также методом Гаусса.

Под элементарными преобразованиями матрицы понимаются следующие операции:

1) умножение какой-либо строки или какого либо столбца матрицы на число, отличное от нуля;

2) прибавление к элементам какой-либо строки или какого-либо столбца матрицы соответствующих элементов другой строки или столбца, умноженных на одно и то же число;

3) перемена местами двух строк или столбцов матрицы;

4) удаление "нулевых" строк, то есть таких, все элементы которых равны нулю;

5) удаление всех пропорциональных строк, кроме одной.

Теорема. При элементарном преобразовании ранг матрицы не меняется. Другими словами, если мы элементарными преобразованиями от матрицы A перешли к матрице B , то .

Рассмотрим матрицу А размера .

А=
Выделим в нейkстрок иkстолбцов (
).

Определение 26: Минором k-го порядка матрицы А называется определитель квадратной матрицы, получающийся из данной выделением в ней.

kстрок иkстолбцов.

Определение 27: Рангом матрицы называется наибольший из порядков, отличных от нуля, ее миноров,r(A).

Определение 28: Минор, порядок которого совпадает с рангом называетсябазисным минором .

Утверждение:

1. Ранг выражается целым числом.(
)

2. r=0,
, когда А – нулевая.

Элементарные преобразования матриц.

К элементарным преобразованиям матриц относятся следующие:

1) умножение всех элементов какой-либо строки (столбца) матрицы на одно и то же число.

2) прибавление к элементам какой-либо строки (столбца) матрицы соответствующих элементов другой строки (столбца) умноженные на одно и то же число;

3) перестановка местами строк (столбцов) матрицы;

4) отбрасывание нулевой строки (столбца);

5) замена строк матрицы соответствующими столбцами.

Определение 29: Матрицы, получающиеся одна из другой, при элементарных преобразованиях называется эквивалентными матрицами, обозначаются “ ~“

Основное свойство эквивалентных матриц: Ранги эквивалентных матриц равны.

Пример 18: Вычислитьr(A),

Решение: Первую строку умножим поэтапно на (-4)(-2)

(-7) и затем прибавим соответственно к второй, третьей и четвертой строкам.

поменяем местами вторую и четвертую строки
вторую строку умножим на (-2) и прибавим к четвертой строке; сложим вторую и третью строки.

сложим третью и четвертую строки.

~
откинем нулевую строку

~
r(A)=3
ранг исходной матрицы

равен трем.

Определение 30: Назовем матрицу А ступенчатой, если все элементы главной диагонали0, а элементы под главной диагональю равны нулю.

Предложение :

1) ранг ступенчатой матрицы равен числу ее строк;

2) всякая матрица может быть приведена к ступенчатому виду с помощью элементарных преобразований.

Пример 19: При каких значениях  матрица
имеет ранг, равный единице?

Решение: Ранг равен единице, если определитель второго порядка равен нулю, т.е.

§6. Системы линейных уравнений общего вида.

Система вида
---(9) называется системой общего вида.

Определение 31: Две системы называются равносильными (эквивалентными), если каждое решение первой системы являются решением второй и наоборот.

В системе (1) матрицу А=
назовем основной матрицей системы, а=
расширенной матрицей системы

Теорема. Кронекера-Капелли

Для совместности системы (9) необходим и достаточно, чтобы ранг основной матрицы системы равнялся рангу расширенной матрицы, т. е. r(A)=r()

Теорема 1. Если ранг матрицы совместной системы равен числу неизвестных, то система имеет единственное решение.

Теорема 2. Если ранг матрицы совместной системы меньше числа неизвестных, то система имеет бесчисленное множество решений.

Правило решения произвольной системы линейных уравнений:

1)найти ранги основной и расширенной матриц системы. Если
, то система не совместна.

2) Если
=r, то система совместна. Найти какой-либо базисный минор порядкаr. Базисным будем называть минор, на основании которого определялся ранг матрицы.

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

3)Найти выражения главных неизвестных через свободные. Получено общее решение системы.

Пример 20: Исследовать систему и в случае ее совместности найти или единственное или общее решение