2. Линейные системы алгебраических уравнений. Теорема Кронекера-Капеллил

Системой уравнений снеизвестными называется система вида

где неизвестные,известные числа (коэффициенты системы),Вводя обозначения

можно записать систему (1) в краткой форме Её называютматричной формой записи системы (1). При этом столбец называют столбцом неизвестных, матрицуматрицей системы (1), а столбецстолбцом свободных членов (или правых частей) системы (1). Если столбец свободных членовто система (1) называетсяоднородной системой; если то (1) называется неоднородной системой.

Определение 1. Решением системы (1) называется совокупность неизвестных которая, будучи подставленная в уравнения (1), обращает их в верные числовые равенства (другое определение:решением системы (1) называется вектор-столбец обращающий системув истинное векторное равенство). При этом если система (1) имеет хотя бы одно решение, то она называетсясовместной (или разрешимой). Если (1) не имеет решений, то она называется несовместной (или неразрешимой). Система, имеющая только одно решение, называется определённой системой. Система, имеющая более одного решений, называется неопределённой системой.

Рассмотрим систему (1) в матричной форме Как уже говорилось выше,называется матрицей коэффициентов или просто матрицей системы (1) . Если к этой матрице присовокупить справа столбецсвободных членов, то получим матрицуназываемуюрасширенной матрицей системы уравнений (1). Эта матрица играет важную роль в теории линейных систем уравнений. Например, по ней можно судить, будет ли система (1) разрешимой или нет. Имеет место следующее утверждение.

Теорема Кронекера-Капелли. Для того чтобы система линейных уравнений была совместной необходимо и достаточно, чтобы

Следствие 1. Однородная система всегда совместна(это утверждение вытекает также из того, что однородная система имеет тривиальное решение ).

3. Линейные пространства и базис. Структура общего решения однородной системы уравнений

Рассмотрим теперь более подробно однородную систему

и попробуем установить свойства ее решений. Сначала введем некоторые понятия, о которых подробно будет сказано в следующих лекциях.

Определение 2. Произвольное множество называетсялинейным пространством над множеством чисел , если в нем для любых двух элементов введены две операции: операция сложения () и операция умножения на числа(

), подчиняющиеся следующим аксиомам:

( элементназываетсяобратным или противоположнымк элементуи обозначаетсяэлементназываетсянулевым или нейтральным элементомпространства);

(элемент 1 называется нейтральным элементом умножения на числа);

Здесь везде произвольные элементы множестваапроизвольные числа изНейтральный элементобычно отождествляют с нулем:

Элементы линейного пространства часто называют векторамии мы будем в дальнейшем также пользоваться этим термином. Простейшими примерами линейных пространств являются множествадействительных чисел (с естественными операциями сложения и умножением на числа), а также пространствогеометрических векторов, рассмотренное ранее, с введенными в нем линейными операциями сложения и умножения на действительные числа. В качестве другого важного примера линейного пространства можно указать на пространствоматриц размерас введенными ранее операциями сложения матриц и умножения их на числа. В частности, линейными пространствами будут пространство столбцов:

и пространство строк: .

Ранее было введено понятие линейной зависимости и линейной независимости строк и столбцов. Точно такие же понятия вводятся и в произвольном линейном пространстве

Определение 3. Упорядочная система векторов линейного пространстваназываетсябазисом в , если она удовлетворяет следующим требованиям:

1) система линейно независима; 2) каков бы ни был векторсуществуют числатакие, что имеет место представление

причем это представление единственно. Числа называютсякоординатами вектора в базисеа столбецкоординатным столбцом вектора

Заметим, что если в пространстве существует базис, состоящий изконечного числа векторов, то пространство называетсяконечномерным (мерным; пишут размерность пространства). В противном случае называетсябесконечномерным пространством. Так же, как и в трехмерном пространстве геометрических векторов, устанавливается взаимно однозначное соответствиемежду элементамии их координатными столбцамипо закону:

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

Теорема 1. Множество всех решений однородной системы (2) (состоящей из уравнений снеизвестными) образует линейное пространстворазмерности

При этом любое решение однородной системы (2) имеет вид

где базис пространства решений(его называют фундаментальной систе-

мой решений однородной системы (2)), а некоторые постоянные.

Заметим, что линейная комбинация где произвольные постоянные, фундаментальная система решений системы (2),называетсяобщим решением этой системы и обозначается

Таким образом, построение общего решения системы (2) сводится к построению её фундаментальной системы решений (ф.с.р.). Как найти ф.с.р.? Ответу на этот вопрос мы предпошлем описание алгоритма построения общего решения неоднородной системы (1).