Рассмотрим систему линейных уравнений
a11 x1 +... + a1n xn = b1
a21x1 +... + a2nxn = b2
........................ ()
am1x1 +... + amn xn = bm,
без предположения о равенстве числа уравнений и числа неизвестных. Решение системы () представляет собой упорядоченную последовательность из n чисел и, следовательно, являются элементами n- мерного пространства. Совокупность всех решений системы образуют множество в пространстве Rn. Изучим более подробно алгебраическую структуру этих множеств.
Без ограничения общности можно считать, что m £ n. Действительно, пусть m > n. Обозначим k-ю строку матрицы системы А через a k . Тогда, рассматривая эти строки как вектора пространства Rn, получим, что система векторов a 1,..., a m линейно зависима. Из теоремы следует, что один из векторов системы линейно выражается через предыдущие
a k = a 1 a 1 +... + a k - 1 a k - 1,
или
a k - a 1 a 1 -... - a k - 1 a k - 1 = 0.
Последнее равенство показывает, что вычитая из k-го уравнения предыдущие 1-е, 2-е,..., (k-1)-е уравнения, умноженные соответственно на a1,..., a k - 1, мы получим равенство 0 = b. Если b ¹ 0, то система является противоречивой и не имеет решений. Если b = 0, то k-е уравнение является следствием предыдущих. Исключаем это уравнение из системы. Продолжая процесс, мы придем к эквивалентной системе с числом уравнений, не превосходящим числа неизвестных.
Система уравнений вида
a11 x1 +... + a1n xn = 0
a21x1 +... + a2nxn = 0
........................ ()
am1x1 +... + amn xn = 0
называется однородной.
В матричной форме однородная система имеет вид
A x = 0.
Заметим, что нулевой вектор
0 = 
является решением системы при любых а i j . Это решение называется нулевым или тривиальным решением. Более подробный ответ о структуре множества решений дает следующая теорема.
Т е о р е м а. Множество всех решений однородной системы линейных является подпространством пространства Rn.
Д о к а з а т е л ь с т в о. Пусть x и y решения однородной системы. Тогда
A(a x + b y) = aA x + bA y = a× 0 + b× 0 = 0.
Таким образом получили, что произвольная линейная комбинация решений системы () является снова решением системы ().
Поскольку все пространство имеет размерность n, то размерность пространства решений имеет размерность не выше n. Точный ответ о размерности этого пространства дает следующая теорема, которую мы приведем без доказательства (см., например [ ]).
Т е о р е м а. Размерность пространства решений однородной системы линейных уравнений с n неизвестными равна разности n-r, где r - ранг матрицы системы.
Из теоремы следует, что в случае m < n однородная система линейных уравнений имеет бесконечно много решений, т. к. r £ m < n (n-r > 0). Заметим, что пространство решений одного уравнения
a1 x1 +... + an xn = 0
имеет размерность n-1 и состоит из векторов x = (x1,..., xn) ортогональных вектору а = (а1,..., аn). Такие подпространства называются гиперплоскостями. Например, в случае n = 3, множество решений уравнения
a1xx + a2x2 + a3x3 = 0
является плоскостью в трехмерном пространстве, проходящей через начало координат и ортогональной вектору а = (а1, а2, а3).
Обозначим подпространство решений однородной системы через X0, через x + X0 - множество векторов вида x + x0, где x0 Î X0.
Рассмотрим общую систему линейных уравнений (), матричная форма записи которой имеет вид
A x = b.
Следующая теорема дает описание множества решений этой системы уравнений.
Т е о р е м а. Пусть x произвольное решение системы линейных уравнений (). Тогда множество всех решений этой системы можно записать в виде x + X0.
Д о к а з а т е л ь с т в о. Пусть y произвольное решение системы линейных уравнений (). Тогда вектор x0 = x - y является решением однородной системы линейных уравнений (). Действительно
A x0 = A(x - y) = b - b = 0.
Отсюда получаем, что y = x0 + x.
Обратно, любой вектор y = x0 + x является решением системы (), т.к.
A y = A(x0 + x) = A x0 + A x = 0 + b = b.
Рассмотрим совместную систему () из которой исключены уравнения, являющиеся следствием остальных. Без ограничения общности можно считать, что матрица коэффициентов при первых m неизвестных имеет обратную. В противном случае изменяем нумерацию неизвестных.
