Линейные пространства. Подпространства. Размерность и базис

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

П р и м е р 6.1. Образует ли подпространство в плоскости множество векторов, концы которых лежат: а) в первой четверти; б) на прямой, проходящей через начало координат? (начала векторов лежат в начале координат)

Р е ш е н и е.

а) нет, так как множество не замкнуто относительно умножения на скаляр: при умножении на отрицательное число конец вектора попадает в третью четверть.

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

У п р а ж н е н и е 6.1. Образуют ли подпространство следующие подмножества соответствующих линейных пространств:

а) множество векторов плоскости, концы которых лежат в первой или третьей четверти;

б) множество векторов плоскости, концы которых лежат на прямой, не проходящей через начало координат;

в) множество координатных строк {(x1, x2, x3)ï x1 + x2 + x3 = 0};

г) множество координатных строк {(x1, x2, x3)ï x1 + x2 + x3 = 1};

д) множество координатных строк {(x1, x2, x3)ï x1 = x2 2}.

Размерностью линейного пространства L называется число dim L векторов, входящих в любой его базис.

Размерность суммы и пересечения подпространств связаны соотношением

dim (U + V) = dim U + dim V – dim (U Ç V).

П р и м е р 6.2. Найти базис и размерность суммы и пересечения подпространств, натянутых на следующие системы векторов:

Линейные пространства. Подпространства. Размерность и базис - student2.ru

Р е ш е н и е. Каждая из систем векторов, порождающих подпространства U и V, линейно независима, значит, является базисом соответствующего подпространства. Построим матрицу из координат данных векторов, расположив их по столбцам и отделив чертой одну систему от другой. Приведем получившуюся матрицу к ступенчатому виду.

Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru ~ Линейные пространства. Подпространства. Размерность и базис - student2.ru ~ Линейные пространства. Подпространства. Размерность и базис - student2.ru ~ Линейные пространства. Подпространства. Размерность и базис - student2.ru .

Базис U + V образуют векторы Линейные пространства. Подпространства. Размерность и базис - student2.ru , Линейные пространства. Подпространства. Размерность и базис - student2.ru , Линейные пространства. Подпространства. Размерность и базис - student2.ru , которым в ступенчатой матрице соответствуют ведущие элементы. Следовательно, dim (U + V) = 3. Тогда

dim (UÇV) = dim U + dim V – dim (U + V) = 2 + 2 – 3 = 1.

Пересечение подпространств образует множество векторов, удовлетворяющих уравнению Линейные пространства. Подпространства. Размерность и базис - student2.ru (стоящих в левой и правой частях этого уравнения). Базис пересечения получим с помощью фундаментальной системы решений системы линейных уравнений, соответствующей этому векторному уравнению. Матрица этой системы уже приведена к ступенчатому виду. Исходя из него, заключаем, что y2 – свободная переменная, и полагаем y2 = c. Тогда 0 = y1 – y2, y1 = c,. и пересечение подпространств образует множество векторов вида Линейные пространства. Подпространства. Размерность и базис - student2.ru = с (3, 6, 3, 4). Следовательно, базис UÇV образует вектор (3, 6, 3, 4).

З а м е ч а н и я. 1. Если продолжить решать систему, находя значения переменных х, то получим x2 = c, x1 = c, и в левой части векторного уравнения получится вектор Линейные пространства. Подпространства. Размерность и базис - student2.ru , равный полученному выше.

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

3. Если будет установлено, что размерность пересечения равна 0, то пересечение не имеет базиса, и искать его не нужно.

У п р а ж н е н и е 6.2. Найти базис и размерность суммы и пересечения подпространств, натянутых на следующие системы векторов:

а) Линейные пространства. Подпространства. Размерность и базис - student2.ru

б) Линейные пространства. Подпространства. Размерность и базис - student2.ru

Евклидово пространство

Евклидовым пространством называется линейное пространство над полем R, в котором определено скалярное умножение, ставящее в соответствие каждой паре векторов Линейные пространства. Подпространства. Размерность и базис - student2.ru , Линейные пространства. Подпространства. Размерность и базис - student2.ru скаляр Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru , причем выполнены условия:

1) Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru = Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru ;

2) (a Линейные пространства. Подпространства. Размерность и базис - student2.ru + b Линейные пространства. Подпространства. Размерность и базис - student2.ru ) Линейные пространства. Подпространства. Размерность и базис - student2.ru = a( Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru ) + b( Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru );

3) Линейные пространства. Подпространства. Размерность и базис - student2.ru ¹ Линейные пространства. Подпространства. Размерность и базис - student2.ru Þ Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru > 0.

Стандартное скалярное произведение вычисляется по формулам

(a1 , … , an) (b1, … , bn) = a1b1 + … + anbn.

Векторы Линейные пространства. Подпространства. Размерность и базис - student2.ru и Линейные пространства. Подпространства. Размерность и базис - student2.ru называются ортогональными, записывается Линейные пространства. Подпространства. Размерность и базис - student2.ru ^ Линейные пространства. Подпространства. Размерность и базис - student2.ru , если их скалярное произведение равно 0.

Система векторов называется ортогональной, если векторы в ней попарно ортогональны.

Ортогональная система векторов линейно независима.

Процесс ортогонализации системы векторов Линейные пространства. Подпространства. Размерность и базис - student2.ru , … , Линейные пространства. Подпространства. Размерность и базис - student2.ru заключается в переходе к эквивалентной ортогональной системе Линейные пространства. Подпространства. Размерность и базис - student2.ru , … , Линейные пространства. Подпространства. Размерность и базис - student2.ru , выполняемом по формулам:

Линейные пространства. Подпространства. Размерность и базис - student2.ru = Линейные пространства. Подпространства. Размерность и базис - student2.ru ;

Линейные пространства. Подпространства. Размерность и базис - student2.ru , где Линейные пространства. Подпространства. Размерность и базис - student2.ru , k = 2, … , n.

П р и м е р 7.1. Ортогонализировать систему векторов

Линейные пространства. Подпространства. Размерность и базис - student2.ru = (1, 2, 2, 1), Линейные пространства. Подпространства. Размерность и базис - student2.ru = (3, 2, 1, 1), Линейные пространства. Подпространства. Размерность и базис - student2.ru = (4, 1, 3, -2).

Р е ш е н и е. Имеем Линейные пространства. Подпространства. Размерность и базис - student2.ru = Линейные пространства. Подпространства. Размерность и базис - student2.ru = (1, 2, 2, 1);

Линейные пространства. Подпространства. Размерность и базис - student2.ru , Линейные пространства. Подпространства. Размерность и базис - student2.ru = Линейные пространства. Подпространства. Размерность и базис - student2.ru = Линейные пространства. Подпространства. Размерность и базис - student2.ru = 1;

Линейные пространства. Подпространства. Размерность и базис - student2.ru = (3, 2, 1, 1) – (1, 2, 2, 1) = (2, 0, -1, 0).

Линейные пространства. Подпространства. Размерность и базис - student2.ru , Линейные пространства. Подпространства. Размерность и базис - student2.ru = Линейные пространства. Подпространства. Размерность и базис - student2.ru = Линейные пространства. Подпространства. Размерность и базис - student2.ru =1;

Линейные пространства. Подпространства. Размерность и базис - student2.ru = Линейные пространства. Подпространства. Размерность и базис - student2.ru =1;

Линейные пространства. Подпространства. Размерность и базис - student2.ru = (4, 1, 3, -2) – (1, 2, 2, 1) – (2, 0, -1, 0) = (1, -1, 2, -3).

У п р а ж н е н и е 7.1. Ортогонализировать системы векторов:

а) Линейные пространства. Подпространства. Размерность и базис - student2.ru = (1, 1, 0, 2), Линейные пространства. Подпространства. Размерность и базис - student2.ru = (3, 1, 1, 1), Линейные пространства. Подпространства. Размерность и базис - student2.ru = (-1, -3, 1, -1);

б) Линейные пространства. Подпространства. Размерность и базис - student2.ru = (1, 2, 1, 1), Линейные пространства. Подпространства. Размерность и базис - student2.ru = (3, 4, 1, 1), Линейные пространства. Подпространства. Размерность и базис - student2.ru = (0, 3, 2, -1).

П р и м е р 7.2. Дополнить систему векторов Линейные пространства. Подпространства. Размерность и базис - student2.ru = (1, -1, 1, -1),

Линейные пространства. Подпространства. Размерность и базис - student2.ru = (1, 1, -1, -1), до ортогонального базиса пространства.

Р е ш е н и е. Исходная система ортогональна, поэтому задача имеет смысл. Так как векторы заданы в четырехмерном пространстве, то требуется найти еще два вектора. Третий вектор Линейные пространства. Подпространства. Размерность и базис - student2.ru = (x1, x2, x3, x4) определяем из условий Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru = 0, Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru = 0. Эти условия дают систему уравнений, матрица которой образована из координатных строк векторов Линейные пространства. Подпространства. Размерность и базис - student2.ru и Линейные пространства. Подпространства. Размерность и базис - student2.ru . Решаем систему:

Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru ~ Линейные пространства. Подпространства. Размерность и базис - student2.ru ~ Линейные пространства. Подпространства. Размерность и базис - student2.ru .

Свободным переменным x3 и x4 можно придать любой набор значений, отличный от нулевого. Полагаем, например, x3 = 0, x4 = 1. Тогда x2 = 0, x1 = 1, и Линейные пространства. Подпространства. Размерность и базис - student2.ru = (1, 0, 0, 1).

Аналогично находим Линейные пространства. Подпространства. Размерность и базис - student2.ru = (y1, y2, y3, y4). Для этого к полученной выше ступенчатой матрице добавляем новую координатную строку и приводим к ступенчатому виду:

Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru ~ Линейные пространства. Подпространства. Размерность и базис - student2.ru ~ Линейные пространства. Подпространства. Размерность и базис - student2.ru .

Для свободной переменной y3 полагаем y3 = 1. Тогда y4 = 0, y2 = 1, y1= 0, и Линейные пространства. Подпространства. Размерность и базис - student2.ru = (0, 1, 1, 0).

Нормой вектора Линейные пространства. Подпространства. Размерность и базис - student2.ru евклидова пространства называется неотрицательное действительное число Линейные пространства. Подпространства. Размерность и базис - student2.ru .

Вектор называется нормированным, если его норма равна 1.

Чтобы нормировать вектор, его следует разделить на его норму.

Ортогональная система нормированных векторов называется ортонормированной.

У п р а ж н е н и е 7.2. Дополнить систему векторов до ортонормированного базиса пространства:

а) Линейные пространства. Подпространства. Размерность и базис - student2.ru = (1/2, 1/2, 1/2, 1/2), Линейные пространства. Подпространства. Размерность и базис - student2.ru = (-1/2, 1/2, -1/2, 1/2);

б) Линейные пространства. Подпространства. Размерность и базис - student2.ru = (1/3, -2/3, 2/3).

Линейные отображения

Пусть U и V – линейные пространства над полем F. Отображение f: U ® V называется линейным, если Линейные пространства. Подпространства. Размерность и базис - student2.ru и Линейные пространства. Подпространства. Размерность и базис - student2.ru .

П р и м е р 8.1. Являются ли линейными преобразования трехмерного пространства:

а) f(x1, x2, x3) = (2x1, x1 – x3, 0);

б) f(x1, x2, x3) = (1, x1 + x2, x3).

Р е ш е н и е.

а) Имеем f((x1, x2, x3) + (y1, y2, y3)) = f(x1 + y1, x2 + y2, x3 + y3) =

= (2(x1 + y1), (x1 + y1) – (x3 + y3), 0) = (2x1, x1 – x3 , 0) + (2y1, y1 - y3, 0) =

= f((x1, x2, x3) + f(y1, y2, y3));

f(l(x1, x2, x3)) = f(lx1, lx2, lx3) = (2lx1, lx1 – lx3, 0) = l(2x1, x1 – x3, 0) =

= l f(x1, x2, x3).

Следовательно, преобразование является линейным.

б) Имеем f((x1, x2, x3) + (y1, y2, y3)) = f(x1 + y1, x2 + y2, x3 + y3) =

= (1, (x1 + y1) + (x2 + y2), x3 + y3);

f((x1, x2, x3) + f(y1, y2, y3)) = (1, x1 + x2, x3) + (1, y1 + y2, y3) =

= (2, (x1 + y1) + (x2 + y2), x3 + y3) ¹ f((x1, x2, x3) + (y1, y2, y3)).

Следовательно, преобразование не является линейным.

Образом линейного отображения f: U ® V называется множество образов векторов из U, то есть

Im (f) = {f( Линейные пространства. Подпространства. Размерность и базис - student2.ru ) ï Линейные пространства. Подпространства. Размерность и базис - student2.ru Î U}.

Ядром линейного отображения f: U ® V называется множество векторов из U, отображающихся в Линейные пространства. Подпространства. Размерность и базис - student2.ru , то есть

Ker (f) = { Линейные пространства. Подпространства. Размерность и базис - student2.ru Î Uï f( Линейные пространства. Подпространства. Размерность и базис - student2.ru ) = Линейные пространства. Подпространства. Размерность и базис - student2.ru }.

Im (f) и Ker (f) являются подпространствами в пространствах V и U соответственно. Их размерности называются рангом и дефектом линейного отображения f и обозначаются rank f и def f соответственно.

Ранг и дефект линейного отображения f: U ® V связаны соотношением

rank f + def f = dim U.

Пусть задано линейное отображение f: U ® V, и Линейные пространства. Подпространства. Размерность и базис - student2.ru , … , Линейные пространства. Подпространства. Размерность и базис - student2.ru ; Линейные пространства. Подпространства. Размерность и базис - student2.ru , … , Линейные пространства. Подпространства. Размерность и базис - student2.ru – базисы пространств U и V соответственно. Пусть

f( Линейные пространства. Подпространства. Размерность и базис - student2.ru ) = a11 Линейные пространства. Подпространства. Размерность и базис - student2.ru + … + am1 Линейные пространства. Подпространства. Размерность и базис - student2.ru ;

………………………………

f( Линейные пространства. Подпространства. Размерность и базис - student2.ru ) = a1n Линейные пространства. Подпространства. Размерность и базис - student2.ru + … + anm Линейные пространства. Подпространства. Размерность и базис - student2.ru .

Матрицей линейного отображения f называется матрица

A = Линейные пространства. Подпространства. Размерность и базис - student2.ru .

Образ любого вектора Линейные пространства. Подпространства. Размерность и базис - student2.ru можно найти с помощью матричного умножения: f( Линейные пространства. Подпространства. Размерность и базис - student2.ru ) = А Линейные пространства. Подпространства. Размерность и базис - student2.ru , где Линейные пространства. Подпространства. Размерность и базис - student2.ru записан в виде столбца.

П р и м е р 8.2. Найти ранг, дефект, базисы образа и ядра линейного отображения f, заданного матрицей

А = Линейные пространства. Подпространства. Размерность и базис - student2.ru .

Р е ш е н и е. Образ отображения порождается образами базисных векторов, расположенных по столбцам матрицы А. Поэтому базис образа – это базис системы столбцов. Находим его приведением матрицы к ступенчатому виду:

Линейные пространства. Подпространства. Размерность и базис - student2.ru Линейные пространства. Подпространства. Размерность и базис - student2.ru ~ Линейные пространства. Подпространства. Размерность и базис - student2.ru ~ Линейные пространства. Подпространства. Размерность и базис - student2.ru .

Заключаем, что базис Im f образуют векторы (1, 2, 2), (2, 5, 3) и (1, 3, 2). Следовательно, rank f = 3. Исходное пространство имеет размерность 4 (число столбцов матрицы), поэтому def f = 4 – rank f = 1.

Ядро отображения – это множество решений уравнения А Линейные пространства. Подпространства. Размерность и базис - student2.ru = Линейные пространства. Подпространства. Размерность и базис - student2.ru , базис ядра – фундаментальная система решений соответствующей системы линейных уравнений. Матрица системы уже приведена к ступенчатому виду. Полагаем

x3 = a, тогда x4 = 0, x2 = -a, x1 = -a, Линейные пространства. Подпространства. Размерность и базис - student2.ru = (-a, -a, a, 0) = a(-1, -1, 1, 0). Таким образом, базис ядра образует вектор (-1, -1, 1, 0).

З а м е ч а н и е. Если будет получено, что def f = 0, то ядро будет нулевым пространством и не имеет базиса.

У п р а ж н е н и е 8.1. Найти ранг, дефект, базисы образа и ядра линейного отображения f, заданного матрицей:

а) А = Линейные пространства. Подпространства. Размерность и базис - student2.ru ; б) А = Линейные пространства. Подпространства. Размерность и базис - student2.ru ; в) А = Линейные пространства. Подпространства. Размерность и базис - student2.ru .

Наши рекомендации