Базис- мерного пространства

1 2 3 4 5

Пусть задана система - мерных векторов из пространства .

Вектор вида , для некоторых чисел называется линейной комбинацией этих векторов.

Пример 30. Для трехмерных векторов пространства , вектор является линейной комбинацией векторов и .

Система - векторов называется линейно независимой, если из того, что , всегда следует

в противном случае система называется линейно зависимой.

Линейную зависимость – векторов можно выразить следующим образом:

Пусть и векторы являются линейно зависимыми, тогда, по крайней мере, одно из чисел (например, ) и , Вектор является линейной комбинацией остальных векторов. Таким образом, система

– векторов линейно зависима тогда и только тогда, когда один из векторов системы является линейной комбинацией остальных.

Система векторов - мерного пространства зависима тогда и только тогда, когда ранг матрицы, строки которой являются векторами системы меньше их количества. Если же ранг матрицы в точности равен количеству этих векторов, то они являются линейно независимыми.

Рангом системы – векторов называется максимальное количество линейно независимых векторов этой системы.

Пример 31. В пространстве единичные векторы , и являются линейно независимыми.

Базисом - мерного векторного пространства называется любая линейно - независимая система векторов, через которые можно выразить любой вектор пространства. Базисов в пространстве может быть бесконечное множество. Количество векторов в базисе пространства называется его размерностью.

Теорема 5. Базис - мерного пространства состоит из векторов.

Доказательство. Покажем линейную независимость системы векторов

, , …, . Пусть

Запишем это равенство в координатной форме

, или

, отсюда , т. е. векторы

– линейно независимы.

Для произвольного вектора , очевидно равенство

. Таким образом, векторы образуют базис пространства.

Предположим, что существует другой базис , пространства , где , ,…, и , т. е. число векторов которого больше n. Тогда выполняется равенство , что равносильно системе

Число уравнений системы меньше, чем число неизвестных, поэтому ранг матрицы системы ограниченной не может быть больше, чем n, следовательно, система векторов линейно зависима и не может образовывать базис. Теорема доказана.