Доказательство. Если
,
.
Теорема 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).
Ссылка на скачивание - внизу страницы.