Processing math: 100%

Критерии прямой суммы

Рассмотрим критерии прямой суммы подпространств некоторого линейного пространства.

Критерий 1. Пусть дано некоторое линейное пространство (X,P) и подпространства L1,L2,,LkX. Тогда для того, чтобы сумма подпространств L=L1+L2++Lk являлась прямой, необходимо и достаточно, чтобы объединение базисов слагаемых-подпространств составляло базис суммы L.

Необходимость. Пусть сумма L — прямая. Тогда нужно доказать, что объединение базисов подпространств есть базис суммы. Выпишем базисы подпространств Li,i=¯1,k: E1=e11,e12,,e1m1, E2=e21,e22,,e2m2, , Ek=ek1,ek2,,ekmk. Теперь построим объединенную систему из данных базисов. В итоге получим: E=e11,e12,,e1m1,e21,e22,,e2m2,,ek1,ek2,,ekmk.

Для того, чтобы система E являлась базисом суммы L, она должна удовлетворять определению базиса. То есть, любой вектор из L должен выражаться через данную систему, и она должна быль линейно независимой. Первое условие соблюдается. Действительно, по определению прямой суммы: xL:x=x1+x2++xk,

где xiLi,i=¯1,k, причем такое представление единственно. Каждый вектор xi,i=¯1,k может быть выражен через базис Li: xi=αi1ei1+αi2ei2++αimieimi,
где αijP,j=¯1,mi — коэффициенты линейной комбинации. Значит, вектор x можно представить в другом виде:x=α11e11+α12e12++α1m1e1m1++α21e21+α22e22+++α2m2e2m2++αk1ek1+αk2ek2++αkmkekmk,
Как видим, вектор выражается через систему E.

Остается доказать линейную независимость. Выпишем линейную комбинацию векторов системы E и приравняем ее к нулю:α11e11+α12e12++α1m1e1m1++α21e21+α22e22+++α2m2e2m2++αk1ek1+αk2ek2++αkmkekmk=0.

По первому критерию линейной независимости система E будет линейно независима при следующих равенствах:α11=α12==αkmk=0.
Опять же, данные слагаемые можно представить как линейные комбинации векторов из Li,i=¯1,k, то есть:xi=αi1ei1+αi2ei2++αimieimi,i=¯1,k.
Теперь можно переписать уравнение (1) в следующем виде:x1+x2++xk=0.
Получили представление нулевого вектора. По определению прямой суммы такое представление единственно и имеет вид: 0+0++0=0. Отсюда следует: xi=0,i=¯1,k. Так как каждый вектор xi представляется через соответствующий базис Li, то, следовательно, все коэффициенты линейных комбинаций равны нулю: αi1=αi2==αimi=0,i=¯1,k, что и требовалось доказать.

Таким образом, система E линейно независима, и каждый вектор суммы L выражается через данную систему. Необходимость доказана.

Достаточность. Теперь пусть объединение базисов Li,i=¯1,k (оно же является системой E) есть базис суммы L. Требуется доказать, что L — прямая сумма. Значит, нужно показать, что представление любого вектора этой суммы единственно. Запишем представление некоторого вектора xL в базисе суммы: x=β11e11+β12e12++β1m1e1m1+++βk1ek1+βk2ek2++βkmkekmk.

По свойству базиса такое представление единственно. Выражения вида βi1ei1++βimieimi являются линейными комбинациями векторов из Li,i=¯1,k. Тогда их можно заменить соответствующими векторами yiLi и подставить в (2). Получим: x=y1+y2++yk.
Получили представление x в виде вектора суммы. Пусть сумма L не прямая, тогда может существовать другое представление вектора x. А это необратимо приводит к изменению представления векторов yi и, соответственно, значений коэффициентов βi1,βi2,,βimi,i=¯1,k. Но, как было сказано выше, вектор x имеет единственное представление (2), то есть иного не существует. Получили противоречие. Следовательно, сумма L является прямой, что и требовалось доказать.

Критерий 2. Пусть дано линейное пространство (X,P) и подпространства L1,L2,,LkX. Сумма данных подпространств L будет прямой тогда и только тогда, когда пересечение любого подпространства с суммой остальных содержит только нулевой вектор.

Необходимость. Требуется доказать, что при L=L1L2Lk пересечение любого подпространства с суммой остальных нулевое. Предположим, что Li:Likj=1jiLj{0}.

Тогда существует такой ненулевой вектор x, что xLi и xkj=1jiLj. Этот вектор можно представить в виде:

  1. x=k векторов0+0++0+x+0++0, так как xLi;
  2. x=kj=1jixj, так как вектор принадлежит kj=1jiLj и, следовательно, может быть представлен как вектор суммы L: x=x1+x2++xi1+0+xi+1++xk.

Таким образом, вектор прямой суммы L не имеет единственного представления, что противоречит определению прямой суммы. Значит, наше предположение неверно, и Li:Likj=1jiLj={0}.

Достаточность. Теперь докажем, что если Li:Likj=1jiLj={0},

то сумма L — прямая. Снова пойдём от противного: пусть L — не прямая сумма. Следовательно, по определению существует такой вектор y, который имеет, по крайней мере, два различных представления. Запишем их общий вид:y=x1+x2++xk,
y=z1+z2++zk,
где zi,xiLi,i=¯1,k. Вычтем из первого выражения второе. Получим:0=(x1z1)+(x2z2)++(xkzk).
Векторы x1z1,x2z2,,xkzk принадлежат подпространствам L1,L2,,Lk соответственно, что вытекает из критерия подпространства. Значит, нулевой вектор представляется как вектор суммы L. Пусть x1z10. Перенесем данное слагаемое в левую часть. Тогда можно записать следующее: (z1x1)=(x2z2)+(x3z3)++(xkzk).
То есть существует некоторый вектор z1x10, чтоz1x1L1,
z1x1=(x2z2)+(x3z3)++(xkzk)kj=2Lj.
Значит, пересечение подпространства L1 и суммы kj=2Lj содержит ненулевые векторы. Получили противоречие. Следовательно, предположение неверно, и L — прямая сумма подпространств. Теорема доказана.

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

Следствие 1.

Сумма двух подпространств будет прямой тогда и только тогда, когда их пересечение содержит только нулевой вектор.

Данное утверждение является частным случаем критерия 2 прямой суммы при k=2.

Следствие 2.

Размерность прямой суммы двух подпространств есть сумма размерностей данных подпространств.

По формуле Грассмана: dimL=dimL1+dimL2dim(L1L2),

то есть размерность суммы подпространств L1 и L2 равна сумме размерностей данных подпространств без размерности их пересечения. Пересечение данных подпространств, как мы уже узнали, содержит только нулевой вектор. Следовательно, размерность пересечения равна 0. Тогда третье слагаемое в формуле Грассмана также равно 0, и мы приходим к изначальному утверждению.

Примеры

Теперь рассмотрим несколько примеров применения критериев прямой суммы.

  1. Пусть дано линейное пространство, заданное в виде линейной оболочки L=La1,a2,a3,a4, где a1=(1,1,0,0), a2=(0,5,0,3), a3=(0,0,2,0), a4=(1,7,1,0). Разложить данное пространство в прямую сумму двух подпространств.
    Решение

    Для начала, проверим, является ли указанная система линейно независимой. Построим систему линейных комбинаций из векторов данной системы:{x1+x2+0x3+0x4=00x1+5x2+0x3+3x4=00x1+0x2+2x3+0x4=0x1+7x2+x3+0x4=0

    Воспользуемся методом Гаусса:(1100050300201710)(1100050300200810)(110005030020001245)
    (110005030020000245).

    Как видим, ни один из векторов не выражается через остальные. Значит, система линейно независима и является базисом пространства L. Тогда данное пространство можно разложить в прямую сумму подпространств, разбив его базис, к примеру, на две такие подсистемы: a1,a2,a3,a4. Тогда разложение будет иметь вид: L=L1L2, где L1=La1,a2,L2=La3,a4.

  2. Даны подпространства L1=L(1,1,3), L2=L(0,1,2),(3,5,9). Проверить сумму подпространств L1 и L2 на прямоту.
    Решение

    И первая, и вторая исходные системы являются линейно независимыми, ведь в них нет векторов, что выражаются через другие векторы этой системы. Значит системы являются базисами подпространств, построенных на соответствующих линейных оболочках. Объединим эти базисы в единую систему векторов:E=(1,1,3),(0,1,2),(3,5,9).

    Воспользуемся методом Гаусса:(113012359)(113012020)(113012004).
    Получили, что система E — линейно независима. Значит, объединение базисов исходных подпространств является базисом суммы подпространств L: L=L1L2.

  3. Пусть даны подпространства L1=La1,a2,a3, L2=Lb1,b2, L3=Lc1,c2,c3. Проверить сумму данных подпространств на прямоту, если:a1=(0011),a2=(1111),a3=(1100);
    b1=(1120),b2=(0011);
    c1=(0111),c2=(1121),c3=(1010).

    Решение

    Для удобства системы пронумеруем от 1 до 3 в соответствии с номерами подпространств.Указанные системы можно переписать в следующем виде: (0,0,1,1),(1,1,1,1),(1,1,0,0),(1,1,2,0),(0,0,1,1),(0,1,1,1),(1,1,2,1),(1,0,1,0). Проверку линейной независимости можно сделать и без применения метода Гаусса. Действительно, в первой системе a1+a3=(0,0,1,1)+(1,1,0,0)=(1,1,1,1)=a2, в третьей: c1+c3=(0,1,1,1)+(1,0,1,0)=(1,1,2,1)=c2. Значит векторы a2 и c2 линейно выражаются через остальные. Вторая система, как можно видеть, уже является линейно независимой и, следовательно, базисом подпространства L3. Тогда, если откинуть линейно зависимые векторы в системах 1 и 3, то получим базисы уже всех трех подпространств:L1=La1,a3,

    L2=Lb1,b2,
    L3=Lc1,c3.
    Теперь объединим данные базисы в единую систему векторов: E=a1,a3,b1,b2,c1,c3.
    Теперь только осталось понять, является ли сумма исходных подпространств прямой. Проверим систему E на линейную независимость с помощью метода Гаусса:(001111001120001101111010).
    Переставим строки в матрице для более удобных элементарных преобразований:(110011201010011100110011)(110002200110011100110011).
    Строки 2 и 3 пропорциональны, поэтому можно исключить, к примеру, вторую строку. Дальнейшие преобразования не имеют смысла в данной задаче: объединение базисов исходных подпространств не является базисом суммы, потому что объединенная система содержит, по крайней мере, один линейно зависимый вектор. Значит, сумма L=L1+L2+L3 не будет прямой в соответствии с первым критерием суммы. Задача решена.

Критерии прямой суммы

Тест на закрепление материала «Критерии прямой суммы».

Смотрите также:

  1. Белозеров Г.С. Конспект лекций по линейной алгебре.
  2. Федорчук В.В. Курс аналитической геометрии и линейной алгебры. — М.: изд. Московского ун-та. — 1990. — 328 с. — С. 200-201.
  3. Фаддеев Д.К. Лекции по алгебре. — М.: Наука. — 1984. — 416 с. — С. 309-310.
  4. Шафаревич И.Р., Ремизов А.О. Линейная алгебра и геометрия. — М.: ФИЗМАТЛИТ. — 2009. — 512 с. — С. 95-97.
  5. А. И. Мальцев. Основы линейной алгебры. — 3-е изд., испр. и доп : монография. — М. : Наука, 1970. — 400 с. — С. 104-105.

Линейные оболочки и подпространства. Критерий подпространства

Выберем в линейном пространстве [latex]K[/latex], заданном над полем [latex]P[/latex], конечное число векторов [latex]\vec{e_{1}}, \vec{e_{2}}, …, \vec{e_{n}}[/latex].

Определение

Вектор вида [latex]\alpha_{1} \vec{e_{1}}+\alpha_{2}\vec{e_{2}}+…+\alpha_{n}\vec{e_{n}}[/latex] называется линейной комбинацией векторов [latex]\vec{e_{1}}, \vec{e_{2}}, …, \vec{e_{n}}[/latex], где [latex]\alpha_{1}, \alpha_{2}, …, \alpha_{n} \in P[/latex].

Определение

Множество всех линейный комбинаций векторов [latex]\vec{e_{1}}, \vec{e_{2}}, …, \vec{e_{n}}[/latex] называется линейной оболочкой.

Определение

Если непустое подмножество [latex]F[/latex] пространства [latex]K[/latex] само является линейным пространством относительно операций сложения и умножения векторов на скаляр (число), определенных в [latex]K[/latex], то [latex]F[/latex] называется линейным подпространством (обозначается [latex]F \le K[/latex]).

Теорема (критерий подпространства)

[latex]F[/latex] является линейным подпространством [latex]K[/latex], если выполняются такие условия:

  1. Если векторы [latex]\vec{a}[/latex] и [latex]\vec{b}[/latex] принадлежат [latex]F[/latex], то [latex]\vec{a} + \vec{b}[/latex] тоже принадлежат [latex]F[/latex].
    [latex]\forall \vec{a}, \vec{b} \in F: \vec{a} + \vec{b} \in F[/latex].
  2. Если вектор [latex]\vec{a}[/latex] принадлежит [latex]F[/latex], то и [latex]\alpha\vec{a}[/latex] тоже принадлежит [latex]F[/latex].
    [latex]\forall \vec{a} \in F[/latex], [latex]\forall \alpha \in P:[/latex] [latex]\alpha \vec{a} \in F[/latex]
Спойлер

 

Спойлер
Спойлер

Тест

Линейные оболочки и подпространства. Критерий подпространства

Таблица лучших: Линейные пространства

максимум из 10 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Источники

Г. С. Белозеров. Конспект лекций по линейной алгебре.

В. В. Воеводин. Линейная алгебра. Издание второе, переработанное и дополненное. Москва «НАУКА» 1980. (стр. 42-43)

А. Г. Курош. Курс высшей алгебры. Издание десятое. Стереотипное. Москва «НАУКА» 1971. (стр. 201-202)

И. В. Проскуряков.  Сборник задач по линейной алгебре. Издание шестое. Стереотипное. Москва «Наука», 1984. (стр. 168-170)