Как доказать что векторы образуют базис в пространстве
35. Базис векторов пространства
Рассмотрим множество V3 всех векторов пространства.
Теорема 5. Любая упорядоченная система трех некомпланарных векторов A, B, С € V3 Образуют базис векторного пространства V3.
Доказательство. Пусть A, B, С Некомпланарные векторы. По следствию 1 теоремы 8 они образует линейно независимую систему. Пусть D € V3. Отложим векторы A, B, С и D от точки O: A = , B = , С = , D = (см. рис. 18). Проведем через точку D прямую L, параллельную прямой OD. Так как векторы A, B, С некомпланарны, то прямая L пересекает плоскость OAB в точке E. Тогда =+. Так как векторы лежит в плоскости OAB, а вектора образуют базис векторов этой плоскости, то по теореме 7 = a a + b b, где a, b € R. Так как вектор коллинеарен вектору C, То по теореме 8 § 1 он линейно выражается через вектор С: = g с. Поэтому D = = a a + b b + g с и по определению 1 вектора A, B, С образует базис пространства V3.
По теореме 5 базис векторов на пространстве образуют любые три некомпланарные вектора, поэтому любой вектор в пространстве имеет три координаты. Тогда справедливо следующее утверждение.
Следствие 1. Вектора A = (a1, b1, g1), B = (a2, b2, g2), С = (a3, b3, g3) Образуют базис векторов пространства тогда и только тогда, когда
= 0.
Теорема 6. Любые четыре вектора A, B, С, D В пространстве линейно зависимы.
Доказательство. Если векторы A, B, С Компланарны, то по теоремы 5 они линейно зависимы. Тогда по свойству линейной зависимости по свойству 4 § 3 вектора A, B, С, D линейно зависимы. Если вектора A, B, С некомпланарны, то по теореме 5 они образуют базис векторов пространства. Тогда вектор D линейная комбинация векторов A, B, С и по свойству линейной зависимости векторы A, B, С, D линейно зависимы.
Решение. Так как определитель
,
Для того, чтобы найти координаты вектора D в базисе A, B, С составим векторное уравнение
И запишем его в координатной форме:
Векторное пространство: размерность и базис, разложение вектора по базису
Введем некоторые определения.
Размерность векторного пространства – число, соответствующее максимальному количеству линейно независимых векторов в этом пространстве.
Базис векторного пространства – совокупность линейно независимых векторов, упорядоченная и в своей численности равная размерности пространства.
Переставив местами в исходной системе другие векторы, получим еще один базис.
Плоскость является двумерным пространством – ее базисом будут два любых неколлинеарных вектора. Базисом трехмерного пространства послужат три любых некомпланарных вектора.
Рассмотрим применение данной теории на конкретных примерах.
Исходные данные: векторы
Необходимо определить, являются ли указанные векторы базисом трехмерного векторного пространства.
Решение
Для решения поставленной задачи исследуем заданную систему векторов на линейную зависимость. Составим матрицу, где строки – координаты векторов. Определим ранг матрицы.
Следовательно, заданные условием задачи векторы линейно независимы, и их численность равна размерности векторного пространства – они являются базисом векторного пространства.
Ответ: указанные векторы являются базисом векторного пространства.
Исходные данные: векторы
Необходимо определить, может ли указанная система векторов являться базисом трехмерного пространства.
Решение
Ответ: указанная система векторов не является базисом.
Исходные данные: векторы
Могут ли они являться базисом четырехмерного пространства?
Решение
Cоставим матрицу, используя в качестве строк координаты заданных векторов
A = 1 2 3 3 2 5 6 8 1 3 2 4 2 5 4 7
По методу Гаусса определим ранг матрицы:
A = 1 2 3 3 2 5 6 8 1 3 2 4 2 5 4 7
Следовательно, система заданных векторов линейно независима и их численность равна размерности векторного пространства – они являются базисом четырехмерного векторного пространства.
Ответ: заданные векторы являются базисом четырехмерного пространства.
Исходные данные: векторы
Составляют ли они базис пространства размерностью 4?
Решение
Исходная система векторов линейно независима, но численность векторов в ней недостаточна, чтобы стать базисом четырехмерного пространства.
Ответ: нет, не составляют.
Разложение вектора по базису
Таким образом, мы пришли к формулировке важнейшей теоремы:
Докажем эту теорему:
Теперь докажем, что такое разложение является единственным. Предположим, что это не так и существует еще одно подобное разложение:
Вектор x → будет представлен следующим образом:
Запишем это выражение в координатной форме:
Полученное равенство равносильно системе из n линейных алгебраических выражений с n неизвестными линейными переменными x
Матрица этой системы будет иметь следующий вид:
e 1 ( 1 ) e 1 ( 2 ) ⋯ e 1 ( n ) e 2 ( 1 ) e 2 ( 2 ) ⋯ e 2 ( n ) ⋮ ⋮ ⋮ ⋮ e n ( 1 ) e n ( 2 ) ⋯ e n ( n )
Применим рассмотренную теорию на конкретном примере.
Исходные данные: в базисе трехмерного пространства заданы векторы
Решение
Используем метод Гаусса:
Пусть в базисе вектор x → имеет координаты x
Применим значения согласно условиям задачи:
Решим систему уравнений методом Крамера:
Связь между базисами
Предположим, что в некотором базисе n-мерного векторного пространства даны две линейно независимые системы векторов:
Указанные системы являются также базисами заданного пространства.
n ( 1 ) e 1 ( n ) с 2 ( 1 ) = c
n ( 1 ) e 2 ( n ) ⋮ с n ( 1 ) = c
В виде матрицы систему можно отобразить так:
n ( 1 ) ) · e 1 ( 1 ) e 2 ( 1 ) … e n ( 1 ) e 1 ( 2 ) e 2 ( 2 ) … e n ( 2 ) ⋮ ⋮ ⋮ ⋮ e 1 ( n ) e 2 ( n ) … e n ( n )
Сделаем по аналогии такую же запись для вектора c ( 2 ) :
n ( 2 ) ) · e 1 ( 1 ) e 2 ( 1 ) … e n ( 1 ) e 1 ( 2 ) e 2 ( 2 ) … e n ( 2 ) ⋮ ⋮ ⋮ ⋮ e 1 ( n ) e 2 ( n ) … e n ( n )
И, далее действуя по тому же принципу, получаем:
n ( n ) ) · e 1 ( 1 ) e 2 ( 1 ) … e n ( 1 ) e 1 ( 2 ) e 2 ( 2 ) … e n ( 2 ) ⋮ ⋮ ⋮ ⋮ e 1 ( n ) e 2 ( n ) … e n ( n )
Матричные равенства объединим в одно выражение:
c 1 ( 1 ) c 2 ( 1 ) ⋯ c n ( 1 ) c 1 ( 2 ) c 2 ( 2 ) ⋯ c n ( 2 ) ⋮ ⋮ ⋮ ⋮ c 1 ( n ) c 2 ( n ) ⋯ c n ( n ) = c
n ( n ) · e 1 ( 1 ) e 2 ( 1 ) ⋯ e n ( 1 ) e 1 ( 2 ) e 2 ( 2 ) ⋯ e n ( 2 ) ⋮ ⋮ ⋮ ⋮ e 1 ( n ) e 2 ( n ) ⋯ e n ( n )
Оно и будет определять связь векторов двух различных базисов.
e 1 ( 1 ) e 2 ( 1 ) ⋯ e n ( 1 ) e 1 ( 2 ) e 2 ( 2 ) ⋯ e n ( 2 ) ⋮ ⋮ ⋮ ⋮ e 1 ( n ) e 2 ( n ) ⋯ e n ( n ) = e
n ( n ) · c 1 ( 1 ) c 2 ( 1 ) ⋯ c n ( 1 ) c 1 ( 2 ) c 2 ( 2 ) ⋯ c n ( 2 ) ⋮ ⋮ ⋮ ⋮ c 1 ( n ) c 2 ( n ) ⋯ c n ( n )
Дадим следующие определения:
Доказать, что 3 вектора образуют базис трёхмерного пространства и найти координаты 4-го вектора в данном базисе
Даны векторы . Показать, что векторы образуют базис трехмерного пространства и найти координаты вектора в этом базисе.
Решение: Сначала разбираемся с условием. По условию даны четыре вектора, и, как видите, у них уже есть координаты в некотором базисе. Какой это базис – нас не интересует. А интересует следующая вещь: три вектора вполне могут образовывать новый базис. И первый этап полностью совпадает с решением Примера 6, необходимо проверить, действительно ли векторы линейно независимы:
Вычислим определитель, составленный из координат векторов :
, значит, векторы линейно независимы и образуют базис трехмерного пространства.
! Важно: координаты векторов обязательно записываем в столбцыопределителя, а не в строки. Иначе будет путаница в дальнейшем алгоритме решения.
Теперь вспомним теоретическую часть: если векторы образуют базис, то любой вектор можно единственным способом разложить по данному базису: , где – координаты вектора в базисе .
Поскольку наши векторы образуют базис трёхмерного пространства (это уже доказано), то вектор можно единственным образом разложить по данному базису:
, где – координаты вектора в базисе .
По условию и требуется найти координаты .
Для удобства объяснения поменяю части местами: . В целях нахождения следует расписать данное равенство покоординатно:
По какому принципу расставлены коэффициенты? Все коэффициенты левой части в точности перенесены из определителя , в правую часть записаны координаты вектора .
Получилась система трёх линейных уравнений с тремя неизвестными. Обычно её решают поформулам Крамера, часто даже в условии задачи есть такое требование.
Главный определитель системы уже найден:
, значит, система имеет единственное решение.
Дальнейшее – дело техники:
Таким образом:
– разложение вектора по базису .
Ответ:
Как я уже отмечал, задача носит алгебраический характер. Векторы, которые были рассмотрены – это не обязательно те векторы, которые можно нарисовать в пространстве, а, в первую очередь, абстрактные векторы курса линейной алгебры. Для случая двумерных векторов можно сформулировать и решить аналогичную задачу, решение будет намного проще. Однако на практике мне такое задание ни разу не встречалось, именно поэтому я его пропустил в предыдущем разделе.
Такая же задача с трёхмерными векторами для самостоятельного решения:
Даны векторы . Показать, что векторы образуют базис и найти координаты вектора в этом базисе. Систему линейных уравнений решить методом Крамера.
Полное решение и примерный образец чистового оформления в конце урока.
Аналогично можно рассмотреть четырёхмерное, пятимерное и т.д. векторные пространства, где у векторов соответственно 4, 5 и более координат. Для данных векторных пространств тоже существует понятие линейной зависимости, линейной независимости векторов, существует базис, в том числе, ортонормированный, разложение вектора по базису. Да, такие пространства невозможно нарисовать геометрически, но в них работают все правила, свойства и теоремы двух и трех мерных случаев – чистая алгебра. Собственно, о философских вопросах меня уже пробивало поговорить в статье Частные производные функции трёх переменных, которая появилась раньше данного урока.
Любите векторы, и векторы полюбят вас!
Пример 2: Решение: составим пропорцию из соответствующих координат векторов:
Ответ: при
Пример 4: Доказательство: Трапецией называется четырёхугольник, у которого две стороны параллельны, а две другие стороны не параллельны.
1) Проверим параллельность противоположных сторон и .
Найдём векторы:
Вычислим определитель, составленный из координат векторов :
, значит, данные векторы не коллинеарны, и стороны не параллельны.
2) Проверим параллельность противоположных сторон и .
Найдём векторы:
Вычислим определитель, составленный из координат векторов :
, значит, данные векторы коллинеарны, и .
Вывод: Две стороны четырёхугольника параллельны, а две другие стороны не параллельны, значит, он является трапецией по определению. Что и требовалось доказать.
Пример 5: Решение:
б) Проверим, существует ли коэффициент пропорциональности для соответствующих координат векторов:
Система не имеет решения, значит, векторы не коллинеарны.
Более простое оформление:
– вторая и третья координаты не пропорциональны, значит, векторы не коллинеарны.
Ответ: векторы не коллинеарны.
в) Исследуем на коллинеарность векторы . Составим систему:
Соответствующие координаты векторов пропорциональны, значит
Вот здесь как раз не проходит «пижонский» метод оформления.
Ответ:
Пример 6: Решение: б) Вычислим определитель, составленный из координат векторов (определитель раскрыт по первой строке):
, значит, векторы линейно зависимы и не образуют базиса трёхмерного пространства.
Ответ: данные векторы не образуют базиса
Пример 9:Решение:Вычислим определитель, составленный из координат векторов :
Таким образом, векторы линейно независимы и образуют базис.
Представим вектор в виде линейной комбинации базисных векторов:
Покоординатно:
Систему решим по формулам Крамера:
, значит, система имеет единственное решение.
Ответ: Векторы образуют базис,
Автор: Емелин Александр
Высшая математика для заочников и не только >>>
(Переход на главную страницу)
Как можно отблагодарить автора?
Векторное произведение векторов.
Смешанное произведение векторов
На данном уроке мы рассмотрим ещё две операции с векторами: векторное произведение векторов и смешанное произведение векторов. Ничего страшного, так иногда бывает, что для полного счастья, помимо скалярного произведения векторов, требуется ещё и ещё. Такая вот векторная наркомания. Может сложиться впечатление, что мы залезаем в дебри аналитической геометрии. Это не так. В данном разделе высшей математики вообще мало дров, разве что на Буратино хватит. На самом деле материал очень распространенный и простой – вряд ли сложнее, чем то же скалярное произведение, даже типовых задач поменьше будет. Главное в аналитической геометрии, как многие убедятся или уже убедились, НЕ ОШИБАТЬСЯ В ВЫЧИСЛЕНИЯХ. Повторяйте как заклинание, и будет вам счастье =)
Если векторы сверкают где-то далеко, как молнии на горизонте, не беда, начните с урокаВекторы для чайников, чтобы восстановить или вновь приобрести базовые знания о векторах. Более подготовленные читатели могут знакомиться с информацией выборочно, я постарался собрать максимально полную коллекцию примеров, которые часто встречаются в практических работах
Чем вас сразу порадовать? Когда я был маленьким, то умел жонглировать двумя и даже тремя шариками. Ловко получалось. Сейчас жонглировать не придётся вообще, поскольку мы будем рассматривать только пространственные векторы, а плоские векторы с двумя координатами останутся за бортом. Почему? Такими уж родились данные действия – векторное и смешанное произведение векторов определены и работают в трёхмерном пространстве. Уже проще!