Теорема о структуре общего решения неоднородной системы линейных алгебраических уравнений

Теорема о структуре общего решения неоднородной системы линейных алгебраических уравнений

Рассмотрим систему m линейных алгебраических уравнений относительно n неизвестных :

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

Определение. Система, имеющая хотя бы одно решение, называется совместной; система, не имеющая ни одного решения — несовместной.

Напомним, что система линейных уравнений может быть записана в матричной форме:

,

где — матрица системы, — правая часть, — искомое решение,

Необходимое и достаточное условие совместности системы линейных алгебраических уравнений

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

Теорема (теорема Кронекера-Капелли). Для того, чтобы неоднородная система линейных алгебраических уравнений была совместна, необходимо и достаточно, чтобы ранг расширенной матрицы системы совпадал с рангом матрицы системы.

Доказательство теоремы.

Необходимость. Система совместна. Докажем, что .

Система совместна — существуют такие числа , что

т.е. вектор-столбец правой части линейно выражается через столбцы матрицы A. Это означает, что при добавлении столбца число линейно независимых столбцов не увеличивается, т.е. . Необходимость доказана.

Достаточность. . Докажем, что система совместна.

Пусть . Это означает, что среди столбцов обеих матриц есть r линейно независимых столбцов, а все остальные линейно выражаются через эти r столбцов. Не умаляя общности, положим, что линейно независимы первые r столбцов . Тогда столбцы — линейно зависимы и, следовательно, столбец линейно выражается через : .

Положим ,

т.е. вектор — решение системы ,

т.е. система совместна. Теорема доказана.

Свойства решений систем линейных алгебраических уравнений

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

1. Если и — два решения однородной системы , то при любых действительных числах α и β вектор — решение системы .

2. Если и — два решения неоднородной системы , то вектор — решение приведенной однородной системы однородной .

3. Если решение неоднородной системы , а — решение однородной системы , то вектор — решение неоднородной системы .

Докажем, например, первое из этих свойств. Пусть и — два решения системы , т. е. и и пусть α и β любые действительные числа. Тогда , т.е. вектор — решение однородной системы.

Остальные утверждения докажите аналогично самостоятельно.

Структура общего решения неоднородной системы

Вспомним одно из свойств решений линейной неоднородной системы:

Если и — два решения системы , то вектор — решение приведенной однородной системы .

Поскольку выражение задает все решения однородной системы, то для любых двух решений и неоднородной системы справедливо

и, следовательно, выражение позволяет вычислить любое решение неоднородной системы.

Таким образом доказана теорема о структуре общего решения линейной неоднородной системы.

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

где — произвольные константы, а — фундаментальная система решений приведенной однородной системы, — некоторое известное (частное) решение неоднородной системы.

Формулы Крамера. Рассмотрим систему n линейных алгебраических уравнений относительно n неизвестных

Обозначим: — определитель матрицы системы, и — определитель матрицы, полученной из матрицы системы заменой j-го столбца столбцом правых частей.

Если определитель матрицы системы отличен от нуля, , то решение системы

определяется равенствами: .

Докажем это утверждение. Пусть .

Обозначим и покажем, что Вычислим

Вычислим определитель разложением по первому столбцу, определитель — по второму, …, — по n-му:

, поскольку определитель отличается от только j-м столбцом. Тогда

Т.е. Формулы Крамера доказаны.

Замечание. Нетрудно, показать, что выражения и — две формы записи одного и того же равенства.

Действительно,

Лекция 6. Линейное пространство. Линейная зависимость системы векторов. Размерность, базис. Линейное подпространство. Примеры

Линейное пространство арифметических векторов R n

Определение. Арифметическим вектором называется упорядоченная совокупность n чисел. Обозначается , числа называются компонентами арифметического вектора.

Для арифметических векторов определены линейные операции — сложение арифметических векторов и умножение вектора на число: для любых и и любого числа

Определение. Множество арифметических векторов, для которых определены операции сложения и умножения на число называется пространством арифметических векторов­­ R n .

Вектор называется нулевым вектором, а вектор — противоположным вектором для вектора .

Для любых , , из R n и любых чисел α , β справедливо:

1. , сложение коммутативно;

2. , сложение ассоциативно;

3.

4.

5. , умножение на число дистрибутивно относительно сложения элементов;

6. , умножение на число ассоциативно;

7. , умножение вектора на число дистрибутивно относительно сложения чисел.

8.

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

Линейная зависимость и линейная независимость в R n

Определение. Линейной комбинацией векторов называется выражение , где коэффициенты линейной комбинации — некоторые числа.

Определение. Говорят, что вектор пространства R n линейно выражается через векторы , если его можно представить в виде линейной комбинации этих элементов , т.е. представить в виде .

Определение. Система векторов из R n называется линейно независимой если из следует равенство нулю всех коэффициентов , .

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

Определение. Система векторов, которая не является линейно зависимой, называется линейно независимой.

Иными словами, существуют такие коэффициенты линейной комбинации , не все равные нулю , что .

Или: линейная комбинация векторов может обратиться в нуль, хотя не все коэффициенты линейной комбинации равны нулю.

Пример. Исследуем на линейную зависимость векторы из R 3 .

Составим линейную комбинацию векторов и приравняем ее нулю:

Т.е. линейная комбинация равна нулю тогда и только тогда, когда все ее коэффициенты нулевые — векторы линейно независимы.

Пример. Исследуем на линейную зависимость систему векторов из R 3 .

Составим линейную комбинацию векторов и приравняем ее нулю:

Пусть, например, , тогда , т.е. существует нулевая линейная комбинация с отличными от нуля коэффициентами — векторы — линейно зависимы.

Свойства линейно зависимых и линейно независимых систем функций

1. Любая система векторов, содержащая нулевой вектор линейно зависима.

2. Любая система векторов, содержащая пару взаимно противоположных векторов — линейно зависима.

3. Любая система векторов, содержащая два равные вектора — линейно зависима.

4. Любая подсистема линейно независимой системы векторов — линейно независима.

5. Если некоторая подсистема системы векторов линейно зависима, то и вся система — линейно зависима.

Докажем первое из этих утверждений: любая система векторов, содержащая нулевой вектор линейно зависима. Рассмотрим произвольную систему векторов и добавим к ней нулевой вектор: . Тогда : , т.е. равна нулю линейная комбинация с одним ненулевым коэффициентом — векторы линейно зависимы, ч.т.д.

Остальные утверждения доказываются аналогично. Докажите сами.

Необходимое и достаточное условие линейной зависимости системы векторов в R n

Справедливо следующее утверждение.

Теорема (Необходимое и достаточное условие линейной зависимости системы векторов). Система векторов из R n линейно зависима тогда и только тогда, когда хотя бы один вектор системы векторов из R n линейно выражается через остальные векторы системы.

Доказательство теоремы. Необходимость. Дано: векторы линейно зависимы. Докажем, что хотя бы один из них линейно выражается через остальные .

Векторы линейно зависимы. Это означает, что существуют такие коэффициенты линейной комбинации , не все равные нулю, что .

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

Достаточность. Дано: один из векторов системы линейно выражается через остальные. Докажем, что векторы линейно зависимы.

Действительно, не умаляя общности, положим, что вектор линейно выражается через : . Если все , то и векторы линейно зависимы (см. св-во 1). Если же среди есть хоть одно отличное от нуля число, то — имеем нулевую линейную комбинацию, не все коэффициенты которой равны нулю — система векторов линейно зависима. Достаточность доказана. Теорема доказана.

Базис в R n . Координаты вектора в заданном базисе. Линейные операции в координатной форме

Определение. Система векторов из R n образует базис в R n если:

1. система векторов упорядочена;

2. система векторов линейно независима;

3. любой вектор из R n линейно выражается через векторы системы.

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

Образует базис в R n если любой вектор из R n может быть представлен в виде .

Определение. Выражение называется разложением вектора в базисе , а числа называются координатами вектора в базисе .

Пример. Нетрудно доказать, что система арифметических векторов

линейно независима (см. пример с ) и что для любого из R n система векторов линейно зависима, поскольку любой вектор линейно выражается через : . Т.е. в R n существует базис, состоящий из n векторов. Базис называется естественным базисом в R n , и компоненты вектора — его координаты в естественном базисе.

Справедливо следующее утверждение.

Теорема (о единственности разложения вектора в базисе). Для любого вектора из R n разложение вектора в базисе единственно.

Доказательство теоремы. «От противного». Пусть не так. Т.е. векторы образуют базис в R n , помимо разложения , существует разложение и не все коэффициенты C_i , B_i совпадают.

Тогда , и, следовательно, , откуда .

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

Следствие. Координаты вектора в заданном базисе определяются единственным образом.

Теорема. В пространстве R n существует базис из n векторов.

Действительно, этот базис — естественный базис

Линейные операции в координатной форме

Пусть векторы образуют базис в R n . Тогда для любых двух векторов и

из R n однозначно определены разложения , . Тогда из свойств арифметических операций в R n следует:

и

для любого числа : .

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

Линейные подпространства в R n , размерность подпространства, базис в подпространстве

Определение. Множество L векторов из R n , такое, что для любых и из L и любого числа α справедливо , называется линейным подпространством в R n .

Пример. Множество L арифметических векторов из R n , у которых последние компоненты — нулевые, образует линейное подпространство в R n :

Нетрудно доказать, что для любого линейного подпространства справедливо:

1. если вектор принадлежит линейному подпространству L, то и вектор принадлежит линейному подпространству L;
2. любое линейное подпространство содержит нулевой элемент.

Действительно, пусть но тогда и , и, следовательно, .

Утверждение. Пространство ­R n само является линейным подпространством в R n .

Это утверждение очевидно, поскольку сумма любых двух векторов из R n и произведение любого вектора из R n на любое число принадлежат R n .

Определение. Число k называется размерностью линейного подпространства L , если в L существует система из k линейно независимых векторов, а любые k +1 вектора — линейно зависимы. Обозначаем dimL = k .

Нетрудно доказать следующее утверждение.

Теорема. В k -мерном линейном подпространстве существует базис их k векторов.

Доказательство теоремы. Действительно, если dimL = k, то существует система из k линейно независимых векторов , а любая система из k+1 вектора — линейно зависима, но тогда любой вектор линейно выражается через векторы : , т.е. — базис в L.

Справедливы также следующие утверждения (оставим их без доказательства).

Теорема. Любая упорядоченная система из k линейно независимых векторов k -мерного линейного подпространства является базисом в этом подпространстве.

Теорема. Размерность линейного подпространства равна числу векторов в базисе этого подпространства.

Отсюда следует: dim ( R n ) = n.

Действительно, в пространстве R n есть базис из n векторов — естественный базис в R n .

Пример. Размерность линейного подпространства L арифметических векторов из R n , у которых последние компоненты — нулевые, равна n – 1.

Действительно, векторы — очевидно, принадлежат L и линейно независимы. Покажем, что они образуют базис в L. Для произвольного вектора имеет место разложение справедливо: , т.е. векторы образуют базис в L. В этом базисе n-1 вектор, следовательно, dimL = n –1.

Тогда можно использовать другое определение базиса.

Определение. Любая упорядоченная линейно независимая система из k векторов k -мерного линейного подпространства L образует базис этого линейного подпространства L .

Это означает, что если dimL = k и арифметические векторы из L линейно независимы, то для любого существует единственный набор чисел таких, что .

Метрические соотношения в R n

Определение. Если каждой паре векторов из пространства R n поставлено в соответствие действительное число , так, что для любых из R n и любого действительного числа справедливы следующие равенства:

1.

2.

3.

4. при , , — нулевой вектор,

то говорят, что в пространстве R n определено скалярное произведение .

Пример. Легко проверить, что изученное в разделе «аналитическая геометрия» скалярное произведение известное из школьного курса скалярное произведение в трехмерном пространстве геометрических векторов (в R 3 ) является скалярным произведением в определенном выше смысле.

Пример. Рассмотрим пространство арифметических векторов R 2 =<X=(x₁, x₂)>. Определим скалярное произведение следующим образом:

Легко убедиться, что для определенного таким образом скалярного произведения справедливы аксиомы 1. — 4.:

(X , X) = 2x₁x₁ + 3x₂x₂ = 2x₁ 2 + 3x₂ 2 >0 если , если же X = (0, 0), то (X , X) = 0.

Вернемся к пространству арифметических векторов R n = < >

Определим в R n естественное скалярное произведение: каждой паре векторов и из этого пространства поставим в соответствие действительное число . Нетрудно доказать, что для любых векторов , и и любого действительного числа для справедливо:

1.

2.

3.

4. при , и тогда и только тогда, когда , — нулевой вектор.

Пространство арифметических векторов R n с определенным в нем естественным скалярным произведением называют евклидовым пространством арифметических векторов и иногда обозначают E n .

Свойства скалярного произведения. Неравенство Коши-Буняковского

Теорема (неравенство Коши-Буняковского). Для любых векторов из пространства R n справедливо следующее неравенство .

Доказательство теоремы. Возьмем произвольное число и рассмотрим . По последнему свойству скалярного произведения для любых векторов и любого числа справедливо: . С другой стороны, , т.е. . Выражение в левой части неравенства — квадратный трехчлен относительно . Он неотрицателен тогда и только тогда, когда дискриминант . Из последнего неравенства немедленно следует неравенство Коши-Буняковского: , . Теорема доказана.

Метрические соотношения в R n

Определение. Число называется длиной вектора ; число — расстоянием между векторами и ; угол , косинус которого — углом между векторами и .

Если в R n скалярное произведение определено формулой , то для любых , из R n справедливо:

Ортогональность, ортогональные системы, ортонормированные базисы

Определение. Векторы и из пространства R n называются ортогональными, если

Определение. Система векторов из пространства R n называется ортогональной, если векторы системы попарно ортогональны.

Теорема (о линейной независимости ортогональных систем). Ортогональная система векторов линейно независима.

Доказательство теоремы.

Предположим противное: векторы попарно ортогональны, но они линейно зависимы. Тогда один из векторов линейно выражается через остальные. Например, пусть это первый вектор: , (ясно, что речь идет о ненулевых векторах). Тогда , для всех j = 2, 3, …, k, т.е. . Полученное противоречие доказывает теорему.

Определение. Система векторов из пространства R n называется ортонормированной, если векторы системы попарно ортогональны и имеют единичную длину.

Определение. Базис пространства R n называется ортонормированным базисом, если образующие его векторы попарно ортогональны и имеют единичную длину.

В пространстве R n в естественном скалярном произведении естественный базис — ортонормированный базис.

Подпространство строк и подпространство столбцов прямоугольной матрицы

Рассмотрим прямоугольную матрицу A_{m , n}, у которой m строк и n столбцов:

.

Её строки — —являются векторами из R n ,

А столбцы — — являются векторами из R m .

Понятно, что множество строк матрицы A_{m , n} , к которому добавили все строки, которые могут быть получены при элементарных преобразованиях матрицы (исключая транспонирование) — линейное подпространство в R n .

А аналогично образованное множество столбцов — линейное подпространство в R m .

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

Теорема о структуре общего решения неоднородной системы линейных алгебраических уравнений

достаточно найти общее решение однородной системы уравнений

и частное решение неоднородной системы уравнений (*).

Сумма этих решений представляет собой общее решение неоднородной системы уравнений (*).

В плане практического применения такой метод решения неоднородных систем линейных уравнений не слишком распространен. Однако подход подобного рода является весьма эффективным применительно к решению линейных неоднородных дифференциальных уравнений.

Теорема. Общее решение неоднородной системы линейных уравнений

AX = B

(1)

может быть представлено в виде суммы общего решения соответствующей однородной системы

AX = 0

(2)

и любого частного решения неоднородной системы (1).

Доказательство. Пусть матрица X ₀ является общим решением однородной системы (2):

AX 0 = 0.

(3)

Обозначим символическим выражением X _ч частное решение неоднородной системы (1):

AXч = B.

(4)

Складывая тождества (3) и (4), получам тождество

A ( X0 + Xч ) = B,

(5)

справедливое при любых значениях свободных параметров, входящих в общее решение X₀ .

Следовательно, матрица X₀ + X_ч является общим решением матричного уравнения (1).

Теорема о структуре общего решения неоднородной системы линейных алгебраических уравнений

Пусть задана неоднородная система линейных алгебраических уравнений размерности m × n .

Матрица называется расширенной матрицей системы, если наряду с коэффициентами при неизвестных, она содержит столбец свободных членов. Следовательно, размерность равна m × (n+1) .

Исследование любой системы линейных алгебраических уравнений начинается с преобразования ее расширенной матрицы методом Гаусса , который основан на следующих элементарных преобразованиях:

– перестановка строк матрицы;

– умножение строк матрицы на действительное отличное от руля число;

– поэлементное сложение строк матрицы;

– вычеркивание нулевой строки;

– транспонирование матрицы (в этом случае преобразования производятся по столбцам).

Элементарные преобразования приводят первоначальную систему к системе, ей эквивалентной. Системы называются эквивалентными, если они имеют одно и то же множество решений.

Рангом матрицы называется наивысший порядок отличных от нуля ее миноров. Элементарные преобразования ранга матрицы не меняют.

На вопрос о наличии решений у неоднородной системы линейных уравнений отвечает следующая теорема.

Теорема 1.3 (теорема Кронекера-Капелли). Неоднородная система линейных алгебраических уравнений совместна тогда и только тогда, когда ранг расширенной матрицы системы равен рангу ее главной матрицы, то есть

Обозначим количество строк, оставшихся в матрице после метода Гаусса, через r (соответственно, в системе остается r уравнений). Эти строки матрицы называются базисными.

Если r = n , то система имеет единственное решение (является совместной определенной), ее матрица элементарными преобразованиями приводится к треугольному виду. Такую систему можно решить также методом Крамера и с помощью обратной матрицы .

Если r n (количество переменных в системе больше количеств а уравнений), матрица элементарными преобразованиями приводится к ступенчатому виду. Такая система имеет множество решений и является совместной неопределенной. В данном случае для нахождения решений системы необходимо выполнить ряд операций.

1. Оставить в левых частях уравнений системы r неизвестных (базисные переменные), остальные n — r неизвестных перенести в правые части (свободные переменные). После разделения переменных на базисные и свободные система принимает вид:

2. Из коэффициентов при базисных переменных составить минор (базисный минор), который должен быть отличен от нуля.

3. Если базисный минор системы (1.10) равен нулю, то одну из базисных переменных следует заменить на свободную; полученный базисный минор снова проверить на отличие от нуля.

4. Применяя формулы (1.6) метода Крамера, считая правые части уравнений их свободными членами, найти выражение базисных переменных через свободные в общем виде. Полученный при этом упорядоченный набор переменных системы является ее общим решением.

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

6. Получить базисное решение системы – частное решение, получаемое при нулевых значениях свободных переменных.

Заметим, что количество базисных наборов переменных системы (1.10) равно числу сочетаний из n элементов по r элементов C_n r . Так как каждому базисному набору переменных соответствует свое базисное решение, следовательно, количество базисных решений у системы также равно C_n r .

Пусть строки матрицы обозначены соответственно l ₁ ; l ₂ ;…; l_n . Строка l называется линейной комбинацией строк l ₁ ; l ₂ ;…; l_n матрицы, если она равна сумме произведений этих строк на произвольные действительные числа, то есть , .

Однородная система уравнений всегда совместна, так как имеет хотя бы одно – нулевое (тривиальное) решение. Для того чтобы однородная система n линейных уравнений с n переменными имела ненулевые решения, необходимо и достаточно, чтобы ее главный определитель ∆ был равен нулю. Это означает, что ранг r ее главной матрицы меньше числа n неизвестных ( r n ) . В этом случае исследование однородной системы уравнений на общее и частные решения проводится аналогично исследованию неоднородной системы. Решения однородной системы уравнений обладают важным свойством: если известны два различных решения однородной системы линейных алгебраических уравнений, то их линейная комбинация также является решением этой системы. Нетрудно убедиться в справедливости следующей теоремы.

Теорема 1.4. Общее решение неоднородной системы уравнений представляет собой сумму общего решения соответствующей однородной системы и некоторого частного решения неоднородной системы уравнений

Пример 1.7. Исследовать заданную систему уравнений и найти одно частное решение:

Решение. Выпишем расширенную матрицу системы и применим к ней элементарные преобразования:

Так как r ( A ) =2 и , то по теореме 1.3 (Кронекера-Капелли) заданная система линейных алгебраических уравнений совместна. Количество переменных n =2 , т.е. r n , значит, система является неопределённой. Количество базисных наборов переменных системы равно . Следовательно, базисными могут быть 6 комплектов переменных: < x ₁ ; x ₂ >, < x ₁ ; x ₃ >, < x ₁ ; x ₄ >, < x ₂ ; x ₃ >, < x ₂ ; x ₄ >, < x ₃ ; x ₄ > . Рассмотрим один из них < x ₁ ; x ₂ > . Тогда систему, полученную в результате метода Гаусса, можно переписать в виде . Главный определитель . С помощью метода Крамера ищем общее решение системы.

По формулам (1.6) имеем

Данное выражение базисных переменных через свободные представляет собой общее решение системы:

При конкретных значениях свободных переменных из общего решения получаем частное решение системы. Например, частное решение соответствует значениям свободных переменных x ₃ = x ₄ = 17 . При x₃=0 x₄=0 получаем базисное решение системы

Структура общего решения системы уравнений

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

всегда совместна, так как имеет тривиальное решение . Если ранг матрицы системы равен количеству неизвестных , то тривиальное решение единственное. Предположим, что . Тогда однородная система имеет бесконечно много решений. Заметим, что расширенная матрица однородной системы при элементарных преобразованиях строк приводится к упрощенному виду , т.е. . Поэтому из (5.11) получаем общее решение однородной системы уравнений :

Получим другую форму записи решений однородной системы, которая раскрывает структуру множества решений. Для этого подчеркнем следующие свойства.

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

1. Если столбцы — решения однородной системы уравнений, то любая их линейная комбинация также является решением однородной системы.

В самом деле, из равенств следует, что

т.е. линейная комбинация решений является решением однородной системы.

2. Если ранг матрицы однородной системы равен , то система имеет линейно независимых решений.

Действительно, по формулам (5.13) общего решения однородной системы найдем частных решений , придавая свободным переменным следующие стандартные наборы значений (всякий раз полагая, что одна из свободных переменных равна единице, а остальные — равны нулю):

которые линейно независимы. В самом деле, если из этих столбцов составить матрицу, то последние ее строк образуют единичную матрицу. Следовательно, минор, расположенный в последних строках не равен нулю (он равен единице), т.е. является базисным. Поэтому ранг матрицы будет равен . Значит, все столбцы этой матрицы линейно независимы (см. теорему 3.4).

Любая совокупность линейно независимых решений однородной системы называется фундаментальной системой (совокупностью) решений .

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

Теорема 5.3 об общем решении однородной системы. Если — фундаментальная система решений однородной системы уравнений (5.4), то столбец

при любых значениях произвольных постоянных также является решением системы (5.4), и, наоборот, для каждого решения х этой системы найдутся такие значения произвольных постоянных , при которых это решение удовлетворяет равенству (5.14).

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

Найдем ранг этой матрицы. Так как первые столбцов линейно независимы, то . Так как каждый из столбцов матрицы является решением системы , то по первой формуле из (5.13) получаем

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

По второй формуле из (5.13) получим, что вторая строка матрицы является линейной комбинацией последних строк этой матрицы, и т.д. По r-й формуле из (5.13) получим, что r-я строка матрицы является линейной комбинацией последних строк этой матрицы. Значит, первые строк матрицы можно вычеркнуть и при этом ранг матрицы не изменится. Следовательно, , так как после вычеркивания в матрице будет всего строк. Таким образом, . Значит, есть базисный минор матрицы , который расположен в первых ее столбцах, а столбец не входит в этот базисный минор. Тогда по теореме о базисном миноре найдутся такие числа , что

Итак, обратное утверждение доказано.

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

1-5. Выполнить первые 5 пунктов алгоритма Гаусса. При этом не требуется выяснять совместность системы, так как любая однородная система имеет решение (пункт 3 метода Гаусса следует пропустить). Получить формулы (5.11) общего решения, которые для однородной системы будут иметь вид (5.13).

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

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

6. Найти фундаментальную систему решений однородной системы. Для этого подставить в (5.13) последовательно стандартных наборов значений свободных переменных, в которых все свободные переменные равны нулю, кроме одной, равной единице (см. свойство 2 решений однородной системы).

7. Записать общее решение однородной системы по формуле (5.14).

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

2. Матрица столбцы которой образуют фундаментальную систему решений однородной системы, называется фундаментальной. Используя фундаментальную матрицу, общее решение (5.14) однородной системы можно записать в виде

3. Если базисный минор матрицы расположен в левом верхнем углу (в первых строках и первых столбцах), то упрощенный вид расширенной матрицы (5.9) однородной системы можно представить в виде блочной матрицы

Тогда блочная матрица размеров является фундаментальной. В этом можно убедиться, используя стандартные наборы значений свободных переменных. Применение блочных матриц может служить вторым способом нахождения фундаментальной системы решений.

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

Решение. 1. Составляем расширенную матрицу системы

2-4. Используя элементарные преобразования над строками матрицы , приводим ее к ступенчатому, а затем и к упрощенному виду (см. решение примера 5.3):

Пункт 3 метода Гаусса пропускаем.

5. Переменные — базисные, а — свободные. Записываем формулу (5.13) общего решения однородной системы

6. Находим фундаментальную систему решений. Так как и , надо подобрать линейно независимых решения. Подставляем в систему стандартные наборы значений свободных переменных:

В результате получили фундаментальную систему решений

7. Записываем общее решение однородной системы по формуле (5.14):

Заметим, что фундаментальную систему решений можно получить, взяв иные наборы значений свободных переменных. Например, и . Тогда получим другую фундаментальную систему решений

Несмотря на различия, обе формулы задают одно и то же множество решений.

Структура общего решения неоднородной системы уравнений

Ранее была выведена формула (5.11) общего решения системы линейных уравнений. Получим другую форму записи, отражающую структуру множества решений.

Рассмотрим неоднородную систему и соответствующую ей однородную систему . Между решениями этих систем имеются связи, выражающиеся следующими свойствами.

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

1. Разность двух решений и неоднородной системы есть решение однородной системы.

Действительно, из равенств и следует, что .

2. Пусть — решение неоднородной системы. Тогда любое решение неоднородной системы можно представить в виде

В самом деле, для любого решения неоднородной системы разность по свойству 1 является решением однородной системы, т.е. — решение однородной системы.

Теорема 5.4 о структуре общего решения неоднородной системы.

Пусть — решение неоднородной системы, а — фундаментальная система решений соответствующей однородной системы уравнений. Тогда столбец

при любых значениях [i]произвольных постоянных является решением неоднородной системы, и, наоборот, для каждого решения этой системы найдутся такие значения произвольных постоянных , при которых это решение удовлетворяет равенству (5.15).[/i]

Говорят, что общее решение неоднородной системы есть сумма частного решения неоднородной системы и общего решения соответствующей однородной системы.

Доказательство теоремы вытекает из свойств 1, 2 и теоремы 5.3.

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

1-5. Выполнить первые 5 пунктов метода Гаусса решения системы уравнений и получить формулу общего решения неоднородной системы вида (5.11).

6. Найти частное решение неоднородной системы, положив в (5.11) все свободные переменные равными нулю.

7. Записав формулы (5.13) общего решения соответствующей однородной системы, составить фундаментальную систему ее решений. Для этого подставить в (5.13) последовательно стандартных наборов значений свободных переменных, в которых все переменные равны нулю, за исключением одной, равной единице.

8. Записать общее решение неоднородной системы по формуле (5.15).

1. Используя фундаментальную матрицу однородной системы , решение неоднородной системы можно представить в виде

2. Если базисный минор матрицы расположен в левом верхнем углу (в первых строках и первых столбцах), то упрощенный вид расширенной матрицы (5.9) неоднородной системы можно представить в виде блочной матрицы

Тогда блочная матрица оказывается фундаментальной (см. п.3 замечаний 5.3), а столбец является частным решением неоднородной системы (в этом можно убедиться, подставляя в (5.11) нулевой набор свободных переменных). Используя блочные матрицы, общее решение (5 15) неоднородной системы можно представить в виде

где — столбец произвольных постоянных. Полученную формулу можно считать вторым способом решения неоднородной системы.

Пример 5.5. Найти структуру (5.15) общего решения неоднородной системы

Решение. 1-5. Первые 5 пунктов метода Гаусса выполнены при решении примера 5.3, где получены формулы общего решения неоднородной системы:

Переменные — базисные, а — свободные.

6. Полагая , получаем частное решение неоднородной системы .

7. Находим фундаментальную систему решений однородной системы (см. пример 5.4):

8. Записываем по формуле (5.15) общее решение неоднородной системы

Искомая структура множества решений найдена.

Получим формулу общего решения вторым способом , используя п.2 замечаний 5.4. При решении примера 5.3 расширенная матрица системы была приведена к упрощенному виду. Разбиваем ее на блоки:

Записываем частное решение неоднородной системы

и составляем фундаментальную матрицу:

По формуле (5.16) получаем общее решение неоднородной системы, которое преобразуем к виду (5.15):

📸 Видео