III. Матрицы. Определители. Системы линейных алгебраических уравнений
1. Матрицы. Действия над матрицами
Матрицей порядка называется прямоугольная таблица чисел
(1)
состоящая из m строк и n столбцов, рассматриваемая как единый алгебраический объект, над которым могут производиться определенные алгебраические действия. Часто пишут
, , 1 .
Множество всех матриц порядка обозначим , множество всех квадратных матриц порядка – через .
Произведением матрицы на число (действительное или комплексное) называют матрицу , определяемую по правилу при этом пишут .
Суммой матриц , называют матрицу , определяемую по правилу ; при этом пишут . Складывать можно лишь матрицы одинакового порядка.
Произведением матрицы на матрицу называют матрицу , элементы которой определяются по правилу ; при этом пишут .
Произведение матриц определено, если количество столбцов первого множителя А совпадает с количеством строк второго множителя В. (Можно сказать, что элемент матрицы есть результат скалярного произведения i-й строки матрицы А на j-й столбец матрицы В.)
Введенные операции над матрицами обладают всеми известными свойствами суммы и произведения чисел
кроме одного: вообще говоря,
Матрицу
называют транспонированной к матрице (1) и пишут ; получается из А переменой местами столбцов и строк.
Пример 1. Найти , если
, , .
Решение.
= .
Поясним, как получены отмеченные элементы и матрицы Так как имеет индекс , то он равен сумме произведений соответствующих элементов 2-й строки матрицы B и 1-го столбца матрицы C:
.
Аналогично для нахождения элемента нужно задействовать 3-ю строку матрицы B и 2-й столбец матрицы C:
.
Отсюда получаем
Матрица порядка m 1 называется столбцом, а порядка 1 n – строкой. Система столбцов
называется линейно-зависимой, если существуют числа такие, что
1) ;
(2)
Если же равенство (2) возможно лишь при то система столбцов называется линейно независимой. Левая часть равенства (2) называется линейной комбинацией столбцов . Аналогичное определение дается для строк.
Нулевой матрицей (нуль-матрицей) называется матрица состоящая из нулей.
Единичной матрицей порядка называется квадратная матрица , на главной диагонали которой, тянущейся слева-сверху-вправо-вниз, находятся единицы, а остальные элементы равны 0:
Часто пишут просто I, опуская индекс n там, где это не приводит к недоразумению.
Матрицы 0 и I играют роль нуля и единицы: (операции считаются дозволенными).
Квадратная матрица, у которой все элементы вне главной диагонали равны 0, называется диагональной. Квадратная матрица, у которой все элементы, расположенные ниже главной диагонали, равны 0, называется треугольной.
2. Определители
Пусть квадратная матрица порядка . Всякой такой матрице можно поставить в соответствие число , называемое определителем этой матрицы, которое удовлетворяет следующим условиям:
1) ;
2) ,
где – квадратная матрица порядка , получающаяся из матрицы вычеркиванием –й строки и –го столбца.
Определитель называется минором порядка матрицы . Условия 1, 2 дают рекуррентное определение определителя матрицы.
Определитель обладает следующими свойствами:
1) ;
2) при перестановке двух столбцов (строк) меняется знак определителя;
3) определитель матрицы, имеющей два одинаковых столбца (две одинаковые строки), равен нулю;
4) общий множитель столбца (строки) можно вынести за знак определителя (отсюда следует, что если один из столбцов (одна из строк) матрицы состоит из нулей, то );
5) если к элементам некоторого столбца (строки) матрицы А прибавить соответствующие элементы другого столбца (другой строки), предварительно умноженные на одно и то же число, то определитель новой матрицы В будет равен
6) если какой-либо столбец (какая-либо строка) является линейной комбинацией других столбцов (других строк) матрицы А, то
7) обозначим через определитель матрицы порядка получающейся из матрицы путем зачеркивания i-й строки и j-го столбца; число называется алгебраическим дополнением элемента для любого k, справедливы равенства:
,
(разложение определителя по k-му столбцу);
8)
Пользуются и другим обозначением определителя матрицы :
Определитель матрицы порядка равен элементу матрицы:
Определитель второго порядка вычисляется по формуле
Определитель третьего порядка вычисляется по формуле
Для вычисления определителя третьего порядка лучше пользоваться правилом Саррюса или правилом «3 5».
-
+ –
а б
Рис. 1
Рис. 2
Правило Саррюса использует схему, изображенную на рис. 1. Правило состоит в том, что девять чисел, составляющих определитель, разбиваются на шесть троек по схеме (каждый элемент участвует дважды). Каждой тройке придается знак «+», если элементы, входящие в нее, расположены на главной диагонали или в вершинах равнобедренного треугольника с основанием, параллельным главной диагонали (рис.1, а), или «–», если элементы, входящие в тройку, расположены на побочной диагонали или в вершинах равнобедренного треугольника с основанием, параллельным побочной диагонали (рис.1, б) (побочная диагональ тянется справа-сверху-влево-вниз). Затем берется сумма произведений элементов троек с учетом их знаков.
Правило «3 5» использует следующую схему: (к матрице добавлены первые два столбца).
Элементы матрицы соединены шестью отрезками, как показано на рис.2. Произведению элементов, составляющих тройку и лежащих на одном отрезке, придается знак «+», если отрезок параллелен главной диагонали, и «–», если отрезок параллелен побочной диагонали. Определитель A равен сумме произведений элементов троек с учетом их знаков.
Определитель треугольной, в том числе и диагональной матрицы равен произведению элементов главной диагонали:
Для вычисления определителя иногда оказывается удобным приведение матрицы к треугольному виду с использованием свойств определителя.
Пример 2. Вычислить определитель
а) методом Саррюса;
б) путем приведения к треугольному виду.
Решение. а) По правилу Саррюса имеем
б) Имеем (запись означает, что к элементам j-й строки, умноженным на , прибавляются соответствующие элементы k-й строки, умноженные на ; результат этой операции записывается в строке напротив записи):
=
= =13 =
.
Желательно перед началом преобразований добиться того, чтобы в левом верхнем углу стояло число 1 или (–1); этим и объясняется первая операция перестановка первых двух стр ок.
Для вычисления определителей более высокого порядка удобнее пользоваться свойством 7.
Пример 3. Вычислить определитель
а) разложением по какой-либо строке или столбцу;
б) путем приведения к треугольному виду.
Решение. а) Лучше разложить по второй строке или третьему столбцу, так как наличие нуля уменьшает вычисления; выберем вторую строку, тогда
.
б) Имеем (пояснение ниже):
.
Поясним выкладки. Если в i-ю строку записывается результат операции то определитель матрицы увеличится в раз; чтобы этого не произошло, мы при каждом таком действии домножаем определитель на
.
Матрица определитель которой равен нулю, называется вырожденной.
Геометрический смысл определителя состоит в следующем:
1) модуль определителя равен площади параллелограмма, построенного на векторах и
2) модуль определителя
равен объему параллелепипеда, построенного на векторах