09 Обратные матрицы. Определитель. Метод Жордана для СЛУ и обратной матрицы. Метод Крамера.
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Найти высоту , опущенную из вершины
на сторону
, где
,
треугольника
.
Ясно, что . В то же самое время,
В то же время
- длина вектора есть корень из суммы квадратов его координат - это по
сути теорема Пифагора.
Следовательно, .
Ошибка.
Попробуйте повторить позже
Найти объем тетраэдра, натянутого на векторы ,
,
.
Поскольку объем тетраэдра, натянутого на векторы равен
от
объема параллелепипеда, натянутого на те же самые векторы
, то
искомый объем будет равен
Ошибка.
Попробуйте повторить позже
a) Сколько будет слагаемых в комбинаторной формуле вычисления определителя матрицы
?
b) А сколько из них будет со знаком ? А со знаком
?
a) Слагаемых будет столько, сколько существует различных перестановок на элементах
.
Каждая перестановка имеет вид
это следует из того, что , коль скоро она в
, обязана быть биекцией
Тогда получается, что для есть
вариантов, потому что единичку перестановка
может
отправить в любое число от
до
.
Далее, для есть
вариант, поскольку двойку
может отправить в любое число от
до
, за исключением того числа, в которое
отправила единичку.
Для , по аналогичным соображениям, возможны всего
варианта, потому что два уже
запрещены - те, в которые
отправила 1 и 2.
Тем самым, всего вариантов для заполнения нижней строки в двустрочной записи перестановки
будет
b) Слагаемое определении определителя через сумму по перестановкам будет со знаком плюс, если
оно соответствует четной перестановке (четное число инверсий), и со знаком минус, если оно
соответствует нечетной перестановке (нечетное число инверсий).
Итак, мы утверждаем, что в всегда чётных и нечётных перестановок поровну.
Обозначим через - это множество нечётных перестановок, а через
- множество
чётных перестановок.
Ясно, что
Теперь, пусть некоторая , то есть
- чётная перестановка. Возьмём теперь такую
,
которая меняет местами 1 и 2, а остальные элементы оставляет на месте:
Тогда мы утверждаем, что , то есть если умножить произвольную чётную перестановку
на
, то получится нечётная перестановка.
Действительно, это так:
Все инверсии, которые существовали между числами - сохранятся, так как очевидно, что
если была инверсия на паре
при
, то есть
то также и останется после применения :
Потому что вообще оставляет такие
на месте.
Если же одно из -ых равно 1 или 2, а другое больше 2, то, тем не менее,
просто поменяет их
местами, но инверсия, если она была, тоже сохранится. Действительно, пусть
,
и
-
это единица и двойка (не говорим, кто из них кто именно). Тогда если инверсия была, то это
значит, что было
. Но тогда:
Таким образом все инверсии, которые были между числами больше 2 и между одним из чисел
больше 2 и 1 или 2 - сохраняются.
Таким образом, остаются только сами и
. Если раньше между ними была инверсия, то у
и
её не будет, и наоборот, если её не было, то она появится. Таким образом,
количество инверсий у
и у
отличается на единичку. То есть если
- чётна, то
-
нечётна. (И верно и обратное, конечно).
На самом деле, мы с вами построили сейчас отображение
по правилу
Это отображение будет инъективно. Действительно, пусть , но это то же самое, что
. Тогда, коль скоро у каждой перестановки есть обратная, домножим это равенство на
справа, и получим, что
Следовательно, если , то
. Это и есть определение инъекции. А раз у нас есть
инъекция
то заведомо можно утверждать, что .
Наоборот, при помощи той же самой можно построить инъекцию
По правилу: если - произвольная нечетная перестановка, то
будет уже чётной,
поэтому правило для
будет таким:
Аналогично проверяется, что - инъекция из
в
, следовательно,
.
Таким образом получается, что , а с учётом того, что
, мы получаем,
что
И, таким образом, когда мы будем расписывать наш определитель в виде суммы по перестановкам, ровно половина слагаемых у нас будет с плюсом, и ровно половина - с минусом.
a)
b) И тех и других будет поровну
Ошибка.
Попробуйте повторить позже
a) Для матрицы выписать полностью явно формулу определителя
b) Вычислить по этой формуле определитель матрицы
a) Если выписывать явную формулу для определителя, то получится:
b) По приведенной выше формуле мы получим
a) ;
b)
Ошибка.
Попробуйте повторить позже
Выбрать значения так, чтобы произведение
входило в развернутую сумму для вычисления определителя матрицы со знаком
минус.
Ясно, что , поскольку первые индексы всегда пробегают все возможные строки, а на первых
индексах у нас стоят все числа, кроме двойки.
Далее, чтобы это слагаемое входило со знаком минус, нам нужно, чтобы перестановка
была нечётной.
У нас всего два варианта, либо , либо наоборот
, ибо числа внизу не должны
повторяться.
Если , то мы получаем такую перестановку:
И в ней будет 11 инверсий, то есть она будет нечетной, то есть это то, что нам нужно.
Следовательно, .
Нетрудно увидеть, что если бы , то в перестановке было бы 10 инверсий, и нам бы это не
подошло.
Ошибка.
Попробуйте повторить позже
Пользуясь определением через сумму по перестановкам, вычислить определитель матрицы
Итак, будем пользоваться определением определителя через сумму по перестановкам
По этой формуле для определителя получается
слагаемых, и не очень-то хотелось бы
выписывать их все.
Обратим внимание, что у нас четвертая строка почти вся состоит из нулей. А это означает, что у нас
автоматически занулятся слагаемые, которые имеют вид
Для тех , для которых
(то есть слагаемые из четвертой строчки и нечетвёртого
столбца). Таким образом, незанулятся только слагаемые для тех
, для которых
. Таких
слагаемых будет 6 штучек:
Ошибка.
Попробуйте повторить позже
Показать, что определитель матрицы
Как функция от
является многочленом. Этот многочлен называется
характеристическим многочленом матрицы
.
Когда мы будем расписывать определитель по явной формуле, у нас будет сумма из всевозможных
произведений этой матрицы, причем элементы будут в этом произведении каждый раз браться из
разных строк и из разных столбцов.
Таким образом, у нас эти будут умножаться либо на числа, либо сами на себя, а затем
складываться. Понятно, что при таких операциях может получиться только многочлен. Причём
очевидно, что это будет многочлен степени
.
Ошибка.
Попробуйте повторить позже
Поверив в то (а это, конечно, правда), что числа делятся на
, доказать,
ничего не считая, что и определитель матрицы
Тоже делится на .
Замечание. Ещё раз обговорим условия - в этой задаче для доказательства вообще
запрещены любые вычисления - начиная от непосредственного вычисления определителя,
заканчивая любыми арифметическими операциями.
Введём для удобства такую вот матрицу .
А теперь заметим, что
Далее, по свойству определителей,
поскольку (при развертывании определителя из 24 слагаемых у
только
одно слагаемое будет ненулевым - когда мы возьмём все элементы на главной диагонали).
Однако, коль скоро все указанные в условии числа делятся на 31, то для них, по определению
делимости, найдутся такие такие, что
Таким образом, мы можем написать, что
Теперь по свойству определителя, из последнего столбца определителя
можно вынести общий множитель
и получить:
Откуда видно, что делится на 31, поскольку он есть 31, умноженный на
, а
- это явно целое число, поскольку все элементы этой
матрицы целые, а при подсчете определителя мы только умножаем и складываем, а, значит, если все
элементы матрицы целые, то и её определитель цел.
Таким образом, наш исходный получается равен целому определителю
, умноженному на 31. И мы всё доказали.
Ошибка.
Попробуйте повторить позже
Пусть - матрица размера
, в которую мы записали по строкам все цифры
десятичной записи числа
, начиная от 100000000000, заканчивая 100004090505 знаком.
Пусть - матрица размера
, в которую мы записали по строкам даты рождения
всех когда-либо живших немецких, французских, английских и русских математиков, в
честь которых названа хоть одна теорема хоть в одном курсе по алгебре или мат. анализу.
Чему равняется ?
Ясно, что , аналогично,
ранг не превосходит минимума из
количества строк и столбцов.
Тогда, по неравенству о рангах,
А при этом матрица имеет размеры
. Но её ранг не больше 2022. Следовательно
- матрица неполного ранга, а, значит,
.
Замечание. Если вы пытались это посчитать, расписав ,
проверьте, точно ли вы помните, что такое определитель и у каких матриц его
можно считать...
Ошибка.
Попробуйте повторить позже
Шесть нулей и три единицы случайно записывают в матрицу . С какой вероятностью у
получившейся матрицы будет ненулевой определитель?
Определитель состоит из суммы из 6 слагаемых:
Ясно, что если у нас в распоряжении только три единицы и шесть нулей, то только
одно из этих слагаемых может быть отлично от нуля. Таким образом, подходящих нам
исходов будет 6 - в зависимости от того, какое из этих шести слагаемых будет равно единице.
А сколько у нас всего исходов? Столько, сколько существует всего матриц , в которые мы
записываем шесть нулей и три единицы. Таким матриц будет столько, сколькими способами можно на
9 мест поставить куда-то три единицы, то есть
Таким образом, искомая вероятность равна
Ошибка.
Попробуйте повторить позже
Вычислить определитель
разлагая его по третьей строке.
По формуле разложения определителя по третьей строке получаем:
Ошибка.
Попробуйте повторить позже
Из формулы разложения определителя по -ому столбцу:
вывести формулу разложения определителя по -ой строке:
Допустим, уже доказана формула разложения по ому столбцу
Тогда, с учётом того, что определитель при транспонировании не меняется:
Здесь мы воспользовались тем, что минор в транспонированной матрице равен
-минору в
исходной матрице, то есть тем фактом, что
.
Но в конце мы и получаем в точности формулу разложения по строке, осталось лишь заменить индекс
суммирования на , а фиксированный индекс наоборот на
, но от переименования индексов здесь
ничего не зависит, потому что
и
в данном контексте являются независимыми индексами. Формула
доказана.
Ошибка.
Попробуйте повторить позже
1. Какая матрица будет обратной для элементарной матрицы ?
2. Какая матрица будет обратной для элементарной матрицы ?
3. Какая матрица будет обратной для элементарной матрицы ?
1. Прямая проверка показывает, что
то есть элементарная матрица, отвечающая Э.П. I всегда обратна сама себе.
Например, при можно проверить, что
Проверяем:
2. Прямая проверка показывает, что
то есть элементарная матрица, отвечающая Э.П. II имеет в качестве обратной тоже
элементарную матрицу, отвечающую Э.П. II, но только умножающую -ую строку на
.
Например, при можно проверить, что
Проверяем:
3. Прямая проверка показывает, что
Например, при можно проверить, что
1. ;
2. ;
3.
Ошибка.
Попробуйте повторить позже
Решить матричное уравнение
Разумеется, одним из способов является решение в два шага.
1. Находим
при помощи метода Жордана.
2. Ясно, что тогда
Однако, мы не пойдем таким путем, потому что разнесение на два шага хотя и точно сработает, но
это слишком лобовой и поэтому слишком долгий метод решения. На самом деле, эти два
шага можно, в некотором смысле, соединить в один, модифицировав алгоритм Жордана.
А именно, в алгоритме Жордана мы для нахождения приписываем справа к
единичную
матрицу и пытаемся, делая Э.П. строк, привести матрицу
к единичной.
Но что если мы припишем к матрице справа не единичную, а сразу матрицу
?
И будем как обычно пытаться привести , стоящую слева, к единичной, не особо обращая внимания
на то, что происходит справа?
Но тогда, когда мы приведем матрицу слева к единичной, что у нас будет стоять справа?
Применение Э.П. строк, как мы помним, равносильно домножению на некоторые элементарные
матрицы.
Итак, пусть последовательность домножений на элементарные матрицы приводит матрицу
к единичной, то есть
или, что то же самое,
Но тогда мы легко можем понять, что у нас будет стоять справа.
Изначально там стояла матрица и мы к ней применяли те же самые элементарные
преобразования, что и к
.
То есть, мы её тоже домножили на .
Следовательно, в результате такого алгоритма справа у нас будет стоять
То есть вообще-то искомая матрица .
Ура, теперь мы поняли, как мы можем быстро решать такую задачу!
Реализуем эту идею на практике:
Следовательно,
Ошибка.
Попробуйте повторить позже
При каких значениях матрица
является обратной для матрицы
Одним из способов решения является просто нахождение обратной матрицы к матрице
по методу Жордана.
Но в данном случае этот способ решения будет неоправданно долгим и трудным. Напротив, все гораздо
проще, и эти можно найти практически устно.
Ведь нам уже по факту подарили почти всю обратную матрицу, кроме последнего столбца.
Итак, давайте распишем, что от нас хотят по определению.
От нас хотят, чтобы
В частности, например, можно ограничиться и одним только равенством
И раз эти матрицы должны быть равны, то в них должны быть равны все элементы.
Посмотрим, например, на элемент с индексом в левой части равенства и в правой.
В левой части равенства элемент с индексом по формуле умножения матриц равен
А в правой части равенства он равен элементу единичной матрицы, то есть единичке. Таким
образом, имеем право приравнять:
Откуда мгновенно .
Аналогично, рассматривая элемент с индексом получим
Откуда .
Аналогично, рассматривая элемент с индексом получим
Откуда .
,
,
Ошибка.
Попробуйте повторить позже
Доказать, что если какой-то из столбцов квадратной матрицы размера
является линейной комбинацией остальных столбцов (как векторов в
), то
.
Обозначим столбцы матрицы за
.
Нам дано, что какой-то из столбцов является линейной комбинацией остальных.
Пусть это . То есть существуют такие
(
число, поскольку здесь
нет
-го), что:
Но тогда
В итоге, каждый определитель занулится, поскольку в каждом определителе будет
два одинаковых столбца - а именно ый столбец как раз совпадет с каким-то из
уже имеющихся.
Следовательно,
равен сумме нулей. То есть нулю. Что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Вычислить
Ошибка.
Попробуйте повторить позже
Доказать формулы Крамера, то есть что если , то тогда СЛУ
имеет единственное решение , где
(где представляет из себя определитель матрицы
, в которой
ый
столбец заменен на столбец свободных коэффициентов
.)
Действительно, решением системы является столбец . Далее, можно
использовать формулы для обратной матрицы
.
Теперь осталось лишь внимательно проследить за тем, что получится в результате
. Давайте проделаем это.
Действительно, , то есть
ый элемент столбца решений получается, когда мы
ую строку матрицы
умножаем на столбец свободных коэффициентов
:
(Напомним, что в матрице стоят алгебраические дополнения к элементам
транспонированной матрицы
) Но ясно, что сумма
представляет из себя не что иное, как разложение определителя как раз таки
по
-ому столбцу (который был заменен на столбец
в исходной матрице
).
Таким образом, формулы Крамера полностью доказаны.
Ошибка.
Попробуйте повторить позже
Найти обратную матрицу для
при помощи присоединенной матрицы.
Вначале находим присоединенную матрицу . Транспонируем вначале матрицу
:
Теперь вычисляем алгебраические дополнения к элементам матрицы :
Получается, что присоединенная матрица у нас будет такая:
И теперь, поскольку , то получаем ответ для обратной матрицы:
Ошибка.
Попробуйте повторить позже
Найти обратную матрицу к матрице
Фактически, нам нужно просто приписать справа к единичную матрицу:
И далее элементарными преобразованиями строк привести матрицу , стоящую слева, к
единичной (сами Э.П. применяются, конечно, ко всей матрице
целиком!). В конце
получится:
Следовательно,