Скалярное произведение

[править]

Материал из Википедии — свободной энциклопедии

Скаля́рное произведе́ние — операция над двумя векторами, результатом которой является число (скаляр), не зависящее от системы координат и характеризующее длины векторов-сомножителей и угол между ними. Данной операции соответствует умножение длины данного вектора x на проекцию другого вектора y на данный вектор x. Эта операция обычно рассматривается как коммутативная и линейная по каждому сомножителю.

Обычно используется одно из следующих обозначений:

,

,

,

или (обозначение Дирака, часто применяемое в квантовой механике для векторов состояния):

.

Обычно предполагается что скалярное произведение положительно определено, то есть

для всех .

Если этого не предполагать, то произведение называется индефинитным.

Содержание

 [убрать] 

• 1 Определение

• 2 Элементарное определение

• 3 Связанные определения

• 4 Примеры

• 5 Неравенство Коши — Буняковского

• 6 Применение

• 7 Обобщения

• 8 Примечания

• 9 См. также

[Править] Определение

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

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

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

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

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

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

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

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