2015-03-08
1573
2.2.1. Определение. Однородной называется система, у которой свободные члены всех уравнений являются нулевыми.
Таким образом, однородная система имеет вид
(2.2.1)
2.3.2. Теорема. Множество решений однородной системы образует линейное пространство относительно операций сложения решений (a 1, a 2, …, an)+(b 1, b 2, …, bn)=(a 1+ b 1, a 2+ b 2, …, an + bn) и умножения на ненулевое число aa (a 1, a 2, …, an)=(aa 1, aa 2, …, aan). Размерность этого пространства равна n - r, где r ¾ ранг матрицы системы.
2.2.3. Определение. Базис пространства решений однородной системы линейных уравнений называется фундаментальной системой решений однородной системы.
2.2.4. Следствие. Множество решений однородной системы (2.2.1) имеет вид a 1 e 1+ a 2 e 2+…+ akek, где ai пробегают независимо друг от друга все числа, e 1, e 2, …, ek ¾ фундаментальная система решений.
Фундаментальная система решений находится следующим образом:
1. Методом окаймления миноров (Приложение 3.4) находим ранг матрицы системы (2.2.1) и ненулевой минор максимального порядка (он называется базисным минором системы).
|
|
|
2. Оставляем в системе те уравнения, коэффициенты которых входят в строки базисного минора.
3. Члены с неизвестными при коэффициентах базисного минора (эти неизвестные называются связанными) оставляем в левой части системы, остальные члены (со свободными неизвестными) переносим в правую часть. В результате (в общем виде) получаем систему вида (без ограничения общности считаем, что xr +1, xr +2, …, xn ¾ свободные неизвестные)
4) В полученной системе поочерёдно полагая (xr +1, xr +2, …, xn) равным (1, 0, …, 0), (0, 1, …, 0) и так далее, находим последовательно фундаментальную систему решений e 1, e 2, …, ek.
2.2.5. Упражнения. Найти фундаментальную систему решений следующих систем однородных линейных уравнений и представить общее решение системы как линейную комбинацию векторов фундаментальной системы решений:
а) 
б) 
в) 
г) 
д) 
е) 
ж) 
з) 
Решение. а) 1) Найдём методом окаймления миноров ранг матрицы
A = 
системы и ненулевой минор максимального порядка, который выбирается базисным:
M 1=1¹0, M 2= 
=0, 
= 
= -4¹0, M 3= 
=0, 
= 
=0
(таким образом, все миноры 3-го порядка, составленные из элементов первых трёх строк, равны нулю; продолжаем рассмотрение миноров 3-го порядка, составленные из элементов 1-й, 2-й и 4-й строк, то есть окаймляем четвёртой строкой) 
= 
=4¹0. Следовательно, ранг матрицы A системы равен 3, в качестве базисного выбираем данный ненулевой минор , а сама система равносильна системе
(2.2.2)
причём неизвестные x 1, x 3, x 4 ¾ связанные, а неизвестные x 2, x 5 ¾ свободные.
2) Перенесём в системе (2.2.2) члены со свободными неизвестными из левой части в правую:
|
|
|
Полагая x 2=1 и x 5=0, получаем систему
решением которой является 
Таким образом, e 1=(-2; 1; 0; 0; 0) ¾ первый вектор фундаментальной системы решений.
Полагая x 2=0 и x 5=1, получаем систему
решением которой является 
Таким образом, e 2=(- 
; 0; ; 1; 1) ¾ второй вектор фундаментальной системы решений.
3) Выпишем общее решение системы как линейную комбинацию векторов фундаментальной системы решений:
ae 1+ be 2= a (-2; 1; 0; 0; 0)+ b (- ; 0; ; 1; 1)=(-2 a - b; a; b; b; b)
где a, b Î R.
б) M 1=1¹0, M 2= 
=-3¹0, M 3= 
=0, = 
=0, = 
=0. Таким образом, ранг системы равен 2, а сама система равносильна системе 
2) Перепишем её виде
Ищем фундаментальную систему решений e 1, e 2, e 3. Положим x 3=1, x 4=0, x 5=0. Тогда приходим к системе
решение которой 
и e 1=(- 
; 
; 1; 0; 0).
Положим x 3=0, x 4=1, x 5=0. Тогда получаем 
откуда 
и e 2=(- 
; 
; 0; 1; 0).
Наконец, x 3=0, x 4=0, x 5=1, откуда 
и 
и e 3=(- ; 
; 0; 0; 1).
Таким образом, фундаментальная система векторов состоит из e 1=(- ; ; 1; 0; 0), e 2=(- ; ; 0; 1; 0), e 3=(- ; ; 0; 0; 1).
3) a 1 e 1+ a 2 e 2+ a 3 e 3= a 1(- ; 
; 1; 0; 0)+ a 2(- ; 
; 0; 1; 0)+ a 3(- 
; 
; 0; 0; 1)= =(- a 1- a 2- a 3; a 1+ a 2+ a 3; a 1; a 2; a 3).
Ответ: а) e 1=(-2; 1; 0; 0; 0), e 2=(- ; 0; - ; -1; 1) ¾ фундаментальная система решений и {(-2 a - b; a; - b; - b; b) | a, b Î R } ¾ общее решение системы.
б) e 1=(- ; ; 1; 0; 0), e 2=(- ; ; 0; 1; 0), e 3=(- ; ; 0; 0; 1) ¾ фундаментальная система решений и
{(- a 1- a 2- a 3; a 1+ a 2+ a 3; a 1; a 2; a 3) | a, b Î R } ¾ общее решение системы.
2.2.6. Замечания. 1) Выбор значений свободных неизвестных при нахождении фундаментальной системы решений, вообще говоря, произвольный ¾ лишь бы получить линейно независимую систему решений. Так, при решении последнего уравнения можно было в качестве троек (x 3; x 4; x 5) взять последовательно (-1; 0; 0), (0; -1; 0), (0; 0; -1) или (1; 1; 1), (0; 1; 1), (0; 0; 1), так как 
¹0 и 
¹0. Читателю рекомендуется решить предыдущую систему при этих значениях неизвестных.
2) Решая две предыдущие системы методом Гаусса, мы получим те же множества решений, правда, быть может, записанных другим способом. Решим методом Гаусса, например, последнюю систему:
® 
® 
® ® 
® 
® 
® ® 
.
Это означает, что 
то есть общее решение имеет вид (- a - b - g; a + b + g; a; b; g). Сравнивая его с решениями, выраженными через фундаментальную систему решений, видим, что мы получили одно и то же множество, только выраженное в различных обозначениях одних и тех же параметров.
