Математика ее содержание, методы и значение Том 3 - Александров А.Д.
Скачать (прямая ссылка):
откуда следует, что определитель матрицы А не равен нулю.
Матрица, определитель которой отличен от нуля, называется невырожденной\ или неособенной. Мы установили, таким образом, что обратная матрица всегда существует для невырожденных матриц и только для них.
Введение понятия обратной матрицы оказывается полезным не только в теории систем линейных уравнений, но и во многих других задачах линейной алгебры.
В заключение отметим, что выведенные формулы для решения линейных систем являются незаменимым орудием в теоретических исследованиях, но мало применимы для численного решения систем.
Как мы уже отмечали, для численного решения систем разработано много различных способов и вычислительных схем, и ввиду большой важности этой задачи для практики исследовательская работа по упрощению численного решения систем (особенно с большим числом неизвестных) интенсивно ведется и в настоящее время.
Общий случай систем линейных уравнений. Обратимся к исследованию систем линейных уравнений в самом общем случае, даже не предполагая, что число уравнений равно числу неизвестных. В такой общей постановке нельзя, естественно, ожидать, что решение системы всегда существует или в случае существования оно окажется единственным. Естественно предполагать, что если число уравнений меньше числа неизвестных, то система имеет бесконечно много решений. Например, двум уравнениям 1-й степени с тремя неизвестными удовлетворяют координаты любой из точек прямой линии, являющейся линией пересечения плоскостей, определяемых уравнениями. Однако • мож5т быть, что в этом случае система совсем не имеет решений, именно когда плоскости параллельны. Если же число уравнений больше числа неизвестных, то система, как правило, решений не имеет. Однако и в этом 70
Глава XVI. Линейная алгебра
случае возможно, что система имеет решения и даже бесконечно много.
Для исследования вопроса о существовании и характере множественности решений системы в такой общей постановке обратимся к «геометрическому» истолкованию системы.
Систему уравнений
auxi +ai2x2+ • • • + a]nxn = bv
а21Х1 а22Х2 4~ • • • а2 А — ^gj
®яп®1 ' ' ' 4~ атпХп rrz^ ^in
интерпретируем в m-мерном пространстве столбцов в виде
X1A1 + X2A2 + ... 4- XnAn = В.
Здесь A1, A2, ...,Ah обозначают столбцы из коэффициентов при •соответствующих неизвестных, В—столбец из свободных членов.
В этой интерпретации вопрос о существовании решения системы превращается в вопрос о том, является ли данный вектор В линейной комбинацией векторов A1, A2, ...,An.
Ответ на этот вопрос почти очевиден. Чтобы вектор В был линейной комбинацией векторов A1, A2, ...,An, необходимо и достаточно, чтобы вектор В содержался в подпространстве, натянутом на Av A2, ...,An, или, иными словами, чтобы подпространства, натянутые на системы векторов Av A2, ...,An и Av A2, ...,An, В совпадали.
Так как первое из этих подпространств содержится во втором, то для их совпадения необходимо и достаточно, чтобы были равны их размерности. Напомним, что размерность подпространства, HaTHHyjoro на данную систему векторов, называется рангом этой системы векторов. Таким образом, необходимым и достаточным условием существования решения системы X1A1 + X2A2 + ... +XnAn = B является равенство рангов систем векторов Av A2, ...,An и Av A2, ...,An, В.
Можно доказать, но мы на этом не будем останавливаться, что ранг системы векторов равен рангу матрицы, составленной из координат этих векторов. Здесь под рангом матрицы понимается наивысший из порядков отличных от нуля определителей, которые можно составить из данной матрицы посредством вычеркивания части ее строк и столбцов.
Так как координатами векторов A1, A2., ..., An (в естественном для пространства- столбцов базисе) являются коэффициенты системы, а координатами вектора В — ее свободные члены, то мы получаем следующую окончательную формулировку условия существования решения системы. § 3. Системы линейных уравнений
71
Для существования по крайней мере одного решения системы линейных уравнений
aH-rI ~Ь • • • ~Ь avnxn — U1,
amiXi 1 ... J ЛтпХп --— ^m
необходимо и достаточно, чтобы ранг матрицы, составленной из коэффициентов системы, равнялся рангу матрицы, составленной из коэффициентов и свободных членов.
Теперь исследуем характер множественности решений, если они
существуют. Пусть xj, .....ж®—какое-либо решение системы (8).
Положим X1 = X01 -f yv X2 = х°2+у2, ..., Xh = Xl-f ун. Тогда в силу того, что Х°, X®, ..., х® образует решение системы (8), новые неизвестные yv у2, ...,уп должны удовлетворять однородной системе
an2/i+ • • • +«1 «Уп = ®>
......................(9)
ЯтіУі+ • • • +ати2/и = °
с той же матрицей коэффициентов. Обратно, если к исходному решению X'", X^1 ...,х® системы (8) добавить любое решение однородной системы (9), то получится снова решение системы (8).
Таким образом, чтобы получить общее решение системы (8), нужно взять какое-либо ее частное решение и сложить с общим решением однородной системы (9).
Тем самым вопрос о характере множественности решений системы (8) сводится к тому же вопросу для однородной системы (9). Этот вопрос мы рассмотрим в следующем пункте.
