|
|||||||
АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция |
Пересечение и сумма подпространств. Прямая суммаПусть дано векторное пространство V, в котором заданы два подпространства U и W. Определение 1. Пересечением подпространств U и W называется множество U Ç W векторов, принадлежащих как подпространству U, так и подпространству W, то есть U Ç W = { x ÷ x Î U и x Î W }. Определение 2. Суммой подпространств U и W называется множество U + W всех таких векторов, которые представимы в виде двух слагаемых, из которых первое слагаемое принадлежит U, а второе - W, то есть U+W= { x + y ï x Î U, yÎ W }. Используя теорему 1 § 6, легко проверить, что и сумма, и пересечение подпространств являются подпространствами. Очевидно, если U= < a 1,…, a p >, W = < b 1,…, b q >, то U + W = < a1,…,a p, b 1,…, b q >. Определение 3. Сумма U+W подпространств U и W называется прямой, если U Ç W= { 0}. Прямую сумму подпространств U и V обычно обозначают U Å W. Теорема 1. Сумма двух подпространств U и W является прямой тогда и только тогда, когда любой вектор z этой суммы единственным образом представим в виде z = x + y, где x Î U, y Î W. Докажем необходимость. Предположим, что сумма подпространств U и W прямая, и найдется хотя бы один такой вектор z, который представляется двумя способами в виде z = x + y и z = x ¢+ y ¢, где x, x ¢- векторы из U, а y и y ¢ - векторы из W. Но тогда x+y = = x ¢ +y ¢, откудаследует, что x-x ¢ = y ¢- y, причем вектор в левой части этого равенства лежит в U, а вектор в правой части – в W, но поскольку они равны, то лежат в пересечении подпространств. Из определения прямой суммы следует, что и левая, и правая части этого равенства являются нулем, а следовательно, x = x ¢, y = y ¢. Достаточность. Пусть представление вектора в виде указанной в теореме суммы единственно. Возьмем любой вектор х Î U Ç W. Тогда х Î U и х Î W, и, заметив, что 0 принадлежит любому подпространству, мы можем записать равенство 0 = 0 + 0 = х + (- х), откуда, в силу единственности, следует, что х = 0. Теорема 2. Размерность суммы двух векторных подпространств равна сумме размерностей этих подпространств без размерности их пересечения, то есть dim (U+W) = dimU + dimW - dimU Ç W. Доказательство. Выберем базис e 1,…, e m подпространства U Ç W и дополним его сначала до базиса e 1,…, e m, e m +1,…, e k подпространства U, а затем - до базиса e 1,…, e m, e ¢ m +1,…, e ¢s подпространства W. Очевидно, что любой вектор из U+W выражается через k + s – m векторов: e 1,…, e m, e m +1,…, e k, e ¢ m +1,…, e ¢s. (1) Если мы докажем, что система (1) линейно независима, то она будет являться базисом суммы подпространств и, следовательно, утверждение теоремы будет доказано. Для этого составим равенство a1 e 1+…+a m e m +b m +1 e m + 1+…+b k e k +g m +1 e ¢ m +1+…+gs e ¢s= 0 (2) и проверим, что линейная комбинация в левой части этого равенства - тривиальная. Перепишем равенство (2) в виде -g m +1 e ¢ m +1-…-gse¢s= a1 e 1+…+ a m e m + b m +1 e m +1+…+ b k e k. (3) Из (3) следует, что правая часть этого равенства принадлежит U, так как она выражается через базис подпространства U; вектор в левой части, являясь комбинацией базисных векторов из W, принадлежит W. Но это означает, что и левая, и правая часть равенства (3) является вектором из пересечения U Ç W этих подпространств. Поскольку каждый вектор разлагается по базису, разложим левую часть равенства (3) по базису U Ç W: -gm+1 e ¢m+1-…-gs e s= d1 e 1+…+ d m e m. (4) Из (4) следует, что d1 e 1+…+ d m e m + g m +1 e ¢ m +1+…+ gs e ¢s= 0. (5) Из (5) мы видим, что линейная комбинация векторов базиса W равна нулю. Следовательно, она тривиальна, в частности, g m +1=…=gs=0. Внесем значения этих коэффициентов в равенство (2), тогда получим, что линейная комбинация базисных векторов подпространства U равна нулю и, следовательно, эта комбинация также тривиальна, то есть a1=…= a m = b m + 1= … = bs= 0. Окончательно имеем, что все коэффициенты в равенстве (2) равны нулю и, следовательно, система (1) линейно независима. Следствие. dimU Å W = dimU+dimW. Замечание. Понятие пересечения и суммы подпространств переносятся на любое число подпространств. Так, если даны подпространства U 1,…, Uq, то пересечением их называется множество тех векторов, которые одновременно принадлежат всем рассматриваемым подпространствам, а суммой U 1+…+ Uq называется множество всевозможных векторов, представимых в виде x 1+…+ x q, где x 1Î U 1,…, x q Î Uq. Если представление вектора суммы в виде x 1+…+ x q единственно, то сумму называют прямой и обозначают U 1Å…Å Uq. Пример. Найти базис и размерность суммы и пересечения подпространств, натянутых на векторы: А = á а1, а2 ñ, В = á b1, b2 ñ a1 = (1, 2, 1, 0), b1 = (2, -1, 0, 1), a2 = (-1, 1, 1, 1); b2 = (1, -1, 3, 7).
Решение. Подпространство A + B состоит из векторов вида a + b, где a ÎA, b ÎB, следовательно, A + B = á а1, а2,b1, b2 ñ. Составим матрицу из координат указанных векторов и найдем её ранг: Получаем, ранг равен 3, а потому dim(A+B) = 3. В качестве базиса можно взять систему векторов a1, a2, b1. Подпространство состоит из всех таких векторов x, что х = α1 a1 + α2 a2 = β1 b1 + β2 b2. Решив уравнение α1 a1 + α2 a2 - β1 b1 - β2 b2 = 0 относительно неизвестных α1, α2, β1, β2, получим: α1 = c, α2 = -4c, β1 = 3c, β2 = -c, где с – произвольное вещественное число. Итак, {c a1 – 4c a2 }={c(5,-2,-3,-4)}. Подпространство порождено одним вектором (5, -2, -3, -4). Значит, и в качестве базиса пересечения подпространств можно взять полученный вектор.
УПРАЖНЕНИЯ
1. Какая размерность у линейной оболочки, натянутой на векторы (1,0,0,0), (0,1,0,0), (1,1,0,0), (2,2,0,0)? 2. Сколько различных базисов можно выбрать из системы векторов a, b, c двумерного векторного пространства,если векторы попарно линейно независимы? 3. Определяет ли система уравнений x1+x2+x3+x4=0, х2 + х4 -3=0. x1-2x3+4x4 +1=0 векторное подпространство в R4 и если да, то какой размерности? 4. Какие векторы из данной системы (1,0,0), (1,2,2), (0,0,1) принадлежат линейной оболочке < (1,1,1), (0,1,1)>? 5. Сколько независимых однородных уравнений входит в систему, определяющую двумерное подпространство пятимерного пространства? 6. Какова размерность векторного пространства всех однородных многочленов от двух переменных степени не выше четырех? 7. Из трех векторов а = (1,1), b = (0,1), c = (1,-1) выбран базис. Указать выбранный базис, если известно, что вектор х = (3,1) имеет в этом базисе координаты 1 и 2. 8. Найти матрицу перехода от базиса е 1 = (1,0), е 2 = (0,1) к базису е 1¢ = (1,2), е 2¢ = (3,4). 9. Пусть R1[ x ] – пространство многочленов от одного неизвестного х степени не больше единицы, R2 – арифметическое двумерное пространство. Изоморфизм j из R2 в R1[ x ] переводит базис е 1 = (1,1) и е 2 = (0,1) соответственно в базис х и 1. Найти образ вектора а = (2,4) при этом изоморфизме. 10. Даны два линейно независимых вектора a, b. Какова размерностьпересечения подпространств L1 = < a, a-b> иL2 = < b, a+b >? 11. Можно ли векторное пространство размерности не меньше 2 представить в виде прямой суммы двух подпространств? 12. Относительно системы векторов е 1,…, е n известно следующее: каждый вектор линейно выражается через эту систему, и существует некоторый фиксированный вектор, который единственным образом выражается через эту систему. Будет ли такая система образовывать векторный базис? 13. Образуют ли векторное пространство геометрические векторы на плоскости, не параллельные данной прямой? 14. Доказать, что для любого истинного подпространства U векторного пространства V найдется такое подпространство W, что V=UÅW. 15. Доказать, что пересечение всех подпространств векторного пространства, содержащих два данных подпространства, равно сумме этих двух подпространств.
Поиск по сайту: |
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.007 сек.) |