Next: 2 евклидово пространство
Up: 1 n-мерное пространство. Линейные
Previous: 1 n-мерное пространство. Линейные
Subsections
Часто приходится встречаться с объектами, над которыми
производятся операции сложения и умножения на числа. Приведем
несколько примеров.
1. В геометрии объектами такого рода являются
векторы в трехмерном пространстве, т.е. направленные отрезки.
При этом, если два направленных отрезка можно совместить
параллельным переносом, то считается, что они определяют один и
тот же вектор. Поэтому удобно все эти отрезки откладывать от
одной какой-либо точки, которую мы будем называть началом
координат. Операция сложения векторов, как известно, определяется
следующим образом: суммой векторов и мы считаем диагональ
параллелограмма со сторонами и . Известным образом
вводится также умножение на числа.
2. В алгебре мы встречаемся с системами чисел
(например, строки матрицы, совокупность
коэффициентов
линейной формы
и т.д.). Для таких
систем операции сложения и умножения на числа обычно определяются так: суммой
систем
и
называется система
. Произведением
системы
на число мы считаем
систему
.
3. В анализе определяются операции сложения функций и
умножения их на числа. В дальнейшем мы для определенности будем
рассматривать совокупность всех непрерывных функций, заданных на
сегменте .
В приведенных примерах одни и те же операции сложения и умножения
на числа производятся над совершенно разными объектами. Для того
чтобы изучить все такие примеры с единой точки зрения, мы введем
понятие линейного, или аффинного, пространства.
Определение 1.1
Множество элементов
называется
линейным (аффинным) пространством, если:
a) каждым двум элементам и поставлен в соответствие
элемент , называемый суммой элементов и ; сумма
элементов и обозначается через ,
b) каждому элементу и каждому числу из некоторого
поля
поставлен в соответствие элемент , называемый
произведением элемента на число .
Эти операции должны удовлетворять следующим требованиям
(аксиомам):
I.
1 (коммутативность).
2
(ассоциативность).
3 Существует элемент 0 такой, что для любого .
Элемент 0 называется нулевым элементом.
4 Для каждого существует элемент, обозначаемый через
, такой, что .
II.
1
,
2
.
III.
1
,
2
.
Мы не случайно не сказали, как именно определяются операции сложения и
умножения на числа. От этих операций требуется только, чтобы были
выполнены сформулированные выше аксиомы. Поэтому всякий раз, когда мы
встречаемся с операциями, удовлетворяющими перечисленным выше
условиям, мы вправе считать их операциями сложения и умножения на
числа, а совокупность элементов, для которых эти операции
установлены,-- линейным пространством.
Предоставляем читателю проверить, что в приведенных примерах 1-3 эти
аксиомы выполнены. Поэтому 1-3 являются примерами линейных
пространств.
Рассмотрим еще несколько примеров.
4. Совокупность всех многочленов степени, не превышающей натурального
числа , с обычными операциями сложения многочленов и умножения их
на числа образует линейное пространство.
Заметим, что множество многочленов степени не образует линейного
пространства, так как сумма двух многочленов степени может
оказаться многочленом более низкой степени: например
5. Элементами пространства являются матрицы порядка .
Суммой матриц
и
называется матрица
, произведением матрицы
на число
-- матрица
. Нулевым элементом при этом
будет матрица, состоящая из одних нулей. Можно проверить, что все
аксиомы линейного пространства здесь выполнены.
6. Совокупность всех многочленов степени, не превышающей натурального
числа , и имеющих положительные коэффициенты, не образует линейного
пространства: если многочлен входит в эту совокупность, то
в нее не входит.
7. Не образует линейного пространства и совокупность
непрерывных функций
на сегменте таких,
что
: из того, что
и
, не следует
.
Элементы линейного пространства мы будем называть
векторами.
То обстоятельство, что это слово часто употребляется в более узком
смысле (так, как в примере 1), не должно нас смущать. Геометрические
представления, связанные с этим словом, помогут нам уяснить, а иногда
и предвидеть, ряд результатов.
Если числа
, участвующие в определении линейного
пространства, вещественны, то пространство называется
вещественным линейным пространством. Если же эти числа
берутся из поля
комплексных чисел,
то называется комплексным линейным пространством.
Более общо, мы можем предполагать, что
--
элементы произвольного поля . Тогда называется линейным
пространством над полем . Многие понятия и теоремы, излагаемые
ниже, в частности, все содержание этого параграфа, автоматически
переносятся на линейные пространства над любым полем.
Однако в главе I мы будем обычно предполагать, что -- вещественное
линейное пространство.
[chapter] В главе I обычно предполагается, что -- вещественное
линейное пространство.
Важную роль в дальнейшем будет играть понятие линейной зависимости и
линейной независимости векторов.
Определение 1.2
Пусть -- линейное пространство. Векторы
называются
линейно зависимыми,
если существуют такие числа
, из которых
хотя бы одно отлично от нуля, что
![$\displaystyle \alpha x+\beta y+\gamma z+\ldots+\theta v=0.$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img48.gif) |
(1) |
Векторы, не являющиеся линейно зависимыми, называются линейно
независимыми. Другими словами,
векторы
называются линейно
независимыми, если равенство
возможно только при
.
Пусть векторы
линейно зависимы, т.е. пусть они
связаны соотношением вида (1), в котором хотя бы один из
коэффициентов, например , отличен от нуля. Тогда
и, разделив на и положив
получим:
![$\displaystyle x=\lambda y+\mu z+\ldots+\zeta v.$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img54.gif) |
(2) |
Если вектор выражается через векторы
в
виде (2), то мы будем говорить, что есть
линейная комбинация
векторов
.
Таким образом, если векторы
линейно зависимы,
то хотя бы один из них является линейной комбинацией остальных. Мы
предоставляем читателю проверить, что верно и обратное, т.е. что
векторы, один из которых есть линейная комбинация остальных,
линейно зависимы.
Упражнения
1. Проверить, что если среди векторов
имеется
нулевой вектор, то эти векторы обязательно линейно зависимы.
2. Показать, что если к линейно зависимым векторам
добавить еще произвольные векторы
, то
все эти векторы вместе также будут линейно зависимы.
3. Доказать, что если векторы
линейно
независимы и вектор есть их линейная комбинация
![$\displaystyle x=\alpha y+\beta z+\ldots+\delta v,$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img57.gif) |
(3) |
то представление (3) единственно.
Указание
Предположить, что есть другое представление:
![$\displaystyle x=\alpha_1 y+\beta_1 z+\ldots+\delta_1 v,$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img58.gif) |
(4) |
и вычесть равенство (4) из равенства (3).
Перейдем теперь к определению понятия
числа измерений (размерности) пространства.
В совокупности векторов на прямой всякие два вектора пропорциональны,
т.е. линейно зависимы. На плоскости можно найти два линейно
независимых вектора, но уже всякие три вектора линейно зависимы. Если
-- совокупность векторов трехмерного пространства, то три линейно
независимых вектора в найти можно, но всякие четыре вектора
линейно зависимы.
Мы видим, что максимальное число линейно независимых векторов на
прямой, плоскости, в трехмерном пространстве совпадает с тем, что в
геометрии принято называть числом измерений прямой, плоскости,
пространства. Естественно поэтому следующее общее
Определение 1.3
Линейное пространство называется -мерным, если в нем существует
линейно независимых векторов и нет большего числа линейно
независимых векторов.
Если в пространстве можно найти любое число линейно независимых
векторов, то называется бесконечномерным.
Бесконечномерные пространства составляют предмет специального
изучения. Мы будем в этой книге заниматься в основном пространствами
конечного числа измерений.
[document] В этой книге в основном рассматриваются пространства
конечного числа измерений.
Найдем в каждом из рассмотренных выше примеров 1-5 размерность
соответствующего пространства.
1. Как мы уже указали, в пространстве примера 1 имеется три
линейно независимых вектора, а всякие четыре вектора линейно
зависимы. Поэтому трехмерно.
2. -- пространство, векторами которого являются системы
действительных чисел.
В этом пространстве можно указать линейно независимых векторов,
например
(мы предоставляем читателю доказать, что эти векторы действительно
линейно независимы).
Упражнение
Показать, что векторы
в пространстве также линейно независимы
.
3. -- пространство непрерывных функций. Пусть --
произвольное целое число. Тогда функции
,
, ,
образуют совокупность
линейно независимых векторов (доказательство предоставляем
читателю). Мы видим, что в этом пространстве имеется произвольное
число линейно независимых функций, т.е. бесконечномерно.
4. -- пространство многочленов степени
. В нем
многочленов
линейно независимы.
5. В пространстве квадратных матриц
порядка все
матрицы, у которых на одном каком-либо месте стоит единица, а на
остальных местах нули, линейно независимы.
В примерах 1, 2, 4 и 5 мы нашли систему таких линейно независимых
векторов
, что каждый вектор есть их линейная
комбинация. Чтобы установить, что размерность каждого из этих
пространств равна числу векторов
, нам остается
доказать, что в этих пространствах нельзя найти другой системы линейно
независимых векторов
в количестве,
превосходящем . Этот факт можно вывести из следующей полезной
леммы, которой мы неоднократно будем пользоваться и в дальнейшем.
Лемма
Пусть в линейном пространстве задана система из векторов
Пусть, далее, каждый из векторов
есть линейная комбинация векторов
. Тогда,
если векторы
линейно независимы, то
.
Другими словами, среди линейных комбинаций векторов
не может быть больше чем линейно независимых.
Доказательство леммы проведем по
индукции.
При она
очевидна. Предположим, что лемма верна для векторов
, и докажем при этом, что она верна для
векторов.
Итак, пусть среди линейных комбинаций векторов
есть линейно независимые векторы
:
Нам надо показать, что
. Если все коэффициенты при
равны нулю, лемма доказана, так как в этом случае, по предположению
индукции, имеет место равенство
, а значит, и подавно,
. Пусть хотя бы один из коэффициентов при ,
например
, не равен нулю. Чтобы провести индукцию, мы
построим новых линейно независимых векторов, которые будут
линейными комбинациями векторов
. Для этого из
последнего равенства выразим :
Это выражение для подставим теперь в каждое из первых
равенств (5) и соберем подобные члены. Мы получим
равенства следующего вида:
![\begin{displaymath}\begin{gathered}g_1-\frac{\alpha_{1k}}{\alpha_{lk}}g_l=\beta_...
...\beta_{l-1,1}f_1+ \ldots+\beta_{l-1,k-1}f_{k-1}. \end{gathered}\end{displaymath}](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img87.gif) |
(6) |
Эти равенства означают, что каждый из векторов
есть линейная комбинация векторов
. Если
мы докажем, что они линейно независимы, то, по предположению
индукции, отсюда будет следовать, что
, т.е.
.
Таким образом, нам осталось показать, что векторы
линейно независимы. Но это почти очевидно. Действительно,
предположим, что
-- такие числа,
что
т.е. что
Раскрывая скобки, получаем:
Так как векторы
линейно независимы, то все
коэффициенты в последнем равенстве равны нулю. В частности,
, а это означает, что
векторы
линейно независимы. Лемма полностью
доказана.
Из доказанной леммы вытекает следующий, часто оказывающийся
полезным результат: если в пространстве
существуют линейно независимых векторов
таких, что каждый вектор из есть их линейная комбинация, то
пространство -мерно.
Доказательство этого факта ввиду его простоты мы оставляем читателю.
В каждом из примеров 2, 4 и 5 такая система была выбрана. Таким
образом показано, что в примерах 2 и 4 размерность пространства
равна , а в примере 5 размерность пространства равна .
Упражнение
Показать, что если векторы
,
входящие в условие леммы, линейно зависимы, то (а не только
).
Определение 1.4
Совокупность линейно независимых векторов
-мерного пространства называется
базисом в .
Например, в пространстве , рассмотренном в примере 1 (трехмерном
пространстве), базис образуют любые три вектора, не лежащие в одной
плоскости.
По определению -мерного пространства в нем существует линейно
независимых векторов, т.е. существует базис.
Покажем, что произвольную систему из линейно независимых
векторов
, где , можно дополнить до
базиса в -мерном пространстве .
Пусть
-- какой-либо базис в . Если бы каждый из
векторов
был линейной комбинацией векторов ,
то, согласно лемме, мы имели бы, что
, в то время как,
по предположению, . Значит, среди векторов
есть
хотя бы один, например , не являющийся линейной комбинацией
векторов
. Добавив вектор к
, мы получим систему из векторов, которые
по-прежнему линейно независимы (почему?).
Если , то среди векторов
снова есть
вектор , не являющийся линейной комбинацией векторов
. Добавим и этот вектор к системе.
Этот процесс можно продолжить до тех пор, пока мы дойдем до
линейно независимых векторов, т.е. до базиса. Этот базис
содержит
, и тем самым наше утверждение
доказано.
Теорема 1.1
Каждый вектор из -мерного пространства можно представить, и
при том единственным образом, как линейную комбинацию векторов базиса.
Доказательство. Пусть векторы
образуют
базис в . Присоединим к ним произвольный вектор из .
Векторов
уже .
Поэтому по определению -мерного пространства они должны быть
линейно зависимы, т.е.
![$\displaystyle \alpha_0x+\alpha_1e_1+\alpha_2e_2+\ldots+\alpha_ne_n=0,$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img111.gif) |
(7) |
где не все равны нулю. Число заведомо
отлично от нуля, так как иначе из формулы (7) следовала бы
линейная зависимость векторов
.
Выразим из (7) вектор :
Мы доказали, что каждый вектор 2.1 есть линейная
комбинация векторов
.
Докажем теперь единственность полученного разложения.
Предположим, что существуют два разложения:
и
Вычитая, получим:
Так как
линейно независимы, то это
возможно лишь, если
т.е.
Единственность разложения доказана.
Определение 1.5
Если
есть базис в -мерном пространстве и
![$\displaystyle x=\xi_1e_1+\xi_2e_2+\ldots+\xi_ne_n,$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img121.gif) |
(8) |
то числа
называются
координатами вектора в базисе
.
Теорема 1 означает, что при заданном базисе
каждый вектор имеет координаты и притом однозначно определенные.
Если вектор имеет в базисе
координаты
, а вектор
-- координаты
, т.е.
если
то
т.е. вектор имеет координаты
. Вектор имеет координаты
.
Таким образом, при сложении векторов и их координаты
складываются. При умножении вектора на число его
координаты умножаются на это число.
Ясно также, что нулевой вектор, и только он, имеет все координаты
равными нулю.
Примеры
1. Для случая трехмерного пространства наше определение координат
вектора совпадает с имеющимся в
аналитической геометрии
определением координат вектора в некоторой (вообще говоря, не прямоугольной)
системе координат.
2. Пусть -- пространство, векторами которого
являются системы
из чисел. Возьмем
базис (см. упражнение)
Найдем координаты
вектора
в этом базисе. По
определению
т.е.
Таким образом, числа
находятся из
следующей системы уравнений:
откуда
Рассмотрим теперь в базис, в котором связь между координатами
вектора
и числами ,
, определяющими этот вектор, наиболее проста. Пусть
Тогда
Таким образом, в пространстве , где каждый вектор
определяется как система чисел
, эти
числа можно трактовать как координаты вектора
в базисе
,
, ,
.
Упражнение
Доказать, что в любом базисе
координаты
вектора
суть линейные комбинации чисел
.
3. -- пространство, векторами которого являются многочлены степени
. Простейшим базисом является совокупность векторов ,
, ,
. Координатами многочлена
в этом базисе являются, как легко
видеть, его коэффициенты
.
Выберем теперь другой базис:
Каждый многочлен может быть по
формуле Тейлора
представлен в виде:
Таким образом, в этом базисе имеет координаты
В разобранных выше примерах некоторые пространства с точки зрения
рассматриваемых здесь свойств не отличаются друг от друга. Таковы,
например, обычное трехмерное пространство примера 1 и пространство
, в котором векторы определяются как тройки действительных
чисел. В самом деле, выбрав в определенную систему координат, мы
можем каждому вектору из поставить в соответствие совокупность
трех его координат, т.е. вектор пространства . При сложении
векторов координаты их складываются, а при умножении на число все
координаты вектора умножаются на это число. Поэтому геометрические
факты, вытекающие из определения линейного пространства, которые имеют
место в , мы можем параллельно изложить как в , так и в
пространстве троек чисел.
Поскольку единственными операциями, которые введены в линейных
пространствах, являются операции сложения векторов и умножения
вектора на число, то естественно ввести следующее
Определение 1.6
Линейные пространства и называются
изоморфными,
если между векторами и векторами можно установить
взаимно однозначное соответствие 2.2
так, что если вектору соответствует вектор
, а вектору соответствует вектор , то
1 вектору соответствует вектор ,
2 вектору соответствует вектор
.
Из определения изоморфизма следует, что если
-- векторы
из , а
-- соответствующие им векторы из , то
равенство
равносильно равенству
. Следовательно, линейно независимым векторам из
соответствуют линейно независимые векторы из , и обратно.
Возникает вопрос, какие пространства изоморфны между собой и
какие нет.
Два пространства различной размерности заведомо не изоморфны
друг другу.
В самом деле, пусть и изоморфны. Из сделанного выше
замечания следует, что максимальное число линейно независимых
векторов в и одно и то же, т.е. размерности
пространств и равны. Следовательно, пространства
различной размерности не могут быть между собой изоморфны.
Теорема 1.2
Все пространства, имеющие одну и ту же размерность , изоморфны друг
другу.
Доказательство. Пусть и -- два -мерных пространства.
Выберем в базис
и в
какой-либо базис
. Поставим в
соответствие вектору
![$\displaystyle x=\xi_1e_1+\xi_2e_2+\ldots+\xi_ne_n$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img116.gif) |
(9) |
вектор
т.е. линейную комбинацию векторов с теми же
коэффициентами, что и в (9).
Это соответствие взаимно однозначно. В самом деле, каждый вектор
может быть однозначно представлен в виде (9). Поэтому
числа , а значит, и вектор , определяются по вектору
однозначно. Ввиду равноправности, в нашем построении,
пространств и , каждому отвечает элемент из и
притом только один.
Из установленного закона соответствия сразу следует, что если
и
, то
и
. Изоморфизм пространств
и , таким образом, доказан.
Итак, единственной существенной характеристикой конечномерного
линейного пространства является его размерность.
В 3 мы еще вернемся к понятию изоморфизма
по другому поводу.
Определение 1.7
Подпространством
пространства называется совокупность элементов из таких,
что они сами образуют линейное пространство относительно уже введенных
в операций сложения и умножения на числа.
Иначе говоря, совокупность элементов
из
образует линейное подпространство пространства , если из ,
следует ,
.
Примеры
1. Нулевое подпространство, т.е. подпространство, состоящее из
единственного элемента -- нуля.
2. Все пространство .
Нулевое подпространство и все пространство называются обычно
несобственными подпространствами. Приведем несколько более
содержательных примеров подпространств.
3. -- трехмерное пространство. Рассмотрим какую-либо
плоскость в , проходящую через начало координат. Совокупность
всех векторов, лежащих в этой плоскости, есть
подпространство.
4. В пространстве, векторами которого являются системы чисел
, совокупность всех тех
векторов
, для которых
, образует подпространство. Более общо: совокупность
векторов
, удовлетворяющих
условию
где
-- какие-то фиксированные числа,
образует подпространство.
5. В пространстве всех непрерывных функций совокупность
многочленов степени
является подпространством.
Очевидно, что во всяком подпространстве какого-либо
пространства содержится нулевой элемент пространства .
Поскольку любое подпространство само по себе является линейным
пространством, то все такие понятия, как базис, число измерений
пространства и т.д., которые мы ввели выше, применимы и к
подпространствам. Так как в подпространстве не может быть больше
линейно независимых векторов, чем во всем пространстве, то
размерность любого подпространства не превосходит размерности
всего пространства.
Упражнения
1. Доказать, что если подпространство пространства имеет ту
же размерность, что и все пространство , то оно совпадает с .
2. Доказать, что если и -- подпространства пространства
, и если
и размерности и совпадают, то
.
В каждом пространстве можно строить подпространства следующим
общим приемом: возьмем в произвольное (конечное или бесконечное)
множество векторов
; тогда совокупность
всех линейных комбинаций выбранных векторов
есть
подпространство пространства . Действительно, складывая между
собой и умножая на числа линейные комбинации векторов
, мы снова получим линейные комбинации векторов
, т.е. элементы из . Полученное таким образом
подпространство называется подпространством, порожденным
векторами
. Оно является наименьшим линейным
подпространством, содержащим данные векторы
Подпространство , порожденное линейно независимыми векторами
, является -мерным и векторы
образуют в нем базис. Действительно, в имеется система
линейно независимых векторов, именно, сами векторы
. С другой стороны, если
-- произвольные
линейно независимые векторы из , то так как они являются линейными
комбинациями векторов
, то, согласно
лемме п.2,
. Следовательно, -мерно и набор векторов
есть один из
возможных базисов в .
Упражнение
Показать, что в -мерном пространстве существуют подпространства
всех меньших размерностей.
Если исключить из рассмотрения не представляющее интереса нулевое
подпространство, то самыми простыми являются одномерные
подпространства. Базис всякого такого подпространства состоит из
одного вектора . Таким образом, одномерное подпространство
состоит из векторов вида
, где -- произвольное
число.
Прибавим к каждому из векторов
один и тот же
вектор . Мы получим совокупность векторов вида
, где пробегает все числа, а и --
фиксированные векторы. Эту совокупность векторов естественно, по
аналогии с трехмерным пространством, назвать прямой в линейном
пространстве .
Аналогично, векторы вида
, где и --
фиксированные линейно независимые векторы, а и --
произвольные числа, образуют двумерное подпространство. Совокупность
векторов
где -- фиксированный вектор, мы называем плоскостью
(двумерной).
Упражнения
1. Показать, что в пространстве, где векторами являются системы
действительных чисел
, совокупность
векторов, удовлетворяющих соотношению
(
-- фиксированные числа, не все равные нулю),
образует подпространство размерности .
2. Показать, что если два подпространства и пространства
имеют общим лишь нулевой вектор, то сумма их размерностей не
превосходит размерности .
3. Показать, что размерность подпространства, порожденного векторами
, равна максимальному числу линейно независимых
векторов среди них.
6 Разложение пространства в прямую сумму
подпространств. Сумма и пересечение подпространств.
Пусть заданы два подпространства -мерного
пространства . Обозначим их и .
Определение 1.8
Если каждый вектор пространства можно, и притом единственным
образом, представить как сумму двух векторов
где
, а
, то говорят, что пространство
разложено в
прямую сумму подпространств
и .
Это обычно записывают так:
Теорема 1.3
Для того чтобы пространство разлагалось в прямую сумму
подпространств и , достаточно, чтобы:
1. Подпространства и имели только один общий вектор
(нулевой вектор).
2. Сумма размерностей этих подпространств была равна размерности
пространства .
Доказательство. Выберем некоторый базис
в подпространстве и
базис
в подпространстве . Поскольку сумма
размерностей и есть , то общее число этих векторов
.
Покажем, что векторы
линейно независимы, т.е. образуют базис пространства .
Действительно, пусть
отсюда
Левая часть этого равенства есть вектор из , а правая из .
Так как, по условию, единственный общий вектор и есть
нулевой вектор, то
Но каждый из наборов
и
состоит из линейно независимых векторов, так как это базисы в
и . Поэтому из первого равенства (10) следует, что
а из второго следует, что
Следовательно, система
состоит из
линейно независимых векторов, т.е. это есть базис в пространстве
.
Мы доказали, что при выполнении условий теоремы существует базис,
первые векторов которого образуют базис в , а последние
-- базис в .
Произвольный вектор из можно разложить по векторам этого
базиса
При этом
и
Таким образом,
где
и
. Покажем, что это разложение
единственно. Предположим, что существуют два разложения:
где
и
где
Вычитая второе равенство из первого, получаем:
откуда
Так как вектор, стоящий в левой части равенства, принадлежит , а
вектор, стоящий в правой части, принадлежит , то каждый из этих
векторов равен нулю, т.е.
Единственность разложения доказана.
Допустим, что нам задано два произвольных подпространства
и линейного пространства .
Легко проверить, что совокупность векторов, принадлежащих обоим этим
подпространствам, также есть подпространство пространства .
Это подпространство называется
пересечением
и
и обозначается
Например, если и -- два двумерных подпространства
трехмерного пространства (две плоскости, проходящие через начало
координат), то
есть одномерное подпространство (прямая,
по которой пересекаются эти плоскости).
По двум подпространствам и можно построить еще одно
подпространство, которое называется их суммой. Оно
определяется следующим образом.
Векторами этого подпространства являются всевозможные суммы вида
![$\displaystyle x=x_1+x_2,
$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img192.gif) |
(11) |
где
,
.
Легко проверить, что элементы вида (11) образуют подпространство. Это
подпространство называется суммой подпространств
и и обозначается
Заметим, что, в отличие от прямой суммы двух подпространств, запись
элемента из в виде (11) может быть неоднозначной.
Упражнение
Показать, что сумма двух различных двумерных
подпространств трехмерного пространства есть все это пространство.
Имеет место следующая теорема:
Теорема 1.4
Пусть заданы два подпространства и пространства .
Тогда сумма размерностей и равна размерности их суммы плюс
размерность пересечения.
Доказательство. Выберем в пересечении
базис
![$\displaystyle e_1,\dots,e_k.$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img223.gif) |
(12) |
Дополним этот базис с одной стороны до базиса в :
![$\displaystyle e_1,\dots,e_k, f_1,\dots,f_l$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img224.gif) |
(13) |
и с другой стороны до базиса в :
![$\displaystyle e_1,\dots,e_k, g_1,\dots,g_m.$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img225.gif) |
(14) |
Покажем, что векторы
![$\displaystyle f_1,\dots,f_l, e_1,\dots,e_k, g_1,\dots,g_m$](http://images.nature.web.ru/nature/2000/10/02/0001151602/ch1img226.gif) |
(15) |
образуют базис в сумме
.
Сначала покажем, что эти векторы линейно независимы. Действительно,
пусть
Тогда
Левая часть этого равенства есть вектор из , правая -- из
. Таким образом, эта правая часть есть одновременно вектор из
и из , т.е. принадлежит и, значит, выражается как
линейная комбинация базиса
подпространства :
В силу линейной независимости векторов (14) это возможно только,
когда все коэффициенты -- нули. В частности,
, т.е.
Из линейной независимости векторов (13) получаем, что и все
коэффициенты
равны нулю. Таким образом, линейная независимость
системы (15) доказана.
Покажем теперь, что всякий вектор
выражается как
линейная комбинация векторов этой системы. По определению
вектор можно представить в виде:
где
,
. Так как
, то его можно
представить как линейную комбинацию векторов (13). Аналогично
и можно представить как линейную комбинацию векторов (14).
Складывая, получим, что вектор представим как линейная комбинация
системы (15).
Итак мы получили, что векторы
с одной стороны, линейно независимы и, с другой стороны, всякий
вектор из есть их линейная комбинация. В силу
замечания на стр. отсюда следует, что эти векторы
образуют базис в . Итак, мы имеем векторов (12),
образующих базис в , векторов (13), образующих базис в
, векторов (14), образующих базис в , и
векторов (15), образующих базис в
.
Утверждение теоремы обращается, таким образом, в тождество
Теорема доказана.
Упражнение
Проверить теорему для случая, когда и -- двумерные
подпространства трехмерного пространства.
Из доказанной теоремы следует, например, что двум 15-мерным
подпространствам ``тесно'' в 28-мерном пространстве -- они
пересекаются по крайней мере по двумерному подпространству
(плоскости). Действительно, сумма их размерностей равна 30, а
размерность суммы не может, конечно, превосходить размерности
всего пространства, т.е. 28.
Упражнения
1. Каково наименьшее число измерений пространства, в
котором две плоскости могут пересечься в точке?
2. Доказать, что если
есть нулевое подпространство,
то
есть прямая сумма и , т.е.
.
Из результата этого упражнения видно, что теорема 3 этого пункта есть
частный случай теоремы 4.
Упражнение
Показать, что если имеется разложение в прямую сумму
то пересечение и равно нулю и, следовательно, сумма
размерностей этих подпространств равна .
Пусть
и
-- два базиса
-мерного пространства. Пусть, далее, каждый вектор
выражается через векторы первого базиса формулами
Тогда переход от первого базиса ко второму задается матрицей
,
определитель
которой отличен от нуля 2.3.
Обозначим через координаты вектора в первом базисе, а
через -- его координаты во втором базисе. Найдем, как
выражаются координаты через .
Мы имеем:
Подставив в это равенство вместо их выражения через ,
получим:
Так как линейно независимы, то коэффициенты при них в правой и
левой частях равенства одинаковы. Получаем:
Сравним формулы (16) и (17). Между ними есть два существенных отличия:
во-первых, поменялись местами штрихованные и нештрихованные буквы и,
во-вторых, в формулах (16) при суммировании меняется первый индекс, а
в формулах (17) второй.
Таким образом, координаты вектора в первом базисе
выражаются через координаты того же вектора во втором базисе с
помощью матрицы
,
транспонированной к
.
Этот результат можно представить и в другой форме. Решим уравнения
(17) относительно
. Получим:
где являются элементами матрицы, обратной к матрице
. Таким образом, мы видим, что координаты вектора
преобразуются с помощью матрицы
, являющейся
обратной
к
, где
-- матрица, транспонированная к
матрице
, задающей преобразование базиса.
Next: 2 евклидово пространство
Up: 1 n-мерное пространство. Линейные
Previous: 1 n-мерное пространство. Линейные
Vadim Yu. Radionov
2000-08-30
Посмотреть комментарии[2]
|