WikiDer > Paravector

Эта статья требует внимания специалиста по математике. Пожалуйста, добавьте причина или разговаривать в этот шаблон, чтобы объяснить проблему со статьей. ВикиПроект по математике может помочь нанять эксперта. (Февраль 2010 г.)

Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Февраль 2010 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Название паравектор используется для суммы скаляра и вектора в любом Алгебра Клиффорда (Алгебра Клиффорда также известна как геометрическая алгебра в сообществе физиков.)

Это название было дано Дж. Г. Максом, докторской диссертацией, Технический университет Делфта (Нидерланды), 1989.

Полная алгебра паравекторов вместе с соответствующими обобщениями более высокого уровня, все в контексте евклидова пространства трех измерений, является альтернативным подходом к алгебра пространства-времени (STA) представил Дэвид Хестенес. Эта альтернативная алгебра называется алгебра физического пространства (APS).

Основная аксиома

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

${ Displaystyle mathbf {v} mathbf {v} = mathbf {v} cdot mathbf {v}}$

Письмо

${ Displaystyle mathbf {v} = mathbf {u} + mathbf {w},}$

и вводя это в выражение основной аксиомы

${ Displaystyle ( mathbf {u} + mathbf {w}) ^ {2} = mathbf {u} mathbf {u} + mathbf {u} mathbf {w} + mathbf {w} mathbf {u} + mathbf {w} mathbf {w},}$

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

${ Displaystyle mathbf {u} cdot mathbf {u} +2 mathbf {u} cdot mathbf {w} + mathbf {w} cdot mathbf {w} = mathbf {u} cdot mathbf {u} + mathbf {u} mathbf {w} + mathbf {w} mathbf {u} + mathbf {w} cdot mathbf {w},}$

что позволяет идентифицировать скалярное произведение двух векторов как

${ displaystyle mathbf {u} cdot mathbf {w} = { frac {1} {2}} left ( mathbf {u} mathbf {w} + mathbf {w} mathbf {u} верно).}$

В качестве важного следствия мы заключаем, что два ортогональных вектора (с нулевым скалярным произведением) антикоммутация

${ displaystyle mathbf {u} mathbf {w} + mathbf {w} mathbf {u} = 0}$

Трехмерное евклидово пространство

Следующий список представляет собой пример полной основы для ${ displaystyle C ell _ {3}}$Космос,

${ displaystyle {1, { mathbf {e} _ {1}, mathbf {e} _ {2}, mathbf {e} _ {3} }, { mathbf {e} _ { 23}, mathbf {e} _ {31}, mathbf {e} _ {12} }, mathbf {e} _ {123} },}$

который образует восьмимерное пространство, где несколько индексов указывают произведение соответствующих базисных векторов, например

${ displaystyle mathbf {e} _ {23} = mathbf {e} _ {2} mathbf {e} _ {3}.}$

Класс базового элемента определяется в терминах кратности вектора, так что

Оценка	Тип	Базовый элемент / ы
0	Унитарный действительный скаляр	${ displaystyle 1}$
1	Вектор	${ displaystyle { mathbf {e} _ {1}, mathbf {e} _ {2}, mathbf {e} _ {3} }}$
2	Бивектор	${ displaystyle { mathbf {e} _ {23}, mathbf {e} _ {31}, mathbf {e} _ {12} }}$
3	Элемент объемного тривектора	${ displaystyle mathbf {e} _ {123}}$

Согласно основной аксиоме, два разных базисных вектора антикоммутация,

${ displaystyle mathbf {e} _ {i} mathbf {e} _ {j} + mathbf {e} _ {j} mathbf {e} _ {i} = 2 delta _ {ij}}$

или другими словами,

${ displaystyle mathbf {e} _ {i} mathbf {e} _ {j} = - mathbf {e} _ {j} mathbf {e} _ {i} , ,; i neq j }$

Это означает, что элемент объема ${ displaystyle mathbf {e} _ {123}}$ квадраты к ${ displaystyle -1}$

${ displaystyle mathbf {e} _ {123} ^ {2} = mathbf {e} _ {1} mathbf {e} _ {2} mathbf {e} _ {3} mathbf {e} _ {1} mathbf {e} _ {2} mathbf {e} _ {3} = mathbf {e} _ {2} mathbf {e} _ {3} mathbf {e} _ {2} mathbf {e} _ {3} = - mathbf {e} _ {3} mathbf {e} _ {3} = - 1.}$

Кроме того, элемент объема ${ displaystyle mathbf {e} _ {123}}$ коммутирует с любым другим элементом ${ Displaystyle C ell (3)}$ алгебра, так что ее можно отождествить с комплексным числом ${ displaystyle i}$, когда нет опасности путаницы. Фактически, элемент объема ${ displaystyle mathbf {e} _ {123}}$ вместе с вещественным скаляром образует алгебру, изоморфную стандартной комплексной алгебре. Элемент объема можно использовать для переписывания эквивалентной формы основы как

Оценка	Тип	Базовый элемент / ы
0	Унитарный действительный скаляр	${ displaystyle 1}$
1	Вектор	${ displaystyle { mathbf {e} _ {1}, mathbf {e} _ {2}, mathbf {e} _ {3} }}$
2	Бивектор	${ displaystyle {я mathbf {е} _ {1}, я mathbf {e} _ {2}, я mathbf {e} _ {3} }}$
3	Элемент объемного тривектора	${ displaystyle i}$

Паравекторы

Соответствующий паравекторный базис, объединяющий действительный скаляр и векторы, есть

${ displaystyle {1, mathbf {e} _ {1}, mathbf {e} _ {2}, mathbf {e} _ {3} }}$,

который образует четырехмерное линейное пространство. Паравекторное пространство в трехмерном евклидовом пространстве ${ displaystyle C ell _ {3}}$ может использоваться для представления пространства-времени специальная теория относительности как выражено в алгебра физического пространства (APS).

Единичный скаляр удобно записать как ${ displaystyle 1 = mathbf {e} _ {0}}$, так что полный базис можно записать в компактном виде как

${ displaystyle { mathbf {e} _ { mu} },}$

где греческие индексы, такие как ${ displaystyle mu}$ бежать от ${ displaystyle 0}$ к ${ displaystyle 3}$.

Антиавтоморфизм

Обратное спряжение

Реверсия антиавтоморфизм обозначается ${ displaystyle dagger}$. Действие этого спряжения - изменить порядок геометрического произведения (произведение чисел Клиффорда в целом).

${ displaystyle (AB) ^ { dagger} = B ^ { dagger} A ^ { dagger}}$,

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

${ displaystyle mathbf {a} ^ { dagger} = mathbf {a}}$

${ displaystyle 1 ^ { dagger} = 1}$

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

Элемент	Обратное спряжение
${ displaystyle 1}$	${ displaystyle 1}$
${ displaystyle mathbf {e} _ {1}}$	${ displaystyle mathbf {e} _ {1}}$
${ displaystyle mathbf {e} _ {2}}$	${ displaystyle mathbf {e} _ {2}}$
${ displaystyle mathbf {e} _ {3}}$	${ displaystyle mathbf {e} _ {3}}$
${ displaystyle mathbf {e} _ {12}}$	${ displaystyle - mathbf {e} _ {12}}$
${ displaystyle mathbf {e} _ {23}}$	${ displaystyle - mathbf {e} _ {23}}$
${ displaystyle mathbf {e} _ {31}}$	${ displaystyle - mathbf {e} _ {31}}$
${ displaystyle mathbf {e} _ {123}}$	${ displaystyle - mathbf {e} _ {123}}$

Спряжение Клиффорда

Спряжение Клиффорда обозначается полосой над объектом. ${ displaystyle { bar {}}}$. Это спряжение также называют спряжение бара.

Конъюгация Клиффорда - это сочетание ступенчатой ​​инволюции и реверсии.

Действие конъюгации Клиффорда на паравекторе состоит в том, чтобы поменять знак векторов, сохраняя знак действительных скалярных чисел, например

${ displaystyle { bar { mathbf {a}}} = - mathbf {a}}$

${ displaystyle { bar {1}} = 1}$

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

В качестве антиавтоморфизма спряжение Клиффорда распределяется как

${ Displaystyle { overline {AB}} = { overline {B}} , , { overline {A}}}$

Сопряжение стержней, применяемое к каждому базисному элементу, приведено ниже.

Элемент	Барное спряжение
${ displaystyle 1}$	${ displaystyle 1}$
${ displaystyle mathbf {e} _ {1}}$	${ displaystyle - mathbf {e} _ {1}}$
${ displaystyle mathbf {e} _ {2}}$	${ displaystyle - mathbf {e} _ {2}}$
${ displaystyle mathbf {e} _ {3}}$	${ displaystyle - mathbf {e} _ {3}}$
${ displaystyle mathbf {e} _ {12}}$	${ displaystyle - mathbf {e} _ {12}}$
${ displaystyle mathbf {e} _ {23}}$	${ displaystyle - mathbf {e} _ {23}}$
${ displaystyle mathbf {e} _ {31}}$	${ displaystyle - mathbf {e} _ {31}}$
${ displaystyle mathbf {e} _ {123}}$	${ displaystyle mathbf {e} _ {123}}$

• Примечание. Элемент объема инвариантен относительно сопряжения стержня.

Автоморфизм степени

Автоморфизм степени${ displaystyle { overline {AB}} ^ { dagger} = { overline {A}} ^ { dagger} { overline {B}} ^ { dagger}}$определяется как составное действие как обратного конъюгации, так и конъюгации Клиффорда, и имеет эффект инвертирования знака многовекторов нечетного уровня при сохранении инвариантности многовекторов четного уровня:

Элемент	Инволюция степени
${ displaystyle 1}$	${ displaystyle 1}$
${ displaystyle mathbf {e} _ {1}}$	${ displaystyle - mathbf {e} _ {1}}$
${ displaystyle mathbf {e} _ {2}}$	${ displaystyle - mathbf {e} _ {2}}$
${ displaystyle mathbf {e} _ {3}}$	${ displaystyle - mathbf {e} _ {3}}$
${ displaystyle mathbf {e} _ {12}}$	${ displaystyle mathbf {e} _ {12}}$
${ displaystyle mathbf {e} _ {23}}$	${ displaystyle mathbf {e} _ {23}}$
${ displaystyle mathbf {e} _ {31}}$	${ displaystyle mathbf {e} _ {31}}$
${ displaystyle mathbf {e} _ {123}}$	${ displaystyle - mathbf {e} _ {123}}$

Инвариантные подпространства согласно сопряжениям

Четыре специальных подпространства могут быть определены в ${ displaystyle C ell _ {3}}$ на основе их симметрии относительно реверсии и сопряжения Клиффорда

• Скалярное подпространство: Инвариантен относительно сопряжения Клиффорда.
• Векторное подпространство: Меняет знак при спряжении Клиффорда.
• Реальное подпространство: Инвариантен относительно обратного спряжения.
• Мнимое подпространство: Меняет знак при обратном спряжении.

Данный ${ displaystyle p}$ как общее число Клиффорда, дополнительная скалярная и векторная части ${ displaystyle p}$ задаются симметричными и антисимметричными комбинациями с клиффордовым сопряжением

${ displaystyle langle p rangle _ {S} = { frac {1} {2}} (p + { overline {p}}),}$

${ displaystyle langle p rangle _ {V} = { frac {1} {2}} (p - { overline {p}})}$.

Подобным образом дополняющие Реальную и Мнимую части ${ displaystyle p}$ задаются симметричными и антисимметричными комбинациями с реверсионным сопряжением

${ displaystyle langle p rangle _ {R} = { frac {1} {2}} (p + p ^ { dagger}),}$

${ displaystyle langle p rangle _ {I} = { frac {1} {2}} (p-p ^ { dagger})}$.

Можно определить четыре пересечения, перечисленных ниже

${ displaystyle langle p rangle _ {RS} = langle p rangle _ {SR} Equiv langle langle p rangle _ {R} rangle _ {S}}$

${ displaystyle langle p rangle _ {RV} = langle p rangle _ {VR} Equiv langle langle p rangle _ {R} rangle _ {V}}$

${ displaystyle langle p rangle _ {IV} = langle p rangle _ {VI} Equiv langle langle p rangle _ {I} rangle _ {V}}$

${ displaystyle langle p rangle _ {IS} = langle p rangle _ {SI} Equiv langle langle p rangle _ {I} rangle _ {S}}$

В следующей таблице приведены оценки соответствующих подпространств, где, например, оценка 0 может рассматриваться как пересечение подпространств Real и Scalar.

• Примечание: термин «мнимое» используется в контексте ${ displaystyle C ell _ {3}}$ алгебры и не подразумевает введения стандартных комплексных чисел в какой-либо форме.

Замкнутые подпространства по отношению к продукту

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

• Скалярное пространство, составленное из степеней 0 и 3, изоморфно стандартной алгебре сложные числа с идентификацией

${ displaystyle mathbf {e} _ {123} = i}$

• Четное пространство, составленное из элементов 0 и 2 классов, изоморфно алгебре кватернионы с идентификацией

${ displaystyle - mathbf {e} _ {23} = i}$

${ displaystyle - mathbf {e} _ {31} = j}$

${ displaystyle - mathbf {e} _ {12} = k}$

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

Учитывая два паравектора ${ displaystyle u}$ и ${ displaystyle v}$, обобщение скалярного произведения есть

${ displaystyle langle u { bar {v}} rangle _ {S}.}$

Квадрат величин паравектора ${ displaystyle u}$ является

${ displaystyle langle u { bar {u}} rangle _ {S},}$

что не определенная билинейная форма и может быть равным нулю, даже если паравектор не равен нулю.

Очень показательно, что паравекторное пространство автоматически подчиняется метрике Пространство Минковскогопотому что${ displaystyle eta _ { mu nu} = langle mathbf {e} _ { mu} { bar { mathbf {e}}} _ { nu} rangle _ {S}}$

и в частности:

${ displaystyle eta _ {00} = langle mathbf {e} _ {0} { bar { mathbf {e}}} _ {0} rangle = langle 1 (1) rangle _ {S } = 1,}$

${ displaystyle eta _ {11} = langle mathbf {e} _ {1} { bar { mathbf {e}}} _ {1} rangle = langle mathbf {e} _ {1} (- mathbf {e} _ {1}) rangle _ {S} = - 1,}$

${ displaystyle eta _ {01} = langle mathbf {e} _ {0} { bar { mathbf {e}}} _ {1} rangle = langle 1 (- mathbf {e} _ {1}) rangle _ {S} = 0.}$

Бипаравекторы

Учитывая два паравектора ${ displaystyle u}$ и ${ displaystyle v}$, то бипаравектор B определяется как:

${ displaystyle B = langle u { bar {v}} rangle _ {V}}$.

Бипаравекторный базис можно записать как

${ displaystyle { langle mathbf {e} _ { mu} { bar { mathbf {e}}} _ { nu} rangle _ {V} },}$

который содержит шесть независимых элементов, включая действительные и мнимые члены. Три действительных элемента (вектора) как

${ displaystyle langle mathbf {e} _ {0} { bar { mathbf {e}}} _ {k} rangle _ {V} = - mathbf {e} _ {k},}$

и три мнимых элемента (бивекторы) в виде

${ displaystyle langle mathbf {e} _ {j} { bar { mathbf {e}}} _ {k} rangle _ {V} = - mathbf {e} _ {jk}}$

куда ${ displaystyle j, k}$ бег с 1 по 3.

в Алгебра физического пространства, электромагнитное поле выражается как бипаравектор как

${ Displaystyle F = mathbf {E} + я mathbf {B} ^ {,},}$

где электрическое и магнитное поля являются действительными векторами

${ Displaystyle mathbf {E} ^ { dagger} = mathbf {E}}$

${ Displaystyle mathbf {B} ^ { dagger} = mathbf {B}}$

и ${ displaystyle i}$ представляет собой элемент псевдоскалярного объема.

Другой пример бипаравектора - это представление скорости вращения пространства-времени, которое может быть выражено как

${ displaystyle W = я theta ^ {j} mathbf {e} _ {j} + eta ^ {j} mathbf {e} _ {j},}$

с тремя обычными переменными угла поворота ${ displaystyle theta ^ {j}}$ и три быстроты ${ displaystyle eta ^ {j}}$.

Трипаравекторы

Учитывая три паравектора ${ displaystyle u}$, ${ displaystyle v}$ и ${ displaystyle w}$, то трипаравектор T определяется как:

${ displaystyle T = langle u { bar {v}} w rangle _ {I}}$.

Базис трипаравектора можно записать как

${ displaystyle { langle mathbf {e} _ { mu} { bar { mathbf {e}}} _ { nu} mathbf {e} _ { lambda} rangle _ {I} },}$

но существует только четыре независимых трипаравектора, поэтому его можно свести к

${ Displaystyle {я mathbf {е} _ { rho} }}$.

Псевдоскалярный

Псевдоскалярный базис${ displaystyle { langle mathbf {e} _ { mu} { bar { mathbf {e}}} _ { nu} mathbf {e} _ { lambda} { bar { mathbf { e}}} _ { rho} rangle _ {IS} },}$

но расчет показывает, что он содержит только один член. Этот термин - элемент объема ${ displaystyle i = mathbf {e} _ {1} mathbf {e} _ {2} mathbf {e} _ {3}}$.

Четыре степени, взятые в комбинации пар, образуют пространства паравектора, бипаравектора и трипаравектора, как показано в следующей таблице, где, например, мы видим, что паравектор состоит из оценок 0 и 1.

Параградиент

В параградиент Оператор является обобщением оператора градиента в паравекторном пространстве. Параградиент в базисе стандартного паравектора равен

${ displaystyle partial = mathbf {e} _ {0} partial _ {0} - mathbf {e} _ {1} partial _ {1} - mathbf {e} _ {2} partial _ {2} - mathbf {e} _ {3} partial _ {3},}$

что позволяет писать оператор Даламбера в качестве

${ displaystyle square = langle { bar { partial}} partial rangle _ {S} = langle partial { bar { partial}} rangle _ {S}}$

Стандартный оператор градиента можно естественным образом определить как

${ displaystyle nabla = mathbf {e} _ {1} partial _ {1} + mathbf {e} _ {2} partial _ {2} + mathbf {e} _ {3} partial _ {3},}$

так что параградиент можно записать как

${ displaystyle partial = partial _ {0} - nabla,}$

куда ${ displaystyle mathbf {e} _ {0} = 1}$.

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

${ Displaystyle partial e ^ {е (х) mathbf {e} _ {3}} = ( partial f (x)) e ^ {f (x) mathbf {e} _ {3}} mathbf {e} _ {3},}$

куда ${ displaystyle f (x)}$ является скалярной функцией координат.

Параградиент - это оператор, который всегда действует слева, если функция является скалярной функцией. Однако, если функция не скалярная, параградиент также может действовать справа. Например, следующее выражение раскрывается как

${ displaystyle (L partial) = mathbf {e} _ {0} partial _ {0} L + ( partial _ {1} L) mathbf {e} _ {1} + ( partial _ {2 } L) mathbf {e} _ {2} + ( partial _ {3} L) mathbf {e} _ {3}}$

Нулевые паравекторы как проекторы

Нулевые паравекторы - это элементы, которые не обязательно равны нулю, но имеют нулевую величину. Для нулевого паравектора ${ displaystyle p}$, это свойство обязательно влечет следующее тождество

${ displaystyle p { bar {p}} = 0.}$

В контексте специальной теории относительности их также называют светоподобными паравекторами.

Проекторы - это нулевые паравекторы формы

${ displaystyle P _ { mathbf {k}} = { frac {1} {2}} (1 + { hat { mathbf {k}}}),}$

куда ${ displaystyle { hat { mathbf {k}}}}$ - единичный вектор.

Проектор ${ displaystyle P _ { mathbf {k}}}$ такой формы имеет дополнительный проектор ${ displaystyle { bar {P}} _ { mathbf {k}}}$

${ displaystyle { bar {P}} _ { mathbf {k}} = { frac {1} {2}} (1 - { hat { mathbf {k}}}),}$

такой, что

${ displaystyle P _ { mathbf {k}} + { bar {P}} _ { mathbf {k}} = 1}$

Как проекторы, они идемпотентны.

${ Displaystyle P _ { mathbf {k}} = P _ { mathbf {k}} P _ { mathbf {k}} = P _ { mathbf {k}} P _ { mathbf {k}} P _ { mathbf { k}} = ...}$

и проекция одного на другой равна нулю, потому что они являются нулевыми паравекторами

${ displaystyle P _ { mathbf {k}} { bar {P}} _ { mathbf {k}} = 0.}$

Соответствующий единичный вектор проектора может быть извлечен как

${ displaystyle { hat { mathbf {k}}} = P _ { mathbf { mathbf {k}}} - { bar {P}} _ { mathbf {k}},}$

это означает, что ${ displaystyle { hat { mathbf {k}}}}$ - оператор с собственными функциями ${ displaystyle P _ { mathbf { mathbf {k}}}}$ и ${ displaystyle { bar {P}} _ { mathbf { mathbf {k}}}}$, с соответствующими собственными значениями ${ displaystyle 1}$ и ${ displaystyle -1}$.

Из предыдущего результата следующая идентификация действительна при условии, что ${ displaystyle f ({ шляпа { mathbf {k}}})}$ аналитична около нуля

${ displaystyle f ({ hat { mathbf {k}}}) = f (1) P _ { mathbf {k}} + f (-1) { bar {P}} _ { mathbf {k} }.}$

Это дает начало pacwoman свойство, такое, что выполняются следующие тождества

${ displaystyle f ({ hat { mathbf {k}}}) P _ { mathbf {k}} = f (1) P _ { mathbf {k}},}$

${ displaystyle f ({ hat { mathbf {k}}}) { bar {P}} _ { mathbf {k}} = f (-1) { bar {P}} _ { mathbf { k}}.}$

Нулевой базис для паравекторного пространства

Базис элементов, каждый из которых нулевой, может быть построен для полного ${ displaystyle C ell _ {3}}$ Космос. В основе интереса лежит следующее

${ displaystyle {{ bar {P}} _ {3}, P_ {3} mathbf {e} _ {1}, P_ {3}, mathbf {e} _ {1} P_ {3} }}$

так что произвольный паравектор

${ displaystyle p = p ^ {0} mathbf {e} _ {0} + p ^ {1} mathbf {e} _ {1} + p ^ {2} mathbf {e} _ {2} + п ^ {3} mathbf {e} _ {3}}$

можно записать как

${ displaystyle p = (p ^ {0} + p ^ {3}) P_ {3} + (p ^ {0} -p ^ {3}) { bar {P}} _ {3} + (p ^ {1} + ip ^ {2}) mathbf {e} _ {1} P_ {3} + (p ^ {1} -ip ^ {2}) P_ {3} mathbf {e} _ {1 }}$

Это представление полезно для некоторых систем, которые естественным образом выражаются черезпеременные светового конуса которые являются коэффициентами при ${ displaystyle P_ {3}}$ и ${ displaystyle { bar {P}} _ {3}}$ соответственно.

Каждое выражение в паравекторе может быть записано в терминах нулевого базиса. Паравектор ${ displaystyle p}$ в общем случае параметризуется двумя действительными скалярными числами ${ Displaystyle {и, v }}$ и общее скалярное число ${ displaystyle w}$ (включая скалярные и псевдоскалярные числа)

${ displaystyle p = u { bar {P}} _ {3} + vP_ {3} + w mathbf {e} _ {1} P_ {3} + w ^ { dagger} P_ {3} mathbf {e} _ {1}}$

параградиент в нулевом базисе

${ displaystyle partial = 2P_ {3} partial _ {u} +2 { bar {P}} _ {3} partial _ {v} -2 mathbf {e} _ {1} P_ {3} partial _ {w ^ { dagger}} - 2P_ {3} mathbf {e} _ {1} partial _ {w}}$

Высшие измерения

N-мерное евклидово пространство допускает существование мультивекторов степени n (n-векторов). Размерность векторного пространства, очевидно, равна n, и простой комбинаторный анализ показывает, что размерность бивекторного пространства равна ${ displaystyle { begin {pmatrix} n 2 end {pmatrix}}}$. В общем, размерность многовекторного пространства степени m равна ${ displaystyle { begin {pmatrix} n m end {pmatrix}}}$ и размерность всей алгебры Клиффорда ${ Displaystyle C ell (п)}$ является ${ Displaystyle 2 ^ {п}}$.

Данный многовектор с однородным классом либо инвариантен, либо меняет знак под действием реверсионного сопряжения ${ displaystyle dagger}$. Элементы, которые остаются инвариантными, определяются как эрмитовы, а те, которые меняют знак, определяются как антиэрмитовые. Таким образом, оценки можно классифицировать следующим образом:

Оценка	Классификация
${ displaystyle 0}$	Эрмитский
${ displaystyle 1}$	Эрмитский
${ displaystyle 2}$	Антиэрмитский
${ displaystyle 3}$	Антиэрмитский
${ displaystyle 4}$	Эрмитский
${ displaystyle 5}$	Эрмитский
${ displaystyle 6}$	Антиэрмитский
${ displaystyle 7}$	Антиэрмитский
${ displaystyle vdots}$	${ displaystyle vdots}$

Матричное представление

Алгебра ${ Displaystyle C ell (3)}$ пространство изоморфно Матрица Паули алгебра такая, что

	Матричное представление 3D	Явная матрица
${ displaystyle mathbf {e} _ {0}}$	${ displaystyle sigma _ {0} ^ {}}$	${ displaystyle { begin {pmatrix} 1 && 0 0 && 1 end {pmatrix}}}$
${ displaystyle mathbf {e} _ {1}}$	${ displaystyle sigma _ {1} ^ {}}$	${ displaystyle { begin {pmatrix} 0 && 1 1 && 0 end {pmatrix}}}$
${ displaystyle mathbf {e} _ {2}}$	${ displaystyle sigma _ {2} ^ {}}$	${ displaystyle { begin {pmatrix} 0 && - i i && 0 end {pmatrix}}}$
${ displaystyle mathbf {e} _ {3}}$	${ displaystyle sigma _ {3} ^ {}}$	${ displaystyle { begin {pmatrix} 1 && 0 0 && - 1 end {pmatrix}}}$

из которого нулевые базовые элементы становятся${ displaystyle {P_ {3}} = { begin {pmatrix} 1 & 0 0 & 0 end {pmatrix}} ,; { bar {P}} _ {3} = { begin {pmatrix} 0 & 0 0 & 1 end {pmatrix}} ,; {P_ {3}} mathbf {e} _ {1} = { begin {pmatrix} 0 & 1 0 & 0 end {pmatrix}} ,; mathbf {e} _ {1} {P} _ {3} = { begin {pmatrix} 0 & 0 1 & 0 end {pmatrix}}.}$

Общее число Клиффорда в 3D можно записать как

${ displaystyle Psi = psi _ {11} P_ {3} - psi _ {12} P_ {3} mathbf {e} _ {1} + psi _ {21} mathbf {e} _ { 1} P_ {3} + psi _ {22} { bar {P}} _ {3},}$

где коэффициенты ${ displaystyle psi _ {jk}}$ являются скалярными элементами (включая псевдоскаляры). Индексы были выбраны так, чтобы представление этого числа Клиффорда через матрицы Паули было

${ displaystyle Psi rightarrow { begin {pmatrix} psi _ {11} & psi _ {12} psi _ {21} & psi _ {22} end {pmatrix}}}$

Спряжения

Обратное сопряжение переводится в эрмитово сопряжение, а спряжение с полосой переводится в следующую матрицу:${ displaystyle { bar { Psi}} rightarrow { begin {pmatrix} psi _ {22} & - psi _ {12} - psi _ {21} & psi _ {11} конец {pmatrix}},}$такой, что скалярная часть переводится как

${ displaystyle langle Psi rangle _ {S} rightarrow { frac { psi _ {11} + psi _ {22}} {2}} { begin {pmatrix} 1 & 0 0 & 1 end { pmatrix}} = { frac {Tr [ psi]} {2}} mathbf {1} _ {2 times 2}}$

Остальные подпространства переводятся как

${ displaystyle langle Psi rangle _ {V} rightarrow { begin {pmatrix} 0 & psi _ {12} psi _ {21} & 0 end {pmatrix}}}$

${ displaystyle langle Psi rangle _ {R} rightarrow { frac {1} {2}} { begin {pmatrix} psi _ {11} + psi _ {11} ^ {*} & psi _ {12} + psi _ {21} ^ {*} psi _ {21} + psi _ {12} ^ {*} & psi _ {22} + psi _ {22} ^ {*} end {pmatrix}}}$

${ displaystyle langle Psi rangle _ {I} rightarrow { frac {1} {2}} { begin {pmatrix} psi _ {11} - psi _ {11} ^ {*} & psi _ {12} - psi _ {21} ^ {*} psi _ {21} - psi _ {12} ^ {*} & psi _ {22} - psi _ {22} ^ {*} end {pmatrix}}}$

Высшие измерения

Матричное представление евклидова пространства в высших измерениях может быть построено в терминах произведения Кронекера матриц Паули, в результате чего получаются комплексные матрицы размерности ${ Displaystyle 2 ^ {п}}$. Представление 4D можно было принять как

	Матричное представление 4D
${ displaystyle mathbf {e} _ {1}}$	${ displaystyle sigma _ {3} otimes sigma _ {1}}$
${ displaystyle mathbf {e} _ {2}}$	${ displaystyle sigma _ {3} otimes sigma _ {2}}$
${ displaystyle mathbf {e} _ {3}}$	${ displaystyle sigma _ {3} otimes sigma _ {3}}$
${ displaystyle mathbf {e} _ {4}}$	${ displaystyle sigma _ {2} otimes sigma _ {0}}$

Представление 7D можно было бы принять как

	Матричное представление 7D
${ displaystyle mathbf {e} _ {1}}$	${ displaystyle sigma _ {0} otimes sigma _ {3} otimes sigma _ {1}}$
${ displaystyle mathbf {e} _ {2}}$	${ displaystyle sigma _ {0} otimes sigma _ {3} otimes sigma _ {2}}$
${ displaystyle mathbf {e} _ {3}}$	${ displaystyle sigma _ {0} otimes sigma _ {3} otimes sigma _ {3}}$
${ displaystyle mathbf {e} _ {4}}$	${ displaystyle sigma _ {0} otimes sigma _ {2} otimes sigma _ {0}}$
${ displaystyle mathbf {e} _ {5}}$	${ displaystyle sigma _ {3} otimes sigma _ {1} otimes sigma _ {0}}$
${ displaystyle mathbf {e} _ {6}}$	${ displaystyle sigma _ {1} otimes sigma _ {1} otimes sigma _ {0}}$
${ displaystyle mathbf {e} _ {7}}$	${ displaystyle sigma _ {2} otimes sigma _ {1} otimes sigma _ {0}}$

Алгебры Ли

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

Бивекторы n-мерного евклидова пространства являются эрмитовыми элементами и могут использоваться для представления ${ displaystyle spin (n)}$ Алгебра Ли.

Бивекторы трехмерного евклидова пространства образуют ${ displaystyle spin (3)}$ Алгебра Ли, которая изоморфныйк ${ displaystyle su (2)}$ Алгебра Ли. Этот случайный изоморфизм позволяет представить геометрическую интерпретацию состояний двумерного гильбертова пространства с помощью Сфера Блоха. Одна из таких систем - частица со спином 1/2.

В ${ displaystyle spin (3)}$ Алгебру Ли можно расширить, добавив три унитарных вектора, чтобы сформировать алгебру Ли, изоморфную ${ displaystyle SL (2, C)}$ Алгебра Ли, являющаяся двойным накрытием группы Лоренца ${ Displaystyle SO (3,1)}$. Этот изоморфизм позволяет разработать формализм специальной теории относительности, основанный на ${ displaystyle SL (2, C)}$, который осуществляется в виде алгебра физического пространства.

Есть только один дополнительный случайный изоморфизм между спиновой алгеброй Ли и ${ displaystyle su (N)}$ Алгебра Ли. Это изоморфизм между ${ displaystyle spin (6)}$ и ${ displaystyle su (4)}$.

Другой интересный изоморфизм существует между ${ displaystyle spin (5)}$ и ${ displaystyle sp (4)}$. Итак ${ displaystyle sp (4)}$ Алгебру Ли можно использовать для генерации ${ displaystyle USp (4)}$ группа. Несмотря на то, что эта группа меньше, чем ${ displaystyle SU (4)}$ группы, этого достаточно, чтобы покрыть четырехмерное гильбертово пространство.

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

• Алгебра физического пространства
• Уравнение Дирака в алгебре физического пространства

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

Учебники

• Бейлис, Уильям (2002). Электродинамика: современный геометрический подход (2-е изд.). Birkhäuser. ISBN 0-8176-4025-8
• Бейлис, Уильям, Клиффордские (геометрические) алгебры с приложениями в физике, математике и инженерии, Биркхаузер (1999)
• [H1999] Дэвид Хестенес: Новые основы классической механики (второе издание). ISBN 0-7923-5514-8, Kluwer Academic Publishers (1999).
• Крис Доран и Энтони Ласенби, Геометрическая алгебра для физиков, Кембридж, 2003 г.

Статьи

• Бейлис, W. E (2004-11-01). «Относительность во вводной физике». Канадский журнал физики. Канадское научное издательство. 82 (11): 853–873. arXiv:физика / 0406158. Дои:10.1139 / p04-058. ISSN 0008-4204.
• Doran, C .; Hestenes, D .; Sommen, F .; Ван Акер, Н. (1993). «Группы Ли как спиновые группы». Журнал математической физики. Издательство AIP. 34 (8): 3642–3669. Дои:10.1063/1.530050. ISSN 0022-2488.
• Cabrera, R .; Rangan, C .; Бейлис, В. Э. (2007-09-04). «Достаточное условие когерентного управления n-кубитными системами». Физический обзор A. Американское физическое общество (APS). 76 (3): 033401. arXiv:Quant-ph / 0703220. Дои:10.1103 / Physreva.76.033401. ISSN 1050-2947.
• Ваз, Джейме; Манн, Стивен (2018). «Паравекторы и геометрия трехмерного евклидова пространства». Успехи в прикладных алгебрах Клиффорда. ООО "Спрингер Сайенс энд Бизнес Медиа". 28 (5): 99. arXiv:1810.09389. Дои:10.1007 / s00006-018-0916-1. ISSN 0188-7009.