Предложение 2. Всякое максимальное ЛНЗ подмн-во {e1,e2,...,ek} мн-ва S является базисом лин оболочки <S> этого мн-ва
Док-во: надо док-ть, что каждый вектор из <S> лин выр-ся через {e1,e2,...,ek}. По опр-ю лин об-ки каждый ее вектор лин выр-ся через векторы S. => Дост-но док-ть, что каждый вектор из S лин выр-ся через {e1,e2,...,ek}.
1) Для векторов {e1,e2,...,ek} - это очевидно.
2) Для всех не принадлежащих базису утверждение следует из леммы 2.