Несовместные системы. Системы с общим решением

Основные понятия. Системы линейных уравнений

СИСТЕМЫ ЛИНЕЙНЫХ УРАВНЕНИЙ

ЛЕКЦИЯ 4

Системы линейных уравнений. Основные понятия: совместные и несовместные, определенные и неопределенные системы. Метод Гаусса. Общее решение. Теорема Кронекера-Капелли. Исследование на совместность систем линейных уравнений. Однородные системы и свойства их решений. Фундаментальная система решений.

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

Решением системы называется такая совокупность n чисел 1,a₂. a_n>, которая при подстановке в данную систему на место не известных x₁,x₂. x_n преобразует все уравнения в тождества. Задача теории систем линейных уравнений состоит в том, чтобы найти все решения системы. При этом возможны три случая.

1) Система вообще не имеет решений. Системы линейных уравнений, не имеющие ни одного решения, называются несовместными. Например, система уравнений

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

2) Если система, имеющая хотя бы одно решение, называется совместной. Совместные системы могут иметь либо одно решение, либо бесконечно много решений. Системы, имеющие только одно решение, называются определенными. Например,

С геометрической точки зрения, это соответствует двум пересекающимся прямым плоскости xOy.

3) Система, имеющая бесконечно много решений, называется неопределенной. Например,

С геометрической точки зрения, это соответствует двум совпадающим прямым плоскости xOy.

Историческая справка. В трактатах до XIX в. рассматривались только квадратные системы линейных уравнений, т.е. системы, у которых число неизвестных равно числу уравнений. В случае несовместных или неопределенных систем довольствовались замечанием о некорректно поставленной задаче. В 1849 г. К. Гаусс (1777-1855) исследовал алгоритм последовательного исключения неизвестных для решения произвольных систем линейных уравнений, который с различными модификациями применяется до сих пор в практических вычислениях. Введение 1877 г. Г. Фробениусом (1849-1897) понятия ранга матрицы, позволило явно выразить условие совместности и определенности систем линейных уравнений через ее коэффициенты (теорема Кронекера-Капелли). Эта теорема содержалась в лекциях, прочитанных Л. Кронекером (1823-1891) в 1883-91 гг. А. Капелли (1858-1892) впервые дал формулировку теоремы с использованием термина “ранг” (1892 г.). К концу XIX в. усилиями К. Вейерштрасса (1815-1897), М. Жордана (1838-1922), Г. Фробениуса, Ш. Эрмита (1822-1901) и др. было завершено построение общей теории систем линейных уравнений.

109.201.137.33 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.

Отключите adBlock!
и обновите страницу (F5)
очень нужно

Несовместные системы. Системы с общим решением. Частные решения

Продолжаем разбираться с системами линейных уравнений. До сих пор я рассматривал системы, которые имеют единственное решение. Такие системы можно решить любым способом: методом подстановки («школьным»), по формулам Крамера, матричным методом, методом Гаусса. Однако на практике широко распространены еще два случая:

– Система несовместна (не имеет решений);
– Система имеет бесконечно много решений.

Для этих систем применяют наиболее универсальный из всех способов решения – метод Гаусса. На самом деле, к ответу приведет и «школьный» способ, но в высшей математике принято использовать гауссовский метод последовательного исключения неизвестных. Те, кто не знаком с алгоритмом метода Гаусса, пожалуйста, сначала изучите урок метод Гаусса для чайников.

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

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

Что сразу бросается в глаза в этой системе? Количество уравнений – меньше, чем количество переменных. Если количество уравнений меньше, чем количество переменных, то сразу можно сказать, что система либо несовместна, либо имеет бесконечно много решений. И это осталось только выяснить.

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

(1) На левой верхней ступеньке нам нужно получить +1 или –1. Таких чисел в первом столбце нет, поэтому перестановка строк ничего не даст. Единицу придется организовать самостоятельно, и сделать это можно несколькими способами. Я поступил так: К первой строке прибавляем третью строку, умноженную на –1.

(2) Теперь получаем два нуля в первом столбце. Ко второй строке прибавляем первую строку, умноженную на 3. К третьей строке прибавляем первую строку, умноженную на 5.

(3) После выполненного преобразования всегда целесообразно посмотреть, а нельзя ли упростить полученные строки? Можно. Вторую строку делим на 2, заодно получая нужную –1 на второй ступеньке. Третью строку делим на –3.

(4) К третьей строке прибавляем вторую строку.

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

Дата добавления: 2014-11-29 ; просмотров: 1466 ; ЗАКАЗАТЬ НАПИСАНИЕ РАБОТЫ

Теорема Кронекера-Капелли. Исследование систем линейных уравнений на совместность. Первая часть.

Исследовать систему линейных агебраических уравнений (СЛАУ) на совместность означает выяснить, есть у этой системы решения, или же их нет. Ну и если решения есть, то указать сколько их.

Нам понадобятся сведения из темы “Система линейных алгебраических уравнений. Основные термины. Матричная форма записи”. В частности, нужны такие понятия, как матрица системы и расширенная матрица системы, поскольку именно на них опирается формулировка теоремы Кронекера-Капелли. Как обычно, матрицу системы будем обозначать буквой $A$, а расширенную матрицу системы – буквой $widetilde$.

Система линейных алгебраических уравнений совместна тогда и только тогда, когда ранг матрицы системы равен рангу расширенной матрицы системы, т.е. $rang A=rangwidetilde$.

Следствие из теоремы Кронекера-Капелли

Заметьте, что сформулированная теорема и следствие из неё не указывают, как найти решение СЛАУ. С их помощью можно лишь выяснить, существуют эти решения или нет, а если существуют – то сколько.

Исследовать СЛАУ $ left & -3x_1+9x_2-7x_3=17;\ & -x_1+2x_2-4x_3=9;\ & 4x_1-2x_2+19x_3=-42. endright.$ на совместность. Если СЛАУ совместна, указать количество решений.

Чтобы выяснить наличие решений заданной СЛАУ, используем теорему Кронекера-Капелли. Нам понадобятся матрица системы $A$ и расширенная матрица системы $widetilde$, запишем их:

Способ №1. Вычисление рангов по определению.

Согласно определению, ранг – это наивысший порядок миноров матрицы, среди которых есть хоть один, отличный от нуля. Обычно исследование начинают с миноров первого порядка, но здесь удобнее приступить сразу к вычислению минора третьего порядка матрицы $A$. Элементы минора третьего порядка находятся на пересечении трёх строк и трёх столбцов рассматриваемой матрицы. Так как матрица $A$ содержит всего 3 строки и 3 столбца, то минор третьего порядка матрицы $A$ – это определитель матрицы $A$, т.е. $Delta A$. Для вычисления определителя применим формулу №2 из темы “Формулы для вычисления определителей второго и третьего порядков”:

$$ Delta A=left| begin -3 & 9 & -7 \ -1 & 2 & -4 \ 4 & -2 & 19 end right|=-21. $$

Итак, есть минор третьего порядка матрицы $A$, который не равен нулю. Минор четвёртого порядка составить невозможно, так как для него требуется 4 строки и 4 столбца, а в матрице $A$ всего 3 строки и 3 столбца. Итак, наивысший порядок миноров матрицы $A$, среди которых есть хотя бы один не равный нулю, равен 3. Следовательно, $rang A=3$.

Задача решена. Какие недостатки и преимущества имеет данный способ? Для начала поговорим о плюсах. Во-первых, нам понадобилось найти всего один определитель. После этого мы сразу сделали вывод о количестве решений. Обычно в стандартных типовых расчётах даются системы уравнений, которые содержат три неизвестных и имеют единственное решение. Для таких систем данный метод очень даже удобен, ибо мы заранее знаем, что решение есть (иначе примера не было бы в типовом расчёте). Т.е. нам остаётся только показать наличие решения наиболее быстрым способом. Во-вторых, вычисленное значение определителя матрицы системы (т.е. $Delta A$) пригодится после: когда станем решать заданную систему методом Крамера или с помощью обратной матрицы.

Однако метод вычисления ранга по определению нежелательно применять, если матрица системы $A$ является прямоугольной. В этом случае лучше применить второй метод, о котором пойдёт речь ниже. Кроме того, если $Delta A=0$, то мы ничего не сможем сказать о количестве решений заданной неоднородной СЛАУ. Может, СЛАУ имеет бесконечное количество решений, а может – ни одного. Если $Delta A=0$, то требуется дополнительное исследование, которое зачастую является громоздким.

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

Способ №2. Вычисление ранга методом элементарных преобразований.

Какие преимущества второго способа? Главное преимущество – это его универсальность. Нам совершенно неважно, является ли матрица системы квадратной или нет. Кроме того, мы фактически провели преобразования прямого хода метода Гаусса. Осталось лишь пару действий, и мы смогли бы получить решение данной СЛАУ. Честно говоря, второй способ нравится мне более первого, но выбор – это дело вкуса.

Ответ: Заданная СЛАУ совместна и определена.

$$ left( begin 1 & -1 & 2 & -1\ -1 & 2 & -3 & 3 \ 2 & -3 & 5 & -4 \ 3 & -2 & 5 & 1 \ 2 & -1 & 3 & 2 end right) begin phantom<0>\r_2+r_1\r_3-2r_1\ r_4-3r_1\r_5-2r_1endrightarrow left( begin 1 & -1 & 2 & -1\ 0 & 1 & -1 & 2 \ 0 & -1 & 1 & -2 \ 0 & 1 & -1 & 4 \ 0 & 1 & -1 & 4 end right) begin phantom<0>\phantom<0>\r_3-r_2\ r_4-r_2\r_5+r_2endrightarrow\ $$ $$ rightarrowleft( begin 1 & -1 & 2 & -1\ 0 & 1 & -1 & 2 \ 0 & 0 & 0 & 2 \ 0 & 0 & 0 & 2 \ 0 & 0 & 0 & 0 end right) begin phantom<0>\phantom<0>\phantom<0>\ r_4-r_3\phantom<0>endrightarrow left( begin 1 & -1 & 2 & -1\ 0 & 1 & -1 & 2 \ 0 & 0 & 0 & 2 \ 0 & 0 & 0 & 0 \ 0 & 0 & 0 & 0 end right) $$

Расширенная матрица системы приведена к ступенчатому виду. Ранг ступенчатой матрицы равен количеству её ненулевых строк, поэтому $rangwidetilde=3$. Матрица $A$ (до черты) тоже приведена к ступенчатому виду, и ранг её равен 2, $rang=2$.

Ответ: система несовместна.

Приводим расширенную матрицу системы к ступенчатому виду:

$$ left( begin 2 & 0 & 7 & -5 & 11 & 42\ 1 & -2 & 3 & 0 & 2 & 17 \ -3 & 9 & -11 & 0 & -7 & -64 \ -5 & 17 & -16 & -5 & -4 & -90 \ 7 & -17 & 23 & 0 & 15 & 132 end right) overset> $$ $$ rightarrowleft( begin 1 & -2 & 3 & 0 & 2 & 17\ 2 & 0 & 7 & -5 & 11 & 42\ -3 & 9 & -11 & 0 & -7 & -64\ -5 & 17 & -16 & -5 & -4 & -90 \ 7 & -17 & 23 & 0 & 15 & 132 end right) begin phantom<0>\ r_2-2r_1 \r_3+3r_1 \ r_4+5r_1 \ r_5-7r_1 end rightarrow left( begin 1 & -2 & 3 & 0 & 2 & 17\ 0 & 4 & 1 & -5 & 7 & 8\ 0 & 3 & -2 & 0 & -1 & -13\ 0 & 7 & -1 & -5 & 6 & -5 \ 0 & -3 & 2 & 0 & 1 & 13 end right) begin phantom<0>\ phantom<0>\4r_3+3r_2 \ 4r_4-7r_2 \ 4r_5+3r_2 end rightarrow $$ $$ rightarrowleft( begin 1 & -2 & 3 & 0 & 2 & 17\ 0 & 4 & 1 & -5 & 7 & 8\ 0 & 0 & -11 & 15 & -25 & -76\ 0 & 0 & -11 & 15 & -25 & -76 \ 0 & 0 & 11 & -15 & 25 & 76 end right) begin phantom<0>\ phantom<0>\phantom <0>\ r_4-r_3 \ r_5+r_2 end rightarrow left( begin 1 & -2 & 3 & 0 & 2 & 17\ 0 & 4 & 1 & -5 & 7 & 8\ 0 & 0 & -11 & 15 & -25 & -76\ 0 & 0 & 0 & 0 & 0 & 0 \ 0 & 0 & 0 & 0 & 0 & 0 end right) $$

Мы привели расширенную матрицу системы и саму матрицу системы к ступенчатому виду. Ранг расширенной матрицы системы равен трём, ранг матрицы системы также равен трём. Так как система содержит $n=5$ неизвестных, т.е. $rangwidetilde=ranglt$, то согласно пункту №2 следствия из теоремы Кронекера-Капелли данная система является неопределённой, т.е. имеет бесконечное количество решений.

Ответ: система является неопределённой.

Во второй части мы разберём примеры, которые нередко включают в типовые расчёты или контрольные работы по высшей математике: исследование на совместность и решение СЛАУ в зависимости от значений параметров, входящих в неё.

Источники:

http://studopedia.ru/3_93694_osnovnie-ponyatiya.html

http://helpiks.org/1-39.html

http://math1.ru/education/sys_lin_eq/kapelli.html