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

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

Утверждение. Подпространство само является линейным пространством.

Линейной оболочкой системы векторов называется множество всех линейных комбинаций векторов . Обозначается .

Утверждение. Линейная оболочка системы векторов является подпространством.

Пересечением двух подпространств и называется множество всех векторов, принадлежащих одновременно и , и . Обозначается .

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

Утверждение. Сумма и пересечение подпространств и являются линейными пространствами, и их размерности связаны равенством

+ = + .

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

Типовой пример

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

► Вычислим вначале размерность подпространств. С этой целью установим, являются ли линейно независимыми векторы, порождающие данные подпространства. Для подпространства , порождённого векторами , равенство нулю линейной комбинации , эквивалентное системе уравнений , достигается лишь при условии . Следовательно, векторы линейно независимы и размерность подпространства равна 2: . Для подпространства , порождённого векторами , проводя аналогичный анализ, получим .

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

Это условие представляет собой систему уравнений относительно коэффициентов . Составим матрицу системы и упростим её с помощью элементарных преобразований:

Как видно ранг системы равен 3. Значит ФСР состоит из одного линейно независимого вектора. Найдём его, решив систему уравнений, соответствующих последней матрице, получим ,

откуда .

Полагая свободное неизвестное , для остальных имеем

. Итак, пересечение подпространств имеет один базисный вектор

Размерность пересечения . Следовательно, в соответствии с равенством

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

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

Скалярное произведение

В курсе аналитической геометрии вводится понятие скалярного произведения двух векторов (на плоскости или в пространстве), которое обладает четырьмя основными свойствами. Мы рассмотрим векторные пространства произвольной природы, для элементов которых каким-либо способом (причем, безразлично каким) определено правило, ставящее в соответствие любым двум элементам число, называемое скалярным произведением этих элементов. При этом важно только, чтобы это правило обладало теми же четырьмя свойствами, что и правило составления скалярного произведения для геометрических векторов на плоскости или в пространстве. Векторные пространства, в которых определено указанное правило, называются евклидовыми пространствами.

Вещественное линейное пространство называется вещественным евклидовым пространством (или просто евклидовым пространством), если выполнены следующие два требования:

а) Имеется правило, посредством которого любым двум элементам этого пространства и ставится в соответствие вещественное число, называемое скалярным произведением этих элементов (и обозначаемое символом ).

б) Указанное правило подчинено следующим четырем аксиомам:

1) (коммутативность или симметрия);

2) (дистрибутивность скалярного произведения относительно сложения);

3) ;

4) , если ; , если .

Пример

Рассмотрим векторные пространства или векторов на плоскости или в пространстве. Скалярное произведение любых двух векторов определим стандартным образом (как произведение длин этих векторов на косинус угла между ними). В курсе аналитической геометрии доказывается, что в этом случае выполняются аксиомы 1) – 4). Следовательно, пространства и являются евклидовыми пространствами.

Утверждение

Арифметическое пространство Rⁿ, в котором скалярное произведение векторов задано равенством

является евклидовым пространством. Оно обозначается Eⁿ.

Пример (неравенство Коши-Буняковского)

Для любых двух элементов и евклидова пространства справедливо неравенство

называемое неравенством Коши–Буняковского.

► Для любого вещественного числа в силу аксиомы (4) скалярного произведения справедливо неравенство

В силу аксиом (1) – (3) последнее неравенство можно переписать в виде

Необходимым и достаточным условием неотрицательности последнего квадратного трехчлена является неположительность его дискриминанта :

Из неравенства сразу же следует неравенство Коши–Буняковского.

В том случае, когда квадратный трехчлен вырождается в линейную функцию. Но в этом случае элемент является нулевым, так что , и неравенство также справедливо. ◄

Наша очередная задача – ввести в произвольном евклидовом пространстве понятие нормы (или длины) каждого элемента. Для этого введем понятие нормированного пространства.

Векторное пространство называется нормированным, если выполнены следующие два требования:

а) Имеется правило, посредством которого каждому элементу ставится в соответствие вещественное число, называемое нормой (или длиной) указанного элемента и обозначаемое символом .

б) Указанное правило подчинено следующим трем аксиомам:

1) , если ; , если ;

2) , ;

3) (неравенство треугольника).

ТЕОРЕМА. Всякое евклидово пространство является нормированным, если в нем норму любого элемента определить равенством

В любом вещественном евклидовом пространстве можно ввести понятие угла между двумя произвольными элементами и этого пространства. Аналогично тому, как это делается в курсе аналитической геометрии (на плоскости и в пространстве), мы назовем углом между элементами и тот (изменяющийся в пределах от до ) угол, косинус которого определяется соотношением

Данное нами определение угла корректно, ибо в силу неравенства Коши-Буняковского дробь, стоящая в правой части последнего равенства, по модулю не превосходит единицы.

Будем называть два произвольных элемента и евклидова пространства ортогональными, если (в этом случае ).

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

Во всяком евклидовом пространстве справедлива теорема Пифагора: квадрат гипотенузы равен сумме квадратов катетов. В самом деле, поскольку и ортогональны, а, следовательно, , то в силу аксиом и определения нормы

Ранее было введено понятие базиса -мерного векторного пространства. Все базисе в произвольном векторном пространстве являлись равноправными, и у нас не было оснований предпочитать один базис другому. В евклидовом пространстве существуют специальные, особо удобные базисы, называемые ортонормированными базисами. Эти базисы играют ту же роль, что и декартов прямоугольный базис в аналитической геометрии.

Говорят, что элементов -мерного евклидова пространства образуют ортонормированный базис этого пространства, если эти элементы попарно ортогональны и норма каждого из них равна единице, т.е. если

Для того чтобы установить корректность определения, следует доказать, что входящие в это определение векторы образуют один из базисов -мерного пространства . А для этого (в силу теоремы о связи между понятиями базиса и размерности) достаточно доказать, что эти элементы линейно независимы, т.е. равенство

возможно лишь при .

Докажем это. Пусть – любой из номеров . Умножая данное равенство скалярно на элемент и пользуясь аксиомами скалярного произведения и соотношениями ортогональности, мы получим, что .

Ценность понятия ортонормированного базиса была бы невелика, если бы не следующая теорема.

ТЕОРЕМА. Во всяком -мерном евклидовом пространстве существует ортонормированный базис.

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

Еще раз подчеркнем, что существенным отличием произвольных векторных пространств от их частного случая, евклидовых пространств, является то, что в векторном пространстве не определены метрические соотношения между его элементами.

Предыдущая 1 2 3 4 5 678 9 Следующая