1.13. Размерность линейного пространства. Базис Skip Navigation LinksВысшая математика > 1. Элементы линейной алгебры > 1.13. Размерность линейного пространства. Базис

  Определение 1

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

  Теорема 1

В - мерном пространстве любые  векторов - линейно зависимые.

  Доказательство

Рассмотрим векторы: , ,  , , . Составим нулевую линейную комбинацию этих векторов: . Подставим в это равенство : . Получили векторное равенство, которому соответствует однородная СЛАУ относительно : . Так как:  (число неизвестных равно ), система имеет ненулевые решения, из чего следует, что векторы  линейно зависимы.

  Определение 2

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

Это означает, что  образуют базис   может быть представлен в виде: . При этом числа  называются координатами вектора  в данном базисе.

  Теорема 2

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

  Доказательство

Если  - линейно независимы, то , где , будут по теореме 1 линейно зависимы. Следовательно, существует ненулевой набор чисел , такой, что:

.      

Заметим, что  заведомо отлично от нуля (ибо в противном случае из векторного равенства  вытекала бы линейная зависимость ). Но тогда, поделив равенство  на  и положив , получим из : . Отсюда, так как - произвольный вектор пространства ,  - базис по определению.

  Теорема 3

Пусть . Для того, чтобы векторы: , ,  ,  были линейно независимыми необходимо и достаточно, чтобы: .

  Доказательство

Составим нулевую линейную комбинацию этих векторов: . Подставим в это выражение : . Получили векторное равенство, которому соответствует однородная СЛАУ относительно : . Матрица этой системы:  - квадратная, поэтому, если , система имеет только нулевое решение. Из этого следует, что векторы  - линейно независимы.

  Пример

Образуют ли векторы: , ,  базис? Если да, то разложить вектор  по этому базису.

  Решение

  (по теореме 3) векторы - линейно независимы. Следовательно (по теореме 2),  образуют базис. Тогда  можно разложить по этому базису, то есть представить в виде линейной комбинации базисных векторов: . Подставим в это равенство : . Получили векторное равенство, которому соответствует СЛАУ относительно : . Решим ее методом Гаусса.

 

. Получим: , то есть , где  - координаты вектора  в базисе векторов .


 
Hosted by uCoz