|
Линейная зависимость.Date: 2015-10-07; view: 392. Векторы Следствие. Набор векторов 1 2 Предложение 1. Пусть Разложим векторы первого базиса по второму базису Опр.Размерностью пространства Предложение 2. Базис – максимальная линейно независимая система векторов (максимальная – значит наибольшая по включению). Действительно, пусть есть вектор, который будучи добавленным к базису, образует вместе с ним по-прежнему линейно независимую систему. Но тогда этот вектор не выражается через вектора базиса! Обратно, если дана максимальная линейно независимая система, то она является базисом, так как любой другой вектор выражается через ее вектора (иначе можно было бы дополнить систему этим вектором). Предложение 3. Будем дополнять систему векторов до базиса. Этот процесс будет продолжаться сколь угодно долго (т.к. иначе пространство имеет конечную размерность). А так как система будет всегда линейно независима, то имеем систем линейно-независимых векторов сколь угодно большой длины.
|