Пусть дана таблица (называемая матрицей), состоящая из четырех чисел:

Матрица имеет две строки и два столбца Числа, составляющие эту матрицу, обозначены буквой с двумя индексами. Первый индекс указывает номер строки, а второй - номер столбца, в которых стоит данное число. Например, означает число, стоящее в первой строке и втором столбце; число, стоящее во второй строке и первом столбце. Числа будем называть элементами матрицы.

Определителем (или детерминантом) второго порядка, соответствующим данной матрице, называется число, получаемое следующим образом:

Определитель обозначают символом

Таким образом,

Числа называются элементами определителя.

Приведем свойства определителя второго порядка.

Свойство 1. Определитель не изменится, если его строки поменять местами с соответствующими столбцами, т. е.

Свойство 2.

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

Свойство 3. Определитель с двумя одинаковыми строками (или столбцами) равен нулю.

Свойство 4. Общий множитель всех элементов строки (или столбца) можно выносить за знак определителя:

Свойство 5. Если все элементы какой-либо строки (или столбца) равны нулю, то определитель равен нулю.

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

Квадратной матрице А порядка n можно сопоставить число det А (или |A |, или ), называемое ее определителем , следующим образом:

Определитель матрицы A также называют ее детерминантом . Правило вычисления детерминанта для матрицы порядка N является довольно сложным для восприятия и применения. Однако известны методы, позволяющие реализовать вычисление определителей высоких порядков на основе определителей низших порядков. Один из методов основан на свойстве разложения определителя по элементам некоторого ряда (свойство 7). При этом заметим, что определители невысоких порядков (1, 2, 3) желательно уметь вычислять согласно определению.

Вычисление определителя 2-го порядка иллюстрируется схемой:

Пример 4.1. Найти определители матриц

При вычислении определителя 3-го порядка удобно пользоваться правилом треугольников (или Саррюса), которое символически можно записать так:

Пример 4.2. Вычислить определитель матрицы

det А = 5*1*(-3) + (-2)*(-4)*6 + 3*0*1 — 6*1*1 — 3*(-2)*(-3) — 0*(-4)*5 = -15+48-6-18 = 48-39 = 9.

Сформулируем основные свойства определителей, присущие определителям всех порядков. Некоторые из этих свойств поясним на определителях 3-го порядка.

Свойство 1 («Равноправность строк и столбцов»). Определитель не изменится, если его строки заменить столбцами, и наоборот. Иными словами,

В дальнейшем строки и столбцы будем просто называть рядами определителя .

Свойство 2 . При перестановке двух параллельных рядов определитель меняет знак.

Свойство 3 . Определитель, имеющий два одинаковых ряда, равен нулю.

Свойство 4 . Общий множитель элементов какого-либо ряда определителя можно вынести за знак определителя.

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

Действительно,

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

Например,

Свойство 6. («Элементарные преобразования определителя»). Определитель не изменится, если к элементам одною ряда прибавить соответствующие элементы параллельного ряда, умноженные па любое число.

Пример 4.3 . Доказать, что

Решение: Действительно, используя свойства 5, 4 и 3 подучим

Дальнейшие свойства определителей связаны с понятиями минора и алгебраического дополнения.

Минором некоторого элемента аij определителя n- го порядка называется определитель n — 1-го порядка, полученный из исходного путем вычеркивания строки и столбца, па пересечении которых находится выбранный элемент. Обозначается mij

Алгебраическим дополнением элемента aij определителя называется его минор, взятый со знаком «плюс», если сумма i + j четное число, и со знаком «минус», если эта сумма нечетная. Обозначается Aij :

Свойство 7 («Разложение определителя по элементам некоторого ряда»). Определитель равен сумме произведений элементов некоторого ряда на соответствующие им алгебраические дополнения.

Большинство математических моделей в экономике описываются с помощью матриц и матричного исчисления.

Матрица - это прямоугольная таблица, содержащая числа, функции, уравнения или другие математические объекты, расположенные в строках и столбцах.

Объекты, составляющие матрицу, называют ее элементами . Матрицы обозначают заглавными латинскими буквами

а их элементы – строчными.

Символ
означает, что матрицаимеет
строк истолбцов,элемент, находящийся на пересечении–й строки и–го столбца
.

.

Говорят, что матрица А равна матрице В : А=В , если они имеют одинаковую структуру (то есть одинаковое число строк и столбцов) и их соответсвующие элементы тождественно равны
, для всех
.

Частные виды матриц

На практике довольно часто встречаются матрицы специального вида. Некоторые методы предполагают также преобразования матриц от одного вида к другому. Наиболее часто встречающиеся виды матриц приведены ниже.

	квадратная матрица, число строк n равно числу столбцов n
	матрица-столбец
	матрица-строка
	нижняя треугольная матрица
	верхняя треугольная матрица
	нулевая матрица
	диагональная матрица
Е =	единичная матрица Е (квадратная)
	унитарная матрица
	ступенчатая матрица
	Пустая матрица

Элементы матрицы, с равными номерами строк и столбцов, то есть a ii образуют главную диагональ матрицы.

Операции над матрицами.

.

Свойства операций над матрицами

Специфические свойства оперций

Если произведение матриц
– существует, то произведение
может и не существовать. Вообще говоря,
. То есть умножение матриц не коммутативно. Если же
, тоиназывают коммутативными. Например, диагональные матрицы одного порядка коммутативны.

Если
, то необязательно
или
. Т.е., произведение ненулевых матриц может дать нулевую матрицу. Например

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

.

По определению полагают
, и нетрудно показать, что
,
. Отметим, что из
не следует, что
.

Поэлементное возведение в степень А. m =
.

Операция транспонирования матрицы заключается в замене строк матрицы ее столбцами:

,

Например

,
.

Свойства транспонирования:

Определители и их свойства.

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

.

Определителем матрицы
является ее элемент.

Определитель матрицы
вычисляется по правилу:

т.е., из произведения элементов главной диагонали вычитается произведение элементов дополнительной диагонали.

Для вычисления определителей более высокого порядка (
) необходимо ввести понятия минора и алгебраического дополнения элемента.

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

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

,

тогда, например,

Алгебраическим дополнением элементаназывают его минор, умноженный на
.

,

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

Например, разлагая
по элементам первой строки, получим:

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

В данном случае можно разложить определитель по первому столбцу:

или последней строке:

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

Теорема Лапласа дает возможность свести вычисление определителя -го порядка к вычислениюопределителей
-го порядка и, в конечном итоге, к вычислению определителей второго порядка.

Чтобы умножить матрицу на число, нужно умножить на это число каждый элемент матрицы.

Следствие. Общий множитель всех элементов матрицы можно выносить за знак матрицы.

Например, .

Как видно, действия сложения, вычитания матриц, умножения матрицы на число аналогичны действиям над числами. Умножение матриц - операция специфическая.

Произведение двух матриц.

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

Например, .

Размер матрицы А 33, размер матрицы В 23. Произведение АВ невозможно, произведение ВА возможно.

Произведение двух матриц А и В есть третья матрица С, элемент С ij которой равен сумме попарных произведений элементов i-той строки первого множителя и j-того столбца второго множителя.

Было показано, что в данном случае возможно произведение матриц ВА

Из правила существования произведения двух матриц следует, что произведение двух матриц в общем случае не подчиняется переместительному закону, т.е. АВ? ВА . Если в частном случае окажется, что АВ = ВА, то такие матрицы называются перестановочными или коммутативными.

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

Например, найдем произведение матриц АВ , если

Можно перемножать несколько матриц. Если можно перемножить матрицы А , В и произведение этих матриц можно умножить на матрицу С , то возможно составить произведение (АВ ) С и А (ВС ). В таком случае имеет место сочетательный закон относительно умножения (АВ ) С = А (ВС ).