Решение систем линейных алгебраических уравнений общего вида.

В общем случае число уравнений системы p не совпадает с числом неизвестных переменных n:

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

Далее нам потребуется понятие минора матрицы и ранга матрицы, которые даны в статье ранг матрицы: определение, методы нахождения, примеры, решения.

Прежде чем находить решение системы линейных уравнений необходимо установить ее совместность. Ответ на вопрос когда СЛАУ совместна, а когда несовместна, дает теорема Кронекера – Капелли:

для того, чтобы система из p уравнений с n неизвестными (p может быть равно n) была совместна необходимо и достаточно, чтобы ранг основной матрицы системы был равен рангу расширенной матрицы, то есть, Rank(A) = Rank(T).

Рассмотрим на примере применение теоремы Кронекера – Капелли для определения совместности системы линейных уравнений.

Пример.

Выясните, имеет ли система линейных уравнений решения.

Решение.

Найдем ранг основной матрицы системы . Воспользуемся методом окаймляющих миноров. Минор второго порядка отличен от нуля. Переберем окаймляющие его миноры третьего порядка:

Так как все окаймляющие миноры третьего порядка равны нулю, то ранг основной матрицы равен двум.

В свою очередь ранг расширенной матрицы равен трем, так как минор третьего порядка

отличен от нуля.

Таким образом, Rang(A) < Rang(T), следовательно, по теореме Кронекера – Капелли можно сделать вывод, что исходная система линейных уравнений несовместна.

Ответ: система решений не имеет.

Ранг матрицы

Рангом системы строк (столбцов) матрицы с строк и столбцов называется максимальное число независимых строк (столбцов). Несколько строк (столбцов) называются линейно независимыми, если ни одна из них не выражается линейно через другие. Ранг системы строк всегда равен рангу системы столбцов, и это число называется рангом матрицы.

Ранг матрицы — наивысший из порядков миноров этой матрицы, отличных от нуля.

Ранг матрицы — Размерность образа линейного оператора, которому соответствует матрица.

Обычно ранг матрицы обозначается ( ) или . Оба обозначения пришли к нам из иностранных языков, потому и употребляться могут оба. Последний вариант свойственен для английского языка, в то время как первый — для немецкого, французского и ряда других языков.

Теорема о ранге матрицы.

Если ранг матрицы порядка p на n равен r, то все элементы строк (и столбцов) матрицы, не образующие выбранный базисный минор линейно выражаются через соответствующие элементы строк (и столбцов), образующих базисный минор.

Что нам дает теорема о ранге матрицы?

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

В итоге, после отбрасывания излишних уравнений системы, возможны два случая.

1. Если число уравнений r в полученной системе будет равно числу неизвестных переменных, то она будет определенной и единственное решение можно будет найти методом Крамера, матричным методом или методом Гаусса.
   
   
   Пример.
2. 
   
   Решите систему линейных алгебраических уравнений .
   
   Решение.
   
   Ранг основной матрицы системы равен двум, так как минор второго порядка отличен от нуля. Ранг расширенной матрицы также равен двум, так как единственный минор третьего порядка равен нулю
   
   
   
   а рассмотренный выше минор второго порядка отличен от нуля. На основании теоремы Кронекера – Капелли можно утверждать совместность исходной системы линейных уравнений, так какRank(A) = Rank(T) = 2.
   
   В качестве базисного минора возьмем . Его образуют коэффициенты первого и второго уравнений:
   
   
   
   Третье уравнение системы не участвует в образовании базисного минора, поэтому исключим его из системы на основании теоремы о ранге матрицы:
   
   
   
   Так мы получили элементарную систему линейных алгебраических уравнений. Решим ее методом Крамера:
   
   
   
   Ответ: x₁ = 1, x₂ = 2.

Теорема 1. Строки и столбцы матрицы, элементы которых входят в базисный минор, линейно независимы. Любая строка (столбец) матрицы является линейной комбинацией этих строк (столбцов).

Теорема 2. (теорема Кронекера-Капелли). Система (2.2) совместна тогда и только тогда, если ранг матрицы системы равен рангу расширенной матрицы.

Теорема 3. Любое решение однородной линейной системы (4.2) является линейной комбинацией фундаментальной системы ее решений.

Таким образом, любое решение системы (4.2) имеет вид:

, где - фундаментальная система решений.

Не нашли, что искали? Воспользуйтесь поиском по сайту: