Студопедия
rus | ua | other

Home Random lecture






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


Date: 2015-10-07; view: 455.


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

Прямая сумма подпространств

Множество всех векторов х вида х = a+b, где aÎ L1, bÎ L2 называют суммой подпространств L1и L2 и обозначают L1+L2. Если при этом пересечение L1ÇL2 - нулевое подпространство, то сумму L1+L2 называют прямой суммой и обозначают через L1ÅL2.

Если сумма L1+L2 подпространств L1и L2 в Х является прямой, то представление любого вектора х в виде х=a+b, где aÎ L1, bÎ L2 единственно. В частном случае, когда X = L1ÅL2, также каждый вектор х имеет единственное представление х=a+b, где aÎ L1, bÎ L2. Подпространства L1и L2 называют прямыми дополнениями друг друга, а слагаемое aÎ L1проекцией вектора х на подпространство L1 паралельно подпространству L2.

 

Пусть дана система линейных уравнений

с матрицей

А=

и расширенной матрицей

B=

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

Теорема 15.1(теорема Кронекера-Капелли)

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

совместна тогда и только тогда, когда ранг матрицы А системы равен рангу ее расширенной матрицы B.

Д-во:

Пусть система совместна. докажем, что rang(A) = rang(B).

Для этого возьмем какое-либо решение k1, k2, … ,k n и подставим его в каждое уравнение системы.

Тогда

(1)

Эту систему перепишем в виде

Следовательно, при вычислении ранга матрицы В этот столбец в соответствии со свойством 6 ранга матрицы можно из матрицы B удалить. Это означает, что rang(A) = rang(B).

Пусть rang(A) = rang(B). Докажем, что система совместима. Равенство rang(A) = rang(B) означает, что базис системы столбцов матрицы А является и базисом системы столбцов матрицы В, т.е. существует набор таких чисел k1, k2, … ,k n, что выполняется равенство (1). Это означает, что является решением рассматриваемой системы. Система совместна.

Теорема 15.2 Совместная система линейных уравнений эквивалентна любой своей базисной подсистеме.


<== previous lecture | next lecture ==>
Теорема о размерности суммы и пересечения подпространств | Системы линейных однородных уравнений
lektsiopedia.org - 2013 год. | Page generation: 0.212 s.