Теорема Кронекера-Капелли. Критерий совместности системы линейных алгебраических уравнений. СЛАУ совместна тогда и только тогда, когда ранг матрицы системы равен рангу расширенной матрицы. То есть, если в СЛАУ r=rangA=rang˜A, где rangA — обозначает ранг матрицы системы, а rang˜A — ранг расширенной матрицы, тогда данная матрица совместна, причём система имеет единственное решение, если rangA=rang˜A=n, где n — число неизвестных, и бесконечное число решений, если rangA=rang˜A<n.
Скажем, что данная система совместна, в таком случае существуют числа (c1,c2,…,cn), которые являются частным решением матрицы, при подстановке их в систему. Мы получим равенство:
Следовательно, вектор-столбец свободных членов является линейной комбинацией столбцов (a1,a2,…,an), матрицы A. Так же, мы можем заметить, что сколько бы мы раз не приписали или не вычеркнули строку(столбец), от этого не меняется ранг системы, из этого следует, что rangA=rang˜A.
Достаточность. Если rangA=rang˜A, то это означает, что у них один и тот же базисный минор. Тогда, согласно теореме о базисном миноре, последний столбец свободных членов – линейная комбинация столбцов базисного минора.
Следствие:
rangA=rang˜A=n единственное решение.
rangA=rang˜A<n бесконечное число решений.
Количество главных переменных равно рангу системы.
Примеры решения задач
Рассмотрим примеры задач, в которых используеться критерий совместности rangA=rang˜A.
{2x1—x2+5x3=43x1—x2+5x3=05x1—2x2+3x3=2Решение
Сначала, приведем матрицу к треугольному виду.
(2−1543−1505−232)∼(−1254−1350−2532)∼
(−1154010−401−7−7)∼(−1154010−400−7−3)
Элементарные преобразования не меняют ранга матриц, поэтому в результате выполненных действий, получены эквивалентные исходнной матрице системы A=(−11501000−7) и расширенная матрица системы ˜A=(−1154010−400−7−3)
rangA=rang˜A=3 значит, по теореме Кронекера-Капелли система совместна.
Определение. Пусть задана матрица A. Тогда замена строк на столбцы, а столбцов — на строки называется транспонированием по отношению к A. Так, если A=(a11a12⋯a1na21a22⋯a2n⋯⋯⋯⋯am1am2⋯amn), то транспонированная матрица будет выглядеть: AT=(a11a21⋯am1a12a22⋯am2⋯⋯⋯⋯a1na2n⋯amn).
Свойства транспонирования матриц
(AT)T=A
Пусть задана матрица A=(a11a12⋯a1na21a22⋯a2n⋯⋯⋯⋯am1am2⋯amn).
Проведём транспонирование матрицы A: AT=(a11a21⋯am1a12a22⋯am2⋯⋯⋯⋯a1na2n⋯amn).
Проведём повторное транспонирование матрицы AT и получаем: (AT)T=(a11a12⋯a1na21a22⋯a2n⋯⋯⋯⋯am1am2⋯amn).
Следовательно, (AT)T=A, что и требовалось доказать.
(λ⋅A)T=λ⋅AT
Пусть задана матрица A=(a11a12⋯a1na21a22⋯a2n⋯⋯⋯⋯am1am2⋯amn).
Проведём транспонирование матрицы A: AT=(a11a21⋯am1a12a22⋯am2⋯⋯⋯⋯a1na2n⋯amn).
Докажем, что (λ⋅A)T=λ⋅AT. Найдём (λ⋅A)Tλ⋅(a11⋅a12⋯a1na21a22⋯a2n⋯⋯⋯⋯am1am2⋯amn)=(a11⋅λa12⋅λ⋯a1n⋅λa21⋅λa22⋅λ⋯a2n⋅λ⋯⋯⋯⋯am1⋅λam2⋅λ⋯amn⋅λ).
Проведём транспонирование и получаем: (λ⋅A)T=(a11⋅λa21⋅λ⋯am1⋅λa12⋅λa22⋅λ⋯am2⋅λ⋯⋯⋯⋯a1n⋅λa2n⋅λ⋯amn⋅λ).
Найдём λ⋅AT:λ⋅AT=(a11⋅λa21⋅λ⋯am1⋅λa12⋅λa22⋅λ⋯am2⋅λ…⋯⋯⋯a1n⋅λa2n⋅λ⋯amn⋅λ).
Следовательно, (λ⋅A)T=λ⋅AT, что и требовалось доказать.
(A+B)T=AT+BT
Пусть A=(a11a12⋯a1na21a22⋯a2n⋯⋯⋯⋯am1am2⋯amn),B=(b11b12⋯b1nb21b22⋯b2n⋯⋯⋯⋯bn1bn2⋯bmn).
Проведём транспонирование матриц: AT=(a11a21⋯am1a12a22⋯am2⋯⋯⋯⋯a1na2n⋯amn),BT=(b11b21⋯bm1b12b22⋯bm2⋯⋯⋯⋯b1nb2n⋯bmn).
Найдём (A+B)T и AT+BT: A+B=(a11+b11a12+b12⋯a1n+b1na21+b21a21+b21⋯a2n+b2n⋯⋯⋯⋯am1+bm1am1+bm1⋯amn+bmn). (A+B)T=(a11+b11a21+b21⋯a1n+b1na12+b12a22+b22⋯a2n+b2n⋯⋯⋯⋯a1n+b1na2n+b2n⋯amn+bmn). AT+BT=(a11+b11a21+b21⋯a1n+b1na12+b12a22+b22⋯a2n+b2n⋯⋯⋯⋯a1n+b1na2n+b2n⋯amn+bmn).
Получаем, что (A+B)T=AT+BT, что и требовалось доказать.
(A⋅B)T=AT⋅BT
Пусть A=(a11a12⋯a1na21a22⋯a2n⋯⋯⋯⋯am1am2⋯amn),B=(b11b12⋯b1nb21b22⋯b2n⋯⋯⋯⋯bm1bm2⋯bmn).
Проведём транспонирование матриц: AT=C=(c11c21⋯cm1c12c22⋯cm2⋯⋯⋯⋯c1nc2n⋯cmn),BT=D=(d11d21⋯dm1d12d22⋯dm2⋯⋯⋯⋯d1nd2n⋯dmn).
так, что сji=aij,dβα=bαβ AB=F=(f11f12⋯f1nf21f22⋯f2n⋯⋯⋯⋯fm1fm2⋯fmn). ATBT=G=(g11g21⋯gm1g12g22⋯gm2⋯⋯⋯⋯g1ng2n⋯gmn).
Тогда, fij=k∑α=1aiαbαj, gji=k∑α=1djαcαi=k∑α=1bαjaiα=k∑α=1=aiαbαj=fij.
Итак, gji=fij при всех i=1,2,…,m и j=1,2,…,n, следовательно, G=FT, т. е. ATBT=(AB)T.
Примеры решения задач
Пример 1
Дана матрица A=(5261498310). Составить матрицу AT.
Решение
AT=(5261498310)T=(5182436910).
[свернуть]
Пример 2
Дана матрица A=(110972301114). Найти (2⋅A)T.
Решение
Воспользуемся вторым свойством транспонирования матриц, где (λ⋅A)T=λ⋅AT, получим: 2⋅AT=2(117102311904)=(2214204621808).
[свернуть]
Пример 3
Даны две матрицы A=(5182436910) и B=(117102311904). Найти (A+3⋅B)T.
Решение
Найдём сумму матриц A и B: A+3⋅B=(5182436910)+(332130693327012)=(2822112733633922).
Даны две матрицы A=(5111612564345102251956143323344589) и B=(121015113220221482511341641112). Найти (A⋅B)T.
Решение
Решим задачу двумя способами, используя 4 свойство.
Метод №1. Найдём преобразование матриц A и B:A⋅B=(5111612434510519563323344556221489)⋅(121015111632202201482115110412)= =(5384301151157920818495651066216624501277733659043421618373851892054747594313882206).
«G» — множество, на котором определена соответствующая БАО;
«g1», «g2», «g3», «g′» — элементы множества G.
Ассоциативность
В общем виде аксиома ассоциативности группы выглядит так: ∀g1,g2,g3∈G(g1∗g2)∗g3=g1∗(g2∗g3). Запишем ее для множества матриц размеров m×n:∀A,B,C∈Mm×n(P)(A+B)+C=A+(B+C).
В общем виде аксиома нейтрального элемента группы выглядит так: ∃e∈G:∀g∈Gg∗e=e∗g=g. Запишем ее для множества матриц размеров m×n:∃O∈Mm×n(P):∀A∈Mm×n(P)A+O=O+A=A. В нашем случае нейтральным элементом является нулевая матрица O∈Mm×n(P).
В общем виде аксиома симметричных элементов группы выглядит так: ∀g∈G∃g′∈G:g∗g′=g′∗g=e. Запишем ее для множества матриц размеров m×n:∀A∈Mm×n(P)∃(−A)∈Mm×n(P):A+(−A)=−A+A=O.
Действительно, брать произведения элементов по одному из каждой строки и по одному из каждого столбца исходной матрицы — то же самое, что делать это по отношению к транспонированнойматрице. Далее, номера строк для исходной матрицы — это номера столбцов для транспонированной, а номера столбцов исходной матрицы — суть номера строк транспонированной. Поэтому каждое слагаемое входит в состав определителя исходной матрицы и определителя транспонированной с одним и тем же множителем.
Действительно, по Теореме №2 о транспозиции — транспозиция меняет четность элементов перестановки. При перестановке двух строк, каждый элемент меняет знак, значит и сам определитель меняет знак.
Пусть на \alpha умножаются все элементы i-той строки. Каждый член определителя содержит 1 элемент из этой строки, поэтому всякий член определителя приобретает общий множитель \alpha, а это значит что и сам определитель умножается на \alpha.
[свернуть]
Свойство 4
Если все элементы i-той строки (столбца) матрицы определителя разбить в сумму двух строк: a_{i j}=b_{j}+c_{j}, \quad j=1, \ldots, n то и саму матрицу можно будет разбить на две, у которых все строки (столбцы) кроме i-той — такие же как у первой матрицы, а i-тая строка состоит из b_{j} в первой матрице определителя, и из элементов c_{j} во втором.
Доказательство
Действительно, любой член матрицы определителя можно представить в виде произведения: \begin{aligned}a_{1 \alpha_{1}} a_{2 \alpha_{2}} \ldots a_{i \alpha_{i}} \ldots a_{n \alpha_{n}}&=a_{1 \alpha_{1}} a_{2 \alpha_{2}} \ldots\left(b_{\alpha_{i}}+c_{\alpha_{i}}\right)\ldots a_{n \alpha_{n}}=\\&=a_{1 \alpha_{1}} a_{2 \alpha_{2}} \ldots b_{\alpha_{i}} \ldots a_{n \alpha_{n}}+a_{1\alpha_{1}} a_{2 \alpha_{2}} \ldots c_{\alpha_{i}} \ldots a_{n\alpha_{n}}.\end{aligned}. Объединяя первые слагаемые этого выражения, мы получим матрицу определителя, где в первой матрице в i-той строке вместо элементов a_{i j} стоят элементыb_{j} . Соответственно вторые слагаемые составляют матрицу определителя, с элементами c_{j} таким образом: \begin{vmatrix}a_{11} & a_{12} & \cdots & a_{1 n} \\a_{1}+c_{1} & b_{2}+c_{2} & \dots & b_{n}+c_{n} \\a_{n 1} & a_{n 2} & \dots & a_{n n}\end{vmatrix}==\begin{vmatrix}a_{11} & a_{12} & \dots a_{1 n} \\b_{1} & b_{2} & \dots & b_{n} \\a_{n 1} & a_{n 2} & \dots & a_{nn}\end{vmatrix}+\begin{vmatrix}a_{11} & a_{12} & \dots & a_{1 n} \\c_{1} & c_{2} &\dots & c_{n} \\a_{n 1} & a_{n 2} & \dots & a_{n n}\end{vmatrix}.
Действительно, так как определитель есть произведение одного из элементов строки (столбца) его матрицы, то у первого столбца единственным будет a_{11}, во втором столбце — a_{22} т.к. у первой строки a_{11}, третьим элементом — только a_{33}, далее аналогично.
Этот определитель можно представить в виде суммы определителей (по 4 свойству), в итоге получится 2 определителя, один из которых будет равен нулю, из-за равенства двух строк, а второй будет исходным.
Итак, прежде чем перейти к методу использования теоремы Лапласа, необходимо рассмотреть несколько важных определений.
Определение Пусть дана матрицаA \in M_{m \times n}(P). Возьмем в ней любые i строк и i столбцов, причем i > 0 и i меньше минимального из m и n. Элементы, которые располагаются на пересечении выбранных строк и столбцов, образуют матрицу i-го порядка. Определитель этой матрицы называется минором i-го порядка исходной матрицы. Если порядок минора равен единице, то минор является элементом исходной матрицы.
Пример 1 Пусть дан определитель четвертого порядка \begin{vmatrix} -8 & -5 & 2 & 7 \\ 1 & 3 & -9 & -3 \\ 4 & -4 & -1 & 9 \\ -5 & 3 & -4 & 8 \end{vmatrix}. Выберем, например, 2-й и 4-й столбцы и 1-ю и 3-ю строки. Таким образом, элементы, стоящие на пересечении этих столбцов и строк образуют минор2-го порядка: \begin{vmatrix} -5 & 7 \\ -4 & 9 \end{vmatrix} = -45 + 28 = -17. Также мы можем выбрать любые строки и столбцы для получения миноров.
Определение Пусть дана матрицаA \in M_m(P). Выберем в ней минор i-го порядка, такой, что i > 0 и i < m. Если мы вычеркнем строки и столбцы матрицы, в которых лежит данный минор, то мы получим новую матрицу. Определитель новой матрицы называется дополнительным минором к исходному.
Пример 2 Возьмем определитель и его минор 2-го порядка из первого примера. Дополнительным минором к нему будет \begin{vmatrix} 1 & -9 \\ -5 & -4 \end{vmatrix} = -4-45 = -49.
Определение Пусть дана матрицаA \in M_m(P). Выберем в ней минор i-го порядка, такой, что i > 0 и i < m. Если мы умножим дополнительный к нему минор на число (-1)^{S_1 + S_2}, в котором S_1 — это сумма номеров строк, а S_2 — это сумма номеров столбцов, в которых лежит исходный минор, то мы получим алгебраическое дополнение к этому минору.
Пример 3 Пусть дан определитель пятого порядка \begin{vmatrix} -7 & 5 & 3 & -2 & 6 \\ 9 & -8 & 7 & 3 & -4 \\ 0 & 1 & -1 & -5 & 9 \\ -3 & 2 & -2 & -4 & -8 \\ 4 & 9 & 5 & -1 & 1 \end{vmatrix}. Выберем в нем, к примеру 1-ю и 4-ю строки, а также 2-й и 5-й столбцы. Тогда на пересечении выбранных строк и столбцов образуется минор2-го порядка \begin{vmatrix} 5 & 6 \\ 2 & -8 \end{vmatrix} = -40-12 = -52.Дополнительным минором к нему будет \begin{vmatrix} 9 & 7 & 3 \\ 0 & -1 & -5 \\ 4 & 5 & -1 \end{vmatrix} = 9 + 0-140 + 12 + 0 + 225 = 106. Наконец, алгебраическим дополнением к минору будет \begin{vmatrix} 9 & 7 & 3 \\ 0 & -1 & -5 \\ 4 & 5 & -1 \end{vmatrix} \cdot (-1)^{(1 + 4) + (2 + 5)} = 106 \cdot (-1)^{12} = 106, где степени -1 являются таковыми, так как элементы минора исходного определителя располагаются в 1-й и 4-й строках и во 2-м и в 5-м столбцах.
Итак, разобравшись с приведенными выше определениями, можно приступать к формулированию теоремы.
Теорема (Лапласа) Если в определителе порядка m выбрать i строк (столбцов), где i > 0 и i < m, то данный определитель будет равняться сумме миноров, которые расположены в этих строках (столбцах), умноженных на их алгебраические дополнения. Эти миноры будут иметь i-й порядок.
Таким образом, благодаря теореме Лапласа, при вычислении определителя m-го порядка, мы можем вычислить несколько определителей более малых порядков (i), что упрощает нам задачу.
Как мы могли заметить, для нахождения определителя 4-го порядка нам понадобилось искать лишь определители 2-го порядка, что намного легче. Разберем этот пример подробнее.
Для начала, вторым множителем каждого слагаемого является минор, расположенный в выбранных в начале решения строках. Мы берем все существующие в данных строках миноры. Далее, первым множителем каждого слагаемого является (-1) в степени, которая является суммой номеров строк и столбцов, в которых расположен соответствующий минор. Третьим же множителем является дополнительный минор к соответствующему. Произведение дополнительного минора и (-1) в соответствующей степени образует алгебраическое дополнение к своему минору.
Таким образом мы расписываем все миноры, находящиеся в выбранных строках, умножаем на их алгебраические дополнения и суммируем полученные произведения. После этого решаем полученное выражение, приходя к ответу, который является значением определителя исходной матрицы.
Личный конспект, составленный на основе лекций Г. С. Белозерова.
Теорема Лапласа
Лимит времени: 0
Навигация (только номера заданий)
0 из 5 заданий окончено
Вопросы:
1
2
3
4
5
Информация
Тест на проверку знаний о теореме Лапласа и определений, необходимых для формулировки данной теоремы.
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 5
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Средний результат
Ваш результат
Рубрики
Нет рубрики0%
1
2
3
4
5
С ответом
С отметкой о просмотре
Задание 1 из 5
1.
Количество баллов: 1
Что означают числа S_1 и S_2 в множителе алгебраического дополнения, который имеет вид (-1)^{S_1 + S_2}?
Задание 2 из 5
2.
Количество баллов: 3
Дан определитель \begin{vmatrix} 5 & 7 & 1 & 0 \\ 4 & 9 & -2 & 1 \\ -7 & 11 & 8 & -4 \\ 0 & 2 & -9 & 4\end{vmatrix}. При условии, что мы раскладываем его по 1-й и 3-й строкам, каковыми могут быть дополнительные миноры?
Задание 3 из 5
3.
Количество баллов: 4
Вставьте пропущенные слова. В каждом пропуске может быть до двух слов включительно. Также ответом могут служить цифры.
Выберем в произвольной матрице 2 строки и 2 столбца. Тогда элементы, стоящие на пересечении этих строк образуют матрицу (второго, 2, 2-го, 2-о, другого, 2-ого) порядка. Определитель этой матрицы называется (минором, минор, мінор, мінором) 2-го порядка исходной матрицы. Если мы вычеркнем все строки и столбцы, в которых лежит данный минор, то мы получим новую (матрицу, матрица, матрицю). Определитель этой матрицы называется (дополнительным минором, дополнительный минор, додатковий мінор, додатковим мінором, доп. минором, доп. минор, доп минор, доп минором, дод. мінором, дод. мінор, дод мінором, дод мінор) к исходному.
Задание 4 из 5
4.
Количество баллов: 7
Расположите определители в порядке возрастания их значений.