Однородной системой линейных уравнений называется система вида:
Нулевое решение системы (1) называется тривиальным решением.
Однородные системы всегда совместны, т.к. всегда существует тривиальное решение.
Если существует любое ненулевое решение системы, то оно называется нетривиальным.
Решения однородной системы обладают свойством линейности:
|
Теорема (о линейном решении однородных систем). |
Сформулируем теорему, которая позволит дать основное определение:
|
Теорема (о структуре общего решения). · если , где — число переменных системы, то существует только тривиальное решение; · если , то существует линейно независимых решений рассматриваемой системы: , причём её общее решение имеет вид: , где — некоторые константы. |
Пусть дана однородная система (1), тогда набор векторов размера называется фундаментальной системой решений (ФСР) (1), если:
· — решения системы (1);
Перепишем её в матричном виде:
Путём элементарных преобразований над строками приведём её основную матрицу к ступенчатому виду:
Таким образом ранг системы (ранг её основной матрицы) равен двум. Это значит, что существует линейно независимых решения системы.
Перепишем полученную систему в виде уравнений:
Возьмём и в качестве главных переменных. Тогда:
Подставим по очереди единицы в качестве одной из свободных переменных: и .
Тогда общее решение рассматриваемой системы может быть записано так:
а вектора составляют фундаментальную систему решений.