Теорема 18.1 В линейном пространстве любые два базиса содержат одинаковое число векторов.Доказательство теоремы мы приводить не будем. Желающие могут найти его в любом учебнике по линейной алгебре, например в [1].
Определение 18.3 Линейное пространство, в котором существует базис, состоящий из
векторов, называется
-мерным линейным или векторным пространством. Число
называется размерностью пространства и обозначается
. Линейное пространство, в котором не существует базис, называется бесконечномерным.
Примером бесконечномерного пространства является пространство всех многочленов с вещественными коэффициентами. Как показано в примере 18.2 в этом пространстве базис отсутствует.
Предложение 18.1 Пространство столбцов изэлементов, являющихся вещественными числами, имеет рамерность
.
Доказательство. Возьмем систему векторов
![]()
Покажем, что эта система линейно независима. Составим линейную комбинацию и приравняем ее к нулю:
![]()
Преобразуем левую часть:
![]()
Следовательно,
![]()
откуда
,
,
. Итак, система векторов
-- линейно независима.
Пусть
-- произвольный вектор пространства,
Очевидно, что
![]()
Следовательно, вектор
является линейной комбинацией векторов
. Тем самым доказано, что векторы
образуют базис в пространстве столбцов из
элементов. Размерность пространства равна числу векторов в базисе. Следовательно, пространство --
-мерное.
Пространство столбцов из
элементов, являющихся вещественными числами, обозначается
.
Предложение 18.2 Пространство столбцов изэлементов, являющихся комплексными числами, имеет размерность
.
Доказательство такое же, как и в предыдущем предложении. Это пространство обозначается
.
Пример 18.3 Пространство решений однородной системы линейных уравненийимеет базис из
решений, где
-- число неизвестных, а
-- ранг матрицы
. Этим базисом служит фундаментальная система решений (см. определение 15.5 и теорему 15.3).
Нахождение координат вектора в произвольном базисе
Пусть в правом ортонормированном базисе заданы векторы
,
,
,
. Цель данного раздела-- научиться определять, образуют ли векторы a,b,c базис, и, в случае положительного ответа на этот вопрос, научиться находить координаты вектора d в базисе a,b,c.
Для ответа на первый вопрос нужно найти abc. Если
, то по предложению 10.26 векторы a,b,c-- некомпланарные и, следовательно, образуют базис в трехмерном пространстве.
Для нахождения координат напишем разложение вектора d по базису a,b,c с буквенными коэффициентами:
. В силу предложений 10.4 и10.5 получим три соотношения для координат
![]()
Из этой системы трех линейных уравнений находим три неизвестных
, которые и служат координатами вектора d в базисе a,b,c.