Предложение 10.7 Если система векторов содержит линейно зависимую подсистему, то вся система линейно зависима.Доказательство.
Пусть в системе векторов
подсистема
,
, является линейно зависимой, то есть
, и хотя бы один коэффициент отличен от нуля. Тогда составим линейную комбинацию
. Очевидно, что эта линейная комбинация равна нулю, и что среди коэффициентов есть ненулевой.
Упражнение10.4.1. Докажите, что если система векторов линейно независимая, то любая ее подсистема линейно независимая.
Предложение 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.
Пример 1.8 Пусть-- круг радиуса 1 (включая окружность радиуса 1-- границу круга) на числовой плоскости
с координатами
и
, с центром в точке
. Функцию
в любой точке круга зададим как расстояние от этой точки
до центра. Таким образом,
, где
.
Графикомэтой функции является подмножество прямого произведения
. Это прямое произведение-- бесконечный цилиндр с круговым сечением, находящийся в пространстве
. Обозначим координаты точек в
через
. Тогда графику
принадлежат те точки, для которых выполнены соотношения
и
.
Множествопредставляет собой кусок конической поверхности с вершиной в точке
, с высотой 1 и радиусом основания 1.
Рис.1.7.График расстояния до точки-- это конус
Как мы видим, в случае, когда
-- подмножество плоскости
, график числовой функции
-- это подмножество точек пространства
. Если же
-- подмножество точек пространства
, то графиком числовой функции
будет подмножество
четырёхмерного пространства, точнее, его подмножества
. В связи с этим, изобразить график такой функции на чертеже не представляется возможным, хотя, конечно, можно постараться как-то этот график
описать каким-то иным способом.
Неопределенный интегралВекторное произведение векторов Трассировка пиксельных изображений Adobe Illustrator Линейные блоковые коды