Ранг матриц и системы линейных уравнений

Пример 11.18. Найти ранг матрицы А. .

Т. 11.19. Теорема Кронер-Капелли: Система линейных уравнений совместна , когда ранг матрицы коэффициентов равен рангу расширенной матрицы системы. Доказательство: Пусть . Пусть эта система совместна. - решение. , . Пусть . тогда в А МЛНП системы столбцов содержит r столбцов, но т.к. это МЛНП в А, то все столбцы из А выражаются ч/з МЛНП. Но тогда и В выражается ч/з МЛНП. Значит эти r столбцов являются МЛНП системы столбцов матрицы . Значит . Обратно. Пусть . Рассмотрим МЛНП столбцов матрицы А. Ранги равны, значит она является МЛНП системы столбцов матрицы . Т.к. система выражается ч/з свою МЛНП, то мтолбец В выражается ч/з r столбцов матрицы А, значит ч/з все стобцы матрицы А. - решение системы , т.е. система совместна. ■

Т. 11.20. Структура решений систем линейных уравнений.Пусть дана система и столбец Х* - ее решение. Тогда произвольное решение Х1 этой системы имеет вид: Х1=Х*+ХО ,где столбец ХО является решением однородной системы АХ=0, соотв. данной. Если Х* - решение данной системы, а ХО – решение соотв. однородной, то Х1=Х*+ХО – решение данной системы. Доказательство: Пусть Х* и Х1 – решение системы АХ=В. Обозначим ХО=Х1–Х*, АХО=А(Х1–Х*)=АХ1–АХ*=В–В=0 значит АХО=0, т.е. столбец ХО – решение соотв. однородной системы. Х1=Х*+ ХО.Обратно. ПустьАХ*=Ви АХО=0, то А(Х*+ ХО)=АХ*+А ХО=В+0=В, Х*+ ХО –решение системыАХ=В. ■

Следствие 11.21. Все решения системы АХ=В имеет вид Х*+ ХО ,т.е. принадлежит множеству , где V – пространство решение, соотв. данной системы. Х*+V – линейное многообразие. Доказательство: доказано в 11.20. ■

Т. 11.22. (2 часть теоремы Кронер-Копелли) Если АХ=В – система с неизвестным и , то система имеет единственное решение. Если , то система в базисе бесконечного поля имеет бесконечное решение. Доказательство: Ранги равны, значит система совместна. если Х* - ее решение, то все решения имеют вид: если то , . если , то - число свободных переменных. V – это -мерное пространство над полем действительных чисел, значит V – бесконечно, значит X*+V – бесконечно. ■