Фундаментальная система решений однородной слу. Системы линейных однородных уравнений

Решения однородной системы обладают следующими свой­ствами. Если вектор = (α 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 , … x r линейно выражаются через свободные переменные x r + 1 , x r + 2 , ..., x п:

Выделим частные решения однородной системы (15.14) по сле­дующему принципу. Для нахождения первого вектора-решения 1 положим x r + 1 = 1, x r + 2 = x r +3 = ... = x n = 0. Затем на­ходим второе решение 2: принимаем x r +2 = 1, а остальные r - 1 свободных переменных положим нулями. Иными словами, мы последовательно присваиваем каждой свободной перемен­ной единичное значение, положив остальные нулями. Таким образом, фундаментальная система решений в векторной фор­ме с учетом первых r базисных переменных (15.15) имеет вид

ФСР (15.16) является одним из фундаментальных наборов решений однородной системы (15.14).

Пример 1. Найти решение и ФСР системы однородных урав­нений

Решение. Будем решать эту систему методом Гаусса. По­скольку число уравнений системы меньше числа неизвестных, считаем х 1 , x 2 , х 3 базисными неизвестными, а x 4 , х 5 , x 6 - сво­бодными переменными. Составим расширенную матрицу сис­темы и выполним действия, составляющие прямой ход метода.

Однородная система всегда совместна и имеет тривиальное решение
. Для существования нетривиального решения необходимо, чтобы ранг матрицыбыл меньше числа неизвестных:

.

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

Тогда общее решение однородной системы имеет вид:

где
- произвольные постоянные. Другими словами, общее решение есть линейная комбинация фундаментальной системы решений.

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

Пример . Найдем решение системы

Примем , тогда получим решение в виде:

Построим теперь фундаментальную систему решений:

.

Общее решение запишется в виде:

Решения системы однородных линейных уравнений имеют свойства:

Другими словами, любая линейная комбинация решений однородной системы есть опять решение.

Решение систем линейных уравнений методом Гаусса

Решение систем линейных уравнений интересует математиков несколько столетий. Первые результаты были получены в XVIII веке. В 1750 г. Г.Крамер (1704 –1752) опубликовал свои труды по детерминантам квадратных матриц и предложил алгоритм нахождения обратной матрицы. В 1809 г. Гаусс изложил новый метод решения, известный как метод исключения.

Метод Гаусса, или метод последовательного исключения неизвестных, заключается в том, что с помощью элементарных преобразований система уравнений приводится к равносильной системе ступенчатого (или треугольного) вида. Такие системы позволяют последовательно находить все неизвестные в определенном порядке.

Предположим, что в системе (1)
(что всегда возможно).

(1)

Умножая поочередно первое уравнение на так называемые подходящие числа

и складывая результат умножения с соответствующими уравнениями системы, мы получим эквивалентную систему, в которой во всех уравнениях, кроме первого, будет отсутствовать неизвестная х 1

(2)

Умножим теперь второе уравнение системы (2) на подходящие числа, полагая, что

,

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

Продолжая этот процесс, после
шага мы получим:

(3)

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

Переход от системы (1) к (3) называется прямым ходом метода Гаусса, а нахождение неизвестных из (3) – обратным ходом .

Замечание : Преобразования удобнее производить не с самими уравнениями, а с расширенной матрицей системы (1).

Пример . Найдем решение системы

.

Запишем расширенную матрицу системы:

.

Прибавим к строкам 2,3,4 первую, умноженную на (-2), (-3), (-2) соответственно:

.

Поменяем строки 2 и 3 местами, затем в получившейся матрице добавим к строке 4 строку 2, умноженную на :

.

Прибавим к строке 4 строку 3, умноженную на
:

.

Очевидно, что
, следовательно, система совместна. Из полученной системы уравнений

находим решение обратной подстановкой:

,
,
,
.

Пример 2. Найти решение системы:

.

Очевидно, что система несовместна, т.к.
, а
.

Достоинства метода Гаусса :

Менее трудоемкий, чем метод Крамера.

Однозначно устанавливает совместность системы и позволяет найти решение.

Дает возможность определить ранг любых матриц.

Пример 1 . Найти общее решение и какую-нибудь фундаментальную систему решений для системы

Решение находим с помощью калькулятора . Алгоритм решения такой же, как и для систем линейных неоднородных уравнений.
Оперируя только со строками, находим ранг матрицы, базисный минор; объявляем зависимые и свободные неизвестные и находим общее решение.

Первая и вторая строки пропорциональны, одну из них вычеркнем:

.
Зависимые переменные – x 2 , x 3 , x 5 , свободные – x 1 , x 4 . Из первого уравнения 10x 5 = 0 находим x 5 = 0, тогда
; .
Общее решение имеет вид:

Находим фундаментальную систему решений, которая состоит из (n-r) решений. В нашем случае n=5, r=3, следовательно, фундаментальная система решений состоит из двух решений, причем эти решения должны быть линейно независимыми. Чтобы строки были линейно независимыми, необходимо и достаточно, чтобы ранг матрицы, составленной из элементов строк, был равен количеству строк, то есть 2. Достаточно придать свободным неизвестным x 1 и x 4 значения из строк определителя второго порядка, отличного от нуля, и подсчитать x 2 , x 3 , x 5 . Простейшим определителем, отличным от нуля, является .
Таким образом, первое решение: , второе – .
Эти два решения составляют фундаментальную систему решений. Заметим, что фундаментальная система не единственна (определителей, отличных от нуля, можно составить сколько угодно).

Пример 2 . Найти общее решение и фундаментальную систему решений системы
Решение.



,
отсюда следует, что ранг матрицы равен 3 и равен числу неизвестных. Значит, система не имеет свободных неизвестных, а поэтому имеет единственное решение – тривиальное.

Задание . Исследовать и решить систему линейных уравнений.
Пример 4

Задание . Найти общее и частное решения каждой системы.
Решение. Выпишем основную матрицу системы:

5	-2	9	-4	-1
1	4	2	2	-5
6	2	11	-2	-6
x 1	x 2	x 3	x 4	x 5

Приведем матрицу к треугольному виду. Будем работать только со строками, так как умножение строки матрицы на число, отличное от нуля, и прибавление к другой строке для системы означает умножение уравнения на это же число и сложение с другим уравнением, что не меняет решения системы.
Умножим 2-ую строку на (-5). Добавим 2-ую строку к 1-ой:

0	-22	-1	-14	24
1	4	2	2	-5
6	2	11	-2	-6

Умножим 2-ую строку на (6). Умножим 3-ую строку на (-1). Добавим 3-ую строку к 2-ой:
Найдем ранг матрицы.

0	22	1	14	-24
6	2	11	-2	-6
x 1	x 2	x 3	x 4	x 5

Выделенный минор имеет наивысший порядок (из возможных миноров) и отличен от нуля (он равен произведению элементов, стоящих на обратной диагонали), следовательно rang(A) = 2.
Этот минор является базисным. В него вошли коэффициенты при неизвестных x 1 ,x 2 , значит, неизвестные x 1 ,x 2 – зависимые (базисные), а x 3 ,x 4 ,x 5 – свободные.
Преобразуем матрицу, оставляя слева только базисный минор.

0	22	14	-1	-24
6	2	-2	-11	-6
x 1	x 2	x 4	x 3	x 5

Система с коэффициентами этой матрицы эквивалентна исходной системе и имеет вид:
22x 2 = 14x 4 - x 3 - 24x 5
6x 1 + 2x 2 = - 2x 4 - 11x 3 - 6x 5
Методом исключения неизвестных находим нетривиальное решение :
Получили соотношения, выражающие зависимые переменные x 1 ,x 2 через свободные x 3 ,x 4 ,x 5 , то есть нашли общее решение :
x 2 = 0.64x 4 - 0.0455x 3 - 1.09x 5
x 1 = - 0.55x 4 - 1.82x 3 - 0.64x 5
Находим фундаментальную систему решений, которая состоит из (n-r) решений.
В нашем случае n=5, r=2, следовательно, фундаментальная система решений состоит из 3-х решений, причем эти решения должны быть линейно независимыми.
Чтобы строки были линейно независимыми, необходимо и достаточно, чтобы ранг матрицы, составленной из элементов строк, был равен количеству строк, то есть 3.
Достаточно придать свободным неизвестным x 3 ,x 4 ,x 5 значения из строк определителя 3-го порядка, отличного от нуля, и подсчитать x 1 ,x 2 .
Простейшим определителем, отличным от нуля, является единичная матрица.

1	0	0
0	1	0
0	0	1

Задача . Найти фундаментальный набор решений однородной системы линейных уравнений.

Однородная система линейных уравнений над полем

ОПРЕДЕЛЕНИЕ. Фундаментальной системой решений системы уравнений (1) называется непустая линейно независимая система ее решений, линейная оболочка которой совпадает с множеством всех решений системы (1).

Отметим, что однородная система линейных уравнений, имеющая только нулевое решение, не имеет фундаментальной системы решений.

ПРЕДЛОЖЕНИЕ 3.11. Любые две фундаментальные системы решений однородной системы линейных уравнений состоят из одинакового числа решений.

Доказательство. В самом деле, любые две фундаментальные системы решений однородной системы уравнений (1) эквивалентны и линейно независимы. Поэтому в силу предложения 1.12 их ранги равны. Следовательно, число решений, входящих в одну фундаментальную систему, равно числу решений, входящих в любую другую фундаментальную систему решений.

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

ТЕОРЕМА 3.12. Если ранг основной матрицы однородной системы линейных уравнений (1) меньше числа переменных , то система (1) обладает фундаментальной системой решений, состоящей из решений.

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

Легко проверить, что любой системе значений свободных переменных системы (2) соответствует одно и только одно решение системы (2) и, значит, системы (1). В частности, системе нулевых значений соответствует только нулевое решение системы (2) и системы (1).

Будем в системе (2) придавать одному из свободных переменных значение, равное 1, а остальным переменным - нулевые значения. В результате получим решений системы уравнений (2), которые запишем в виде строк следующей матрицы С:

Система строк этой матрицы линейно независима. В самом деле, для любых скаляров из равенства

следует равенство

и, значит, равенства

Докажем, что линейная оболочка системы строк матрицы С совпадает с множеством всех решений системы (1).

Произвольное решение системы (1). Тогда вектор

также является решением системы (1), причем

Системы линейных однородных уравнений - имеет вид ∑a k i x i = 0. где m > n или m Однородная система линейных уравнений всегда совместна, так как rangA = rangB . Она заведомо имеет решение, состоящее из нулей, которое называется тривиальным .

Назначение сервиса . Онлайн-калькулятор предназначен для нахождения нетривиального и фундаментального решения СЛАУ. Полученное решение сохраняется в файле Word (см. пример решения).

Инструкция . Выберите размерность матрицы:

количество переменных : 2 3 4 5 6 7 8 и количество строк 2 3 4 5 6

Свойства систем линейных однородных уравнений

Для того чтобы система имела нетривиальные решения , необходимо и достаточно, чтобы ранг ее матрицы был меньше числа неизвестных.

Теорема . Система в случае m=n имеет нетривиальное решение тогда и только тогда, когда определитель этой системы равен нулю.

Теорема . Любая линейная комбинация решений системы также является решением этой системы.
Определение . Совокупность решений системы линейных однородных уравнений называется фундаментальной системой решений , если эта совокупность состоит из линейно независимых решений и любое решение системы является линейной комбинацией этих решений.

Теорема. Если ранг r матрицы системы меньше числа n неизвестных, то существует фундаментальная система решений, состоящая из (n-r) решений.

Алгоритм решения систем линейных однородных уравнений

1. Находим ранг матрицы.
2. Выделяем базисный минор. Выделяем зависимые (базисные) и свободные неизвестные.
3. Вычеркиваем те уравнения системы, коэффициенты которых не вошли в состав базисного минора, так как они являются следствиями остальных (по теореме о базисном миноре).
4. Члены уравнений, содержащие свободные неизвестные, перенесем в правую часть. В результате получим систему из r уравнений с r неизвестными, эквивалентную данной, определитель которой отличен от нуля.
5. Решаем полученную систему методом исключения неизвестных. Находим соотношения, выражающие зависимые переменные через свободные.
6. Если ранг матрицы не равен количеству переменных, то находим фундаментальное решение системы.
7. В случае rang = n имеем тривиальное решение.

Пример . Найти базис системы векторов (а 1 , а 2 ,...,а m), ранг и выразить векторы по базе. Если а 1 =(0,0,1,-1), а 2 =(1,1,2,0), а 3 =(1,1,1,1), а 4 =(3,2,1,4), а 5 =(2,1,0,3).
Выпишем основную матрицу системы:

Умножим 3-ую строку на (-3). Добавим 4-ую строку к 3-ой:

0	0	1	-1
0	0	-1	1
0	-1	-2	1
3	2	1	4
2	1	0	3

Умножим 4-ую строку на (-2). Умножим 5-ую строку на (3). Добавим 5-ую строку к 4-ой:
Добавим 2-ую строку к 1-ой:
Найдем ранг матрицы.
Система с коэффициентами этой матрицы эквивалентна исходной системе и имеет вид:
- x 3 = - x 4
- x 2 - 2x 3 = - x 4
2x 1 + x 2 = - 3x 4
Методом исключения неизвестных находим нетривиальное решение:
Получили соотношения, выражающие зависимые переменные x 1 ,x 2 ,x 3 через свободные x 4 , то есть нашли общее решение:
x 3 = x 4
x 2 = - x 4
x 1 = - x 4