2. Решение систем линейных уравнений
Рассмотрим m линейных неоднородных уравнений с n неизвестными
(*)
Эту ЛНС уравнений можно записать в векторной форме AX=B, где заданы матрицы коэффициентов А, B.
и
B
матрица-столбец
(вектор
свободных членов);
,
X-
искомый n-мерный
вектор неизвестных , которые требуется
найти.
Система
уравнений называется совместной, если
она имеет хотя бы одно решение. В противном
случае система называется несовместной.
Имеет место следующая теорема Кронекера
- Капели: Для совместности системы (*)
необходимо и достаточно, чтобы ранг
матрицы системы равнялся рангу её
расширенной матрицы: Rang
A=
Rang
=r,
где
-расширенная
матрица.
Если r=n,то ЛНС(*) имеет единственное решение. Если r<n, то ЛНС(*) имеет бесконечное множество решений. Назовём r неизвестных, базисный минор из коэффициентов при которых отличен от нуля, базисными переменными остальные (n-r) неизвестных системы назовем свободными переменными. Придавая свободным переменным произвольные значения, можно найти соответствующие значения базисных переменных. В результате получим общее решение системы, включающее в себя все частные решения.
Пример. Найти общее решение данной неоднородной системы с исследованием её на совместимость. Выделить какое-нибудь частное решение.
Дано:
Решение. Здесь число уравнений m=3 , число неизвестных n=4,
-
расширенная матрица,
-вектор
свободных членов,
-искомый вектор.
Вычислим
сначала Rang
A
и
Rang
методом
окаймляющих миноров:
,
Rang
=3.
Т.к. ранги матриц A и равны, то система совместна и имеет бесконечно много решений, ибо ранг r =3 меньше числа неизвестных n =4. Неизвестные x1,x2,x4 соответствуют базисным столбцам минора M3 0 . Примем их за базисные переменные, неизвестная переменная x3 будет свободной.
Перепишем систему в виде:
Решим эту систему по правилу Крамера:
;
;
;
Тогда
;
;
Обозначим
x3=С,
где С-
произвольная постоянная ,
.
Запишем общее решение в векторной форме
Получая, например, С=3, найдем частные ЛНС: X1=148; X2=-5/3; X3=3; X4=62.
Ответ: Xобщее=(49С+1,-2C+13/3,C,62C/3),
Xчастное=(148,-5/3,3,62).
3. Подпространства, образованные решениями линейной однородной системы (лос) уравнений. Нахождение общего решения лос
Рассмотрим линейную однородную систему m уравнений с n неизвестными
Здесь
-матрица
коэффициентов размерности m
n,
-неизвестный
вектор, подлежащий определению.
Совокупность линейно независимых решений
,
,…,
ЛОС уравнений называется фундаментальной
системой решений (ФСР) , если любое
решение этой системы может быть
представлено в виде линейной комбинации
этих векторов
,
,…,
: X=c1
+c2
+…+ck
,
где c1,c2,…,ck
– любые
константы. Последнее равенство является
общим решением ЛОС уравнений в векторной
форме ,т.к. в нём содержатся всевозможные
частные решения при конкретных значениях
произвольных постоянных c1,c2,…,ck
.
Теорема. Если ранг r матрицы А меньше числа n неизвестных, то ЛОС уравнений имеет ненулевое решение. Число n-мерных векторов , определяющих ФСР , находятся по формуле k=n-r, где r=Rang A. Таким образом, если рассматривается линейное пространство Rn ,элементами которого являются n-мерные векторы , то множество всех решений ЛОС является подпространством пространства Rn . Размерность этого подпространства равна k.
Пример. Найти общее решение данной системы и проанализировать его структуру (указать базис пространства решений ЛОС, указать размерность пространства ).
Дано:
Решение. В данной ЛОС имеем m=3- число уравнений, n=5- число неизвестных.
Запишем матрицу коэффициентов при неизвестных
и
определим её ранг с помощью элементарных
преобразований:
Т.к. число линейно независимых столбцов преобразований матрицы равно r=3, то RangA=r=3. RangA=3<n=5. Следовательно, ЛОС имеет ненулевые решения.
ФСР
состоит двух (k=n-r=2)линейно
независимых решений. Неизвестные
x1,x2,x3
соответствуют базисным столбцам и
являются базисными переменными;
неизвестные x4,x5
– свободными переменными. Запишем
преобразованную систему уравнений,
перенеся свободные переменные x4,x5
в правую
часть системы уравнений:
Для первого набора свободных переменных x4=1, x5=0 и второго набора свободных переменных x4=0, x5=1 имеем решения:
Решения и образуют ФСР. Общее решение системы в векторной форме:
X=c1
+c2
=
,
где c1, c2 – произвольные постоянные.
Если
положить с1=3
,
c2=6
,
где любые числа
,
то общее решение данной ЛОС в координатной
форме можно записать так:
,
,
,
,
,
.
Таким
образом, исходная система имеет
бесконечное множество решений; размерность
пространства решений
.
Ответ:
).