10.2.Размерность и базис линейного пространства.

В пространстве V₃ каждый вектор можно единственным образом разложить по трем некомпланарным векторам, которые называются базисом пространства V₃. Рассмотрим вопрос о построении базиса в произвольно пространстве R. Для этого повторим некоторые важные понятия.

Линейная зависимость векторов. Если x₁ x₂ … x_n – векторы линейного пространства R, а ₁ ₂ … _n – произвольные числа из поля K, то выражение

₁ x₁ + ₂ x₂ +…+ _n x_n

называется линейной комбинацией векторов x₁ x₂ … x_n, а числа ₁ ₂ … _n называются коэффициентами этой линейной комбинации. Если линейная комбинация векторов обращается в нуль тогда и только тогда, когда все _i = 0, то вектора являются линейно независимыми. В противном случае, когда

₁ x₁ + ₂ x₂ +…+ _n x_n = 0

при условии, что хотя бы один _i ≠ 0, вектора называются линейно зависимыми.

Вспомним, что мы доказывали, что любая совокупность векторов x₁ x₂ … x_n, содержащая нулевой вектор, является линейно зависимой. Точно также система векторов x₁ x₂ … x_n, содержащая совокупность линейно зависимых векторов, линейно зависима.

Теорема. Векторы x₁ x₂ … x_n линейно зависимы тогда и только тогда, когда хотя бы один из них можно представить как линейную комбинацию оставшихся.

Другими словами, нужно доказать необходимость и достаточность. Докажем необходимость. Пусть x₁ x₂ … x_n линейно независимы. Тогда:

 x₁ +  x₂ +…+  x_n = 0

причем хотя бы одно из чисел , , …,   0. Положим, что   0. Тогда

(*)

а это по определению означает линейную комбинацию. Достаточность: пусть x₁ является линейной комбинацией оставшихся, т.е. равенство (*) выполнено. Тогда перепишем его в виде:

Поскольку из чисел (-1), , … ,  одно не равно нулю – это (-1), то это означает линейную зависимость векторов x₁ x₂ … x_n.

10.2.1. Размерность линейного пространства.

Если в линейном пространстве R существует n линейно независимых векторов, а любые n + 1 векторов этого пространства линейно зависимы, то линейное пространство называется n – мерным. Число n называется размерностью пространства. Символ размерности - dim R.

Например, пространства V₃ и V₂ соответственно трехмерные и двухмерные. Существуют бесконечномерные линейные пространства. Пример такого пространства – это векторы x и y из пространства С [a, b]. Их сумма и произведение имеют вид:

x =  (t) y =  (t)

x + y =  (t) +  (t),  x =   (t)

В линейной алгебре изучаются только конечномерные пространства.

10.2.2.Базис линейного пространства.

Система { e } из n линейно – независимых векторов n – мерного пространства , заданных в определенном порядке, называется базисом этого пространства.

Теорема. Любой вектор х n – мерного линейного пространства можно представить и притом единственным образом линейной комбинацией векторов базиса этого пространства .

Действительно, векторы линейно зависимы т.к. их число равно n + 1, а по определению базиса n – мерного пространства любые n + 1 векторов линейно зависимы. Тогда составим выражение:

в котором хотя бы одно _i будет отлично от 0. Тогда уже ₀  0, т.к. иначе окажется, что базисные вектора линейно зависимы. Значит

,

т.е. можно представить как линейную комбинацию базисных векторов. Причем, разложение это единственно. Запишем разложение в виде:

и назовем числа x₁ x₂ … x_n координатам вектора x в базисе . Будем писать .