Вектор (геометрия)
Ве́ктор — направленный отрезок[1] прямой, то есть отрезок, для которого указано, какая из его граничных точек является началом, а какая — концом[2].
Вектор с началом в точке и концом в точке принято обозначать как . Векторы также могут обозначаться малыми латинскими буквами со стрелкой (иногда — чёрточкой) над ними, например . Другой распространённый способ записи: написание символа вектора прямым жирным шрифтом: .
Вектор в геометрии естественно сопоставляется переносу (параллельному переносу), что, очевидно, проясняет происхождение его названия (лат. vector, несущий). Итак, каждый направленный отрезок однозначно определяет собой какой-то параллельный перенос плоскости или пространства: скажем, вектор естественно определяет перенос, при котором точка перейдёт в точку , также и обратно, параллельный перенос, при котором переходит в , определяет собой единственный направленный отрезок (единственный — если считать равными все направленные отрезки одинакового направления и длины — то есть рассматривать их как свободные векторы; действительно, при параллельном переносе все точки смещаются в одинаковом направлении на одинаковое расстояние, так что в таком понимании ).
Интерпретация вектора как переноса позволяет естественным и интуитивно очевидным способом ввести операцию сложения векторов — как композиции (последовательного применения) двух (или нескольких) переносов; то же касается и операции умножения вектора на число.
Основные понятия
[править | править код]Вектором называется направленный отрезок, соединяющий две точки, одна из которых считается началом, а другая концом.
Координаты вектора определяются как разность координат точек его конца и начала. Например, на координатной плоскости, если даны координаты начала и конца: и , то координаты вектора будут: .
Длиной вектора называется расстояние между двумя точками и , её обычно обозначают
Роль нуля среди векторов играет нулевой вектор, у которого начало и конец совпадают ; ему, в отличие от других векторов, не приписывается никакого направления[3].
Для координатного представления векторов большое значение имеет понятие проекции вектора на ось (направленную прямую, см. рисунок). Проекцией называется длина отрезка, образованного проекциями точек начала и конца вектора на заданную прямую, причём проекции приписывается знак плюс, если направление проекции соответствует направлению оси, иначе — знак минус. Проекция равна длине исходного вектора, умноженной на косинус угла между исходным вектором и осью; проекция вектора на перпендикулярную ему ось равна нулю.
Применения
[править | править код]Векторы находят широкое применение в геометрии и в прикладных науках, где используются для представления величин, имеющих направление (силы, скорости и т. п.). Применение векторов упрощает ряд операций — например, определение углов между прямыми или отрезками, вычисление площадей фигур. В компьютерной графике векторы-нормали используются, чтобы создать правильное освещение тела. Использование векторов может быть положено в основу метода координат.
Виды векторов
[править | править код]Иногда вместо того, чтобы рассматривать в качестве векторов множество всех направленных отрезков (рассматривая как различные все направленные отрезки, начала и концы которых не совпадают), берут только некоторую модификацию этого множества (фактормножество), то есть, некоторые направленные отрезки рассматривают как равные, если они имеют одинаковое направление и длину, хотя они могут иметь разное начало (и конец), то есть направленные отрезки одинаковой длины и направления считаются представляющими один и тот же вектор; таким образом, каждому вектору оказывается соответствующим целый класс направленных отрезков, одинаковых по длине и направлению, но различающихся началом (и концом).
Так, говорят о «свободных», «скользящих» и «фиксированных» векторах. Эти виды отличаются понятием равенства двух векторов.
- Говоря о свободных векторах, отождествляют любые векторы, имеющие одинаковое направление и длину;
- говоря о скользящих векторах — добавляют, что начала равных скользящих векторов должны совпадать или лежать на одной прямой, на которой лежат изображающие эти векторы направленные отрезки (так что один может быть совмещен с другим перемещением в направлении, им же самим задаваемом);
- говоря о фиксированных векторах — говорят, что равными считаются только векторы, у которых совпадают и направления, и начала (то есть в этом случае факторизации нет: нет двух фиксированных векторов с различными началами, которые считались бы равными).
Формально:
Говорят, что свободные векторы и равны, если найдутся точки и такие, что четырёхугольники и — параллелограммы.
Говорят, что скользящие векторы и равны, если
- точки располагаются на одной прямой,
- векторы и равны между собой как свободные векторы.
Скользящие векторы особо употребимы в механике. Простейший пример скользящего вектора в механике — сила, действующая на твердое тело. Перенос начала вектора силы вдоль прямой, на которой он лежит, не меняет момента силы относительно любой точки; перенос же его на другую прямую, даже если не менять величины и направления вектора, может вызвать изменение его момента (даже почти всегда вызовет): поэтому при вычислении момента нельзя рассматривать силу как свободный вектор, то есть, нельзя её считать приложенной к произвольной точке твердого тела.
Говорят, что фиксированные векторы и равны, если попарно совпадают точки и , и .
Вектором в одном случае называется направленный отрезок, а в других случаях различные векторы — это разные классы эквивалентности направленных отрезков, определяемые неким конкретным отношением эквивалентности. Причем отношение эквивалентности может быть разным, определяя тип вектора (свободный или фиксированный). Внутри класса эквивалентности все входящие в него направленные отрезки рассматриваются как равные, и каждый может равно представлять весь класс.
Все операции над векторами (сложение, умножение на число, скалярное и векторное произведения, вычисление модуля или длины, угла между векторами и так далее) в принципе определены одинаково для всех типов векторов, различие в типах сводится в этом отношении только к тому, что для скользящих и фиксированных наложено ограничение на возможность осуществления операций между двумя векторами, имеющими разное начало (так, для двух фиксированных векторов запрещено — или лишено смысла — сложение, если их начала отличаются; однако для всех случаев, когда эта операция разрешена — или имеет смысл — она такова же, как для свободных векторов). Поэтому часто тип вектора явно не указывается, подразумевается, что он ясен из контекста. Более того, один и тот же вектор в зависимости от контекста задачи может рассматриваться как фиксированный, скользящий или свободный, например, в механике векторы сил, приложенных к телу, могут суммироваться независимо от точки приложения при нахождении равнодействующей (и в статике, и в динамике при исследовании движения центра масс, изменения импульса и того подобного), но не могут складываться друг с другом без учета точек приложения при вычислении вращающего момента (также и в статике и в динамике).
Отношения между векторами
[править | править код]Два вектора называются коллинеарными, если они лежат на параллельных прямых, либо на одной прямой. Два вектора называются сонаправленными, если они коллинеарны и направлены в одну сторону, противоположно направленными, если коллинеарны и направлены в разные стороны. Есть и другое определение: два ненулевых вектора и называются коллинеарными, если существует некоторое число такое, что [4]
Три вектора называются компланарными, если они, будучи приведенными к общему началу, лежат в одной плоскости[4].
Координатное представление
[править | править код]При работе с векторами часто вводят некоторую декартову систему координат и в ней определяют координаты вектора, раскладывая его по базисным векторам. Разложение по базису геометрически можно представить при помощи проекций вектора на координатные оси. Если известны координаты начала и конца вектора, координаты самого вектора получаются вычитанием из координат конца вектора координат его начала.
За базис часто выбирают координатные орты, обозначаемые , соответственно осям . Тогда вектор можно записать как
Любое геометрическое свойство можно записать в координатах, после чего исследование из геометрического становится алгебраическим и при этом часто упрощается. Обратное, вообще говоря, не совсем верно: обычно принято говорить[5], что «геометрическое истолкование» имеют лишь те соотношения, которые выполняются в любой декартовой системе координат (инвариантные).
Операции над векторами
[править | править код]Модуль вектора
[править | править код]Модулем вектора называется число, равное длине отрезка . Обозначается, как . Для трёхмерного вектора в декартовой системе координат его можно вычислить как:
Сложение векторов
[править | править код]В координатном представлении вектор суммы получается суммированием соответствующих координат слагаемых:
Для геометрического построения вектора суммы используют различные правила (методы), однако они все дают одинаковый результат. Использование того или иного правила обосновывается решаемой задачей.
Правило треугольника
[править | править код]Правило треугольника наиболее естественно следует из понимания вектора как переноса. Ясно, что результат последовательного применения двух переносов и некоторой точки будет тем же, что применение сразу одного переноса , соответствующего этому правилу. Для сложения двух векторов и по правилу треугольника оба эти вектора переносятся параллельно самим себе так, чтобы начало одного из них совпадало с концом другого. Тогда вектор суммы задаётся третьей стороной образовавшегося треугольника, причём его начало совпадает с началом первого вектора, а конец с концом второго вектора.
Это правило прямо и естественно обобщается для сложения любого количества векторов, переходя в правило ломаной:
Правило трёх точек
[править | править код]Если отрезок изображает вектор , а отрезок изображает вектор , то отрезок изображает вектор .
Правило многоугольника
[править | править код]Начало второго вектора совмещается с концом первого, начало третьего — с концом второго и так далее, сумма же векторов есть вектор, с началом, совпадающим с началом первого, и концом, совпадающим с концом -го (то есть изображается направленным отрезком, замыкающим ломаную). Также называется правилом ломаной.
Правило параллелограмма
[править | править код]Для сложения двух векторов и по правилу параллелограмма оба эти векторы переносятся параллельно самим себе так, чтобы их начала совпадали. Тогда вектор суммы задаётся диагональю построенного на них параллелограмма, исходящей из их общего начала. (Легко видеть, что эта диагональ совпадает с третьей стороной треугольника при использовании правила треугольника).
Правило параллелограмма особенно удобно, когда есть потребность изобразить вектор суммы сразу же приложенным к той же точке, к которой приложены оба слагаемых — то есть изобразить все три вектора имеющими общее начало.
Модуль суммы
[править | править код]Модуль суммы двух векторов можно вычислить, используя теорему косинусов:
- , где — косинус угла между векторами и .
Если векторы изображены в соответствии с правилом треугольника и берется угол по рисунку — между сторонами треугольника — что не совпадает с обычным определением угла между векторами, а значит и с углом в приведенной формуле, то последний член приобретает знак минус, что соответствует теореме косинусов в её прямой формулировке.
Для суммы произвольного количества векторов применима аналогичная формула, в которой членов с косинусом больше: по одному такому члену существует для каждой пары векторов из суммируемого набора. Например, для трех векторов формула выглядит так:
Вычитание векторов
[править | править код]Под разностью двух векторов понимают вектор , удовлетворяющий условию . Процесс нахождения разности называется операцией вычитания этих векторов.
Для получения разности в координатной форме надо вычесть соответствующие координаты векторов:
Для получения вектора разности начала векторов соединяются и началом вектора будет конец , а концом — конец . Если записать, используя точки векторов, то .
Модуль разности векторов
[править | править код]Три вектора , как и при сложении, образуют треугольник, и выражение для модуля разности получается аналогичным:
где — косинус угла между векторами и
Отличие от формулы модуля суммы в знаке перед косинусом, при этом надо хорошо следить, какой именно угол берется (вариант формулы модуля суммы с углом между сторонами треугольника при суммировании по правилу треугольника по виду не отличается от данной формулы для модуля разности, но надо иметь в виду, что тут берутся разные углы: в случае суммы берётся угол, когда вектор переносится к концу вектора , когда же ищется модуль разности, берётся угол между векторами, приложенными к одной точке; выражение для модуля суммы с использованием того же угла, что в данном выражении для модуля разности, отличается знаком перед косинусом).
Умножение вектора на число
[править | править код]Умножение вектора на число , даёт сонаправленный вектор с длиной в раз больше.
Умножение вектора на число , даёт противоположно направленный вектор с длиной в раз больше.
Умножение вектора на число в координатной форме производится умножением всех координат на это число:
Исходя из определения получается выражение для модуля вектора, умноженного на число:
Аналогично как и числами, операции сложение вектора с самим с собой можно записать через умножение на число:
А вычитание векторов можно переписать через сложение и умножение:
Исходя из того, что умножение на не меняет длины вектора, а меняет только направление и учитывая определение вектора, получаем:
Скалярное произведение векторов
[править | править код]Для геометрических векторов скалярное произведение определяется через их геометрические характеристики и вводится следующим образом:
Здесь для вычисления косинуса берётся угол между векторами, который определяется как величина угла, образованного векторами, если приложить их к одной точке (совместить их начала).
Это выражение можно переписать через координаты (здесь формула для трехмерного пространства):
Скалярным квадратом вектора называется его скалярное произведение само на себя и может быть вычислено через модуль вектора:
Векторное произведение векторов
[править | править код]Векторным произведением двух векторов и называется такой вектор , который ортогонален плоскости векторов и , его длина равняется площади параллелограмма, образованного векторами, а направление определяется по правилу правой руки.
Смешанное произведение векторов
[править | править код]Смешанным произведением трёх векторов называется число, определяемое следующим образом:
Модуль этой величины даёт объём параллелепипеда, построенного на векторах .
См. также
[править | править код]Литература
[править | править код]- Башмаков М. Что такое вектор? // Квант. — 1976. — № 4. — С. 2—5.
- Зайцев В. В., Рыжков В. В., Сканави М. И. Элементарная математика. Повторительный курс. — Издание третье, стереотипное. — М.: Наука, 1976. — 591 с.
Примечания
[править | править код]- ↑ Отрезок называется направленным, если для него указан порядок его концов.
- ↑ Атанасян Л. С., Бутузов В. Ф., Кадомцев С. Б., Позняк Э. Г., Юдина И. И. Геометрия 7-9 классы. — Москва: Просвещение, 2010. — 384 с. — ISBN 978-5-09-023915-8.
- ↑ Элементарная математика, 1976, с. 249..
- ↑ 1 2 Выгодский М. Я. Справочник по высшей математике. — Москва: Астрель, 2006. — 991 с. — ISBN 5-271-03651-0.
- ↑ Это утверждение, очевидно, до некоторой степени условно, поскольку конкретная фиксированная система координат при желании может быть явно включена в число объектов, для которых соотношения устанавливаются, и тогда алгебраические утверждения для этой фиксированной частной системы координат могут быть переформулированы так, что будут инвариантными при записи в любой другой, произвольной, системе координат.