Теорема 2 |
В линейном пространстве базис образуют линейно независимых
векторов. |
Доказательство |
Если - линейно независимы, то , где , будут по теореме 1 линейно зависимы. Следовательно,
существует ненулевой набор чисел , такой, что:
.
Заметим, что заведомо отлично от нуля (ибо в противном случае из
векторного равенства вытекала бы линейная зависимость ). Но тогда, поделив равенство на и положив , получим из : . Отсюда, так как - произвольный вектор пространства , - базис по
определению. |
Теорема 3 |
Пусть . Для того, чтобы векторы: , , , были линейно независимыми необходимо и достаточно,
чтобы: . |
Доказательство |
Составим нулевую линейную комбинацию этих векторов: . Подставим в это выражение : . Получили векторное равенство, которому соответствует
однородная СЛАУ относительно : . Матрица этой системы: - квадратная, поэтому, если , система имеет только нулевое решение. Из этого следует,
что векторы - линейно
независимы. |
|
|