8.Линейная зависимость векторов

        Определение 10.14   Система векторов   называется линейно зависимой, если существует такой набор коэффициентов   , из которых хотя бы один отличен от нуля, что   .         

Система векторов, которая не является линейно зависимой, называется линейно независимой. Но последнее определение лучше сформулировать по другому.

        Определение 10.15   Система векторов   называется линейно независимой, если равенство   возможно только при   .         

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

        Доказательство.     Пусть система векторов линейно зависима. Тогда существует такой набор коэффициентов   , что   , причем хотя бы один коэффициент отличен от нуля. Предположим, что   . Тогда

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

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

        Предложение 10.7   Если система векторов содержит линейно зависимую подсистему, то вся система линейно зависима.

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

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

        Предложение 10.8   Система, состоящая из одного вектора, линейно зависима тогда и только тогда, когда этот вектор нулевой.

        Доказательство.     Пусть система состоит из вектора   . Линейная комбинация имеет вид   . Если   , то   , то есть система линейно зависима. Если   и   , то   .      

        Предложение 10.9   Система, состоящая из двух векторов, линейно зависима тогда и только тогда, когда эти векторы коллинеарны.

        

Доказательство этого предложения предоставляется читателю. Оно аналогично доказательству следующего предложения.

        Предложение 10.10   Система из трех векторов линейно зависима тогда и только тогда, когда эти векторы компланарны.

        Доказательство.     Пусть векторы    -- компланарные. Если    -- коллинеарные, то в силу предыдущего предложения они образуют линейно зависимую подсистему системы   . По  предложению 10.7 система    -- линейно зависима. Если векторы   -- неколлинеарные, то по  предложению 10.2   является линейной комбинацией векторов   и по  предложению 10.6 система векторов    -- линейно зависимая.

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

        Предложение 10.11   Четыре вектора всегда образуют линейно зависимую систему.

        Доказательство.     Если первые три вектора являются компланарными, то они образуют линейно зависимую подсистему ( предложение 10.10). Следовательно, вся система линейно зависима ( предложение 10.7). Если первые три вектора -- некомпланарные, то четвертый является их линейной комбинацией ( предложение 10.3). По  предложению 10.6 система является линейно зависимой.      

На основании сказанного дадим другое определение базиса, которое является более распространенным, чем  определение 10.12.

        Определение 10.16   Базисом векторного пространства   называется такая упорядоченная линейно независимая система векторов, что любой вектор пространства   раскладывается по векторам этой системы.         

Из  предложений 10.8 – 10.11 следует, что это определение эквивалентно определению 10.12.

9.НЕОБХОДИМОЕ И ДОСТАТОЧНОЕ условие коллинеарности и компланарности

Теорема 6. Теорема о коллинеарных векторах.

    Если векторы  и  коллинеарны и  ≠ , то существует единственное

α :  = α  

(1)

    Доказательство. 1. Существование.

    Докажем, что существует α, удовлетворяющее условию теоремы.

    Т.к.  || , то либо  ↑↑ , либо  ↑↓ .

    В первом случае положим  α =  , а во втором случае α = -  

    По определению произведение вектора на число и в первом и во втором случаях получим равенство (1).

   Действительно, если  α =  ,  то

         1)   =  *  =>  =  * |,

         2)  α*  =  *|  ↑↑ .

 

 

   2. Единственность.

    Пусть существует  такое, что  = *, тогда из (1) => α = *  или  (α - ) = , но    т.к.  ≠ , то α =                                                                                                  

ч.т.д.

    В силу теоремы 6 в случае коллинеарности векторов  и  возможна следующая запись частного    двух коллинеарных  векторов:

 = α, причем α > 0, если  ↑↑  ,

                           α < 0, если  ↑↓ .

Т.е. в данном случае можно говорить о делении коллинеарных векторов.

Теорема 7. Теорема о компланарных векторах.

 Если векторы ,  и  – компланарны, а векторы  ,  не коллинеарны, существует единственные , такие, что

  = α  + β . 

(2)

Доказательство аналогично теореме 6.

    1. Существование.

Отложим от некоторой точки О вектора  =  и  = ,  =  . Эти векторы компланарны  то есть точки O, A, B, C принадлежат плоскости δ, причем точки O, A, B не лежат на одной прямой, т.к. не выполняется условие, что   || .

а) Если существует C лежит на прямой OB, то   = ,  =   – коллинеарны, поэтому по теореме 6 существует единственное β :  = β   или   = 0 + β  т.е. (2) выполняется.

б) Если С принадлежит прямой OA, получим  = α + 0 .

в) Если С не принадлежит ни OA ни OB, тогда проведем прямую (С)||(OB).

По правилу треугольника:  =  +  , то  ||

                                                                                ||  т.е.

существует  единственные α, β :  = α  и  = - β . Следовательно:  = α + β 

    2. Единственность.

Единственность чисел α и β доказывается аналогично теореме 6.

ч.т.д.

УСЛОВИЕ КОЛЛИНЕАРНОСТИ И КОМПЛАНАРНОСТИ ВЕКТОРОВ.