Связь определителя системы линейных уравнений
Системой m линейных уравнений с n неизвестными называется система вида
где aij и bi (i=1,…,m; b=1,…,n) – некоторые известные числа, а x1,…,xn – неизвестные. В обозначении коэффициентов aij первый индекс iобозначает номер уравнения, а второй j – номер неизвестного, при котором стоит этот коэффициент.
Коэффициенты при неизвестных будем записывать в виде матрицы , которую назовём матрицей системы.
Числа, стоящие в правых частях уравнений, b1,…,bm называются свободными членами.
Совокупность n чисел c1,…,cn называется решением данной системы, если каждое уравнение системы обращается в равенство после подстановки в него чисел c1,…,cn вместо соответствующих неизвестных x1,…,xn.
Наша задача будет заключаться в нахождении решений системы. При этом могут возникнуть три ситуации:
- Система может иметь единственное решение.
- Система может иметь бесконечное множество решений. Например, . Решением этой системы является любая пара чисел, отличающихся знаком.
- И третий случай, когда система вообще не имеет решения. Например, , если бы решение существовало, то x1 + x2 равнялось бы одновременно нулю и единице.
Система линейных уравнений, имеющая хотя бы одно решение, называется совместной. В противном случае, т.е. если система не имеет решений, то она называется несовместной.
Рассмотрим способы нахождения решений системы.
МАТРИЧНЫЙ МЕТОД РЕШЕНИЯ СИСТЕМ ЛИНЕЙНЫХ УРАВНЕНИЙ
Матрицы дают возможность кратко записать систему линейных уравнений. Пусть дана система из 3-х уравнений с тремя неизвестными:
Рассмотрим матрицу системы и матрицы столбцы неизвестных и свободных членов
т.е. в результате произведения мы получаем левые части уравнений данной системы. Тогда пользуясь определением равенства матриц данную систему можно записать в виде
или короче A∙X=B.
Здесь матрицы A и B известны, а матрица X неизвестна. Её и нужно найти, т.к. её элементы являются решением данной системы. Это уравнение называют матричным уравнением.
Пусть определитель матрицы отличен от нуля |A| ≠ 0. Тогда матричное уравнение решается следующим образом. Умножим обе части уравнения слева на матрицу A -1 , обратную матрице A: . Поскольку A -1 A = E и E∙X = X, то получаем решение матричного уравнения в виде X = A -1 B.
Заметим, что поскольку обратную матрицу можно найти только для квадратных матриц, то матричным методом можно решать только те системы, в которых число уравнений совпадает с числом неизвестных. Однако, матричная запись системы возможна и в случае, когда число уравнений не равно числу неизвестных, тогда матрица A не будет квадратной и поэтому нельзя найти решение системы в виде X = A -1 B.
Примеры. Решить системы уравнений.
Найдем матрицу обратную матрице A.
,
Таким образом, x = 3, y = – 1.
Решите матричное уравнение: XA+B=C, где
Выразим искомую матрицу X из заданного уравнения.
Найдем матрицу А -1 .
Решите матричное уравнение AX+B=C, где
Из уравнения получаем .
Следовательно,
Рассмотрим систему 3-х линейных уравнений с тремя неизвестными:
Определитель третьего порядка, соответствующий матрице системы, т.е. составленный из коэффициентов при неизвестных,
называется определителем системы.
Составим ещё три определителя следующим образом: заменим в определителе D последовательно 1, 2 и 3 столбцы столбцом свободных членов
Тогда можно доказать следующий результат.
Теорема (правило Крамера). Если определитель системы Δ ≠ 0, то рассматриваемая система имеет одно и только одно решение, причём
Доказательство. Итак, рассмотрим систему 3-х уравнений с тремя неизвестными. Умножим 1-ое уравнение системы на алгебраическое дополнение A11 элемента a11, 2-ое уравнение – на A21 и 3-е – на A31:
Сложим эти уравнения:
Рассмотрим каждую из скобок и правую часть этого уравнения. По теореме о разложении определителя по элементам 1-го столбца
.
Далее рассмотрим коэффициенты при x2:
Аналогично можно показать, что и .
Наконец несложно заметить, что
Таким образом, получаем равенство: .
Следовательно, .
Аналогично выводятся равенства и , откуда и следует утверждение теоремы.
Таким образом, заметим, что если определитель системы Δ ≠ 0, то система имеет единственное решение и обратно. Если же определитель системы равен нулю, то система либо имеет бесконечное множество решений, либо не имеет решений, т.е. несовместна.
Примеры. Решить систему уравнений
Решите систему уравнений при различных значениях параметра p:
Система имеет единственное решение, если Δ ≠ 0.
. Поэтому .
- При
- При p = 30 получаем систему уравнений которая не имеет решений.
- При p = –30 система принимает вид и, следовательно, имеет бесконечное множество решений x=y,y Î R.
Ранее рассмотренные методы можно применять при решении только тех систем, в которых число уравнений совпадает с числом неизвестных, причём определитель системы должен быть отличен от нуля. Метод Гаусса является более универсальным и пригоден для систем с любым числом уравнений. Он заключается в последовательном исключении неизвестных из уравнений системы.
Вновь рассмотрим систему из трёх уравнений с тремя неизвестными:
.
Первое уравнение оставим без изменения, а из 2-го и 3-го исключим слагаемые, содержащие x1. Для этого второе уравнение разделим на а21 и умножим на –а11, а затем сложим с 1-ым уравнением. Аналогично третье уравнение разделим на а31 и умножим на –а11, а затем сложим с первым. В результате исходная система примет вид:
Теперь из последнего уравнения исключим слагаемое, содержащее x2. Для этого третье уравнение разделим на , умножим на и сложим со вторым. Тогда будем иметь систему уравнений:
Отсюда из последнего уравнения легко найти x3, затем из 2-го уравнения x2 и, наконец, из 1-го – x1.
При использовании метода Гаусса уравнения при необходимости можно менять местами.
Часто вместо того, чтобы писать новую систему уравнений, ограничиваются тем, что выписывают расширенную матрицу системы:
и затем приводят её к треугольному или диагональному виду с помощью элементарных преобразований.
К элементарным преобразованиям матрицы относятся следующие преобразования:
- перестановка строк или столбцов;
- умножение строки на число, отличное от нуля;
- прибавление к одной строке другие строки.
Примеры: Решить системы уравнений методом Гаусса.
Вернувшись к системе уравнений, будем иметь
Выпишем расширенную матрицу системы и сведем ее к треугольному виду.
Вернувшись к системе уравнений, несложно заметить, что третье уравнения системы будет ложным, а значит, система решений не имеет.
Разделим вторую строку матрицы на 2 и поменяем местами первый и третий столбики. Тогда первый столбец будет соответствовать коэффициентам при неизвестной z, а третий – при x.
Вернемся к системе уравнений.
Из третьего уравнения выразим одну неизвестную через другую и подставим в первое.
Таким образом, система имеет бесконечное множество решений.
Определители второго и третьего порядков и их свойства с примерами решения
Содержание:
Определители второго порядка:
Под определителем (детерминантом) второго порядка понимается выражение
Числа
Формула (1) дает правило «развертывания» определителя второго порядка, а именно: определитель второго порядка равен разности произведений его элементов первой и второй диагоналей.
Определители второго порядка
С помощью определителей второго порядка удобно решать линейные системы двух уравнений с двумя неизвестными:
Такую линейную систему, в которой свободные члены находятся в правых частях, для определенности мы будем называть стандартной.
Под решением системы (2) понимается всякая пара чисел (х, у), обращающая эту систему в тождество. Если существует только одна такая пара, то решение называется единственным. Аналогично вводится понятие решения для системы, содержащей п неизвестных .
Для нахождения решений системы (2) применим метод исключения. Умножая первое уравнение системы (2) на , а второе — на — и складывая, будем иметь
Аналогично, умножая первое уравнение системы (2) на а2 второе — на складывая, получаем
Введем определитель системы
а также дополнительные определители
Заметим, что дополнительные определители Dx и Dy получаются из определителя системы D путем замены коэффициентов при указанном неизвестном на соответствующие свободные члены.
Уравнения (3) и (4) принимают вид
Если , то отсюда получаем, что система (2) имеет единственное решение
Замечание. Если определитель D = 0, то система (2) или не имеет решений (т. е. несовместна), или имеет бесконечно много решений (т. е. система неопределенная).
Пример:
Решение:
Имеем
Отсюда на основании формул Крамера (6) получаем
Геометрически решение (95; 110) представляет собой точку пересечения прямых (7).
Система двух однородных уравнений с тремя неизвестными
Рассмотрим однородную систему
Эта система всегда совместна, так как, очевидно, имеет нулевое решение х = 0, у = 0, z = 0. Однако интересно найти не н у л е в ы е решения (х, у, z) системы (1). Пусть, например, .
Тогда систему (1) можно переписать в виде
Отсюда, предполагая, что , получаем
Введем в рассмотрение матрицу коэффициентов системы (1)
Определители второго порядка , которые получаются из матрицы (5) путем вычеркивания соответствующего столбца, называются ее минорами. Таким образом, имеем
Используя эти обозначения, уравнения (3) и (4) можно переписать в следующем виде:
Равенства (6), очевидно, справедливы также и для нулевого решения.
Таким образом, имеем следующее правило: неизвестные однородной системы (1) пропорциональны соответствующим минорам ее матрицы коэффициентов, взятым с надлежащими знаками.
Обозначая через t коэффициент пропорциональности для отношений (6), получим полную систему решений системы (1):
При выводе формул (7) мы предполагали, что . Однако, как легко убедиться, формулы (7) будут справедливы, если любой (хотя бы один) из миноров отличен от нуля.
Замечание. Если все миноры равны нулю, то система (1) требует особого рассмотрения.
Пример:
Решение:
Составляя матрицу коэффициентов
находим ее миноры: На основании формулы (7) полная система решений системы (8) имеет вид
где
Простейшее ненулевое решение системы (1), получающееся при t — 1, есть х = -3, у = 18, z = 13.
Определители третьего порядка
Числа называются элементами определителя; они расположены в трех строках и трех столбцах его (ряды определителя). ,
Раскрывая определители второго порядка (миноры) в формуле (1) и собирая члены с одинаковыми знаками, получаем, что определитель третьего порядка представляет собой знакопеременную сумму шести слагаемых:
из которых три берутся со знаком плюс, а три — со знаком минус.
Пример:
Решение:
Используя формулу (1), имеем В дальнейшем мы укажем более удобные способы вычисления определителей третьего порядка.
Определение: Под минором элемента определителя третьего порядка понимается определитель младшего (второго) порядка, получающийся из данного определителя в результате вычеркивания строки и столбца, содержащих данный элемент.
Например, для определителя (3) минором его элемента 2, стоящего во второй строке и в первом столбце, является определитель В дальнейшем для краткости будем говорить, что элемент определителя третьего порядка занимает четное место, если сумма номеров его строки и его столбца есть число четное, и нечетное место, если эта сумма есть число нечетное.
Определение: Алгебраическим дополнением (минором со знаком) элемента определителя третьего порядка называется минор этого элемента, взятый со знаком плюс, если элемент занимает четное место у и со знаком минус, если его место нечетное.
Таким образом, если М есть минор элемента определителя, a i и j — соответственно номер строки и номер столбца, на пересечении которых находится данный элемент, то его алгебраическое дополнение есть
Например, для элемента с2 определителя (1), находящегося во второй строке и в третьем столбце, его алгебраическое дополнение есть
Соответствующие знаки, приписываемые при этом минорам элементов определителя, можно задать таблицей
В дальнейшем алгебраические дополнения элементов определителя с буквенными элементами условимся обозначать соответствующими прописными (большими) буквами.
Теорема Разложения: Определитель третьего порядка равен сумме парных произведений элементов какого-либо ряда его на их алгебраические дополнения (под рядом понимается строка или столбец).
Таким образом, для определителя (1) справедливы шесть разложений:
Легко проверить, что формулы (4) и (5) дают одно и то же выражение (2), принятое за определение.
Замечание. С помощью формул типа (4) или (5), по индукции, можно ввести определители высших порядков.
Основные свойства определителей
При формулировках мы не будем указывать порядок определителя, так как эти свойства справедливы для определителей любого порядка.
I. (Равноправность строк и столбцов.) Определитель не меняет своего значения при замене всех его строк соответствующими столбцами, т. е.
Действительно, разлагая первый определитель по элементам первой строки, а второй — по элементам первого столбца, в силу теоремы разложения мы получим один и тот же результат.
II. При перестановке двух параллельных рядов определителя его модуль сохраняет прежнее значение, а знак меняется на обратный.
Пусть, например, в определителе переставлены первая и вторая строки; тогда получим определитель Разлагая определитель D по элементам второй строки и учитывая, что при перестановке строк изменилась четность мест этих элементов, будем иметь
Аналогичное положение получается и в других случаях.
Следствие 1. Определитель, у которого два параллельных ряда одинаковы, равен нулю.
В самом деле, пусть, например,
Переставляя первую и вторую строки определителя, в силу теоремы получим определитель -D. Но очевидно, эта операция не изменяет определитель D, поэтому -D = D и, следовательно, D = 0.
Следствие 2. Сумма парных произведений элементов какого-либо ряда определителя на алгебраические дополнения соответствующих элементов параллельного ряда равна нулю, т. е. для определителя (2) имеем и т. д., а также и т. д. (всего таких соотношений можно написать двенадцать).
Левые части всех соотношений (3) и (4) представляют собой разложения соответствующих определителей третьего порядка, содержащих два одинаковых параллельных ряда и, следовательно, равны нулю. Например, (здесь разложение нужно производить во второй строке!).
III. Общий множитель элементов какого-либо ряда определителя можно выносить за знак определителя, т. е.
Это свойство непосредственно вытекает из разложения определителя по элементам соответствующего ряда.
Следствие 1. Если все элементы какого-либо ряда определителя равны нулю, то определитель равен нулю.
Следствие 2. Если элементы какого-либо ряда определителя пропорциональны соответствующим элементам параллельного ряда его, то определитель равен нулю.
Например, имеем
IV. Если элементы какого-либо ряда определителя представляют собой суммы двух слагаемых, то определитель может быть разложен на сумму двух соответствующих определителей.
Следствие. Величина определителя не изменится, если /с элементам какого-либо ряда его прибавить (или отнять) числа, пропорциональные соответствующим элементам параллельного ряда с одним и тем же коэффициентом пропорциональности (так называемые «элементарные преобразования определителя»).
Рассмотрим, например, определители
Используя свойства IV и III, будем иметь Элементарные преобразования дают удобный способ вычисления определителей.
Пример:
Вычислить симметричный определитель
Решение:
Вычитая из второй строки удвоенную первую строку, а из третьей строки утроенную первую строку, получим
Система трех линейных уравнений
Рассмотрим стандартную линейную систему трех уравнений
свободные члены которых находятся в правых частях. Под решением системы понимается всякая тройка чисел (х, у, г), удовлетворяющая этой системе. Введем определитель системы
а также дополнительные определители
Последовательно умножая уравнения системы (1) на алгебраические дополнения соответствующих элементов первого столбца определителя D, получим
Отсюда, применяя теорему разложения и следствие 2 к свойству II, будем иметь , т. е. Используя алгебраические дополнения элементов второго и третьего столбцов определителя D, аналогично находим
Если определитель системы , то из уравнений (5) и получаем единственное решение системы (1): Таким образом, имеем правило Крамера: неизвестные стандартной линейной системы (1) с ненулевым определителем представляют собой дроби, знаменатель которых есть определитель системы, а числители равны соответствующим дополнительным определителям.
Замечание. Если определитель системы D = 0, то система (1) или несовместна, или имеет бесконечно много решений.
Пример:
Решение:
Вычитая из второго столбца удвоенный первый столбец, а из третьего столбца утроенный первый столбец, получим
Для дополнительных определителей находим следующие значения: Используя правило Крамера, получаем решение системы:
Однородная система трех линейных уравнений
Рассмотрим линейную систему
свободные члены которой равны нулю. Такая линейная система называется однородной.
Однородная линейная система (1), очевидно, допускает нулевое решение х = 0, у = 0, z = 0 и, следовательно, всегда совместна.
Интересно выяснить случаи, когда однородная система имеет ненулевые решения.
Теорема: Линейная однородная система трех линейных уравнений с тремя неизвестными имеет ненулевые решения тогда и только тогда, когда ее определитель равен нулю, т. е.
Доказательство: Пусть система (1) имеет ненулевое решение Если определитель ее то на основании формул Крамера система (1) обладает только нулевым решением, что противоречит предположению. Следовательно, D = 0.
Пусть D = 0. Тогда линейная система (1) либо несовместна, либо имеет бесконечно много решений. Но наша система совместна, так как имеется нулевое решение. Следовательно, система (1) допускает бесконечно много решений, в том числе и ненулевые.
Замечание. Укажем способ нахождения ненулевых решений однородной системы (1) в типичном случае.
Пусть определитель системы D = 0, но не все его миноры второго порядка равны нулю.
Мы будем предполагать, что
(этого всегда можно добиться с помощью перестановки уравнений и изменения нумерации неизвестных).
Рассмотрим подсистему, состоящую из двух первых уравнений системы (1):
В силу решения этой системы имеют вид
где — соответствующие алгебраические дополнения. Подставляя эти числа в неиспользованное третье уравнение системы (1) и учитывая, что определитель D = 0, получаем
Следовательно, формулы (5), где t произвольно, дают все решения полной системы (1).
Геометрически уравнения системы (1) представляют собой уравнения трех плоскостей в пространстве Oxyz. Если определитель , то эти плоскости пересекаются в единственной точке 0(0, 0, 0); если же определитель D =0, но не все его миноры второго порядка равны нулю, то в нашем случае эти плоскости пересекаются по прямой линии (как «листы книги»). Без рассмотрения оставлен случай слияния трех плоскостей.
Система линейных уравнений с многими неизвестными. Метод Гаусса
Рассмотрим систему линейных уравнений с неизвестными:
Здесь для коэффициентов системы введена двойная индексация, а именно: у коэффициента первый индекс i обозначает номер уравнения, а второй j — номер неизвестного. Для удобства выкладок свободные члены обозначены через
Наиболее простой метод решения системы (1) — это метод исключения. Мы изложим его в форме схемы Гаусса (обычно называемой методом Гаусса).
Пусть для определенности — ведущий коэффициент». Разделив все члены первого уравнения на аи, будем иметь приведенное уравнение
Рассмотрим i-e уравнение системы (1):
Для исключения xx из этого уравнения умножим приведенное уравнение (2) на ап и полученное уравнение вычтем из уравнения (4). Тогда будем иметь
Таким образом, получаем укороченную систему
коэффициенты которой определяются по формулам (6).
Если ее ведущий коэффициент , то из системы (7) указанным выше приемом можно исключить неизвестное . причем новые коэффициенты будут вычисляться по формулам типа (6) и т.д. Эта часть вычислений называется прямым ходом метода Гаусса.
Для определения неизвестных Рассмотрим приведенные уравнения
Отсюда последовательно находим неизвестные (обратный ход) Заметим, что операции (9) выполняются без деления.
Если очередной ведущий коэффициент окажется равным нулю, то уравнения системы следует переставить надлежащим образом. Возможно, конечно, что система (1) несовместна. Тогда, естественно, метод Гаусса не допускает реализации.
Пример:
Методом Гаусса решить систему
Решение:
Составляем таблицу коэффициентов системы (10), рассматривая свободные члены ее как коэффициенты при :
Последний столбец содержит суммы элементов соответствующих строк таблицы; этот столбец служит для контроля вычислений.
Считая отмеченный коэффициент 2 ведущим и деля на этот коэффициент все элементы первой строки таблицы (включая и входящий в столбец ), получаем коэффициенты первого приведенного уравнения (см. табл.). Текущий контроль вычислений осуществляется тем, что элемент из столбца равен сумме всех остальных элементов этой строки. Этим заканчивается заполнение раздела I таблицы.
Далее, используя формулу (6), подсчитываем коэффициенты укороченной системы, не содержащей неизвестного xv Для наглядности будем называть строку, содержащую коэффициенты приведенного уравнения, приведенной, а столбец, содержащий ведущий элемент раздела, — ведущим. Тогда на основании формулы (6) справедливо правило: преобразованные коэффициенты схемы Гаусса, равны ее прежним коэффициентам минус произведение «проекций» их на соответствующие приведенную строку и ведущий столбец таблицы. Пользуясь этим, заполняем раздел II таблицы, включая контрольный столбец. Для удобства вычислении в качестве ведущего коэффициента раздела П берем элемент 8 (см. табл.).
Аналогично производится заполнение раздела III таблицы. Этим заканчивается прямой ход схемы Гаусса.
Неизвестные последовательно определяются из приведенных уравнений
(обратный ход). Результаты обратного хода помещены в разделе IV таблицы.
Заметим, что если в качестве свободных членов взять элементы столбца , то для неизвестных получатся значения превышающие на единицу значения неизвестных Этим обеспечивается заключительный контроль вычислений.
Рекомендую подробно изучить предметы: |
|
Ещё лекции с примерами решения и объяснением: |
- Метод Гаусса — определение и вычисление
- Прямая линия на плоскости и в пространстве
- Плоскость в трехмерном пространстве
- Функция одной переменной
- Ряды в математике
- Дифференциальные уравнения с примерами
- Обратная матрица — определение и нахождение
- Ранг матрицы — определение и вычисление
При копировании любых материалов с сайта evkova.org обязательна активная ссылка на сайт www.evkova.org
Сайт создан коллективом преподавателей на некоммерческой основе для дополнительного образования молодежи
Сайт пишется, поддерживается и управляется коллективом преподавателей
Whatsapp и логотип whatsapp являются товарными знаками корпорации WhatsApp LLC.
Cайт носит информационный характер и ни при каких условиях не является публичной офертой, которая определяется положениями статьи 437 Гражданского кодекса РФ. Анна Евкова не оказывает никаких услуг.
VMath
Инструменты сайта
Основное
Навигация
Информация
Действия
Содержание
Системы линейных уравнений
Обозначим через $ \mathbb A_<> $ любое из множеств $ \mathbb Q_<>, \mathbb R_<> $ или $ \mathbb C_<> $.
Примеры систем уравнений над $ \mathbb R $.
Относительно числа $ m_<> $ уравнений не делается ни какого предположения: оно может быть меньше, больше или равно числу переменных $ n_<> $. Если $ m_<>>n $ то система называется переопределенной. Решением системы уравнений называется любой набор значений переменных $ x_1=\alpha_<1>,\dots, x_n = \alpha_n $, обращающий каждое из уравнений в истинное равенство. Система называется совместной если она имеет хотя бы одно решение и несовместной в противном случае.
Можно доказать (см. результаты ☟ НИЖЕ ), что все возможности для произвольной системы ограничиваются следующими вариантами:
1. система совместна и имеет единственное решение;
2. cистема совместна и имеет бесконечное множество решений;
3. cистема несовместна.
При этом все решения будут находиться в том же множестве $ \mathbb A_<> $, что и коэффициенты системы.
Матричная форма записи
Для системы линейных уравнений относительно переменных $ x_1,x_2,\dots,x_n $ $$ \left\< \begin
Исключение переменных (метод Гаусса)
метода достаточно проста.
Пример. Решить систему уравнений $$ \left\< \begin
Решение. Выразим из первого уравнения $ x_ <1>$ $$ x_1=\frac<3> <2>x_2+\frac<1> <2>x_3 + \frac<3> <2>$$ и подставим в оставшиеся уравнения $$ 4 \left(\frac<3> <2>x_2+\frac<1> <2>x_3 + \frac<3><2>\right) -3\,x_2-5\,x_3=6 \ <\color
Ответ. $ x_<1>=1/4, x_2=-5/8, x_3=-5/8 $.
Теперь осталось формализовать изложенную идею метода (сформулировав допустимые правила действия над уравнениями — те, что в принципе, очевидны из здравого смысла ), а также исследовать возможные последствия его применения к системам общего вида.
Исключение переменных
Элементарными преобразованиями системы л.у. называются преобразования следующих трех типов:
1. перестановка двух уравнений;
2. умножение обеих частей уравнения на любое отличное от нуля число;
3. прибавление к одному уравнению любого другого, умноженного на произвольное число: пара уравнений $$ \begin
Теорема. Любое элементарное преобразование системы л.у. переводит эту систему в ей эквивалентную, т.е. имеющую то же множество решений, что и исходная.
Задача. С помощью элементарных преобразований привести систему л.у. к наиболее простому виду: такому, из которого легко было бы установить множество решений.
Предположим, что первое уравнение системы содержит явно неизвестную $ x_ <1>$, т.е. $ a_<11>^<> \ne 0 $. Исключим эту неизвестную из всех оставшихся уравнений. С этой целью вычтем из второго уравнения первое, домноженное на $ a_<21>/a_<11>^<> $. Получим $$\left(a_<22>— \frac
Понятно, что процесс исключения может быть продолжен и далее. Теперь посмотрим, где он может прерваться. Может так случиться, что очередная, $ \ell_<> $-я подсистема имеет коэффициент $ a_<\ell \ell>^ <[\ell-1]>$ равным нулю, что не позволит алгоритму идти дальше — т.е. исключить переменную $ x_<\ell>^<> $ из оставшихся уравнений (в принципе, такое могло случиться уже на первом шаге, если бы коэффициент $ a_<11>^<> $ был бы равен нулю). Возможные варианты дальнейших действий:
1. если хотя бы один коэффициент при $ x_<\ell>^<> $ в одном из оставшихся уравнений отличен от нуля: $ a_
2. если при всех $ j\ge \ell^<> $ коэффициенты $ a_
Поскольку число переменных конечно, то алгоритм исключения должен завершиться за конечное число шагов. Чем он может завершиться? Окончательная система должна иметь вид: $$ \left\< \begin
Предположение . Мы будем считать, что каждое из первых $ <\mathfrak r>_<> $ уравнений системы содержит в своей левой части хотя бы одну переменную с ненулевым коэффициентом.
Процесс получения системы такого вида из исходной системы уравнений называется прямым ходом метода Гаусса.
Исторический комментарий о Гауссе ☞ ЗДЕСЬ.
Установление множества решений
Теорема. Если хотя бы одно из чисел $ b_<<\mathfrak r>+1>^<[<\mathfrak r>-1]>,\dots , b_
Для простоты мы будем иллюстрировать наши рассуждения на системах л.у. над $ \mathbb R_<> $, в этом же множестве искать решения. Каждое из преобразований метода Гаусса будем обозначать $ \to_<> $.
Пример. Решить систему л.у.
$$ \left\< \begin
Решение. $$ \ \to \ \left\< \begin
Ответ. Система несовместна.
Пусть теперь $ b_<<\mathfrak r>+1>^<[<\mathfrak r>-1]>=0,<>\dots, b_
Теорема. Если прямой ход метода Гаусса заканчивается треугольной системой, т.е. $ \mathfrak r = n_<> $ и $ b_<<\mathfrak r>+1>^<[<\mathfrak r>-1]>=0,<>\dots, b_
Пример. Решить систему л.у.
$$ \left\< \begin
Ответ. $ x_1=1,\, x_<2>=2,\, x_3=-2 $ .
Исследуем теперь случай $ <\mathfrak r>1) : На основании предположения , в $ <\mathfrak r>$-м уравнении этой системы имеется хотя бы один ненулевой коэффициент в левой части, пусть $ a_ <<\mathfrak r><\mathfrak s>>^<[<\mathfrak r>-1]>\ne 0 $ — первый из них. Если $ <\mathfrak s>=n $, то из этого уравнения однозначно определится $ x_
Теорема. Если прямой ход метода Гаусса заканчивается трапециевидной системой, т.е. $ \mathfrak r 2) матрицы $ A_<> $ (третьего порядка). Понятие определителя распространяется и на квадратные матрицы бóльших порядков; образно говоря, определитель — это функция элементов матрицы, отвечающая за единственность решения системы уравнений.
Дальнейший матричный анализ метода Гаусса ☞ ЗДЕСЬ.
Формулы Крамера
Рассмотрим систему линейных уравнений с квадратной матрицей $ A_<> $, т.е. такую, у которой число уравнений совпадает с числом неизвестных.
Теорема. Cистема
$$ \left\<\begin
Доказательство ☞ ЗДЕСЬ
Пример. Решить систему уравнений
$$ \left\<\begin
Решение. $$ x_1=\frac<\left|\begin
Решение системы линейных уравнений с квадратной матрицей $ A_<> $ является непрерывной функцией коэффициентов этой системы при условии, что $ \det A_<> \ne 0 $.
Кроме того, формулы Крамера начинают конкурировать по вычислительной эффективности с методом Гаусса в случае систем, зависящих от параметра. Подробнее ☞ ЗДЕСЬ.
Еще один способ решения системы основан на построении обратной матрицы: $$ AX= <\mathcal B>\quad \Rightarrow \quad X=A^<-1> <\mathcal B>\ . $$ Этот способ малоэффективен при фиксированных числовых $ A_<> $ и $ <\mathcal B>_<> $.
Найти достаточное условие существования общего решения систем уравнений:
$$ A_1 X = <\mathcal B>_1 \quad u \quad A_2 Y = <\mathcal B>_2 \ , $$ при квадратных матрицах $ A_1 $ и $ A_2 $ одинакового порядка.
Теорема Кронекера-Капелли
Матрица, получающаяся конкатенацией матрицы $ A_<> $ и столбца правых частей $ <\mathcal B>_<> $ $$ [ A| <\mathcal B>] = \left( \begin
Теорема [Кронекер, Капелли]. Система $ AX= <\mathcal B>$ совместна тогда и только тогда, когда ранг матрицы этой системы совпадает с рангом ее расширенной матрицы:
$$ \operatorname
Доказательство необходимости. Пусть существует решение $ x_1=\alpha_1,\dots,x_n=\alpha_n $ системы, тогда $$\alpha_1 A_<[1]>+\dots+\alpha_n A_<[n]>= <\mathcal B>\ ,$$ т.е. столбец $ <\mathcal B>$ линейно выражается через столбцы $ A_<[1]>,\dots,A_ <[n]>$. Но тогда $$ \operatorname
Доказательство достаточности проводится в следующем пункте. ♦
Пример. Исследовать совместность системы уравнений
Решение. В этом примере число уравнений совпадает с числом неизвестных. Это обстоятельство несколько облегчает рассуждения. Обратимся к замечанию из предыдущего пункта: система л.у. с числом уравнений, совпадающем с числом неизвестных, как правило, совместна. Тогда попробуем установить условия, обеспечивающие противоположное свойство — несовместность. Оно, фактически, единственно: за все отвечает определитель системы $ \det A_<> $. Если он отличен от нуля — система совместна. $$\det A = \left| \begin
Осталось исследовать критические случаи: $ <\color
При $ <\color
Ответ. Система несовместна при $ <\color
Система однородных уравнений
$$ \left\< \begin
Пример. Найти условие, при котором три точки плоскости с координатами $ (x_1,y_1), (x_2,y_2) $ и $ (x_3,y_<3>) $ лежат на одной прямой.
Решение. Будем искать уравнение прямой в виде $ ax+by+c=0 $ при неопределенных коэффициентах $ a,b,c_<> $. Если точки лежат на прямой, то получаем для определения этих коэффициентов систему линейных уравнений: $$ \left\< \begin
Доказать, что для совместности системы
$$ \left\< \begin
An elementary treatise on determinants
в следующей формулировке.
Теорема. Для того чтобы система $ n_<> $ неоднородных уравнений была совместна, необходимо и достаточно, чтобы порядок наибольшего отличного от нуля минора был одинаков в расширенной и нерасширенной матрице системы.
Додсон — один из самых знаменитых математиков мира. Назовите его псевдоним.
Ответ ☞ ЗДЕСЬ
Общее решение
Пусть выполнено условие теоремы Кронекера-Капелли: $ \operatorname
Пусть теперь $ \mathfrak
Пример. Исследовать совместность и найти общее решение системы уравнений:
Решение проведем двумя способами, соответствующими двум способам вычисления ранга матрицы. Вычисляем сначала ранг матрицы $ A $ по методу окаймляющих миноров: $$ |2| \ne 0,\quad \left| \begin
Ненулевой минор третьего порядка (базисный минор) находится в первой, второй и четвертых строках, что означает линейную независимость соответствующих уравнений. Третье уравнение линейно зависит от остальных, и может быть отброшено. Далее, указанный базисный минор образован коэффициентами при $ x_1,x_3 $ и $ x_4 $. Следовательно оставшиеся уравнения могут быть разрешены относительно этих переменных, т.е. они — зависимые, а $ x_2 $ и $ x_5 $ — основные. Использование формулы дает общее решение $$ \begin
Ответ. Общее решение системы: $ x_1=1/2 (x_2+x_5-1),\ x_3=3-4\,x_5,\ x_4=0 $.
Проанализируем теперь полученные общие формулы для общего решения. В этих формулах $ \beta_j $ представляет решение системы, получаемое при $ x_<\mathfrak
Вывод. Формула общего решения системы $ A X=\mathcal B $: $$ x_j=\beta_j + \gamma_
Теорема. Общее решение системы уравнений $ A X=\mathcal B $ представимо в виде суммы какого-то частного решения этой системы и общего решения соответствующей однородной системы $ A X=\mathbb O $.
Доказательство тривиально если система $ A X=\mathcal B $ имеет единственное решение. Если же решений бесконечно много, то выбрав какое-то одно частное $ X=X_1 $ мы получаем, что любое другое частное решение $ X=X_2 $ должно быть связано с первым соотношением $$ A(X_2-X_1)=\mathbb O , $$ т.е. разность частных решений неоднородной системы обязательно является решением однородной системы уравнений $ AX=\mathbb O $. ♦
Теперь посмотрим как можно описать общее решение однородной системы.
Система однородных уравнений
Система линейных уравнений называется однородной, если все коэффициенты правых частей равны нулю: $$ \left\< \begin
Задача ставится о поиске нетривиального решения. Оно не всегда существует. Так, к примеру, если матрица $ A_<> $ системы — квадратная и имеет ненулевой определитель, то, согласно теореме Крамера, нетривиальных решений у однородной системы нет. Теорема Кронекера-Капелли утверждает, что условие $ \det (A_<>) = 0 $ является и достаточным для существования нетривиального решения.
Теорема 1. Для того, чтобы система однородных уравнений с квадратной матрицей $ A_<> $ имела нетривиальное решение необходимо и достаточно, чтобы $ \det (A_<>) = 0 $.
Для произвольной (не обязательно квадратной) матрицы $ A_<> $ имеет место следующий общий результат.
Теорема 2. Если $ \operatorname
Теорема 3. Множество решений системы однородных уравнений образует линейное подпространство пространства $ \mathbb A^
Пусть матрица системы $ AX=\mathbb O $ квадратная и
$$ \operatorname
Теперь обсудим способы нахождения ФСР.
1. Первый из них получается из общего метода решения системы линейных уравнений, рассмотренного в предыдущем пункте. Так же, как и в том пункте, сделаем упрощающее обозначения предположение, что зависимыми переменными являются первые $ x_<1>,\dots,x_ <\mathfrak r>$, т.е. общее решение задается формулами $$ x_j=\gamma_
Оформим этот способ построения ФСР в теорему:
Теорема 4. Если система уравнений $ AX=\mathbb O $ имеет структуру матрицы $ A_<> $ вида:
$$ A = \left[ E_ <\mathfrak r>\mid P_ <\mathfrak r \times (n-\mathfrak r)>\right] \ , $$ то ее ФСР состоит из столбцов матрицы $$ \left[ \begin
Пример. Найти ФСР для системы уравнений
Решение. Приводим систему к трапециевидному виду: $$ \left\< \begin
2. Этот способ напоминает вычисление обратной матрицы методом приписывания единичной матрицы. Транспонируем матрицу $ A_<> $ системы и припишем к ней справа единичную матрицу порядка $ n_<> $: $$ \left[ A^ <\top>| E_n \right] = \left(\begin
Пример. Найти ФСР для системы уравнений
$$ \left\< \begin
$$ \left(\begin
3. Еще один способ построения ФСР основан на теореме Гамильтона-Кэли.
Теорема. Пусть матрица системы $ AX=\mathbb O $ квадратная и $ \operatorname
Пример. Найти ФСР для системы уравнений
Решение. Здесь $$ A= \left( \begin
Блок-схемы зависимости множества решений системы уравнений $ AX= \mathcal B $ от комбинации чисел $ n, \mathfrak r $ ☞ ЗДЕСЬ.
Геометрическая интерпретация
Геометрический смысл введенных определений поясним на примере $ \mathbb R^ <3>$. Уравнение $$ a_1x_1+a_2x_2+a_3x_3=b $$ — при фиксированных вещественных коэффициентах $ a_1,a_2,a_3 $ (хотя бы один из них считаем отличным от нуля) и $ b_<> $ — задает плоскость. Если, к примеру, $ a_1\ne 0 $, то из уравнения получаем выражение для $ x_ <1>$ как функции $ x_2,x_3 $: $$ x_1=\frac
Теорема. Общее решение системы уравнений $ A X=\mathcal B $ представимо в виде суммы какого-то частного решения этой системы и общего решения соответствующей однородной системы $ A X=\mathbb O $.
Координаты произвольной точки плоскости $ a_1x_1+a_2x_2+a_3x_3=0 $ задаются соотношениями $$ \left( \begin
Теперь рассмотрим систему из двух уравнений: $$ \left\<\begin
Мы рассмотрели пока только случай пересекающихся плоскостей в пространстве. Его можно считать общим, т.е. случаем «как правило»: две случайным образом выбранные плоскости в $ \mathbb R^ <3>$ пересекаться будут. Исследуем теперь исключительный случай — параллельности плоскостей. Исключительность этого случая может быть проверена и аналитикой. Для несовместности системы из двух уравнений необходимо, чтобы ранг ее матрицы $$ \left( \begin
Перейдем теперь к системе из трех уравнений: $$ \left\< \begin
Теорема Кронекера-Капелли в этом случае не нужна — нет, она остается справедливой! — но проверка условия на ранги матриц тривиальна: они оба равны $ 3_<> $. Если же указанный определитель обращается в нуль, то этот факт эквивалентен тому, что три строки определителя линейно зависимы. Например, возможно, что строка $ (a_<31>,a_<32>, a_<33>) $ может быть представлена в виде линейной комбинации первых двух строк. Вспомним геометрический смысл этих строк: они задают координаты векторов, перпендикулярных соответствующим плоскостям. Если система уравнений $$ \left\<\begin
Статья не закончена!
Ортогональность
Геометрические соображения из предыдущего пункта могут быть обобщены на случай когда размерности рассматриваемых пространств увеличиваются, и мы говорим о точках и векторах многомерных пространств. В последующих пунктах нам потребуются понятия линейной оболочки, линейного пространства, размерности, базиса и координат применительно к векторам-столбцам или векторам-строкам. Их можно найти ☞ ЗДЕСЬ.
Задача решения системы линейных уравнений $$ \left\< \begin
С другой стороны, к той же задаче решения системы уравнений, в предыдущем ПУНКТЕ мы подошли с другой стороны. Первое из уравнений системы $$ 3\,x_1+4\,x_2-x_3=2 $$ можно интерпретировать так: скалярное произведение векторов $ \vec<<\mathbf OA>^<[1]>> $ и $ \vec<<\mathbf OX>> $ равно фиксированному числу $ 2_<> $. Здесь вектора рассматриваются в пространстве строк $ \mathbb R_<>^ <3>$; считается, что каждый вектор имеет начало в начале координат $ \mathbf O=[0,0,0] $, а конец — в точке с координатами $ [3,4,-1] $ или, соответственно, $ [x_1,x_2,x_3] $. Если скалярное произведение векторов обозначать скобками $ \langle <> \mbox < >\rangle $, то систему уравнений можно переписать в виде $$ \langle \vec<<\mathbf OA>^<[1]>> ,\ \vec<<\mathbf OX>> \rangle=2,\ \langle \vec<<\mathbf OA>^<[2]>> ,\ \vec<<\mathbf OX>> \rangle=1 \quad npu \quad A^ <[1]>= [3,4,-1], A^<[2]>=[1,-2,3] $$ — строках матрицы $ A_<> $. И задачу решения такой системы понимать в смысле: найти координаты всех векторов-строк $ [x_1,x_2,x_3] $ которые обеспечат нам заданные значения скалярных произведений с двумя фиксированными векторами.
Геометрическая интерпретация еще более упрощается если рассмотреть случай однородной системы уравнений. Так, решить систему уравнений $$ \left\< \begin
Все эти геометрические соображения обобщаются в произвольное пространство $ \mathbb R_<>^
В терминах скалярного произведения, задачу решения системы линейных уравнений можно переформулировать как поиск строки $ X=[x_1,x_2,\dots,x_n] $, ортогональной всем строкам матрицы $ A_<> $: $$ \langle A^<[1]>,X \rangle=0, \langle A^<[2]>,X \rangle=0,\dots, \langle A^<[m]>,X \rangle=0 \ . $$ Множество таких строк образует линейное подпространство пространства $ \mathbb R_<>^
Теорема. $ \operatorname
http://www.evkova.org/opredeliteli-vtorogo-i-tretego-poryadkov-i-ih-svojstva
http://vmath.ru/vf5/algebra2/linearsystems