Матрицы и определители

Высшая математика

Матрицы и определители

СОДЕРЖАНИЕ

1. Матрицы

1.1 Понятие матрицы. Типы матриц

1.2 Алгебра матриц

2. Определители

2.1 Определители квадратной матрицы и их свойства

2.2 Теоремы Лапласа и аннулирования

3. Обратная матрица

3.1 Понятие обратной матрицы. Единственность обратной матрицы

3.2 Алгоритм построения обратной матрицы Свойства обратной матрицы

Литература

1. Матрицы

1.1 Понятие матрицы. Типы матриц

Прямоугольную таблицу

А=,

состоящую из m строк и n столбцов, элементами которой являются действительные числа , где i - номер строки, j - номер столбца на пересечении которых стоит этот элемент, будем называть числовой матрицей порядка mn и обозначать .

Рассмотрим основные типы матриц:

1. Пусть m = n, тогда матрица А - квадратная матрица, которая имеет порядок n:

А = .

Элементы образуют главную диагональ, элементы образуют побочную диагональ.

Квадратная матрица называется диагональной, если все ее элементы, кроме, возможно, элементов главной диагонали, равны нулю:

А = = diag ().

Диагональная, а значит квадратная, матрица называется единичной, если все элементы главной диагонали равны 1:

Е = = diag (1, 1, 1,…,1).

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

Приведем примеры единичных матриц:

=, =.

Квадратные матрицы

А = , В =

называются верхней и нижней треугольными соответственно.

2. Пусть m = 1, тогда матрица А - матрица-строка, которая имеет вид:

3. Пусть n=1, тогда матрица А - матрица-столбец, которая имеет вид:

4.Нулевой матрицей называется матрица порядка mn, все элементы которой равны 0:

0 =

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

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

Пример. Пусть

= ,

тогда

= .

Заметим, если матрица А имеет порядок mn, то транспонированная матрица имеет порядок nm.

6. Матрица А называется симметричной, если А=А, и кососимметричной, если А = -А.

Пример. Исследовать на симметричность матрицы А и В.

= ,

тогда = ,

следовательно, матрица А - симметричная, так как А = А.

В = , тогда = ,

следовательно, матрица В - кососимметричная, так как В = - В.

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

1.2 Алгебра матриц

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

Две матрицы А и В называются матрицами одного порядка, если они имеют одинаковое количество строк и одинаковое количество столбцов.

Пример. и - матрицы одного порядка 23;

и - матрицы разных порядков, так как 23?32.

Понятия ?больше? и ?меньше? для матриц не определяют.

Матрицы А и В называются равными, если они одного порядка mn, и = , где 1, 2, 3, …, m, а j = 1, 2, 3, …, n.

Умножение матрицы на число.

Умножение матрицы А на число л приводит к умножению каждого элемента матрицы на число л:

лА = , лR.

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

Пример.

Пусть матрица А =, тогда 5А==.

Пусть матрица В = = = 5.

Свойства умножения матрицы на число:

1) лА = Ал;

2) (лм)А = л(мА) = м(лА), где л,м R;

3) (лА) = лА;

4) 0МА = 0.

Сумма (разность) матриц.

Сумма (разность) определяется лишь для матриц одного порядка mn.

Суммой (разностью) двух матриц А и В порядка mn называется матрица С того же порядка, где = ± ( 1, 2, 3, …, m,

j = 1, 2, 3, …, n.).

Иными словами, матрица С состоит из элементов, равных сумме (разности) соответствующих элементов матриц А и В.

Пример. Найти сумму и разность матриц А и В.

= , = ,

тогда =+==,

=-==.

Если же = , = ,

то А ± В не существует, так как матрицы разного порядка.

Из данных выше определений следуют свойства суммы матриц:

1) коммутативность А+В=В+А;

2) ассоциативность (А+В)+С=А+(В+С);

3) дистрибутивность к умножению на число лR: л(А+В) = лА+лВ;

4) 0+А=А, где 0 - нулевая матрица;

5) А+(-А)=0, где (-А) - матрица, противоположная матрице А;

6) (А+В)= А+ В.

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

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

Матрицы А и В называются согласованными, если число столбцов матрицы А равно числу строк матрицы В. Так, если , , m?k, то матрицы А и В согласованные, так как n = n, а в обратном порядке матрицы В и А несогласованные, так как m ? k. Квадратные матрицы согласованы, когда у них одинаковый порядок n, причем согласованы как А и В, так и В и А. Если , а , то будут согласованы матрицы А и В, а также матрицы В и А, так как n = n, m = m.

Произведением двух согласованных матриц и

А=, В=

называется матрица С порядка mk:

=•, элементы которой вычисляются по формуле:

(1, 2, 3, …, m, j=1, 2, 3, …, k),

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

Пример. Найти произведение матриц А и В.

=, =,

•===.

Произведение матриц В•А не существует, так как матрицы В и А не согласованы: матрица В имеет порядок 22, а матрица А - порядок 32.

Рассмотрим свойства произведения матриц:

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

Пример 1. = , = ;

==;

==.

Очевидно, что ? .

Пример 2. = , = ;

= = =;

= = = .

Вывод: ?, хотя матрицы и одного порядка.

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

Пример.

=, =;

===;

===.

3) A?0 = 0?A = 0.

4) произведение двух матриц может равняться нулю, при этом матрицы А и В могут быть ненулевыми.

Пример.

= , = ;

= ==.

5) ассоциативность АВС=А(ВС)=(АВ)С:

? (?

Пример.

Имеем матрицы , , ;

тогда АМ(ВМС) = (?



(АМВ)МС=

===

==.

Таким образом, мы на примере показали, что АМ(ВМС) = (АМВ)МС.

6) дистрибутивность относительно сложения:

(А+В)•С = АС + ВС, А•(В + С)=АВ + АС.

7) (А•В)= В•А.

Пример.

=, =,

, =.

Тогда

АВ=•==

= (А•В)= =

В•А=• = ==.

Таким образом, (А•В)= ВА.

8) л(АМВ) = (лА)М В = АМ (лВ), л,R.

Рассмотрим типовые примеры на выполнение действий над матрицами, то есть требуется найти сумму, разность, произведение (если они существуют) двух матриц А и В.

Пример 1.

, .

Решение.

1) + = = =;

2) - ===;

3) произведение не существует, так как матрицы А и В несогласованы, впрочем, не существует и произведения по той же причине.

Пример 2.

=, =.

Решение.

1) суммы матриц, как и их разности, не существует, так как исходные матрицы разного порядка: матрица А имеет порядок 23, а матрица В - порядок 31;

2) так как матрицы А и В согласованны, то произведение матриц АМВ существует:

?=?==,

произведение матриц ВМА не существует, так как матрицы и несогласованны.

Пример 3.

=, =.

Решение.

1) суммы матриц, как и их разности, не существует, так как исходные матрицы разного порядка: матрица А имеет порядок 32, а матрица В - порядок 23;

2) произведение как матриц АМВ, так и ВМА, существует, так как матрицы согласованны, но результатом таких произведений будут матрицы разных порядков: ?=, ?=.

?=?=

= = ;

?=?= =

= = в данном случае АВ ? ВА.

Пример 4.

=, =.

Решение.

1) +===,

2) -= ==;

3) произведение как матриц АМВ, так и ВМА, существует, так как матрицы согласованны:

?==?==;

?==?==

= ?, то есть матрицы А и В некоммутирующие.

Пример 5.

=, =.

Решение.

1) +===,

2) -===;

3) произведение как матриц АМВ, так и ВМА, существует, так как матрицы согласованны:

?==?==;

?==?==

= = АМВ=ВМА, т. е. данные матрицы

коммутирующие.

2. Определители

2.1 Определители квадратной матрицы и их свойства

Пусть А - квадратная матрица порядка n:

А=.

Каждой такой матрице можно поставить в соответствие единственное действительное число, называемое определителем (детерминантом) матрицы и обозначаемое

= det A= Д=.

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

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

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

== - , (1)

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

Пример.

=, тогда == 4 · 3 - (-1) · 2=12 + 2 = 14.

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

Из определения определителя второго порядка следуют его свойства:

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

=.

2. Знак определителя меняется на противоположный при перестановке строк (столбцов) определителя:

= - , = - .

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

= или =.

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

5. Определитель равен нулю, если соответствующие элементы его строк (столбцов) пропорциональны:

=0, = 0.

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

=+,

=+.

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

=+=,

так как =0 по свойству 5.

Остальные свойства определителей рассмотрим ниже.

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

Д == det A= =

=++- - - , (2)

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

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

==

==

=.

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

2.2 Теоремы Лапласа и аннулирования

Рассмотрим еще два очень важных свойства определителей.

Введем понятия минора и алгебраического дополнения.

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

Пример. = .

Тогда, например, = , = .

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

Например:

= , === -,

===.

Вернемся к формуле (2). Группируя элементы и вынося за скобки общий множитель, получим:

=(- ) +( - ) +(-)=

= М+М+М=

= ++.

Аналогично доказываются равенства:

=++, 1, 2, 3; (3)

=++, 1, 2, 3.

Формулы (3) называются формулами разложения определителя по элементам i-ой строки (j-го столбца), или формулами Лапласа для определителя третьего порядка.

Таким образом, мы получаем восьмое свойство определителя:

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

Заметим, что данное свойство определителя есть не что иное, как определение определителя любого порядка. На практике его используют для вычисления определителя любого порядка. Как правило, прежде чем вычислять определитель, используя свойства 1 - 7, добиваются того, если это возможно, чтобы в какой-либо строке (столбце) были равны нулю все элементы, кроме одного, а затем раскладывают по элементам строки (столбца).

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

== (из второй строки вычтем первую) =

== (из третьей строки вычтем первую)=

== (разложим определитель по элементам третьей

строки) = 1М = (из второго столбца вычтем первый столбец) = = 1998М0 - 1М2 = -2.

Пример.

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

== (так как второй столбец содержит три нулевых

элемента, то разложим определитель по элементам второго столбца)=

=3М= (из второй строки вычтем первую, умножен-

ную на 3, а из третьей строки вычтем первую, умноженную на 2) =

= 3М= (разложим определитель по элементам первого

столбца) = 3М1М =

Девятое свойство определителя носит название теорема аннулирования:

сумма всех произведений элементов одной строки (столбца) определителя на соответствующие алгебраические дополнения элементов другой строки (столбца) равна нулю, то есть ++ = 0,

Пример.

= = (разложим по элементам третьей строки)=

= 0М+0М+М = -2.

Но, для этого же примера: 0М+0М+1М=

= 0М +0М+1М = 0.

Если определитель любого порядка имеет треугольный вид

=, то он равен произведению элементов, стоящих на

диагонали:

=ММ … М. (4)

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

=

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

Что касается определителя произведения двух квадратных матриц, то он равен произведению определителей этих квадратных матриц: .

3. Обратная матрица

3.1 Понятие обратной матрицы. Единственность обратной матрицы

В теории чисел наряду с числом определяют число, противоположное ему () такое, что , и число, обратное ему такое, что . Например, для числа 5 противоположным будет число

(- 5), а обратным будет число . Аналогично, в теории матриц мы уже ввели понятие противоположной матрицы, ее обозначение (- А). Обратной матрицей для квадратной матрицы А порядка n называется матрица , если выполняются равенства

, (1)

где Е - единичная матрица порядка n.

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

Квадратная матрица называется невырожденной (неособенной), если det A ? 0. Если же det A = 0, то матрица А называется вырожденной (особенной).

Отметим, что невырожденная матрица А имеет единственную обратную матрицу . Докажем это утверждение.

Пусть для матрицы А существует две обратные матрицы ,, то есть

 и .

Тогда =М=М() =

= (М) ===.

Что и требовалось доказать.

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

=1 .

Делаем вывод, что определитель обратной матрицы есть число, обратное определителю исходной матрицы.

3.2 Алгоритм построения обратной матрицы свойства обратной матрицы

Покажем, что, если матрица А невырожденная, то для нее существует обратная матрица, и построим ее.

Пусть

А=, .

Составим матрицу из алгебраических дополнений элементов матрицы А:

.

Транспонируя ее, получим так называемую присоединенную матрицу:

.

Найдем произведение М. С учетом теоремы Лапласа и теоремы аннулирования:

М = =

= .

Делаем вывод:

. (2)

Алгоритм построения обратной матрицы.

1) Вычислить определитель матрицы А. Если определитель равен нулю, то обратной матрицы не существует.

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

3) Транспонируя матрицу , получить присоединенную матрицу .

4) По формуле (2) составить обратную матрицу .

5) По формуле (1) проверить вычисления.

Пример. Найти обратную матрицу.

а). Пусть А=. Так как матрица А имеет две одинаковые строки, то определитель матрицы равен нулю. Следовательно, матрица вырожденная, и для нее не существует обратной матрицы.

б). Пусть А=.

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

обратная матрица существует.

Составим матрицу из алгебраических дополнений

 = = ;

транспонируя матрицу , получим присоединенную матрицу

;

по формуле (2) найдем обратную матрицу

==.

Проверим правильность вычислений

=

 = .

Следовательно обратная матрица построена верна.

Свойства обратной матрицы

1. ;

2. ;

3. .

Литература

1. Жевняк Р.М., Карпук А.А. Высшая математика. - Мн.: Выш. шк., 1992.- 384 с.

2. Гусак А.А. Справочное пособие к решению задач: аналитическая геометрия и линейная алгебра. - Мн.: Тетрасистемс, 1998.- 288 с.

3. Марков Л.Н., Размыслович Г.П. Высшая математика. Часть 1. -Мн.: Амалфея, 1999. - 208 с.

4. Белько И.В., Кузьмич К.К. Высшая математика для экономистов. I семестр. М.: Новое знание, 2002.- 140 с.

5. Коваленко Н.С., Минченков Ю.В., Овсеец М.И. Высшая математика. Учеб. пособие.-Мн.: ЧИУП, 2003. - 32 с.