Cтупенчатые системы линейных уравнений и метод Гаусса

Лемма 3.6.1. Однородная система линейных уравнений всегда совместна.

Доказательство . Решением системы является нулевая строчка .

Лемма 3.6.2. Если система линейных уравнений содержит уравнение

Доказательство . Для любой строчки .

Замечание 3.6.3. Если матрица коэффициентов системы линейных уравнений нулевая (т. е. все коэффициенты равны нулю), то ее совместность равносильна тому, что все свободные члены нулевые (при этом X=K n ).

По ненулевой ступенчатой матрице переменные x1. xn разобьем на две группы: главные , "проходящие" через уголки ступенек (их r штук), и свободные - все остальные n-r переменных (их может и не быть совсем при r=n ).

Замечание 3.6.4. Если в ступенчатой системе линейных уравнений нет "экзотических" уравнений (т. е. если r=m или r<m и ), то для любого набора значений для свободных неизвестных существует (и единственный) набор значений для главных неизвестных и эти наборы дают в совокупности решение системы линейных уравнений .

Доказательство . Так как значения для свободных неизвестных заданы, то, рассматривая r -е уравнение и перенося в правую часть уравнения члены со значениями свободных неизвестных, расположенных правее места (r,t) (если они есть), получаем уравнение (см. (3.2))

Теорема 3.6.5 (критерий совместности системы линейных уравнений по ее ступенчатому виду).

Система линейных уравнений (aij|bi) из m уравнений с неизвестными x1. xn совместна тогда и только тогда, когда в ее ступенчатом виде нет "экзотических" уравнений (т. е. или r=m , или r<m и ).
Для совместной системы свободным неизвестным можно придавать произвольные значения, при этом главные неизвестные однозначно определяются (при заданных значениях свободных неизвестных), тем самым мы получаем все решения системы линейных уравнений.

Доказательство . Отметим, что исходная система и ее ступенчатая системы эквивалентны.

1) а) Ясно, что совместная система не может содержать "экзотическое" уравнение (лемма 3.6.2). Таким образом, при первом появлении "экзотического" уравнения в методе Гаусса процесс надо остановить: система несовместна.

б) Если в ступенчатом виде нет "экзотических" уравнений, то утверждение следует из леммы 3.6.4.

2) Алгоритм нахождения всех решений в случае отсутствия "экзотических" уравнений рассмотрен в лемме 3.6.4.

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

Теорема 3.6.7 (критерий определенности системы линейных уравнений по ее ступенчатому виду). Система линейных уравнений является определенной тогда и только тогда, когда в ее ступенчатом виде:

нет "экзотических" уравнений(критерий совместности);
r=n (т. е. все неизвестные главные, другим словами - отсутствуют свободные неизвестные).

При условии совместности, если r<n , т. е. имеется хотя бы одно свободное неизвестное, то ему можно придать как минимум два различных значения из поля K . После дополнения значений свободных переменных значениями главных переменных до решения системы мы получаем заведомо два различных решения системы, т. е. |X|>1 , система является неопределенной.
Если же при условии совместности r=n , т. е. нет свободных неизвестных, то главные неизвестные определяются в методе Гаусса однозначно (через свободные члены системы), таким образом, система линейных уравнений является определенной.

Упражнение 3.6.8. Процесс приведения к ступенчатому виду можно продолжить на расширенную матрицу системы (aij|bi) . Покажите, что система совместна тогда и только тогда, когда ступенчатый вид расширенной матрицы системы (aijbi) содержит столько же ненулевых строк, сколько и ступенчатый вид матрицы (aij) (все лидеры строк ступенчатого вида расширенной матрицы находятся среди столбцов матрицы коэффициентов (aij) ).

Замечание 3.6.9. Любая ненулевая матрица с помощью элементарных преобразований строк 1-го, 2-го и 3-го типа может быть приведена к главному ступенчатому виду. Действительно, вначале приведем матрицу A к ступенчатому виду. С помощью элементарных преобразований 3-го типа сделаем все лидеры ненулевых строк , , равными единице. После этого, применяя элементарные преобразования строк 1-го типа, добьемся того, что в lr -м столбце единственный ненулевой элемент - это , затем аналогично добьемся с использованием элементарных преобразований строк 1-го типа того, что единственный ненулевой элемент в lr-1 -м столбце - это , в l1 -м столбце - это (эта процедура часто называется обратным ходом метода Гаусса). Таким образом, мы привели матрицу A к главному ступенчатому виду. Позже (см. 9.5.1) будет доказано, что главный ступенчатый вид матрицы определен однозначно.

Если совместная система линейных уравнений (в частности, однородная система) приведена к главному ступенчатому виду, то мы сразу (без последовательной подстановки уже полученных выражений в предыдущие уравнения) получаем единственное выражение главных неизвестных через свободные: l -е уравнение ( ) главного ступенчатого вида имеет вид

В частном случае, при r=n , главный ступенчатый вид определенной системы линейных уравнений имеет форму

📎📎📎📎📎📎📎📎📎📎