Многовекторный

Элемент внешней алгебры

В полилинейной алгебре мультивектор , иногда называемый числом Клиффорда или мультором , ^[1] является элементом внешней алгебры Λ ( V ) векторного пространства V. Эта алгебра является градуированной , ассоциативной и знакопеременной и состоит из линейных комбинаций простых k -векторов ^{[2] (} известных также как разложимые k -векторы ^[3] или k -лопасти ) вида

${\displaystyle v_{1}\wedge \cdots \wedge v_{k},}$

где находятся в V. ${\displaystyle v_{1},\ldots ,v_{k}}$

k -вектором называется такая линейная комбинация, однородная степени k ( все члены являются k -лопастями для одного и того же k ). В зависимости от авторов «мультивектором» может быть либо k -вектор, либо любой элемент внешней алгебры (любая линейная комбинация k -лопастей с потенциально разными значениями k ). ^[4]

В дифференциальной геометрии k - вектор — это вектор внешней алгебры касательного векторного пространства ; то есть это антисимметричный тензор , полученный путем взятия линейных комбинаций внешнего произведения k касательных векторов для некоторого целого числа k ≥ 0 . Дифференциальная k -форма — это k - вектор во внешней алгебре двойственного касательного пространства, который также является двойственным к внешней алгебре касательного пространства.

Для k = 0, 1, 2 и 3 k - векторы часто называют соответственно скалярами , векторами , бивекторами и тривекторами ; они соответственно двойственны 0-формам, 1-формам, 2-формам и 3-формам . ^{[5] [6]}

Экстерьер продукта

Внешний продукт (также называемый продуктом-клином), используемый для построения мультивекторов, является полилинейным (линейным для каждого входа), ассоциативным и переменным. Это означает, что для векторов u , v и w в векторном пространстве V и для скаляров α , β внешнее произведение обладает свойствами:

• Линейный на входе: ${\displaystyle \mathbf {u} \wedge (\alpha \mathbf {v} +\beta \mathbf {w} )=\alpha \mathbf {u} \wedge \mathbf {v} +\beta \mathbf {u} \wedge \mathbf {w} ;}$
• Ассоциативный: ${\displaystyle (\mathbf {u} \wedge \mathbf {v} )\wedge \mathbf {w} =\mathbf {u} \wedge (\mathbf {v} \wedge \mathbf {w} );}$
• Чередование: ${\displaystyle \mathbf {u} \wedge \mathbf {u} =0.}$

Внешний продукт k векторов или сумма таких произведений (для одного k ) называется мультивектором степени k или k -вектором. Максимальный класс мультивектора — это размерность векторного пространства V.

Линейность на любом входе вместе со свойством чередования подразумевает линейность на другом входе. Полилинейность внешнего произведения позволяет выразить мультивектор как линейную комбинацию внешних произведений базисных векторов V . Внешний продукт k базисных векторов V - это стандартный способ построения каждого базисного элемента для пространства k -векторов, которое имеет размерность (^н
_к) во внешней алгебре n -мерного векторного пространства. ^[2]

Площадь и объём

k -вектор, полученный из внешнего произведения k отдельных векторов в n -мерном пространстве, имеет компоненты, которые определяют спроецированные ( k - 1 ) -объемы k - параллелоэдра , натянутого на векторы. Квадратный корень из суммы квадратов этих компонент определяет объем k -параллелотопа. ^{[2] [7]}

Следующие примеры показывают, что бивектор в двух измерениях измеряет площадь параллелограмма, а величина бивектора в трех измерениях также измеряет площадь параллелограмма. Точно так же трехмерный вектор в трех измерениях измеряет объем параллелепипеда.

Легко проверить, что величина трехвектора в четырех измерениях измеряет объем параллелепипеда, натянутого на эти векторы.

Мультивекторы в R 2

Свойства мультивекторов можно увидеть, рассматривая двумерное векторное пространство V = R ² . Пусть базисными векторами будут e ₁ и e ₂ , поэтому u и v задаются выражениями

${\displaystyle \mathbf {u} =u_{1}\mathbf {e} _{1}+u_{2}\mathbf {e} _{2},\quad \mathbf {v} =v_{1}\mathbf {e} _{1}+v_{2}\mathbf {e} _{2},}$

и мультивектор u ∧ v , также называемый бивектором, вычисляется как

${\displaystyle \mathbf {u} \wedge \mathbf {v} \ =\ {\begin{vmatrix}u_{1}&v_{1}\\u_{2}&v_{2}\end{vmatrix}}\ (\mathbf {e} _{1}\wedge \mathbf {e} _{2}).}$

Вертикальные полосы обозначают определитель матрицы, который представляет собой площадь параллелограмма, натянутого на векторы u и v . Величина u ∧ v — это площадь этого параллелограмма. Обратите внимание: поскольку V имеет _{размерность два ,} базисный бивектор e1 ∧ e2 является единственным мультивектором в Λ V .

Взаимосвязь между величиной мультивектора и площадью или объемом, охватываемым векторами, является важной особенностью во всех измерениях. Более того, линейная функциональная версия мультивектора, вычисляющая этот объем, известна как дифференциальная форма.

Мультивекторы в R 3

Дополнительные возможности мультивекторов можно увидеть, рассмотрев трехмерное векторное пространство V = R ³ . В этом случае пусть базисными векторами будут e ₁ , e ₂ и e ₃ , поэтому u , v и w задаются формулами

${\displaystyle {\begin{aligned}\mathbf {u} &=u_{1}\mathbf {e} _{1}+u_{2}\mathbf {e} _{2}+u_{3}\mathbf {e} _{3},&\mathbf {v} &=v_{1}\mathbf {e} _{1}+v_{2}\mathbf {e} _{2}+v_{3}\mathbf {e} _{3},&\mathbf {w} &=w_{1}\mathbf {e} _{1}+w_{2}\mathbf {e} _{2}+w_{3}\mathbf {e} _{3},\end{aligned}}}$

и бивектор u ∧ v вычисляется как

${\displaystyle \mathbf {u} \wedge \mathbf {v} \ =\ {\begin{vmatrix}u_{2}&v_{2}\\u_{3}&v_{3}\end{vmatrix}}\left(\mathbf {e} _{2}\wedge \mathbf {e} _{3}\right)+{\begin{vmatrix}u_{1}&v_{1}\\u_{3}&v_{3}\end{vmatrix}}\left(\mathbf {e} _{1}\wedge \mathbf {e} _{3}\right)+{\begin{vmatrix}u_{1}&v_{1}\\u_{2}&v_{2}\end{vmatrix}}\left(\mathbf {e} _{1}\wedge \mathbf {e} _{2}\right).}$

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

Это показывает, что величина бивектора u ∧ v представляет собой площадь параллелограмма, натянутого на векторы u и v , лежащего в трехмерном пространстве V . Компоненты бивектора — это проекции площадей параллелограмма на каждую из трех координатных плоскостей.

Обратите внимание: поскольку V имеет размерность три, в Λ V имеется один базисный трехвектор . Вычислить трехвектор

${\displaystyle \mathbf {u} \wedge \mathbf {v} \wedge \mathbf {w} \ =\ {\begin{vmatrix}u_{1}&v_{1}&w_{1}\\u_{2}&v_{2}&w_{2}\\u_{3}&v_{3}&w_{3}\end{vmatrix}}\left(\mathbf {e} _{1}\wedge \mathbf {e} _{2}\wedge \mathbf {e} _{3}\right).}$

Это показывает, что величина трехвектора u ∧ v ∧ w равна объему параллелепипеда, натянутого на три вектора u , v и w .

В многомерных пространствах составляющие трехвекторы представляют собой проекции объема параллелепипеда на координатные трехмерные пространства, а величина трехвектора - это объем параллелепипеда, находящегося в многомерном пространстве.

Координаты Грассмана

В этом разделе мы рассматриваем мультивекторы на проективном пространстве P ⁿ , которые предоставляют удобный набор координат для прямых, плоскостей и гиперплоскостей, обладающих свойствами, аналогичными однородным координатам точек, называемым координатами Грассмана . ^[8]

Точки в реальном проективном пространстве Pn определяются как линии, проходящие через начало векторного ^{пространства} Rn ^{+ 1} . Например, проективная плоскость P2 представляет собой набор прямых, ^{проходящих} через начало ^{координат} R3 . Таким образом, мультивекторы, определенные на R ^{n +1,} можно рассматривать как мультивекторы на P ⁿ .

Удобный способ просмотреть мультивектор на P ⁿ — это изучить его в аффинной компоненте P n , которая ^{представляет} собой пересечение линий, проходящих через начало координат R ^{n +1} , с выбранной гиперплоскостью, например H: x _{n +1.} = 1 . Линии, проходящие через начало координат R3 ^, пересекают плоскость E: z = 1 , определяя аффинную версию проективной плоскости, в которой отсутствуют только точки, для которых z = 0 , называемые точками на бесконечности.

Мультивекторы на P 2

Точки аффинной компоненты E: z = 1 проективной плоскости имеют координаты x = ( x , y , 1) . Линейная комбинация двух точек p = ( p ₁ , p ₂ , 1) и q = ( q ₁ , q ₂ , 1) определяет плоскость в R ³ , которая пересекает E по линии, соединяющей p и q . Мультивектор p ∧ q определяет параллелограмм в R ³ , заданный формулой

${\displaystyle \mathbf {p} \wedge \mathbf {q} \ =\ (p_{2}-q_{2})(\mathbf {e} _{2}\wedge \mathbf {e} _{3})+(p_{1}-q_{1})(\mathbf {e} _{1}\wedge \mathbf {e} _{3})+(p_{1}q_{2}-q_{1}p_{2})(\mathbf {e} _{1}\wedge \mathbf {e} _{2}).}$

Обратите внимание, что замена p на α p + β q умножает этот мультивектор на константу. Следовательно, компоненты p ∧ q являются однородными координатами плоскости, проходящей через начало координат R ³ .

Набор точек x = ( x , y , 1) на прямой, проходящей через p и q , является пересечением плоскости, определяемой p ∧ q , с плоскостью E: z = 1 . Эти точки удовлетворяют условию x ∧ p ∧ q = 0 , то есть

${\displaystyle \mathbf {x} \wedge \mathbf {p} \wedge \mathbf {q} \ =\ (x\mathbf {e} _{1}+y\mathbf {e} _{2}+\mathbf {e} _{3})\wedge {\big (}(p_{2}-q_{2})(\mathbf {e} _{2}\wedge \mathbf {e} _{3})+(p_{1}-q_{1})(\mathbf {e} _{1}\wedge \mathbf {e} _{3})+(p_{1}q_{2}-q_{1}p_{2})(\mathbf {e} _{1}\wedge \mathbf {e} _{2}){\big )}=0,}$

что упрощается до уравнения прямой

${\displaystyle \lambda :x(p_{2}-q_{2})+y(p_{1}-q_{1})+(p_{1}q_{2}-q_{1}p_{2})=0.}$

Этому уравнению удовлетворяют точки x = α p + β q для действительных значений α и β.

Три компонента p ∧ q , определяющие линию λ , называются грассмановыми координатами линии. Поскольку три однородные координаты определяют и точку, и линию, геометрия точек называется двойственной геометрии линий на проективной плоскости. Это называется принципом двойственности .

Мультивекторы на P 3

Трехмерное проективное пространство P ³ состоит из всех прямых, проходящих через начало координат R ⁴ . Пусть трехмерная гиперплоскость H: w = 1 — аффинная компонента проективного пространства, определяемая точками x = ( x , y , z , 1) . Мультивектор p ∧ q ∧ r определяет параллелепипед в R ⁴ , заданный формулой

${\displaystyle \mathbf {p} \wedge \mathbf {q} \wedge \mathbf {r} ={\begin{vmatrix}p_{2}&q_{2}&r_{2}\\p_{3}&q_{3}&r_{3}\\1&1&1\end{vmatrix}}\mathbf {e} _{2}\wedge \mathbf {e} _{3}\wedge \mathbf {e} _{4}+{\begin{vmatrix}p_{1}&q_{1}&r_{1}\\p_{3}&q_{3}&r_{3}\\1&1&1\end{vmatrix}}\mathbf {e} _{1}\wedge \mathbf {e} _{3}\wedge \mathbf {e} _{4}+{\begin{vmatrix}p_{1}&q_{1}&r_{1}\\p_{2}&q_{2}&r_{2}\\1&1&1\end{vmatrix}}\mathbf {e} _{1}\wedge \mathbf {e} _{2}\wedge \mathbf {e} _{4}+{\begin{vmatrix}p_{1}&q_{1}&r_{1}\\p_{2}&q_{2}&r_{2}\\p_{3}&q_{3}&r_{3}\end{vmatrix}}\mathbf {e} _{1}\wedge \mathbf {e} _{2}\wedge \mathbf {e} _{3}.}$

Обратите внимание, что замена p на α p + β q + γ r умножает этот мультивектор на константу. Следовательно, компоненты p ∧ q ∧ r являются однородными координатами трехмерного пространства, проходящего через начало координат R ⁴ .

Плоскость в аффинной компоненте H: w = 1 — это набор точек x = ( x , y , z , 1) в пересечении H с 3-пространством, определяемым p ∧ q ∧ r . Эти точки удовлетворяют условию x ∧ p ∧ q ∧ r = 0 , то есть

${\displaystyle \mathbf {x} \wedge \mathbf {p} \wedge \mathbf {q} \wedge \mathbf {r} =(x\mathbf {e} _{1}+y\mathbf {e} _{2}+z\mathbf {e} _{3}+\mathbf {e} _{4})\wedge \mathbf {p} \wedge \mathbf {q} \wedge \mathbf {r} =0,}$

которое упрощается до уравнения плоскости

${\displaystyle \lambda :x{\begin{vmatrix}p_{2}&q_{2}&r_{2}\\p_{3}&q_{3}&r_{3}\\1&1&1\end{vmatrix}}+y{\begin{vmatrix}p_{1}&q_{1}&r_{1}\\p_{3}&q_{3}&r_{3}\\1&1&1\end{vmatrix}}+z{\begin{vmatrix}p_{1}&q_{1}&r_{1}\\p_{2}&q_{2}&r_{2}\\1&1&1\end{vmatrix}}+{\begin{vmatrix}p_{1}&q_{1}&r_{1}\\p_{2}&q_{2}&r_{2}\\p_{3}&q_{3}&r_{3}\end{vmatrix}}=0.}$

Этому уравнению удовлетворяют точки x = α p + β q + γ r для действительных значений α , β и γ .

Четыре компонента p ∧ q ∧ r , определяющие плоскость λ , называются грассмановыми координатами плоскости. Поскольку четыре однородные координаты определяют и точку, и плоскость в проективном пространстве, геометрия точек двойственна геометрии плоскостей.

Линия как соединение двух точек: В проективном пространстве линию λ, проходящую через две точки p и q , можно рассматривать как пересечение аффинного пространства H: w = 1 с плоскостью x = α p + β q в R ⁴ . Мультивектор p ∧ q обеспечивает однородные координаты прямой

${\displaystyle {\begin{aligned}\lambda :\mathbf {p} \wedge \mathbf {q} &=(p_{1}\mathbf {e} _{1}+p_{2}\mathbf {e} _{2}+p_{3}\mathbf {e} _{3}+\mathbf {e} _{4})\wedge (q_{1}\mathbf {e} _{1}+q_{2}\mathbf {e} _{2}+q_{3}\mathbf {e} _{3}+\mathbf {e} _{4}),\\&={\begin{vmatrix}p_{1}&q_{1}\\1&1\end{vmatrix}}\mathbf {e} _{1}\wedge \mathbf {e} _{4}+{\begin{vmatrix}p_{2}&q_{2}\\1&1\end{vmatrix}}\mathbf {e} _{2}\wedge \mathbf {e} _{4}+{\begin{vmatrix}p_{3}&q_{3}\\1&1\end{vmatrix}}\mathbf {e} _{3}\wedge \mathbf {e} _{4}+{\begin{vmatrix}p_{2}&q_{2}\\p_{3}&q_{3}\end{vmatrix}}\mathbf {e} _{2}\wedge \mathbf {e} _{3}+{\begin{vmatrix}p_{3}&q_{3}\\p_{1}&q_{1}\end{vmatrix}}\mathbf {e} _{3}\wedge \mathbf {e} _{1}+{\begin{vmatrix}p_{1}&q_{1}\\p_{2}&q_{2}\end{vmatrix}}\mathbf {e} _{1}\wedge \mathbf {e} _{2}.\end{aligned}}}$

Они известны как координаты Плюкера линии, хотя они также являются примером координат Грассмана.

Линия как пересечение двух плоскостей: Линия µ в проективном пространстве также может быть определена как набор точек x , которые образуют пересечение двух плоскостей π и ρ , определенных мультивекторами третьего уровня, поэтому точки x являются решениями задачи линейные уравнения

${\displaystyle \mu :\mathbf {x} \wedge \pi =0,\mathbf {x} \wedge \rho =0.}$

Чтобы получить координаты Плакера линии µ , отобразите мультивекторы π и ρ в координаты их двойственной точки, используя звездный оператор Ходжа , ^[2]

${\displaystyle \mathbf {e} _{1}={\star }(\mathbf {e} _{2}\wedge \mathbf {e} _{3}\wedge \mathbf {e} _{4}),-\mathbf {e} _{2}={\star }(\mathbf {e} _{1}\wedge \mathbf {e} _{3}\wedge \mathbf {e} _{4}),\mathbf {e} _{3}={\star }(\mathbf {e} _{1}\wedge \mathbf {e} _{2}\wedge \mathbf {e} _{4}),-\mathbf {e} _{4}={\star }(\mathbf {e} _{1}\wedge \mathbf {e} _{2}\wedge \mathbf {e} _{3}),}$

затем

${\displaystyle {\star }\pi =\pi _{1}\mathbf {e} _{1}+\pi _{2}\mathbf {e} _{2}+\pi _{3}\mathbf {e} _{3}+\pi _{4}\mathbf {e} _{4},\quad {\star }\rho =\rho _{1}\mathbf {e} _{1}+\rho _{2}\mathbf {e} _{2}+\rho _{3}\mathbf {e} _{3}+\rho _{4}\mathbf {e} _{4}.}$

Итак, координаты Плюккера линии µ имеют вид

${\displaystyle \mu :({\star }\pi )\wedge ({\star }\rho )={\begin{vmatrix}\pi _{1}&\rho _{1}\\\pi _{4}&\rho _{4}\end{vmatrix}}\mathbf {e} _{1}\wedge \mathbf {e} _{4}+{\begin{vmatrix}\pi _{2}&\rho _{2}\\\pi _{4}&\rho _{4}\end{vmatrix}}\mathbf {e} _{2}\wedge \mathbf {e} _{4}+{\begin{vmatrix}\pi _{3}&\rho _{3}\\\pi _{4}&\rho _{4}\end{vmatrix}}\mathbf {e} _{3}\wedge \mathbf {e} _{4}+{\begin{vmatrix}\pi _{2}&\rho _{2}\\\pi _{3}&\rho _{3}\end{vmatrix}}\mathbf {e} _{2}\wedge \mathbf {e} _{3}+{\begin{vmatrix}\pi _{3}&\rho _{3}\\\pi _{1}&\rho _{1}\end{vmatrix}}\mathbf {e} _{3}\wedge \mathbf {e} _{1}+{\begin{vmatrix}\pi _{1}&\rho _{1}\\\pi _{2}&\rho _{2}\end{vmatrix}}\mathbf {e} _{1}\wedge \mathbf {e} _{2}.}$

Поскольку шесть однородных координат линии могут быть получены из соединения двух точек или пересечения двух плоскостей, линия называется самодвойственной в проективном пространстве.

Продукт Клиффорда

У.К.Клиффорд объединил мультивекторы со скалярным произведением , определенным в векторном пространстве, чтобы получить общую конструкцию для гиперкомплексных чисел, включающую обычные комплексные числа и кватернионы Гамильтона . ^{[9] [10]}

Произведение Клиффорда между двумя векторами u и v является билинейным и ассоциативным, как и внешнее произведение, и обладает дополнительным свойством: мультивектор uv связан с внутренним произведением u ⋅ v соотношением Клиффорда:

${\displaystyle \mathbf {u} \mathbf {v} +\mathbf {v} \mathbf {u} =2\mathbf {u} \cdot \mathbf {v} .}$

Отношение Клиффорда сохраняет свойство антикоммутации для перпендикулярных векторов. Это можно видеть из взаимно ортогональных единичных векторов e _i , i = 1, ..., n в R ⁿ : соотношение Клиффорда дает

${\displaystyle \mathbf {e} _{i}\mathbf {e} _{j}+\mathbf {e} _{j}\mathbf {e} _{i}=2\mathbf {e} _{i}\cdot \mathbf {e} _{j}=\delta _{i,j},}$

который показывает, что базисные векторы взаимно антикоммутируют,

${\displaystyle \mathbf {e} _{i}\mathbf {e} _{j}=-\mathbf {e} _{j}\mathbf {e} _{i},\quad i\neq j=1,\ldots ,n.}$

В отличие от внешнего произведения, произведение Клиффорда вектора на самого себя не равно нулю. Чтобы увидеть это, вычислите произведение

${\displaystyle \mathbf {e} _{i}\mathbf {e} _{i}+\mathbf {e} _{i}\mathbf {e} _{i}=2\mathbf {e} _{i}\cdot \mathbf {e} _{i}=2,}$

который дает

${\displaystyle \mathbf {e} _{i}\mathbf {e} _{i}=1,\quad i=1,\ldots ,n.}$

Набор мультивекторов, построенный с использованием произведения Клиффорда, дает ассоциативную алгебру, известную как алгебра Клиффорда . Внутренние произведения с разными свойствами можно использовать для построения разных алгебр Клиффорда. ^{[11] [12]}

Геометрическая алгебра

Термин k-лезвие использовался в книге Клиффорда от алгебры до геометрического исчисления (1984) ^[13]

Мультивекторы играют центральную роль в математической формулировке физики, известной как геометрическая алгебра. По словам Дэвида Хестенса ,

[Нескалярные] k -векторы иногда называют k-лопастями или просто лезвиями , чтобы подчеркнуть тот факт, что, в отличие от 0-векторов (скаляров), они обладают «направленными свойствами». ^[14]

В 2003 году термин «лезвие» для обозначения мультивектора, который можно записать как внешнее произведение [скаляра и] набора векторов, использовали К. Доран и А. Ласенби. Здесь, согласно утверждению «Любой мультивектор может быть выражен как сумма лопастей», скаляры неявно определяются как 0-лопасти. ^[15]

В геометрической алгебре мультивектор определяется как сумма k -лопастей разной степени , такая как сумма скаляра , вектора и 2-вектора. ^[16] Сумма только k -компонент степени называется k -вектором, ^[17] или однородным мультивектором. ^[18]

Элемент высшего класса в пространстве называется псевдоскаляром .

Если данный элемент однороден степени k , то это k -вектор, но не обязательно k -лопасть. Такой элемент является k -лопастью, если его можно выразить как внешнее произведение k векторов. Геометрическая алгебра, порожденная 4-мерным векторным пространством, иллюстрирует эту мысль на примере: сумма любых двух лопастей, одна из которых взята из плоскости XY, а другая — из плоскости ZW, образует 2-вектор, который не является 2-лопастной. В геометрической алгебре, порожденной векторным пространством размерности 2 или 3, все суммы 2-лопастей могут быть записаны как одно 2-лопасти.

Примеры

Геометрическая интерпретация элементов степени n в реальной внешней алгебре для n = 0 (точка со знаком), 1 (направленный отрезок или вектор), 2 (ориентированный плоский элемент), 3 (ориентированный объем). Внешний продукт n векторов можно визуализировать как любую n -мерную форму (например, n - параллелотоп , n - эллипсоид ); с величиной ( гиперобъемом ) и ориентацией , определяемой этим на его ( n - 1) -мерной границе и на какой стороне находится внутренняя часть. ^{[19] [20]}

• 0-векторы являются скалярами;
• 1-векторы являются векторами;
• 2-векторы — бивекторы ;
• ( n − 1)-векторы являются псевдовекторами ;
• n -векторы являются псевдоскалярами .

При наличии формы объема (например, при заданном скалярном произведении и ориентации) псевдовекторы и псевдоскаляры могут быть отождествлены с векторами и скалярами, что является обычным делом в векторном исчислении , но без формы объема это невозможно сделать, не сделав произвольную выбор.

В алгебре физического пространства (геометрическая алгебра евклидова 3-пространства, используемая в качестве модели (3+1)-пространства-времени) сумма скаляра и вектора называется паравектором и представляет точку в пространстве-времени ( вектор — пространство, скаляр — время).

Бивекторы

Бивектор — это элемент антисимметричного тензорного произведения касательного пространства с самим собой.

В геометрической алгебре бивектор также является элементом степени 2 (2-вектор), полученным в результате клинового произведения двух векторов, и поэтому геометрически это ориентированная область , точно так же, как вектор представляет собой ориентированный отрезок прямой. Если a и b — два вектора, бивектор a ∧ b имеет

• норма , которая является его площадью, заданной выражением

  ${\displaystyle \left\|\mathbf {a} \wedge \mathbf {b} \right\|=\left\|\mathbf {a} \right\|\,\left\|\mathbf {b} \right\|\,\sin(\phi _{a,b})}$

• направление: плоскость, на которой лежит эта область, т. е. плоскость, определяемая a и b , если они линейно независимы;
• ориентация (из двух), определяемая порядком умножения исходных векторов.

Бивекторы связаны с псевдовекторами и используются для представления вращений в геометрической алгебре.

Поскольку бивекторы являются элементами векторного пространства Λ ² V (где V — конечномерное векторное пространство с dim V = n ), имеет смысл определить скалярное произведение в этом векторном пространстве следующим образом. Сначала запишем любой элемент F ∈ Λ ² V в терминах базиса ( e _i ∧ e _j ) _{1 ⩽ i < j ⩽ n} из Λ ² V как

${\displaystyle F=F^{ab}\mathbf {e} _{a}\wedge \mathbf {e} _{b}\quad (1\leq a<b\leq n),}$

где используется соглашение Эйнштейна о суммировании .

Теперь определим отображение G : Λ ² V × Λ ² V → R , настаивая на том, что

${\displaystyle G(F,H):=G_{abcd}F^{ab}H^{cd},}$

где набор цифр. ${\displaystyle G_{abcd}}$

Приложения

Бивекторы играют много важных ролей в физике, например, в классификации электромагнитных полей .

Смотрите также

• Лезвие (геометрия)
• Паравектор

Рекомендации

1. Джон Снигг (2012), Новый подход к дифференциальной геометрии с использованием геометрической алгебры Клиффорда , Биркхойзер, стр. 5 §2.12
2. Харли Фландерс (1989) [1963] Дифференциальные формы с приложениями к физическим наукам , § 2.1 Пространство p -векторов, страницы 5–7, Dover Books
3. Венделл Флеминг (1977) [1965] Функции нескольких переменных , раздел 7.5 Мультивекторы, страница 295, ISBN  978-1-4684-9461-7
4. Эли Картан, Теория спиноров , с. 16 рассматривает только однородные векторы, особенно простые, называя их «мультивекторами» (в совокупности) или p -векторами (конкретно).
5. Уильям М. Пеццалья младший (1992). «Вывод характеристических гиперповерхностей уравнений Максвелла из алгебры Клиффорда». В Юлиане Лавриновиче (ред.). Деформации математических структур II . Спрингер. п. 131 и далее . ISBN 0-7923-2576-1. Следовательно, в 3D мы связываем альтернативные члены псевдовектора для бивектора и псевдоскаляра для тривектора.
6. Бэйлис (1994). Теоретические методы в физических науках: введение в решение задач с использованием Мэйпла В. Биркхойзер. п. 234, см. сноску. ISBN 0-8176-3715-Х.
7. Г. Е. Шилов, Линейная алгебра , (перевод Р. А. Сильвермана), Dover Publications, 1977.
8. WVD Ходж и Д. Педо, Методы алгебраической геометрии, Vol. 1, Кембриджский университет. Пресс, 1947 год.
9. У.К. Клиффорд, «Предварительный набросок бикватернионов», Proc. Лондонская математика. Соц. Том. 4 (1873) стр. 381–395.
10. У.К. Клиффорд, Математические статьи (ред. Р. Такер), Лондон: Macmillan, 1882.
11. Дж. М. Маккарти, Введение в теоретическую кинематику, стр. 62–5, MIT Press 1990.
12. О. Боттема и Б. Рот, Теоретическая кинематика, North Holland Publ. Компания, 1979 г.
13. Дэвид Хестенс и Гаррет Собчик (1984) От алгебры Клиффорда до геометрического исчисления , стр. 4, ISBN Д. Рейделя 90-277-1673-0 
14. Дэвид Хестенс (1999) [1986] Новые основы классической механики, стр. 34, ISBN Д. Рейделя 90-277-2090-8 
15. К. Доран и А. Ласенби (2003) Геометрическая алгебра для физиков , стр. 87, ISBN Cambridge University Press 9780511807497 
16. Маркос А. Родригес (2000). «§1.2 Геометрическая алгебра: краткий обзор». Инварианты для распознавания и классификации образов . Всемирная научная. п. 3 и далее . ISBN 981-02-4278-6.
17. Р. Уэрхэм, Дж. Кэмерон и Дж. Ласенби (2005). «Применение конформной геометрической алгебры в компьютерном зрении и графике». В Хунбо Ли; Питер Дж. Олвер ; Джеральд Соммер (ред.). Компьютерная алгебра и геометрическая алгебра с приложениями . Спрингер. п. 330. ИСБН 3-540-26296-2.
18. Эдуардо Байро-Коррочано (2004). «Геометрическая алгебра Клиффорда: многообещающая основа компьютерного зрения, робототехники и обучения». В Альберто Санфелиу; Хосе Франсиско Мартинес Тринидад; Хесус Ариэль Карраско Очоа (ред.). Прогресс в распознавании образов, анализе изображений и приложениях . Спрингер. п. 25. ISBN 3-540-23527-2.
19. Р. Пенроуз (2007). Дорога к реальности . Винтажные книги. ISBN 978-0-679-77631-4.
20. Дж. А. Уилер; К. Миснер; К. С. Торн (1973). Гравитация . WH Freeman & Co. с. 83. ИСБН 0-7167-0344-0.