Доказательство. Если
,
.
Теорема 2.5.
.
Доказательство. Рассмотрим
в сумме следующую систему векторов:
а) если –
ненулевое подпространство, то возьмём базис
в
и дополним его до базиса
в
векторами
и векторами
до базиса в
;
б) если –
нулевое подпространство, то просто возьмём объединение базисов
и
в
и в
соответственно.
Покажем, что любой вектор является линейной
комбинацией построенной системы векторов. Это следует из определения
, где
,
, следовательно,
,
, следовательно,
– линейная комбинация построенной системы векторов.
Теперь покажем, что эта система векторов линейно независима.
Возьмём какую-либо линейную комбинацию этих векторов и приравняем к нулевому вектору
. (*)
Вектор , а из (*) следует
(так
как
,
– базис в
), следовательно,
, но тогда по теореме 2.3
заключаем, что
.
Аналогично,
вектор , а из (*) следует, что
(так как ,
(
;
) – базис в
), тогда по теореме 2.3
заключаем, что
.
Таким образом, равенство (*) принимает вид
, но тогда и
, так как
– базис в
.
В результате заключаем, что равенство (*) возможно лишь для тривиальной линейной комбинации, следовательно, система векторов
– линейно независима и по определению образует базис в .
Теперь по построению
,
,
, следовательно,
.
Следствие 2.1.
Если dimL' + dimL" > п, то ,
так как L' + L" – подпространство в
и
поэтому (теорема 2.1)
.
Если , то L' + L"называется
прямой суммой подпространств и обозначается
Следствие
2.2. .
Теорема 2.6. такие, что
.
Доказательство. Пусть
таких разложения два, т.е. и
, где
,
, тогда
, следовательно,
. Очевидно, что вектор
, но
, значит
, т.е.
. Аналогично
.
Пример 2.1. Найти размерность и базис линейного подпространства, являющегося линейной оболочкой векторов:
,
.
Решение. Составим из координатных столбцов векторов системы матрицу и с помощью элементарных преобразований определим ее ранг. Ранг этой матрицы будет совпадать с числом линейно независимых векторов в системе и значит, будет равен размерности оболочки векторов (см. раздел 1). Матрица из координатных столбцов имеет вид:
.
Умножим элементы первого столбца на –2 и прибавим к соответствующим элементам второго и пятого столбцов, затем элементы первого столбца умножим на –1 и прибавим к соответствующим элементам третьего и четвертого столбцов. В результате получим матрицу эквивалентную исходной, которая будет иметь вид:
.
Вычитая теперь из третьего столбца второй, а из пятого – четвертый, получаем опять матрицу, которая эквивалентна исходной:
.
Таким образом, ранг этой матрицы равен трем и
размерность линейной оболочки тоже будет равна трем. В качестве базиса можно
взять векторы (вектор
является линейной комбинацией векторов
и поэтому не может быть
базисным).
3. ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ (ОПЕРАТОРЫ)
3.1. Определение линейного отображения
Рассмотрим два
линейных пространства размерностей п
и т соответственно.
Определение.
Отображением пространства
в пространство
называется закон, по
которому каждому вектору
ставится
в соответствие единственный вектор
.
Обозначения: , или
.
Вектор называется образом
вектора
, а вектор
– прообразом
вектора
при отображении
.
В дальнейшем рассматриваются лишь линейные отображения.
Определение. Отображение называется
линейным, если
выполняются равенства:
1) ;
2) .
Из этого определения сразу следует, что
линейная комбинация векторов при линейном отображении переходит в линейную
комбинацию образов с теми же коэффициентами, т.е. справедлива формула
(3.1)
(получить самостоятельно из свойств 1), 2) определения).
Если
пространства и
совпадают, т.е. т = п,
то отображение называется преобразованием пространства
.
Теорема 3.1. При линейном отображении линейное
подпространство
переходит в
линейное подпространство
,
причем размерность L" не превосходит размерности
, т.е.
.
Доказательство.
Пусть –
базис в L', тогда
имеем
следовательно, произвольный элемент множества – образов всех
векторов из L'есть линейная комбинация векторов
, т.е.
– линейная оболочка
этих векторов и значит, является линейным подпространством из пространства
(теорема 2.1).
Размерность линейной оболочки, очевидно, не превосходит числа векторов этой
оболочки (теорема 2.2), т.е.
.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.