5354.ru
68
равны нулю. Без доказательства отметим, что при
данное определение
ранга матрицы равносильно другому, используемому здесь определению:
рангом матрицы называется число ненулевых строк в эквивалентной тре-
угольной или ступенчатой матрице. Ясно, что для определения ранга матри-
цы сначала её нужно преобразовать методом Гаусса и привести к треугольной
или ступенчатой матрице, эквивалентной исходной.
Пусть система уравнений (20) преобразована методом Гаусса и приведена
либо к системе (21), либо к системе (22). При этих преобразованиях происхо-
дят соответствующие преобразования основной и расширенной матриц си-
стемы (20). Совместность системы (20) равносильна отсутствию в преобразо-
ванной системе (21) или (22) противоречивого соотношения
(здесь равные нулю коэффициенты образовали бы
нулевую строку основной матрицы преобразованной системы, а эти же коэф-
фициенты и число
- ненулевую строку расширенной матрицы этой си-
стемы). Это в свою очередь равносильно совпадению числа ненулевых строк
основной и расширенной матриц преобразованной системы (21) или (22). А
это последнее, в свою очередь, равносильно совпадению рангов основной и
расширенной матриц исходной системы. Итак, справедлива
Теорема Кронекера – Капелли. Если система уравнений совместна, то
ранги её основной и расширенной матриц равны, и наоборот, если ранги ос-
новной и расширенной матриц равны, то система совместна.
§ 8. Однородные системы
Система уравнений (20) называется однородной, если все ее свободные
члены равны нулю: . Ясно, что однородная система всегда
совместна, так как имеет очевидное тривиальное нулевое решение
. Если среди чисел имеется хотя бы одно, от-
личное от нуля, то такое решение системы называется ненулевым.
Пусть в однородной системе (20) число уравнений меньше числа неиз-
вестных ( ). Такая система методом Гаусса приведётся к ступенчатой си-
стеме, так как к треугольной системе мы можем прийти, лишь когда . Но
ступенчатая система имеет бесконечное множество решений, среди которых
обязательно найдётся ненулевое. Например, в системе (21) ненулевое реше-
ние получим, взяв . Таким образом, справедлива
12
00 0 , 0
n
x x x bb+ ++ = ≠