Доказательство (условия совместности системы)

Свойства определителей

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

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

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

· Если переставить две строки (столбца) матрицы, то её определитель умножается на (-1).

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

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

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

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

· Определитель произведения квадратных матриц одинакового порядка равен произведению их определителей (cм. также формулу Бине-Коши).

· С использованием индексной нотации определитель матрицы 3×3 может быть определён с помощью символа Леви-Чивита из соотношения:

Доказательство (условия совместности системы) - student2.ru

4.Определитель треугольной матрицы равен произведению элементов на её главной диагонали
5. Теорема о разложении определителя по элементам строки. Определитель матрицы A равен сумме произведений элементов строки на их алгебраические дополнения:

Доказательство (условия совместности системы) - student2.ru .

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

Доказательство (условия совместности системы) - student2.ru .

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

Докажем к примеру, что сумма произведений элементов второго столбца на соответствующие алгебраические дополнения элементов первого столбца равна нулю. Пусть задан определитель (1.5). Тогда имеем разложение (1.6)

Доказательство (условия совместности системы) - student2.ru .

Алгебраические дополнения Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru не зависят от самих элементов Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru . Поэтому если в обеих частях равенства (1.6) числа Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru заменить произвольными числами Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru , то получится верное равенство

Доказательство (условия совместности системы) - student2.ru (1.10).

Если теперь в равенстве (1.10) в качестве Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru взять элементы Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru второго столбца, то согласно свойству (3) определитель с двумя одинаковыми столбцами равен нулю.

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

Доказательство (условия совместности системы) - student2.ru
8. Для системы Доказательство (условия совместности системы) - student2.ru линейных уравнений с Доказательство (условия совместности системы) - student2.ru неизвестными (над произвольным полем)

Доказательство (условия совместности системы) - student2.ru

с определителем матрицы системы Доказательство (условия совместности системы) - student2.ru , отличным от нуля, решение записывается в виде

Доказательство (условия совместности системы) - student2.ru

(i-ый столбец матрицы системы заменяется столбцом свободных членов).

9. Сложение и вычитание матриц - одно из простейших действий над ними, т.к. необходимо сложить или отнять соответствующие элементы двух матриц. Главное помнить, что складывать и вычитать можно только матрицыодинаковых размеров, т.е. тех, у которых одинаковое количество строк и одинаковое количество столбцов.
Сумма двух матриц:

Доказательство (условия совместности системы) - student2.ru

Разность двух матриц:

Доказательство (условия совместности системы) - student2.ru

10. Определение. Произведением скаляра Доказательство (условия совместности системы) - student2.ru на матрицу Доказательство (условия совместности системы) - student2.ru называется матрица Доказательство (условия совместности системы) - student2.ru тех же размеров, что и матрица А, где элементы Доказательство (условия совместности системы) - student2.ru определяются равенством Доказательство (условия совместности системы) - student2.ru , для всех значений индексов.

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

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

Пример.

Доказательство (условия совместности системы) - student2.ru Доказательство (условия совместности системы) - student2.ru .

12.

Возведением квадратной матрицы A в степень n, где n - натуральное число, называется произведение матрицы A саму на себя n раз. Причем,
A 0 = E,
где E - единичная матрица. Определитель произведения квадратных матриц равен произведению определителей сомножителей, то есть Доказательство (условия совместности системы) - student2.ru . 13. Транспонированная матрица — матрица Доказательство (условия совместности системы) - student2.ru , полученная из исходной матрицы Доказательство (условия совместности системы) - student2.ru заменой строк на столбцы. Формально, транспонированная матрица для матрицы Доказательство (условия совместности системы) - student2.ru размеров Доказательство (условия совместности системы) - student2.ru — матрица Доказательство (условия совместности системы) - student2.ru размеров Доказательство (условия совместности системы) - student2.ru , определённая как AT[i, j] = A[j, i]. Например, Доказательство (условия совместности системы) - student2.ru и Доказательство (условия совместности системы) - student2.ru Свойства транспонированных матриц · Доказательство (условия совместности системы) - student2.ru Дважды транспонированная матрица А равна исходной матрице А. · Доказательство (условия совместности системы) - student2.ru Транспонированная сумма матриц равна сумме транспонированных матриц. · Доказательство (условия совместности системы) - student2.ru Транспонированное произведение матриц равно произведению транспонированных матриц, взятых в обратном порядке. · Доказательство (условия совместности системы) - student2.ru При транспонировании можно выносить скаляр. · Доказательство (условия совместности системы) - student2.ru Определитель транспонированной матрицы равен определителю исходной матрицы. 14. Обра́тная ма́трица — такая матрица A−1, при умножении на которую, исходная матрица A даёт в результате единичную матрицу E: Доказательство (условия совместности системы) - student2.ru Способы нахождения обратной матрицы Если матрица обратима, то для нахождения обратной матрицы можно воспользоваться одним из следующих способов: [править]Точные (прямые) методы [править]Метод Гаусса—Жордана Возьмём две матрицы: саму A и единичную E. Приведём матрицу A к единичной матрице методом Гаусса—Жордана. После применения каждой операции к первой матрице применим ту же операцию ко второй. Когда приведение первой матрицы к единичному виду будет завершено, вторая матрица окажется равной A−1. При использовании метода Гаусса первая матрица будет умножаться слева на одну из элементарных матриц Доказательство (условия совместности системы) - student2.ru (трансвекцию или диагональную матрицу с единицами на главной диагонали, кроме одной позиции): Доказательство (условия совместности системы) - student2.ru . Доказательство (условия совместности системы) - student2.ru . Вторая матрица после применения всех операций станет равна Доказательство (условия совместности системы) - student2.ru , то есть будет искомой. Сложность алгоритма — Доказательство (условия совместности системы) - student2.ru . [править]С помощью матрицы алгебраических дополнений Доказательство (условия совместности системы) - student2.ru Доказательство (условия совместности системы) - student2.ru — транспонированная матрица алгебраических дополнений; Полученная матрица A−1 и будет обратной. Сложность алгоритма зависит от сложности алгоритма расчета определителя Odet и равна O(n²)·Odet. Иначе говоря, обратная матрица равна единице, делённой на определитель исходной матрицы и умноженной на транспонированную матрицу алгебраических дополнений элементов исходной матрицы. 15. Свойства обратной матрицы · Доказательство (условия совместности системы) - student2.ru , где Доказательство (условия совместности системы) - student2.ru обозначает определитель. · Доказательство (условия совместности системы) - student2.ru для любых двух обратимых матриц Доказательство (условия совместности системы) - student2.ru и Доказательство (условия совместности системы) - student2.ru . · Доказательство (условия совместности системы) - student2.ru где Доказательство (условия совместности системы) - student2.ru обозначает транспонированную матрицу. · Доказательство (условия совместности системы) - student2.ru для любого коэффициента Доказательство (условия совместности системы) - student2.ru . · Если необходимо решить систему линейных уравнений Доказательство (условия совместности системы) - student2.ru , (b — ненулевой вектор) где Доказательство (условия совместности системы) - student2.ru — искомый вектор, и если Доказательство (условия совместности системы) - student2.ru существует, то Доказательство (условия совместности системы) - student2.ru . В противном случае либо размерность пространства решений больше нуля, либо их нет вовсе. 16. Ма́тричный метод решения (метод решения через обратную матрицу) систем линейных алгебраических уравнений с ненулевым определителем состоит в следующем. Пусть дана система линейных уравнений с Доказательство (условия совместности системы) - student2.ru неизвестными (над произвольным полем): Доказательство (условия совместности системы) - student2.ru Тогда её можно переписать в матричной форме: Доказательство (условия совместности системы) - student2.ru , где Доказательство (условия совместности системы) - student2.ru — основная матрица системы, Доказательство (условия совместности системы) - student2.ru и Доказательство (условия совместности системы) - student2.ru — столбцы свободных членов и решений системы соответственно: Доказательство (условия совместности системы) - student2.ru Умножим это матричное уравнение слева на Доказательство (условия совместности системы) - student2.ru — матрицу, обратную к матрице Доказательство (условия совместности системы) - student2.ru : Доказательство (условия совместности системы) - student2.ru Так как Доказательство (условия совместности системы) - student2.ru , получаем Доказательство (условия совместности системы) - student2.ru . Правая часть этого уравнения даст столбец решений исходной системы. Условием применимости данного метода (как и вообще существования решения неоднородной системы линейных уравнений с числом уравнений, равным числу неизвестных) является невырожденность матрицы A. Необходимым и достаточным условием этого является неравенство нулю определителя матрицы A: Доказательство (условия совместности системы) - student2.ru . Для однородной системы линейных уравнений, то есть когда вектор Доказательство (условия совместности системы) - student2.ru , действительно обратное правило: система Доказательство (условия совместности системы) - student2.ru имеет нетривиальное (то есть ненулевое) решение только если Доказательство (условия совместности системы) - student2.ru . Такая связь между решениями однородных и неоднородных систем линейных уравнений носит название альтернативы Фредгольма. 17. Рангом матрицы Доказательство (условия совместности системы) - student2.ru называется наибольший из порядков миноров матрицы Доказательство (условия совместности системы) - student2.ru , отличных от нуля. Ранг нулевой матрицы считается равным нулю. Единое, стандартное, обозначение ранга матрицы отсутствует. Итак, первым методом нахождения ранга матрицы является метод перебора миноров. Этот способ основан на определении ранга матрицы.Пусть нам требуется найти ранг матрицы А порядка .Вкратце опишем алгоритм решения этой задачи способом перебора миноров.Если есть хотя бы один элемент матрицы, отличный от нуля, то ранг матрицы как минимум равен единице (так как есть минор первого порядка, не равный нулю).Далее перебираем миноры второго порядка. Если все миноры второго порядка равны нулю, то ранг матрицы равен единице. Если существует хотя бы один ненулевой минор второго порядка, то переходим к перебору миноров третьего порядка, а ранг матрицы как минимум равен двум.Аналогично, если все миноры третьего порядка равны нулю, то ранг матрицы равен двум. Если существует хотя бы один минор третьего порядка, отличный от нуля, то ранг матрицы как минимум равен трем, а мы преступаем к перебору миноров четвертого порядка.И так далее.Отметим, что ранг матрицы не может превышать наименьшего из чисел p и n. Метод Гаусса нахождения ранга матрицы Пусть дана матрица Доказательство (условия совместности системы) - student2.ru размеров Доказательство (условия совместности системы) - student2.ru . Для нахождения ее ранга нужно выполнить следующие действия. 1. Привести матрицу к ступенчатому виду (см. метод Гаусса). 2. В полученной матрице вычислить количество Доказательство (условия совместности системы) - student2.ru ненулевых строк. Это число равно рангу матрицы Доказательство (условия совместности системы) - student2.ru .   18. Определение. Матрицы, полученные в результате элементарного преобразования, называются эквивалентными. Определение Элементарными преобразованиями строк называют: · перестановка местами любых двух строк матрицы; · умножение любой строки матрицы на константу Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru ; · прибавление к любой строке матрицы другой строки. В некоторых курсах линейной алгебры перестановка строк матрицы не выделяется в отдельное элементарное преобразование в силу того, что перестановку местами любых двух строк матрицы можно получить, используя умножение любой строки матрицы на константу Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru и прибавление к любой строке матрицы другой строки, умноженной на константу Доказательство (условия совместности системы) - student2.ru , Доказательство (условия совместности системы) - student2.ru . Аналогично определяются элементарные преобразования столбцов. Элементарные преобразования обратимы. Обозначение Доказательство (условия совместности системы) - student2.ru указывает на то, что матрица Доказательство (условия совместности системы) - student2.ru может быть получена из Доказательство (условия совместности системы) - student2.ru путём элементарных преобразований (или наоборот). 19. Теоре́ма Кро́некера — Капе́лли — критерий совместности системы линейных алгебраических уравнений:
Система линейных алгебраических уравнений совместна тогда и только тогда, когда ранг её основной матрицы равен рангу её расширенной матрицы, причём система имеет единственное решение, если ранг равен числу неизвестных, и бесконечное множество решений, если ранг меньше числа неизвестных.

Доказательство (условия совместности системы)

[править]Необходимость

Пусть система совместна. Тогда существуют числа Доказательство (условия совместности системы) - student2.ru такие, что Доказательство (условия совместности системы) - student2.ru . Следовательно, столбец Доказательство (условия совместности системы) - student2.ru является линейной комбинацией столбцов Доказательство (условия совместности системы) - student2.ru матрицы Доказательство (условия совместности системы) - student2.ru . Из того, что ранг матрицы не изменится, если из системы его строк (столбцов) вычеркнуть или приписать строку (столбец), которая является линейной комбинацией других строк (столбцов) следует, что Доказательство (условия совместности системы) - student2.ru .

[править]Достаточность

Пусть Доказательство (условия совместности системы) - student2.ru . Возьмем в матрице Доказательство (условия совместности системы) - student2.ru какой-нибудь базисный минор. Так как Доказательство (условия совместности системы) - student2.ru , то он же и будет базисным минором и матрицы Доказательство (условия совместности системы) - student2.ru . Тогда согласно теореме о базисном миноре последний столбец матрицы Доказательство (условия совместности системы) - student2.ru будет линейной комбинацией базисных столбцов, то есть столбцов матрицы Доказательство (условия совместности системы) - student2.ru . Следовательно, столбец свободных членов системы является линейной комбинацией столбцов матрицы Доказательство (условия совместности системы) - student2.ru .

20.

21.Метод Гаусса: путём элементарных преобразований привести систему к треугольному виду и
выразить все получившиеся базисные переменные через небазисные и построить фундаментальную систему решений, либо, если все переменные являются базисными, то выразить в численном виде единственное решение системы линейных уравнений.

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

если в числовом кольце результат деления для Z-ых элементов содержится в том же кольце, то такое кольцо называется числовым полем

1. Свойства: Доказательство (условия совместности системы) - student2.ru — коммутативность сложения;

2. Доказательство (условия совместности системы) - student2.ru — ассоциативность сложения;

3. Доказательство (условия совместности системы) - student2.ru — существование нейтрального элемента относительно сложения;

4. Доказательство (условия совместности системы) - student2.ru — существование противоположного элемента относительно сложения;

5. Доказательство (условия совместности системы) - student2.ru — ассоциативность умножения (некоторые авторы не требуют выполнения этой аксиомы[1])

6. Доказательство (условия совместности системы) - student2.ru — дистрибутивность.

23. Ко́мпле́ксные[1] чи́сла (устар. Мнимые числа[2]), — расширение поля вещественных чисел, обычно обозначается Доказательство (условия совместности системы) - student2.ru . Любое комплексное число может быть представлено как формальная сумма Доказательство (условия совместности системы) - student2.ru , где Доказательство (условия совместности системы) - student2.ru и Доказательство (условия совместности системы) - student2.ru — вещественные числа, Доказательство (условия совместности системы) - student2.ru — мнимая единица[3].

· Сложение

Доказательство (условия совместности системы) - student2.ru

· Умножение

Доказательство (условия совместности системы) - student2.ru

24. Деление

Доказательство (условия совместности системы) - student2.ru

Если комплексное число Доказательство (условия совместности системы) - student2.ru , то число Доказательство (условия совместности системы) - student2.ru называется сопряжённым (или комплексно сопряжённым) к Доказательство (условия совместности системы) - student2.ru (обозначается также Доказательство (условия совместности системы) - student2.ru ). На комплексной плоскости сопряжённые числа получаются зеркальным отражением друг друга относительно вещественной оси. Модуль сопряжённого числа такой же, как у исходного, а их аргументы отличаются знаком.

25. Теорема. Пусть Доказательство (условия совместности системы) - student2.ru , z – комплексная переменная. Тогда квадратное уравнение Доказательство (условия совместности системы) - student2.ru имеет ровно два корня (они могут быть равными), которые можно найти по формуле: Доказательство (условия совместности системы) - student2.ru .

26. Та запись комплексного числа, которую мы использовали до сих пор, называется алгебраической формой записи комплексного числа. Часто бывает удобна немного другая форма записи комплексного числа. Пусть Доказательство (условия совместности системы) - student2.ru и φ = arg z. Тогда по определению аргумента имеем:

Доказательство (условия совместности системы) - student2.ru

Отсюда получается

z = a + bi = r(cos φ + i sin φ).

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

Наши рекомендации