"Математика: алгебра и начала математического анализа, геометрия. Геометрия (углублённый уровень)", Александров А.Д., Вернер А.Л., Рыжик В.И.
Векторное пространство — это множество объектов, которые можно складывать и умножать на числа по согласованным правилам. Так описывают не только геометрические векторы, но и координатные наборы, функции и другие объекты. Линейные комбинации помогают строить новые элементы пространства, а понятия зависимости и независимости показывают, можно ли получить один вектор из остальных. Базис задаёт способ записывать любой вектор координатами, а размерность показывает, сколько независимых направлений нужно для описания пространства.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Векторное пространство — множество элементов, для которых заданы сложение и умножение на число, причём эти операции подчиняются основным правилам арифметики векторов. Элементы могут быть не только стрелками: например, ими бывают координатные наборы или функции. Понятие нужно, чтобы изучать разные объекты одним и тем же способом, опираясь на свойства операций.
Линейная комбинация векторов v₁, …, vₙ — сумма вида α₁v₁ + … + αₙvₙ, где α₁, …, αₙ — числа, называемые коэффициентами. Коэффициенты показывают, сколько каждого вектора берут и меняют ли его направление. Если коэффициент равен нулю, соответствующий вектор не вносит вклад в сумму; так появляются частные случаи комбинации.
Линейная зависимость означает, что существует линейная комбинация данных векторов, равная нулю, причём коэффициенты не все нулевые. Если такое равенство возможно только при нулевых коэффициентах, векторы линейно независимы. Проверка показывает, есть ли среди векторов избыточный: можно ли выразить один из них через остальные.
Базис — линейно независимая система, через которую можно выразить любой вектор пространства. Число векторов в базисе называется размерностью пространства. Базис позволяет задавать вектор набором координат, а размерность показывает, сколько независимых векторов необходимо для описания пространства.
Название «векторное пространство» объединяет объекты, которые на первый взгляд могут быть совершенно разными. Геометрические стрелки, пары чисел и функции не похожи друг на друга, но для каждого подходящего набора можно определить сложение и умножение на число. Если эти операции obeyуют одинаковым правилам, доказательства и методы, работающие с векторами, переносятся на весь набор. Поэтому важны не вид и смысл элементов сами по себе, а устройство операций над ними.
Линейная комбинация строит новый вектор из заданных: коэффициенты задают вклад каждого слагаемого. Например, умножение на отрицательное число меняет направление, а сложение объединяет полученные векторы. Нулевой коэффициент убирает соответствующий вектор из построения, поэтому комбинация может фактически состоять из меньшего числа слагаемых. Изменяя коэффициенты, можно исследовать, какие элементы удаётся получить из исходной системы.
Чтобы проверить зависимость, записывают равенство α₁v₁ + … + αₙvₙ = 0 и ищут значения коэффициентов. Решение, где все коэффициенты нулевые, существует всегда и само по себе ничего не доказывает. Если находится хотя бы одно решение с ненулевым коэффициентом, система зависима: из равенства можно выразить один из участвующих векторов через остальные. Если такого решения нет, система независима и ни один её вектор не является лишним.
Базис должен одновременно решать две задачи: не содержать лишних векторов и позволять получить все векторы пространства. Независимость обеспечивает первое условие, а порождение всего пространства — второе. При разложении вектора по базису коэффициенты определяются однозначно: два разных набора координат привели бы к нетривиальной комбинации базисных векторов, равной нулю. Поэтому выбранный базис задаёт точный способ описания каждого вектора.
Число базисных векторов характеризует пространство, а не конкретный выбор базиса. Если бы два базиса одного пространства имели разное число элементов, один из них не мог бы одновременно быть минимальной системой, порождающей всё пространство, и независимой системой. Теорема о размерности устанавливает, что все базисы конечномерного пространства содержат одинаковое число векторов. Например, в R³ размерность равна трём, и базис состоит из трёх векторов.
| Понятие | Определяющее условие | Что позволяет установить |
|---|---|---|
| Линейная комбинация | Сумма векторов, умноженных на числовые коэффициенты | Какие векторы можно построить из заданных |
| Линейная зависимость | Комбинация равна нулю при коэффициентах, не всех равных нулю | Есть ли в системе избыточный вектор |
| Линейная независимость | Нулю равна только комбинация с нулевыми коэффициентами | Нельзя ли получить один вектор через остальные |
| Базис | Система независима и порождает всё пространство | Как разложить любой вектор на базисные |
| Размерность | Число векторов в базисе | Сколько независимых векторов описывают пространство |
Используйте таблицу как последовательность вопросов: сначала выясните, что можно построить из данных векторов, затем проверьте зависимость. Для базиса недостаточно одной независимости — требуется также возможность представить любой вектор пространства. Число элементов базиса даёт размерность.
Выразить вектор c через векторы a и b, если c = 2a − 3b. Нужно распознать форму линейной комбинации и назвать коэффициенты. Слагаемые уже записаны как кратные исходных векторов, поэтому преобразований не требуется.
Ответ: c = 2a − 3b; коэффициенты равны 2 и −3. Отрицательный коэффициент означает, что в комбинацию входит вектор, направленный противоположно b.
Проверить зависимость векторов a = (1, 2), b = (2, 4), c = (1, 0). Ищем коэффициенты α, β, γ, для которых αa + βb + γc = (0, 0). Приравнивание координат даст систему уравнений, а ненулевое решение подтвердит зависимость.
Ответ: система зависима, поскольку −2a + b = 0. Это равенство также показывает, что b = 2a, поэтому один из векторов можно выразить через другой.
Проверить, образуют ли a = (1, 0, 1), b = (0, 1, 1), c = (1, 1, 2) базис R³. В R³ базис должен содержать три независимых вектора, порождающих всё пространство. Поэтому достаточно проверить независимость: если система из трёх векторов зависима, базисом она быть не может.
Ответ: векторы зависимы, потому что c = a + b. Следовательно, они не образуют базис R³: один вектор выражается через два других.
Считать нулевой вектор единственным признаком зависимости. Наличие нулевого вектора действительно сразу означает зависимость, но связь может возникнуть и между ненулевыми векторами, как в примере b = 2a. Проверяйте систему через равенство линейной комбинации нулю, а не только осматривайте её элементы.
Проверять комбинации лишь с коэффициентами 1. Коэффициенты могут быть любыми числами, в том числе отрицательными и нулевыми; требуется найти нетривиальный набор, а не только сложить все векторы. Для самопроверки запишите неизвестные коэффициенты и решите полученную систему.
Считать разные векторы автоматически независимыми. Векторы могут не совпадать, но один всё равно может быть кратным другому или выражаться через несколько остальных. Проверяйте не равенство отдельных пар, а существование нетривиальной комбинации, равной нулю.
Называть любую независимую систему базисом. Независимые векторы могут описывать лишь часть пространства, поэтому нужно проверить и условие порождения всего пространства. Перед выводом о базисе задайте два вопроса: система независима и можно ли через неё выразить любой вектор?
Для работы с векторными пространствами нужны сложение векторов, умножение на число, координаты и решение систем линейных уравнений: именно эти навыки применяются при проверке зависимости. Базис и линейная зависимость помогают разлагать векторы по координатам и анализировать системы уравнений. Представление объектов координатами связывает эту тему с аналитической геометрией, где геометрические задачи переводят в вычисления, и с линейной алгеброй, изучающей общие свойства таких преобразований и систем.
Зачем вводить понятие векторного пространства, если уже известны обычные векторы?
Понятие векторного пространства позволяет применять одни и те же правила к объектам разной природы. Если их можно складывать и умножать на числа с нужными свойствами, к ним применимы методы линейной алгебры.
Как понять, является ли набор векторов линейно зависимым?
Нужно составить равенство линейной комбинации этих векторов нулю и проверить, есть ли у него решение, при котором хотя бы один коэффициент ненулевой. Если такое решение есть, набор зависим; если возможно только решение со всеми нулевыми коэффициентами, он независим.
Может ли система быть линейно независимой, но не быть базисом?
Да. Для базиса система должна не только быть линейно независимой, но и порождать всё пространство. Например, один ненулевой вектор независим, но не задаёт все векторы плоскости.
Почему координаты вектора зависят от выбора базиса?
Координаты — это коэффициенты разложения вектора по выбранным базисным векторам. При смене базиса меняются сами векторы, через которые строится разложение, поэтому обычно меняются и коэффициенты.
Могут ли у одного пространства быть базисы с разным числом векторов?
Нет, у одного пространства все базисы содержат одинаковое число векторов. Это число и называют размерностью пространства; различными могут быть сами базисные векторы и координаты.
VII. Векторные пространства