В геометрии и алгебры , то тройное произведение представляет собой произведение трех 3- мерных векторов, обычно евклидовых векторов . Название «тройное произведение» используется для двух различных произведений: скалярного скалярного тройного произведения и, реже, векторного тройного произведения .
Три вектора, определяющие параллелепипед
Смешанное произведение (также называемый смешанный продукт , коробочный продукт или тройным скалярное произведение ) определяется как скалярное произведение одного из векторов с поперечным продуктом двух других.
Геометрическая интерпретация
Геометрически скалярное тройное произведение
это (подпись) объем от параллелепипеда , определяемого три векторов данных. Здесь круглые скобки могут быть опущены, не вызывая двусмысленности, поскольку скалярное произведение не может быть оценено в первую очередь. Если бы это было так, это оставило бы перекрестное произведение скаляра и вектора, которое не определено.
Характеристики
- Скалярное тройное произведение не изменяется при круговом сдвиге трех его операндов ( a , b , c ):
- При смене позиций операторов без изменения порядка операндов тройное произведение остается неизменным. Это следует из предыдущего свойства и коммутативности скалярного произведения.
- Замена любых двух из трех операндов сводит на нет тройное произведение. Это следует из свойства кругового сдвига и антикоммутативности векторного произведения.
- Смешанное произведение также может быть понято как детерминант из 3 × 3 матрицы , которая имеет три вектора либо в виде ее строк или столбцов (матрица имеет такой же определитель как ее транспонированная ):
- Если скалярное тройное произведение равно нулю, то три вектора , б , и с являются в одной плоскости , так как параллелепипед определяется ими будет плоской и не имеют никакого объема.
- Если любые два вектора в тройном скалярном произведении равны, то его значение равно нулю:
- Более того,
- Простой продукт из двух тройных продуктов (или площадей тройного продукта), может быть расширен с точкой зрения продуктов точечными: [1]
Это повторяет в векторной записи, что произведение определителей двух матриц 3 × 3 равно определителю их матричного произведения. Как частный случай, квадрат тройного произведения является определителем Грама .
Скалярный или псевдоскалярный
Хотя скалярное тройное произведение дает объем параллелепипеда, это объем со знаком, знак которого зависит от ориентации кадра или четности перестановки векторов. Это означает, что продукт инвертируется, если ориентация меняется на противоположную, например, преобразованием четности , и поэтому более правильно описывается как псевдоскаляр, если ориентация может измениться.
Это также относится к ручке перекрестного произведения ; перекрестное произведение преобразуется как псевдовектор при преобразованиях четности и поэтому правильно описывается как псевдовектор. Скалярное произведение двух векторов является скаляром, но скалярное произведение псевдовектора и вектора является псевдоскалярным, поэтому скалярное тройное произведение должно быть псевдоскалярным.
Если T - оператор вращения , то
но если T - неправильное вращение , то
Как внешний продукт
Три вектора, образующие параллелепипед, имеют тройное произведение, равное его объему.
Во внешней алгебре и геометрической алгебре внешнее произведение двух векторов является бивектором , а внешнее произведение трех векторов - тривектором . Бивектор - это ориентированный плоский элемент, а тривектор - это ориентированный элемент объема, точно так же, как вектор - это ориентированный линейный элемент. Для векторов a , b и c произведение
является тривектором, величина которого равна тройному скалярному произведению, и является двойственным по Ходжу скалярному тройному произведению. Поскольку внешний продукт является ассоциативным, скобки не нужны, поскольку не имеет значения, какой из a ∧ b или b ∧ c вычисляется первым, хотя порядок векторов в произведении имеет значение. Геометрический тривектор а ∧ б ∧ гр соответствует параллелепипеду , натянутому в , б , и с , с бивекторами ∧ б , б ∧ гр и ∧ с сопоставлением параллелограмма граней параллелепипеда.
Как трилинейный функционал
Тройное произведение идентично форме объема евклидова 3-мерного пространства, примененного к векторам через внутреннее произведение . Это также может быть выражено как сжатие векторов с тензором ранга 3, эквивалентным форме (или псевдотензором, эквивалентным псевдоформе объема); см. ниже .
Вектор тройное произведение определяется как векторное произведение одного вектора с поперечным произведением двух других. Имеет место следующая взаимосвязь:
- .
Это известно как расширение тройного продукта , или формула Лагранжа , [2] [3] , хотя последнее название также используются для нескольких других формул . Его правую часть можно запомнить, используя мнемонику «ACB - ABC», при условии, что вы помните, какие векторы соединены точками. Доказательство приводится ниже . Некоторые учебники пишут идентичность кактаким образом, получается более знакомая мнемоника «BAC - CAB», например, «задняя часть кабины».
Поскольку перекрестное произведение является антикоммутативным, эту формулу также можно записать (с точностью до перестановки букв) как:
Из формулы Лагранжа следует, что векторное тройное произведение удовлетворяет:
что является тождеством Якоби для перекрестного произведения. Следующая полезная формула:
Эти формулы очень полезны для упрощения векторных вычислений в физике . Связанное с градиентами тождество, полезное в векторном исчислении, - это формула Лагранжа идентичности векторного векторного произведения: [4]
Это также можно рассматривать как частный случай более общего оператора Лапласа – де Рама .
Доказательство
В компонент дан кем-то:
Аналогичным образом а также компоненты даны:
Комбинируя эти три компонента, мы получаем:
- [5]
Использование геометрической алгебры
Если используется геометрическая алгебра, то векторное произведение векторов b × c выражается как их внешнее произведение b ∧ c , бивектор . Второе перекрестное произведение не может быть выражено как внешнее произведение, иначе получится тройное скалярное произведение. Вместо этого можно использовать левое сокращение [6] , так что формула становится [7]
Доказательство следует из свойств сжатия. [6] Результат - тот же вектор, что и вычисленный с использованием a × ( b × c ).
Тензорное исчисление
В тензорной записи тройное произведение выражается с помощью символа Леви-Чивиты : [8]
а также
- ,
ссылаясь на -й компонент результирующего вектора. Это может быть упрощена путем выполнения сжатия на символах Леви-Чивита , где если а также если . Мы можем определить эту идентичность, признав, что индекс будет суммироваться, оставив только а также . В первом слагаемом фиксируем и поэтому . Аналогичным образом во втором члене мы фиксируем и поэтому .
Возвращаясь к тройному поперечному произведению,
Векторное исчисление
Рассмотрим интеграл потока векторного поля по параметрически заданной поверхности : . Единичный вектор нормали на поверхность дается , поэтому подынтегральное выражение является скалярным тройным произведением.