Размерность и базис векторного пространства Определение.Вектор называется линейной комбинацией векторов векторного пространства R, если он равен сумме произведений этих векторов на произвольные действительные числа: (1) где - какие-либо действительные числа. Определение.Векторы называются линейно зависимыми, если существует такая линейная комбинация , при не равных нулю одновременно , т.е. . Если же только при выполняется , то векторы называются линейно независимыми. Если среди векторов есть нулевой вектор, то эти векторы линейно зависимы. Если к системе линейно зависимых векторов добавить один или несколько векторов, то полученная система тоже будет линейно зависима. Система векторов линейно зависима тогда и только тогда, когда один из векторов раскладывается в линейную комбинацию остальных векторов. Любые 2 коллинеарных вектора линейно зависимы и, наоборот, любые 2 линейно зависимые векторы коллинеарны. Любые 3 компланарных вектора линейно зависимы и, наоборот, любые 3 линейно зависимые векторы компланарны. Любые 4 вектора в трехмерном пространстве линейно зависимы. Пример 49.Выяснить являются ли векторы линейно зависимыми или линейно независимыми: , , . Решение: векторы являются линейно зависимыми, если существуют такие значения , , , из которых хотя бы одно отлично от нуля, что будет выполняться верное равенство: .  Таким образом, задача сводится к решению системы:  Вычислим определитель основной матрицы.  Определитель отличен от нуля, система определенная. Решим полученную систему методом Гаусса (приведем её к ступенчатому виду): ~ ~  Ранг матрицы системы равен числу переменных , отсюда следует, данная система имеет единственное нулевое решение , значит система векторов - линейно независима. Определение. Линейное пространство R называется - мернымесли в нем существует линейно независимых векторов, а любые из векторов уже являются зависимыми. Другими словами. Размерность пространства – это максимальное число содержащихся в нем линейно независимых векторов. Число называется размерностью пространства R и обозначается dim(R). Определение. Совокупность линейно независимых векторов - мерного пространства R называется базисом. 1) Базисомв трехмерном пространстве называются любые 3 некомпланарных вектора, взятые в определенном порядке. 2) Базисом на плоскости называются любые 2 неколлинеарные векторы, взятые в определенном порядке. 3) Базисом на прямой называется любой ненулевой вектор. Теорема.Каждый вектор линейного пространства R можно представить и притом единственном способом в виде линейной комбинации векторов базиса. Теорема. Если - система линейно независимых векторов пространства R и любой вектор линейно выражается через , то пространство R является - мерным, а векторы - его базисом. Пример 50.Даны векторы , , и в некотором базисе. Показать, что векторы , и образуют базис и найти координаты вектора в этом базисе. Решение: векторы , и образуют базис, если они линейно независимы, другими словами, если уравнения, входящие в систему:  линейно независимы. Тогда . Это условие выполняется, если определитель матрицы системы отличен от нуля. Вычислим определитель матрицы системы Значит, векторы , и образуют базис.
Найдём координаты вектора в данном базисе, для этого решим систему: . Для решения этой системы воспользуемся формулами Крамера. ;    Ответ: . |