Пространство геометрических векторов
 Скачать 1.47 Mb.
|
|
1.2. Линейная зависимость векторов Линейной комбинацией векторов  с коэффициентами  будем называть сумму .Определение 5. Векторы называются линейно зависимыми, если найдутся такие числа , не все равные нулю одновременно, что (линейная комбинация векторов с коэффициентами равна нулевому вектору  ).Пример. Вектор  и его противоположный вектор  составляют линейно зависимую систему векторов.Действительно,  (см. замечание 4). Таким образом, и система  линейно зависима.Определение 6. Система векторов называется линейно независимой, если из равенства следует, что  .Теорема 1. Система векторов, содержащая нулевой вектор , линейно зависима.Доказательство. Пусть в системе векторов вектор  ,  . Рассмотрим линейную комбинацию  , причем среди коэффициентов не все равны нулю ( ). Следовательно, в соответствии с определением 5 система линейно зависима.Теорема 2. Всякая система векторов , содержащая линейно зависимую подсистему  векторов,  , линейно зависима.Доказательство. Пусть для определенности линейно зависимы первые векторов  (это допущение не ограничивает общности рассуждений, так как мы могли бы перенумеровать всю исходную систему, если бы были линейно зависимы другие векторы).Это означает, что найдутся числа  , не все равные нулю, и такие что .Но линейная комбинация всей системы  векторов с коэффициентами  равна : .Следовательно, система линейно зависима.Теоремы 3 - 5 проясняют понятие линейной зависимости для геометрических векторов. Теорема 3. Необходимым и достаточным условием линейной зависимости двух геометрических векторов является их коллинеарность. Доказательство. Необходимость. Пусть и  линейно зависимы. Тогда существуют числа  и  (хотя бы одно из которых не равно нулю), что  . Пусть для определенности  , тогда  , и один из векторов оказался равен произведению другого на число, следовательно (см. определение 4), векторы и коллинеарны.Обратно. Пусть векторы и коллинеарны.Случай 1. Хотя бы один из векторов нулевой:  (либо  , либо  ), тогда (см. теорему 1) система , линейно зависима.Случай 2.  ,  . В силу замечания 5 найдется число  такое, что  , следовательно,  и линейная комбинация векторов и с коэффициентами, не равными нулю одновременно, равна нулевому вектору, – это означает, что система , линейно зависима.Следствие. Если два вектора и не коллинеарны, они линейно независимы (допустим противное, тогда и коллинеарны (Теор. 3), что противоречит условию).Определение 7. Векторы называются компланарными, если они лежат в одной или параллельных плоскостях (рис. 1.13).  Теорема 4. Необходимым и достаточным условием линейной зависимости трех геометрических векторов является их компланарность. Доказательство. Необходимость. Пусть векторы , и  линейно зависимы. Тогда существуют такие числа , ,  , не все равные нулю, что выполняется равенство .Пусть для определенности  (это допущение не ограничивает общности рассуждений, совершенно аналогично рассматриваются случаи  либо ). Тогда  (1.6)Пусть , и приложены к одному началу.Равенство (1.6) означает, что вектор совпадает с диагональю параллелограмма, построенного на векторах  и  , а, следовательно, лежит в плоскости этого параллелограмма, тогда все три вектора , и лежат в этой плоскости, т. е. они компланарны.Достаточность. Пусть , и компланарны.Случай 1. В системе векторов , , присутствует нулевой вектор , следовательно (см. теорему 1), система , , линейно зависима.Случай 2. , ,  и какая-нибудь пара из векторов , , коллинеарна, следовательно (см. теорему 3), эта пара составляет линейно зависимую подсистему в системе , , , тогда вся система , , линейно зависима (см. теорему 2).С  лучай 3. , , и никакие два из них не коллинеарны.Приведем , и к одному началу – некоторой точке  и через конец вектора проведем прямые, соответственно параллельные и , получим точки  и  (рис. 1.14). Имеем  (1.7)Вектор  коллинеарен вектору , следовательно (см. замечание 5), найдется число :  . Аналогично вектор  коллинеарен  , следовательно, найдется число :  .Таким образом, равенство (1.7) примет вид  , откуда получим ,что означает линейную зависимость системы , , . |