Свойство 2

Свойство 3. det (AB) = detA×detB

Свойство 4. Если в квадратной матрице поменять местами какие-либо две строки (или столбца), то определитель матрицы изменит знак, не изменившись по абсолютной величине.

Свойство 5. При умножении столбца (или строки) матрицы на число ее определитель умножается на это число.

Свойство 6. Если в матрице А строки или столбцы линейно зависимы, то ее определитель равен нулю.

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

Свойство 7. Если матрица содержит нулевой столбец или нулевую строку, то ее определитель равен нулю. (Данное утверждение очевидно, т.к. считать определитель можно именно по нулевой строке или столбцу.)

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

Свойство 9. Если для элементов какой- либо строки или столбца матрицы верно соотношение: d = d₁ ± d₂, e = e₁ ± e₂, f = f₁ ± f₂, то верно:

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

= -5 + 18 + 6 = 19.

Пример:. Даны матрицы А = , В = . Найти det (AB).

1-й способ: det A = 4 – 6 = -2; det B = 15 – 2 = 13; det (AB) = det A ×det B = -26.

2- й способ: AB = , det (AB) = 7×18 - 8×19 = 126 –

– 152 = -26.

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

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

1) умножение строки на число, отличное от нуля;

2) прибавление к одной строке другой строки;

3) перестановка строк;

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

5) транспонирование;

Те же операции, применяемые для столбцов, также называются элементарными преобразованиями.

С помощью элементарных преобразований можно к какой-либо строке или столбцу прибавить линейную комбинацию остальных строк (столбцов).

Миноры.

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

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

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

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

Алгебраические дополнения.

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

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

Теорема Лапласа. Если выбрано s строк матрицы с номерами i₁, …,i_s, то определитель этой матрицы равен сумме произведений всех миноров, расположенных в выбранных строках на их алгебраические дополнения.

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

Определим операцию деления матриц как операцию, обратную умножению.

Определение. Если существуют квадратные матрицы Х и А, удовлетворяющие условию:

XA = AX = E,

где Е - единичная матрица того же самого порядка, то матрица Х называется обратной к матрице А и обозначается А^-1.

Каждая квадратная матрица с определителем, не равным нулю имеет обратную матрицу и притом только одну.

Рассмотрим общий подход к нахождению обратной матрицы.

Исходя из определения произведения матриц, можно записать:

AX = E Þ , i=(1,n), j=(1,n),

e_ij = 0, i ¹ j,

e_ij = 1, i = j.

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

,

Решив эту систему, находим элементы матрицы Х.

Пример. Дана матрица А = , найти А^-1.

Таким образом, А^-1= .

Однако, такой способ не удобен при нахождении обратных матриц больших порядков, поэтому обычно применяют следующую формулу:

,

где М_ji - дополнительный минор элемента а_ji матрицы А.

Пример. Дана матрица А = , найти А^-1.

det A = 4 - 6 = -2.

M₁₁=4; M₁₂= 3; M₂₁= 2; M₂₂=1

x₁₁= -2; x₁₂= 1; x₂₁= 3/2; x₂₂= -1/2

Таким образом, А^-1= .

Cвойства обратных матриц.

Укажем следующие свойства обратных матриц:

1) (A^-1)^-1 = A;

2) (AB)^-1 = B^-1A^-1

3) (A^T)^-1 = (A^-1)^T.

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

Для запуска программы дважды щелкните на значке

В открывшемся окне программы введите элементы матрицы по строкам и нажмите Enter.

Примечание: Для запуска программы необходимо чтобы на компьютере была установлена программа Maple (Ó Waterloo Maple Inc.) любой версии, начиная с MapleV Release 4.

Пример. Дана матрица А = , найти А³.

А² = АА = = ; A³ = = .

Отметим, что матрицы и являются перестановочными.

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

= -1

= -1(6 – 4) – 1(9 – 1) + 2(12 – 2) = -2 – 8 + 20 = 10.

= = 2(0 – 2) – 1(0 – 6) = 2.

= = 2(-4) – 3(-6) = -8 + 18 = 10.

Значение определителя: -10 + 6 – 40 = -44.

Базисный минор матрицы.

Ранг матрицы.

Как было сказано выше, минором матрицы порядка s называется определитель матрицы, образованной из элементов исходной матрицы, находящихся на пересечении каких - либо выбранных s строк и s столбцов.

Определение. В матрице порядка m´n минор порядка r называется базисным, если он не равен нулю, а все миноры порядка r+1 и выше равны нулю, или не существуют вовсе, т.е. r совпадает с меньшим из чисел m или n.

Столбцы и строки матрицы, на которых стоит базисный минор, также называются базисными.

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

Определение. Порядок базисного минора матрицы называется рангом матрицы и обозначается Rg А.

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

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

Надо отметить, что равные матрицы и эвивалентные матрицы - понятия совершенно различные.

Теорема. Наибольшее число линейно независимых столбцов в матрице равно числу линейно независимых строк.

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

Пример. Определить ранг матрицы.

~ ~ , RgA = 2.

Пример: Определить ранг матрицы.

~ ~ ~ , Rg = 2.

Пример. Определить ранг матрицы.

~ , Þ Rg = 2.

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

Теорема о базисном миноре.

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

Таким образом, ранг произвольной матрицы А равен максимальному числу линейно независимых строк (столбцов) в матрице.

Если А- квадратная матрица и detA = 0, то по крайней мере один из столбцов – линейная комбинация остальных столбцов. То же самое справедливо и для строк. Данное утверждение следует из свойства линейной зависимости при определителе равном нулю.

Матричный метод решения систем линейных уравнений.

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

Метод удобен для решения систем невысокого порядка.

Метод основан на применении свойств умножения матриц.

Пусть дана система уравнений:

Составим матрицы: A = ; B = ; X = .

Систему уравнений можно записать:

A×X = B.

Сделаем следующее преобразование: A^-1×A×X = A^-1×B,

т.к. А^-1×А = Е, то Е×Х = А^-1×В

Х = А^-1×В

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

Пример. Решить систему уравнений:

Х = , B = , A =

Найдем обратную матрицу А^-1.

D = det A = 5(4-9) + 1(2 – 12) – 1(3 – 8) = -25 – 10 +5 = -30.

M₁₁ = = -5; M₂₁ = = 1; M₃₁ = = -1;

M₁₂ = M₂₂ = M₃₂ =

M₁₃ = M₂₃ = M₃₃ =

A^-1 = ;

Cделаем проверку:

A×A^-1 = =E.

Находим матрицу Х.

Х = = А^-1В = × = .

Итого решения системы: x =1; y = 2; z = 3.

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

Метод Крамера.

(Габриель Крамер (1704-1752) швейцарский математик)

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

Для этого необходимо, чтобы определитель матрицы системы не равнялся 0.

det A ¹ 0;

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

Теорема. (Правило Крамера):

Теорема. Система из n уравнений с n неизвестными

в случае, если определитель матрицы системы не равен нулю, имеет единственное решение и это решение находится по формулам:

x_i = D_i/D, где

D = det A, а D_i – определитель матрицы, получаемой из матрицы системы заменой столбца i столбцом свободных членов b_i.

D_i =

Пример.

A = ; D₁= ; D₂= ; D₃= ;

x₁ = D₁/detA; x₂ = D₂/detA; x₃ = D₃/detA;

Пример. Найти решение системы уравнений:

D = = 5(4 – 9) + (2 – 12) – (3 – 8) = -25 – 10 + 5 = -30;

D₁ = = (28 – 48) – (42 – 32) = -20 – 10 = -30.

x₁ = D₁/D = 1;

D₂ = = 5(28 – 48) – (16 – 56) = -100 + 40 = -60.

x₂ = D₂/D = 2;

D₃ = = 5(32 – 42) + (16 – 56) = -50 – 40 = -90.

x₃ = D₃/D = 3.

Как видно, результат совпадает с результатом, полученным выше матричным методом.

Если система однородна, т.е. b_i = 0, то при D¹0 система имеет единственное нулевое решение x₁ = x₂ = … = x_n = 0.

При D = 0 система имеет бесконечное множество решений.

Для самостоятельного решения:

; Ответ: x = 0; y = 0; z = -2.

Решение произвольных систем линейных уравнений.

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

Определение. Система m уравнений с n неизвестными в общем виде записывается следующим образом:

, (1)

где a_ij – коэффициенты, а b_i – постоянные. Решениями системы являются n чисел, которые при подстановке в систему превращают каждое ее уравнение в тождество.

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

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

Определение. Для системы линейных уравнений вида (1) матрица

А = называется матрицей системы, а матрица

А^*= называется расширенной матрицей системы

Определение. Если b₁, b₂, …,b_m = 0, то система называется однородной. однородная система всегда совместна.

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

К элементарным преобразованиям относятся:

1)Прибавление к обеим частям одного уравнения соответствующих частей другого, умноженных на одно и то же число, не равное нулю.

2)Перестановка уравнений местами.

3)Удаление из системы уравнений, являющихся тождествами для всех х.

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

(условие совместности системы)

(Леопольд Кронекер (1823-1891) немецкий математик)

Теорема: Система совместна (имеет хотя бы одно решение) тогда и только тогда, когда ранг матрицы системы равен рангу расширенной матрицы.

RgA = RgA^*.

Очевидно, что система (1) может быть записана в виде:

x₁ + x₂ + … + x_n

Поиск по сайту: