Ранг матрицы - определение и вычисление с примерами решения
Содержание:
Элементарные преобразования матриц:
Рассмотрим прямоугольную матрицу:
состоящую из m строк и n столбцов. В п.3.2 отмсчалось, что каждую строку матрицы можно рассматривать как n-мсрный вектор, а каждый столбец - как m-мерный вектор. Тогда матрицу А можно записать в виде:
и, следовательно, данную матрицу можно рассматривать как систему вектор строк или вектор столбцов. Б указанных системах вектор-строк и вектор-столбцов можно выделять линейно независимые (зависимые) векторы. Тогда будем говорить, что строки (столбцы) матрицы линейно независимы (зависимы), если соответствующие им векторы независимы (зависимы).
Определения
Определение: Рангом системы строк (соответственно столбцов) матрицы А называется наибольшее число линейно независимых среди них.
Поскольку легко доказать, что ранг системы строк матрицы равен рангу системы её столбцов, то справедливо следующее
Определение: Рангом матрицы, обозначаемым r(А), называется максимальное число линейно независимых строк (столбцов) матрицы.
При транспонировании матрицы ранг её не изменяется.
Другой метод определения ранга матрицы связан с понятием определителя.
Выделим в матрице А любые k строк и k столбцов. Элементы, стоящие на их пересечении, образуют квадратную матрицу, определитель которой называется минором k-го порядка матрицы А. Ясно, что величина к должна удовлетворять двум условиям: . Полагая последовательно k = 1,2,...,l, где
, составляем при каждом k все миноры k-то порядка матрицы А. Тогда можно сформулировать еще одно определение ранга матрицы.
Определение: Рангом матрицы, обозначаемым r(А), называется порядок самого старшего минора этой матрицы, не равного нулю.
Из определения следует, что если ранг матрицы А равен l, то среди всех её миноров существует хотя бы один минор l-го порядка, отличный от нуля, но все миноры (l+1)-го порядков либо равны нулю, либо не могут быть составлены.
Вычисление ранга матрицы путём перебора всех её миноров весьма трудоёмко. Существует, однако, более простой способ вычисления ранга матрицы, основанный на упрощении структуры матрицы с помощью элементарных преобразований. Элементариыми преобразованиями матрицы называют следующие преобразования:
- обмен местами двух строк или двух столбцов матрицы;
- умножение всех элементов строки или столбца матрицы на произвольное число , не равное нулю;
- прибавление ко всем элементам строки (столбца) матрицы соответствующих элементов другой строки (столбца), предварительно умноженных на одно и то же число;
- исключение из матрицы строки или столбца, состоящего из нулей.
Матрицы называются эквивалентными, если от одной из них к другой можно перейти путём конечного числа элементарных преобразований.
Ступенчатой матрицей называется матрица, удовлетворяющая тому свойству, что если в какой-либо из сё строк первый отличный от нуля элемент стоит на l-м месте, то во всех следующих строках на первых l местах стоят нули:
где элементы отличны от нуля, а все элементы, стоящие под ними, равны нулю.
Для вычисления ранга матрицы приводят её с помощью цепочки элементарных преобразований к ступенчатому виду. Тогда ранг матрицы совпадает с числом её ненулевых диагональных элементов.
Теоремы о ранге матриц. Свойства ранга матриц
Относительно ранга матриц можно сформулировать следующие теоремы:
Теорема: Если матрица имеет минор порядка r, отличный от нуля, для которого все содержащие его миноры порядка(окаймляющие миноры) равны нулю, то ранг этой матрицы равен r.
Вычисление ранга матрицы при помощи метода окаймления нужно вести от низших порядков к высшим. Сначала ищем минор первого порядка (т.е. элемент матрицы) или сразу второго порядка, отличный от нуля. Затем вычисляем окаймляющие его миноры следующего порядка, пока не найдём среди них отличного от нуля и т.д., пока не найдем минор порядка l, отличный от нуля, для которого либо все окаймляющие его миноры порядка l+1 равны нулю, либо такие миноры не могут быть составлены.
Теорема: Элементарные преобразования не меняют ранга матрицы.
Доказательство теоремы следует из определения ранга матрицы и свойств определителей.
Пример:
Найти ранг матрицы:
Решение:
Минор первого порядка в левом верхнем углу равен . Окаймляющий его минор второго порядка:
Вычисляем окаймляющий его минор третьего порядка:
Значит ранг матрицы равен 2.
Пример:
Найти ранг матрицы:
Решение:
При помощи элементарных преобразований приведём данную матрицу к ступенчатому виду. На первом шаге умножим последовательно первую строку на 3, 3, 2 и вычтем из второй, третьей, четвёртой строк соответственно:
В эквивалентной матрице прибавим к третьей строке вторую и вычтем вторую из четвёртой строки:
(поменяем местами третью и четвертую строки)
(поменяем местами третий, четвёртый и пятый столбцы со вторым и опустим строки, состоящие из нулей) Преобразовали матрицу к ступеньчатому виду, у которой на диагонали три ненулевых элемента. Ранг матрицы равен 3.
Отмстим некоторые свойства ранга матриц.
- Ранг суммы двух (или нескольких) матриц не больше суммы их рангов.
- Любую матрицу ранга r можно представить в виде суммы r матриц ранга 1, но нельзя представить в виде суммы менее чем r таких матриц.
- Любую матрицу С ранга r можно представить в виде произведения , где А состоит из r линейно независимых столбцов, г B -из r линейно независимых строк.
- Ранг произведения матриц порядка n удовлетворяет неравенству .
Определение системы m линейных уравнений с n неизвестными
Системой m линейных уравнений с n неизвестными называется система вида:
Числа называются соответственно коэффициентами системы и ее свободными членами. Первый индекс i коэффициента соответствует номеру уравнения, в которое входит этот коэффициент, а второй индекс - номеру неизвестной , при которой стоит этот коэффициент. Индекс свободного члена соответствует номеру уравнения, содержащего .
С помощью знака суммирования систему (5.3.1) можно записать в виде:
Матрица
составленная из коэффициентов системы , называется матрицей
системы. Если к этой матрице добавить столбец свободных членов, то получим расширенную матрицу системы: Обозначив матрицу-столбец неизвестных и матрицу-столбец свободных членов , систему (5. 3.1) можно записать в матричной форме:
где
Используется также табличная форма записи системы (5.3.1):
Отметим, что (5.3.1), (5.3.2), (5.3.3), (5.3.4)- различные виды записи одной и той же системы линейных уравнений.
Решением системы (5.3.1) называется любой упорядоченный набор действительных чисел , который при подстановке в (5.3.1) вместо неизвестных , обращает каждое из уравнений системы в верное равенство.
Система уравнений (5.3.1) называется совместной, если она имеет хотя бы одно решение, и несовместной, если она не имеет решений. Совместная система уравнений называется определенной, если она имеет единственное решение, и неопределенной, если она имеет более одного решения.
Две системы уравнений с одинаковыми наборами неизвестных называются равносильными, если они имеют одно и то же множество решений.
Отмстим, что для любой системы (5.3.1) возможны только три случая:
- система (5.3.1) имеет единственное решение;
- система (5.3.1) имеет бесчисленное множество решений;
- система (5.3.1) несовместна.
Множество всех решений системы (5.3.1) называется ее общим решением.
Решить систему (5.3.1) - значит найти ее общее решение.
Пример:
Пусть задана система
Тогда эту систему можно записать в матричном виде:
или в виде таблицы:
Система определенная, так как она имеет единственное решение . Других решений быть не может, так как прямые
на координатной плоскости пересекаются в единственной точке.
Экономические задачи, приводящие к системе линейных уравнений
Предположим, что производственные мощности для изготовления n различных видов продукции установлены в т цехах. Пусть представляет собой суммарную мощность цеха i, и — часть производственного аппарата цеха i, которая необходима для производства единицы продукции вида j. Тогда обозначив через количество выпущенной продукции, получим систему уравнений, показывающих. как можно использовать имеющиеся мощности в полном объёме.
Широкий круг задач экономики приводит к составлению системы уравнений. Так в примере 4.3.2 составлялась система линейных уравнений (4.3.1) балансовой модели для трёх отраслей. В общем случае под балансовой моделью понимается система уравнений, каэ/сдое из которых выражает требование баланса между производимым количеством продукции и совокупной потребностью в этой продукции.
При построении балансовых моделей используется понятие чистой (или технологической) отрасли, т.е. условной отрасли, объединяющей всё производство данного продукта независимо от ведомственной (административной) подчинённости и форм собственности предприятий и фирм. Всё народное хозяйство представляется в виде совокупности п отраслей, каждая из которых рассматривается как производящая и как потребляющая.
Если обозначить через:
- - межотраслевые потоки продукции, где i и j - соотвестственно номера отраслей производящих и потребляющих;
- - валовой выпуск продукции i-й отрасли; - конечную продукцию i-Й отрасли, ;
- - количество продукции i-й отрасли, учитывая только прямые затраты, необходимые для производства единицы продукции j-й отрасли,
то систему уравнений баланса можно записать в виде:
или в матричной форме:
где Х- вектор-столбец валовой продукции; Y- вектор-столбец конечной продукции; А - матрица коэффициентов прямых затрат.
Основу экономико-математической модели межотраслевого баланса составляет технологическая матрица А, содержащая коэффициенты прямых затрат на производство единицы продукции:
Коэффициент!,! прямых затрат являются довольно стабильной величиной во времени.
Переписав матричное уравнение (5.4.2) в виде EX-AX = Y или (E-A)X = Y, (5.4.3) получим стандартную форму записи системы уравнений.
Определение ранга матрицы
Рассмотрим прямоугольную матрицу (4.1). Если в этой матрице выделить произвольно строк и столбцов, то элементы, стоящие на пересечении выделенных строк и столбцов, образуют квадратную матрицу -го порядка. Определитель этой матрицы называется минором -го порядка матрицы А. Очевидно, что матрица А обладает минорами любого порядка от 1 до наименьшего из чисел Среди всех отличных от нуля миноров матрицы А найдется по крайней мере один минор, порядок которого будет наибольшим. Наибольший из порядков миноров данной матрицы, отличных от нуля, называется рангом матрицы. Если ранг матрицы А равен , то это означает, что в матрице А имеется отличный от нуля минор порядка , но всякий минор порядка, большего чем , равен нулю. Ранг матрицы А обозначается через (А).
Очевидно, что выполняется соотношение
Ранг матрицы находится либо методом окаймления миноров, либо методом элементарных преобразований. При вычислении ранга матрицы первым способом следует переходить от миноров низших порядков к минорам более высокого порядка. Если уже найден минор D -го порядка матрицы А, отличный от нуля, то требуют вычисления лишь миноры (+1)-го порядка, окаймляющие минор D, т.е. содержащие его в качестве минора. Если все они равны нулю, то ранг матрицы равен .
Элементарными называются следующие преобразования матрицы:
- перестановка двух любых строк (или столбцов),
- умножение строки (или столбца) на отличное от нуля число,
- прибавление к одной строке (или столбцу) другой строки (или столбца), умноженной на некоторое число.
Две матрицы называются эквивалентными, если одна из них получается из другой с помощью конечного множества элементарных преобразований.
Эквивалентные матрицы не являются, вообще говоря, равными, но их ранги равны. Если матрицы А и В эквивалентны, то это записывается так: А ~ В.
Канонической матрицей называется матрица, у которой в начале главной диагонали стоят подряд несколько единиц (число которых может равняться нулю), а все остальные элементы
равны нулю, например,
При помощи элементарных преобразований строк и столбцов любую матрицу можно привести к канонической. Ранг канонической матрицы равен числу единиц на ее главной диагонали.
Пример:
Найти методом окаймления миноров ранг матрицы
Решение:
Начинаем с миноров 1-го порядка, т.е. с элементов матрицы А. Выберем, например, минор (элемент) расположенный в первой строке и первом столбце. Окаймляя при помощи второй строки и третьего столбца, получаем минор отличный от нуля.
Переходим теперь к минорам 3-го порядка, окаймляющим Их всего два (можно добавить второй столбец или четвертый). Вычисляем их:
Таким образом, асе окаймляющие миноры третьего порядка оказались равными нулю. Ранг матрицы А равен двум.
Пример:
Найти ранг матрицы и привести ее к каноническому виду.
Решение:
Из второй строки вычтем первую и переставим эти строки:
Теперь из второй и третьей строк вычтем первую, умноженную соответственно на 2 и 5:
из третьей строки вычтем первую; получим матрицу которая эквивалентна матрице А, так как получена из нее с помощью конечного множества элементарных преобразований. Очевидно, что ранг матрицы В равен 2, а следовательно, и Матрицу В легко привести к канонической. Вычитая первый столбец, умноженный на подходящие числа, из всех последующих, обратим в нуль все элементы первой строки, кроме первого, причем элементы остальных строк не изменяются. Затем, вычитая второй столбец, умноженный на подходящие числа, из всех последующих, обратим в нуль все элементы второй строки, кроме второго, и получим каноническую матрицу:
Вычисление ранга матрицы
Для исследования разрешимости систем линейных уравнений важную роль играет понятие ранга матрицы. Рассмотрим прямоугольную матрицу А
Выделим k произвольных строк и k произвольных столбцов этой матрицы. Определитель k-го порядка, составленный из элементов матрицы А, расположенных на пересечении выделенных строк и столбцов, называется минором k-го порядка матрицы А.
Рангом матрицы А называется наибольший порядок ее миноров, отличных от нуля. Обозначение: rank А,
Базисным минором матрицы называется всякий отличный от нуля ее минор, порядок которого равен рангу матрицы.
Рассмотрим некоторые методы вычисления ранга матрицы.
Метод окаймляющих миноров
Минор порядка k+1, содержащий в себе минор порядка k, называется окаймляющим минором.
Вычисляя ранг матрицы, удобнее переходить от миноров меньших порядков к минорам больших порядков. Если найден минор k-го порядка, отличный от нуля, а все окаймляющие его миноры порядка k+1 равны нулю, то ранг матрицы равен k.
Рекомендую подробно изучить предметы: |
Ещё лекции с примерами решения и объяснением: |