Определение. Базисом линейного пространства называется линейно независимая система векторов из такая, что любой вектор из пространства можнопредставить в виде линейной комбинации векторов .
Определение. Размерностью линейного пространства называется количество векторов в базисе этого пространства. Обозначается .
Утверждение. Базисом линейного пространства решений однородной системы является ее фундаментальная система решений.
Утверждение. Rn =n.
Примеры
1. Образуют ли базис в пространстве R3 векторы
?
Решение. По определению базис составляют линейно независимые векторы. Линейная зависимость (или независимость) определяется исходя из анализа равенства нулю линейной комбинации этих векторов:
.
Последнее векторное уравнение после записи его по компонентам представляет собой систему трёх однородных уравнений относительно . Согласно схеме исследования линейной зависимости векторов (см. пример 1 из раздела «Линейная зависимость и независимость векторов») вычислим определитель матрицы, составленной из координат векторов
Определитель системы равен нулю, следовательно, она имеет нетривиальное решение и это означает, что исходная группа векторов линейно зависима и не образует базис в R3.
2. Найти размерность и один из базисов линейного пространства решений однородной системы:
Решение. Представленная система состоит из трёх уравнений и содержит 5 неизвестных. Выпишем матрицу системы и упростим её с помощью элементарных преобразований, сначала поменяв местами строки 1 и 2, а затем вычитая новую первую строку, умноженную на 3 и 4, соответственно из второй и третьей строк:
Видно что ранг матрицы равен 2. Следовательно, две неизвестные являются главными, а три - свободными. Значит ФСР системы содержит 5-2=3 линейно независимых решения. Выберем в качестве главных . Это можно сделать, т.к. минор 2-го порядка, составленный из коэффициентов при этих неизвестных, отличен от нуля. Система, соответствующая преобразованной матрице, имеет вид
Отсюда, выражая главные неизвестные через свободные, получим общее решение
Или иначе:
.
Фундаментальная совокупность решений, составленная в соответствии с изложенным алгоритмом (см. пример 4 в разделе «Системы линейных алгебраических уравнений»), является базисом линейного пространства решений исходной системы и в данном случае имеет вид
Размерность искомого пространства равна 3.
Задачи
3.19. Является ли базисом пространства R3 система векторов:
а) , , ;
б) , ;
в) , , , .
3.20. Найти размерность и базис пространства решений однородной системы:
а) ; б) ;
в) ; г) ;
д) .
3.21. Найти размерность и указать какой-либо базис пространства всех векторов, выходящих из начала координат и:
а) лежащих на прямой ;
б) перпендикулярных прямой ;
в) лежащих в плоскости ;
г) перпендикулярных плоскости .
3.22. Вектор разложить по базису , .
3.23. Данный вектор разложить по указанному базису :
а) , , , ;
б) , , , .
3.24. Дополнить до какого-либо базиса соответствующего пространства Rn систему:
а) , ;
б) , , ;
в) , .
3.25. При каких значениях параметра векторы образуют базис пространства R3:
а) , , ;
б) , , ;
в) , , .
3.26. Найти размерность и указать какой-либо базис пространства:
а) многочленов степени не выше n;
б) квадратных матриц порядка n;
в) прямоугольных матриц размера ;
г) симметричных матриц порядка n;
д) диагональных матриц порядка n.
3.27. Доказать, что система образует базис
пространства многочленов степени не выше n.
3.28. Найти размерность и указать какой-либо базис пространства положительных чисел, в котором сумма произвольных чисел и вычисляется как , а произведение вещественного числа на произвольное положительное число вычисляется как .
Координаты вектора
Определение. Координатами вектора в базисе называются числа , при которых выполняется равенство .
Определение. Матрицей перехода от базиса к базису называется матрица вида
где для каждого в -ом столбце стоят координаты вектора в базисе .
Утверждение. Координаты вектора в базисе и координаты этого же вектора в базисе связаны равенством
где - матрица перехода от базиса к базису .
Утверждение. Матрица перехода от базиса к базису и матрица обратного перехода от базиса к базису связаны равенством = .
Примеры
1. Найти координаты вектора в базисе , если известно
Решение. В соответствии с определением матрица перехода от базиса к базису есть
.
Обозначим координаты вектора в базисе через , а в базисе через . Искомые координаты связаны с известными координатами следующим соотношением:
.
Видно, что для получения координат необходимо вычислить матрицу, обратную . Используя стандартную процедуру (см. пример 1 из подраздела «Обратная матрица»), имеем
.
Вычислим теперь координаты : .
3. Найти матрицу перехода от базиса к базису по
данным разложениям этих векторов в базисе :
.
Решение. Чтобы построить матрицу перехода от базиса к базису , необходимо найти разложение векторов по базису . Сделаем это, представив в виде разложения по с неизвестными координатами, которые требуется определить:
,
или с учётом вида этих векторов в базисе
.
Откуда для координат имеем
Теперь, зная разложение по , выпишем матрицу :
.
Задачи
3.29. Найти координаты вектора в базисе , если известны следующие разложения по базисам и :
а) , , ;
б) , , , .
3.30. Пользуясь определением, найти координаты вектора в указанном базисе :
а) , , ;
б) , , , ;
3.31. Построить матрицу перехода от базиса к базису и матрицу обратного перехода, если векторы в базисе имеют координаты
а) , ;
б) , , .
3.32. Найти матрицу перехода
а) от базиса к базису ;
б) от базиса к базису .
3.33. Дана матрица перехода
=
от базиса к базису . Найти координаты вектора
а) в базисе ; б) в базисе ;
в) в базисе ; г) в базисе ;
д) в базисе ; е) в базисе .
3.34. Используя матрицу перехода от базиса к базису, найти координаты вектора в базисе , если в базисе
а) , , ;
б) , , , .
3.35. Построить матрицу перехода от базиса к базису по данным разложениям векторов и в базисе :
а) , , , ;
б) , , , , , .
3.36. Построить матрицу перехода от базиса , к базису , и матрицу обратного перехода .
3.37. Построить матрицу перехода от базиса к базису в пространстве многочленов степени не выше .
3.38. В пространстве многочленов степени не выше найти разложение вектора по базису .