Подпространство линейного пространства

Определение и размерность подпространства

Определение 6.1. Подпространством L n-мерного пространства R называется множество векторов, образующих линейное пространство по отношению к действиям, которые определены в R.

Другими словами, L называется подпространством пространства R, если из x, yL следует, что x+yL и если xL, то λxL, где λ- любое вещественное число.

Простейшим примером подпространства является нулевое подпространство, т.е. подмножество пространства R, состоящее из единственного нулевого элемента. Подпространством может служить и все пространство R. Эти подпространства называются тривиальными или несобственными.

Подпространство n-мерного пространства конечномерно и его размерность не превосходит n: dim L≤ dim R.

Сумма и пересечение подпространств

Пусть L и M - два подпространства пространства R.

Cуммой L+M называется множество векторов x+y, где xL и yM. Очевидно, что любая линейная комбинация векторов из L+M принадлежит L+M, следовательно L+M является подпространством пространства R (может совпадать с пространством R).

Пересечением LM подпространств L и M называется множество векторов, принадлежащих одновременно подпространствам L и M (может состоять только из нулевого вектора).

Теорема 6.1. Сумма размерностей произвольных подпространств L и M конечномерного линейного пространства R равна размерности суммы этих подпространств и размерности пересечения этих подпространств:

dim L+dim M=dim(L+M)+dim(L∩M).

Доказательство. Обозначим F=L+M и G=L∩M. Пусть G g-мерное подпространство. Выберем в нем базис . Так как GL и GM, следовательно базис G можно дополнить до базиса L и до базиса M. Пусть базис подпространства L и пусть базис подпространства M. Покажем, что векторы

(6.1)

составляют базис F=L+M. Для того, чтобы векторы (6.1) составляли базис пространства F они должны быть линейно независимы и любой вектор пространства F можно представить линейной комбинацией векторов (6.1).

Докажем линейную независимость векторов (6.1). Пусть нулевой вектор пространства F представляется линейной комбинацией векторов (6.1) с некоторыми коэффициентами:

(6.2)

Тогда

(6.3)

Левая часть (6.3) является вектором подпространства L, а правая часть является вектором подпространства M. Следовательно вектор

(6.4)

принадлежит подпространству G=L∩M. С другой стороны вектор v можно представить линейной комбинацией базисных векторов подпространства G:

(6.5)

Из уравнений (6.4) и (6.5) имеем:

(6.6)

или

(6.7)

Но векторы являются базисом подпространства M, следовательно они линейно независимы и . Тогда (6.2) примет вид:

(6.8)

В силу линейной независимости базиса подпространства L имеем:

(6.9)

Так как все коэффициенты в уравнении (6.2) оказались нулевыми, то векторы

(6.10)

линейно независимы. Но любой вектор z из F (по определению суммы подпространств) можно представить суммой x+y, где x∈L, y∈M. В свою очередь x представляется линейной комбинацией векторов а y - линейной комбинацией векторов. Следовательно векторы (6.10) порождают подпространство F. Получили, что векторы (6.10) образуют базис F=L+M.

Изучая базисы подпространств L и M и базис подпространства F=L+M (6.10), имеем: dim L=g+l, dim M=g+m, dim (L+M)=g+l+m. Следовательно:

dim L+dim M−dim(L∩M)=dim(L+M).

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

Определение 6.2. Пространство F представляет собой прямую сумму подпространств L и M, если каждый вектор x пространства F может быть единственным способом представлен в виде суммы x=y+z, где yL и zM.

Прямая сумма обозначается LM. Говорят, что если F=LM, то F разлагается в прямую сумму своих подпространств L и M.

Теорема 6.2. Для того, чтобы n-мерное пространство R представляло собой прямую сумму подпространств L и M, достаточно, чтобы пересечение L и M содержало только нулевой элемент и чтобы размерность R была равна сумме размерностей подпространств L и M.

Доказательство. Выберем некоторый базис в подпространстве L и некоторый базис в подпространстве M. Докажем, что

(6.11)

является базисом пространства R. По условию теоремы размерность пространства R n равна сумме подпространств L и M (n=l+m). Достаточно доказать линейную независимость элементов (6.11). Пусть нулевой вектор пространства R представляется линейной комбинацией векторов (6.11) с некоторыми коэффициентами:

(6.12)

или

(6.13)

Так как левая часть (6.13) является вектором подпространства L, а правая часть - вектором подпространства M и LM=0, то

(6.14)

Но векторы и являются базисами подпространств L и M соответственно. Следовательно они линейно независимы. Тогда

(6.15)

Установили, что (6.12) справедливо лишь при условии (6.15), а это доказывает линейную независимость векторов (6.11). Следовательно они образуют базис в R.

Пусть x∈R. Разложим его по базису (6.11):

(6.16)

Из (6.16) имеем:

(6.17)

 

(6.18)

Из (6.17) и (6.18) следует, что любой вектор из R можно представить суммой векторов x1L и x2M. Остается доказать что это представление является единственным. Пусть кроме представления (6.17) есть и следующее представление:

(6.19)

Вычитая (6.19) из (6.17), получим

 

или

(6.20)

Так как , и LM=0, то и . Следовательно и . ■