Определение

Скалярным произведением в векторном пространстве над полем называется функция для элементов , принимающая значения в , определенная для каждой пары элементов и удовлетворяющая следующим условиям:

1. для любых трех элементов и пространства и любых чисел справедливо равенство (линейность скалярного произведения по первому аргументу);

2. для любых и справедливо равенство ,где черта означает комплексное сопряжение (эрмитова симметричность);

3. для любого имеем , причем только при (положительная определенность скалярного произведения).

Действительное линейное пространство со скалярным произведением называется евклидовым, комплексное — унитарным.

Заметим, что из п.2 определения следует, что действительное. Поэтому п.3 имеет смысл несмотря на комплексные (в общем случае) значения скалярного произведения.

[Править] Элементарное определение

A • B = |A| |B| cos(θ)

Элементарное определение скалярного произведения используется, когда определения длины вектора и угла между векторами введены независимым образом до введения понятия скалярного произведения (как правило, так и поступают при изложении элементарной геометрии). В этом случае скалярное произведение определяется через длины сомножителей и угол между ними:

Современная аксиоматика обычно строится начиная со скалярного произведения, и тогда длина вектора и угол определяются уже через скалярное произведение (см. ниже).

[Править] Связанные определения

В современном аксиоматическом подходе уже на основе понятия скалярного произведения векторов вводятся следующие производные понятия:

• Длина вектора, под которой понимается уже упомянутая выше его евклидова норма: (термин 'длина' обычно применяется к конечномерным векторам, однако в случае вычисления длины криволинейного пути часто используется и в случае бесконечномерных пространств).

• Углом между двумя ненулевыми векторами евклидова пространства (в частности, евклидовой плоскости) называется число, косинус которого равен отношению скалярного произведения этих векторов к произведению их длин (норм):      В случае, если пространство является псевдоевклидовым, понятие угла определяется лишь для векторов, не содержащих изотропных прямых внутри образованного векторами сектора. Сам угол при этом вводится как число, гиперболический косинус которого равен отношению модуля скалярного произведения этих векторов к произведению их длин (норм):     

• Ортогональными (перпендикулярными) называются векторы, скалярное произведение которых равно нулю. Это определение применимо к любым пространствам с положительно определённым скалярным произведением. Например, ортогональные многочлены на самом деле ортогональны (в смысле этого определения) друг другу в некотором гильбертовом пространстве.

• Пространство (вещественное или комплексное) с положительно определённым скалярным произведением называется предгильбертовым пространством.

  • При этом конечномерное вещественное пространство с положительно определённым скалярным произведением называется также евклидовым, а комплексное — эрмитовым или унитарным пространством.

• Случай, когда скалярное произведение не является знакоопределённым, приводит к т. н. пространствам с индефинитной метрикой. Скалярное произведение в таких пространствах уже не порождает нормы (и она обычно вводится дополнительно). Конечномерное вещественное пространство с индефинитной метрикой называется псевдоевклидовым (важнейшим частным случаем такого пространства является пространство Минковского). Среди бесконечномерных пространств с индефинитной метрикой важную роль играют пространства Понтрягина и пространства Крейна.