Вектор (от лат. vector, «несущий») — в простейшем случае математический объект, характеризующийся величиной и направлением. Например, в геометрии и в естественных науках вектор есть направленный отрезок прямой в евклидовом пространстве (или на плоскости).
Примеры: радиус-вектор, скорость, момент силы. Если в пространстве задана система координат, то вектор однозначно задаётся набором своих координат. Поэтому в математике, информатике и других науках упорядоченный набор чисел часто тоже называют вектором. В более общем смысле вектор в математике рассматривается как элемент некоторого векторного (линейного) пространства.
Является одним из основополагающих понятий линейной алгебры. При использовании наиболее общего определения векторами оказываются практически все изучаемые в линейной алгебре объекты, в том числе матрицы, тензоры, однако, при наличии в окружающем контексте этих объектов, под вектором понимаются соответственно вектор-строка или вектор-столбец, тензор первого ранга. Свойства операций над векторами изучаются в векторном исчислении.
Обозначения
Вектор, представленный набором n {displaystyle n} элементов (компонент) a 1 , a 2 , … , a n {displaystyle a_{1},a_{2},ldots ,a_{n}} обозначают следующими способами:
⟨ a 1 , a 2 , … , a n ⟩ , ( a 1 , a 2 , … , a n ) , { a 1 , a 2 , … , a n } {displaystyle langle a_{1},a_{2},ldots ,a_{n}, angle , left(a_{1},a_{2},ldots ,a_{n}, ight),{a_{1},a_{2},ldots ,a_{n},}} .Для того, чтобы подчеркнуть, что это вектор (а не скаляр), используют черту сверху, стрелочку сверху, жирный или готический шрифт:
a ¯ , a → , a , A , a . {displaystyle {ar {a}}, {vec {a}},mathbf {a} ,{mathfrak {A}}, {mathfrak {a}}.}Сложение векторов почти всегда обозначается знаком плюс:
a → + b → {displaystyle {vec {a}}+{vec {b}}} .Умножение на число — просто написанием рядом, без специального знака, например:
k b → {displaystyle k{vec {b}}} ,причём число при этом обычно пишут слева.
Умножение вектора на матрицу также обозначают написанием рядом, без специального знака, но здесь перестановка сомножителей в общем случае влияет на результат. Действие линейного оператора на вектор также обозначается написанием оператора слева, без специального знака.
История
Интуитивно вектор понимается как объект, имеющий величину, направление и (необязательно) точку приложения. Зачатки векторного исчисления появились вместе с геометрической моделью комплексных чисел (Гаусс, 1831). Развитые операции с векторами опубликовал Гамильтон как часть своего кватернионного исчисления (вектор образовывали мнимые компоненты кватерниона). Гамильтон предложил сам термин вектор (лат. vector, несущий) и описал некоторые операции векторного анализа. Этот формализм использовал Максвелл в своих трудах по электромагнетизму, тем самым обратив внимание учёных на новое исчисление. Вскоре вышли «Элементы векторного анализа» Гиббса (1880-е годы), а затем Хевисайд (1903) придал векторному анализу современный вид.
Общепринятых обозначений вектора не существует, используются жирный шрифт, черта или стрелка над буквой, готический алфавит и др.
В геометрии
В геометрии под векторами понимают направленные отрезки. Эту интерпретацию часто используют в компьютерной графике, строя карты освещения, с помощью нормалей к поверхностям. Так же с помощью векторов можно находить площади различных фигур, например треугольников и параллелограммов, а также объёмы тел: тетраэдра и параллелепипеда.
Иногда с вектором отождествляют направление.
Вектор в геометрии естественно сопоставляется переносу (параллельному переносу), что, очевидно, проясняет происхождение его названия (лат. vector, несущий). Действительно, любой направленный отрезок однозначно определяет собой какой-то параллельный перенос плоскости или пространства, и обратно, параллельный перенос однозначно определяет собой единственный направленный отрезок (однозначно — если считать равными все направленные отрезки одинакового направления и длины — то есть рассматривать их как свободные векторы).
Интерпретация вектора как переноса позволяет естественным и интуитивно очевидным способом ввести операцию сложения векторов — как композиции (последовательного применения) двух (или нескольких) переносов; то же касается и операции умножения вектора на число.
В линейной алгебре
В линейной алгебре вектором называется элемент линейного пространства, что соответствует общему определению, приведённому ниже. Векторы могут иметь различную природу: направленные отрезки, матрицы, числа, функции и другие, однако все линейные пространства одной размерности изоморфны между собой.
Данным понятием вектора чаще всего пользуются при решении систем линейных алгебраических уравнений, а также при работе с линейными операторами (пример линейного оператора — оператор поворота). Часто это определение расширяют, определяя норму или скалярное произведение (возможно, и то и другое вместе), после чего оперируют уже с нормированными и евклидовыми пространствами, со скалярным произведением связывают понятие угла между векторами, а с нормой — понятие длины вектора. Многие математические объекты (например, матрицы, тензоры и т. д.), в том числе обладающие структурой более общей, чем конечный (а иногда даже и чем счётный) упорядоченный список, удовлетворяют аксиомам векторного пространства, то есть являются с точки зрения алгебры векторами.
В функциональном анализе
В функциональном анализе рассматриваются функциональные пространства — бесконечномерные линейные пространства. Их элементами могут являться функции. На основании такого представления функции выстроена теория рядов Фурье. Аналогично с линейной алгеброй часто вводят норму, скалярное произведение или метрику на пространстве функций. На понятии функции как элемента гильбертова пространства основываются некоторые методы решения дифференциальных уравнений, например метод конечных элементов.
Общее определение
Наиболее общее определение вектора даётся средствами общей алгебры:
- Обозначим F {displaystyle {mathfrak {F}}} (готическая F) некоторое поле с множеством элементов F {displaystyle F} , аддитивной операцией + {displaystyle +} , мультипликативной операцией ∗ {displaystyle *} , и соответствующими нейтральными элементами: аддитивной единицей 0 {displaystyle 0} и мультипликативной единицей 1 {displaystyle 1} .
- Обозначим V {displaystyle {mathfrak {V}}} (готическая V) некоторую абелеву группу с множеством элементов V {displaystyle V} , аддитивной операцией + {displaystyle +} и, соответственно, с аддитивной единицей 0 {displaystyle mathbf {0} } .
Иначе говоря, пусть F = ⟨ F ; + , ∗ ⟩ {displaystyle {mathfrak {F}}=langle F;+,* angle } и V = ⟨ V ; + ⟩ {displaystyle {mathfrak {V}}=langle V;+ angle } .
Если существует операция F × V → V {displaystyle F imes V o V} , такая что для любых a , b ∈ F {displaystyle a,bin F} и для любых x , y ∈ V {displaystyle mathbf {x} ,mathbf {y} in V} выполняются соотношения:
тогда
- V {displaystyle {mathfrak {V}}} называется векторным пространством над полем F {displaystyle {mathfrak {F}}} (или линейным пространством),
- элементы V {displaystyle V} называются векторами,
- элементы F {displaystyle F} — скалярами,
- указанная операция F × V → V {displaystyle F imes V o V} — умножением вектора на скаляр.
Многие результаты линейной алгебры обобщены до унитарных модулей над некоммутативными телами и даже произвольных модулей над кольцами, таким образом, в наиболее общем случае, в некоторых контекстах, вектором может быть назван любой элемент модуля над кольцом.
Физическая интерпретация
Вектор, как структура, имеющая одновременно величину (модуль) и направление, рассматривается в физике как математическая модель скорости, силы, и связанных с ними величин, кинематических или динамических. Математической моделью многих физических полей (например, электромагнитного поля или поля скорости жидкости) являются векторные поля.
Абстрактные многомерные и бесконечномерные (в духе функционального анализа) векторные пространства используются в лагранжевом и гамильтоновом формализме применительно к механическим и другим динамическим системам, а также в квантовой механике (см. Вектор состояния).
Вектор как последовательность
Вектор — (последовательность, кортеж) однородных элементов. Это наиболее общее определение в том смысле, что может быть не задано обычных векторных операций вообще, их может быть меньше, или они могут не удовлетворять обычным аксиомам линейного пространства. Именно в таком виде вектор понимается в программировании, где, как правило, обозначается именем-идентификатором с квадратными скобками (например, object[]). Перечень свойств моделирует принятое в теории систем определение класса и состояния объекта. Так типы элементов вектора определяют класс объекта, а значения элементов — его состояние. Впрочем, вероятно, это употребление термина уже выходит за рамки обычно принятого в алгебре, да и в математике вообще.
Арифметическим вектором называется упорядоченная совокупность n чисел. Обозначается x ¯ = ( x 1 , x 2 , … , x n ) {displaystyle {overline {x}}=(x_{1},x_{2},ldots ,x_{n})} , числа x 1 , x 2 , … , x n {displaystyle x_{1},x_{2},ldots ,x_{n}} называются компонентами арифметического вектора. Множество арифметических векторов, для которых определены операции сложения и умножения на число называется пространством арифметических векторов R n {displaystyle R^{n}} .