Решения однородной системы обладают следующими свойствами. Если вектор = (α1, α2,...,α n) является решением системы (15.14), то и для любого числа k вектор k = (kα 1, kα 2 ,..., kαn) будет решением этой системы. Если решением системы (15.14) является вектор = (γ1, γ2,...,γ n), то сумма + также будет решением этой системы. Отсюда следует, что любая линейная комбинация решений однородной системы также является решением этой системы.
Как мы знаем из п. 12.2, всякая система n -мерных векторов, состоящая более чем из п векторов, является линейно зависимой. Таким образом, из множества векторов-решений однородной системы (15.14) можно выбрать базис, т.е. любой вектор-решение данной системы будет линейной комбинацией векторов этого базиса. Любой такой базис называется фундаментальной системой решений однородной системы линейных уравнений. Справедлива следующая теорема, которую мы приводим без доказательства.
ТЕОРЕМА 4. Если ранг r системы однородных уравнений (15.14) меньше числа неизвестных п, то всякая фундаментальная система решений системы (15.14) состоит из п - r решений.
Укажем теперь способ нахождения фундаментальной системы решений (ФСР). Пусть система однородных уравнений (15.14) имеет ранг r < п. Тогда, как следует из правил Крамера, базисные неизвестные этой системы x 1, x 2, … xr линейно выражаются через свободные переменные xr+ 1, xr+ 2,..., xп:
Выделим частные решения однородной системы (15.14) по следующему принципу. Для нахождения первого вектора-решения 1 положим xr+ 1 = 1, xr+ 2 = xr+3 =... = xn = 0. Затем находим второе решение 2: принимаем xr +2 = 1, а остальные r - 1 свободных переменных положим нулями. Иными словами, мы последовательно присваиваем каждой свободной переменной единичное значение, положив остальные нулями. Таким образом, фундаментальная система решений в векторной форме с учетом первых r базисных переменных (15.15) имеет вид
ФСР (15.16) является одним из фундаментальных наборов решений однородной системы (15.14).
Пример 1. Найти решение и ФСР системы однородных уравнений
Решение. Будем решать эту систему методом Гаусса. Поскольку число уравнений системы меньше числа неизвестных, считаем х 1, x 2, х 3 базисными неизвестными, а x 4, х 5, x 6 — свободными переменными. Составим расширенную матрицу системы и выполним действия, составляющие прямой ход метода:
Преобразованная расширенная матрица соответствует системе уравнений, которая эквивалентна исходной однородной системе:
Обратный ход метода Гаусса дает значения базисных неизвестных, выраженные через свободные переменные:
Поскольку ранг однородной системы равен трем, то ФСР для нее состоит из трех линейно независимых векторов. По формулам (15.16) при п = 6 и r = 3, беря последовательно для свободных переменных тройки чисел (1, 0, 0), (0, 1, 0) и (0, 0, 1), получаем набор фундаментальных решений: