Подпространство решений системы линейных уравнений (8 видео)

21. Пространство решений системы линейных однородных уравнений

Пусть дана система (30) линейных однородных уравнений с коэффициентами из поля Р.

(30)

Так как столбец свободных членов в матрице А1 этой системы состоит только из нулей, то rang A = rang A1, т. е. система линейных однородных уравнений всегда совместна. В частности она всегда имеет нулевое решение. Рассмотрим множество всех возможных решений системы (30).

Пусть A =(A1, A2, … , An) и B =(B1, B2, … , Bn) – Любые два из них. Их можно рассматривать, как векторы в арифметическом n-мерном пространстве над полем Р. Пусть L – любой элемент поля Р. Тогда A +B = (A1 + B1, A2 + B2, … , An + Bn ), L×A = (LA1, LA2, … , LAn). Подставим компоненты этих векторов в произвольное S-е уравнение системы (30). Получим Итак, если A и B – Любые два решения системы (30) и L – любой элемент поля Р, то A +B И L×A тоже являются решением этой системы. Но тогда из теоремы 14 следует

Теорема 27. Множество решений системы линейных однородных уравнений с N Переменными есть линейное подпространство арифметического пространства Аn .

Теорема 28. Размерность пространства решений системы линейных однородных уравнений равна N – r, Где N – Число неизвестных, r – ранг матрицы системы.

Доказательство. Пусть L – пространство решений системы (30). Тогда L Ì Аn . Пусть A = (A1, A2, … Ar, Ar+1, … , An) – произвольное решение системы. Пусть (Ar+1, … , An) – набор свободных неизвестных, соответствующий этому решению. Множество всех возможных наборов свободных неизвестных есть арифметическое (N – r)-мерное пространство Аn–r . Зададим отображение J: L ® Аn–r по правилу

Покажем, что J – изоморфизм (определение 24). Для этого нужно проверить три условия.

1. Покажем, что J – взаимнооднозначное отображение. Решению A = (A1, A2, … Ar, Ar+1, … , An) соответствует только один набор (Ar+1, … , An), следовательно, J – Однозначное отображение. Обратно, если задать элемент (Ar+1, … , An) из Аn–r , то по теореме Крамера найдётся только один набор (A1, A2, … Ar ) искомых неизвестных, т. е. каждый элемент J(A) из Аn–r соответствует единственному элементу из L .

Итак, пространство решений системы линейных однородных уравнений изоморфно арифметическому (N – r)-мерному пространству. Следовательно, размерность L равна (N – r).

Определение 29. Базис пространства решений системы линейных однородных уравнений называется её Фундаментальной системой решений.

Так как при изоморфизме базис пространства Аn–r соответствует базису пространства L , То для того. чтобы найти фундаментальную систему решений для системы (30), достаточно выбрать (N – r) линейно независимых наборов свободных неизвестных и для каждого из них найти решение данной системы.

Следствие. Если А1, а2, …, аN–r фундаментальная система решений системы линейных однородных уравнений (30) и С1, С2, … , СN–r – произвольные элементы поля Р, то С1А1 + С2А2 + … + СN–r АN–r – общее решение этой системы.

Содержание

Способы описания подпространств линейного пространства
Переход от одного способа описания подпространств к другому
Лекция № 5 (02.03.10)
📽️ Видео

Видео:Фундаментальная система решений системы линейных уравнений ФСР СЛАУСкачать

Способы описания подпространств линейного пространства

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

Любое n-мерное вещественное линейное пространство изоморфно n-мерному арифметическому пространству . Чтобы установить изоморфизм , достаточно выбрать в пространстве базис и каждому вектору поставить в соответствие его координатный столбец. Поэтому в данном разделе будем рассматривать описание подпространств n-мерного арифметического пространства .

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

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

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

1) составить из данных столбцов матрицу размеров ;

2) привести ее к ступенчатому виду (1.4), используя элементарные преобразования строк;

3) определить размерность и базис подпространства

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

– столбцы матрицы , содержащие единичные элементы (в начале каждой «ступеньки»), определяют номера линейно независимых столбцов матрицы , т.е. искомый базис.

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

Второй (внешний) способ. Пусть подпространство задано как множество решений однородной системы уравнений с неизвестными. Множество решений системы уравнений можно рассматривать как пересечение подпространств , где — множество решений i-го уравнения системы . Напомним, что любое решение однородной системы представляется в виде линейной комбинации элементов фундаментальной системы решений. Поэтому раз мерность пространства , а базисом служит фундаментальная система решений однородной системы . Способы нахождения фундаментальной системы решений рассмотрены ранее.

Видео:15. Однородная система линейных уравнений / фундаментальная система решенийСкачать

Переход от одного способа описания подпространств к другому

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

1. Из данных столбцов составить матрицу размеров , а затем блочную матрицу , приписав к матрице единичную матрицу n-го порядка.

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

3. Из последних строк матрицы составить матрицу .

4. Записать искомую систему уравнений .

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

Пример 8.8. Подпространство задано линейной оболочкой столбцов . Составить систему уравнений, определяющую подпространство .

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

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

Преобразовываем столбцы левого блока: ко второму столбцу прибавим пер вый, умноженный на (-1), к третьему столбцу прибавим первый, умноженный на (-3), а затем второй, умноженный на (-1). Эти преобразования не изменяют правый блок полученной матрицы. Находим простейший вид Л матрицы и матрицу

3. Из последних строк матрицы составляем матрицу искомой системы.

4. Записываем систему уравнений Заданные в условии примера столбцы являются решениями полученной системы, в чем можно убедиться при их подстановке в систему уравнений вместо .

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

1. Найти фундаментальную систему решений однородной системы . Искомая размерность .

2. Представить заданное пространство как линейную оболочку .

Первый пункт алгоритма удобно выполнять следующим образом:

– составить блочную матрицу , приписав к матрице единичную матрицу n-го порядка;

– элементарными преобразованиями над столбцами блочной матрицы и строками верхнего блока привести матрицу к виду , где — простейший вид матрицы ;

– из последних столбцов матрицы составить фундаментальную матрицу .

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

Заметим, что решение поставленной задачи неоднозначно, так как существует много базисов одного и того же линейного подпространства.

Пример 8.9. Найти размерность и базис подпространства , заданного системой уравнений

Решение. 1. Фундаментальная матрица для этой системы была найдена в примере 5.6

Ее столбцы образуют фундаментальную систему решений. Размерность подпространства равна , .

2. Столбцы являются искомым базисом, так как они линейно независимы и .

Видео:ФСР. Система однородных уравнений. Общее решениеСкачать

Лекция № 5 (02.03.10)

Лекция № 5 (02.03.10)

5.4.2. Фундаментальная система решений

Определение. Фундаментальной системой решений (сокращённо ФСР) данной однородной линейной системы уравнений называется любой базис её подпространства решений.

5.4.3. Размерность подпространства решений

Лемма 1. При элементарных преобразованиях над строками матрицы линейно зависимые столбцы переходят в линейно зависимые.

Пусть A = (a1, a2, …, an) − векторная запись данной матрицы. После совершения нескольких элементарных преобразований матрицу А мы привели к матрице В. Пусть aj1, aj2, …, ajk − линейно зависимые столбцы данной матрицы, где 1 ≤ j1