Bicuaternión

En álgebra abstracta, los bicuaterniones son los números de la forma Plantilla:Math, donde Plantilla:Math y Plantilla:Mvar son números complejos, o variantes de los mismos, y los elementos de Plantilla:Math se multiplican como en el grupo cuaterniónico y conmutan con sus coeficientes. Existen tres tipos de bicuaterniones correspondientes a los números complejos y sus variaciones:

• Bicuaterniones cuando los coeficientes son números complejos.
• Bicuaterniones divididos cuando los coeficientes son números complejos hiperbólicos.
• Cuaterniones duales cuando los coeficientes son números duales.

Este artículo trata sobre los bicuaterniones ordinarios, ideados por William Rowan Hamilton en 1844.Plantilla:Sfn Algunos de los defensores más destacados de estos bicuaterniones incluyen a Alexander Macfarlene, Arthur W. Conway, Ludwik Silberstein y Cornelius Lanczos. Como se desarrolla a continuación, la cuasi esfera unitaria de los bicuaterniones proporciona una representación del grupo de Lorentz, que es la base de la teoría de la relatividad especial.

El álgebra de bicuaterniones se puede considerar como el producto tensorial Plantilla:Math, donde Plantilla:Math es el cuerpo de los números complejos y Plantilla:Math es el álgebra de división de los cuaterniones (reales). En otras palabras, los bicuaterniones son solo la complejificación de los cuaterniones. Vistos como un álgebra compleja, los bicuaterniones son isomorfos al álgebra de matrices complejas Plantilla:Math Plantilla:Math. También son isomórficos a varias álgebras de Clifford, incluidas Plantilla:Math,Plantilla:Sfn las matrices de Pauli Plantilla:Math,Plantilla:SfnPlantilla:Sfn y la parte par de Plantilla:Math del álgebra del espacio-tiempo.Plantilla:Sfn

Definición

Sea Plantilla:Math la base de los cuaterniones (reales) Plantilla:Math, y sean Plantilla:Math números complejos. Entonces

$q=u\mathrm{𝟏}+v𝐢+w𝐣+x𝐤$

es un bicuaternión.Plantilla:Sfn Para distinguir raíces cuadradas de menos uno en los bicuaterniones, HamiltonPlantilla:SfnPlantilla:Sfn y Arthur W. Conway usaron la convención de representar la raíz cuadrada de menos uno en el campo escalar Plantilla:Math con la letra Plantilla:Math para evitar la confusión con la letra Plantilla:Math utilizada en el grupo cuaterniónico. Se supone la conmutatividad del campo escalar con el grupo de cuaterniones:

$h𝐢=𝐢h,h𝐣=𝐣h,h𝐤=𝐤h.$

Hamilton introdujo los términos bivector, biconjugado, bitensor y biversor para ampliar las nociones utilizadas con los cuaterniones reales Plantilla:Math.

La exposición principal de Hamilton sobre los bicuaterniones se produjo en 1853 en sus Conferencias sobre cuaterniones. Las ediciones de Elements of Quaternions, en 1866 por William Edwin Hamilton (hijo de Rowan), y en 1899 y 1901 por Charles Jasper Joly, redujeron la cobertura de bicuaterniones a favor de los cuaterniones reales.

Considerada con las operaciones de suma por componentes y multiplicación según el grupo cuaterniónico, esta colección forma un álgebra cuatridimensional sobre los números complejos Plantilla:Math. El álgebra de los bicuaterniones es asociativa, pero no conmutativa. Un bicuaternión es unitario o un divisor de cero. El álgebra de los bicuaterniones forma un álgebra de composición y se puede construir a partir de los números bicomplejos. Consúltese Como un álgebra de composición a continuación.

Tabla de multiplicar de bicuaterniones

A continuación se muestra una tabla de multiplicar de biquaterniones:

$e_i{e}_j$		$e_j$
		$e_0$	$e_1$	$e_2$	$e_3$	$e_4$	$e_5$	$e_6$	$e_7$
$e_i$	$e_0$	$e_0$	$e_1$	$e_2$	$e_3$	$e_4$	$e_5$	$e_6$	$e_7$
	$e_1$	$e_1$	$-e_0$	$e_3$	$-e_2$	$e_5$	$-e_4$	$e_7$	$-e_6$
	$e_2$	$e_2$	$-e_3$	$-e_0$	$e_1$	$e_6$	$-e_7$	$-e_4$	$e_5$
	$e_3$	$e_3$	$e_2$	$-e_1$	$-e_0$	$e_7$	$e_6$	$-e_5$	$-e_4$
	$e_4$	$e_4$	$e_5$	$e_6$	$e_7$	$-e_0$	$-e_1$	$-e_2$	$-e_3$
	$e_5$	$e_5$	$-e_4$	$e_7$	$-e_6$	$-e_1$	$e_0$	$-e_3$	$e_2$
	$e_6$	$e_6$	$-e_7$	$-e_4$	$e_5$	$-e_2$	$e_3$	$e_0$	$-e_1$
	$e_7$	$e_7$	$e_6$	$-e_5$	$-e_4$	$-e_3$	$-e_2$	$e_1$	$e_0$

Lugar en la teoría de anillos

Representación lineal

Téngase en cuenta que la multiplicación de matrices

$\left(\begin{array}{cc}h& 0\\ 0& -h\end{array}\right)\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)=\left(\begin{array}{cc}0& h\\ h& 0\end{array}\right)$.

Debido a que Plantilla:Math es la unidad imaginaria, cada una de estas tres matrices tiene un cuadrado igual al negativo de la matriz identidad. Cuando este producto matricial se interpreta como Plantilla:Math, entonces se obtiene un subgrupo de matrices que es isomorfo con respecto al grupo cuaterniónico. Como consecuencia,

$\left(\begin{array}{cc}u+hv& w+hx\\ -w+hx& u-hv\end{array}\right)$

representa el bicuaternión Plantilla:Math. Dada cualquier matriz compleja Plantilla:Math, existen valores complejos Plantilla:Math, Plantilla:Math, Plantilla:Math y Plantilla:Math para ponerlo en esta forma, de modo que el anillo de las matrices Plantilla:Math sea isomorfoPlantilla:Sfn al anillo bicuaterniónico.

Subálgebras

Considerando el álgebra bicuaterniónica sobre el campo escalar de los números reales Plantilla:Math, el conjunto

$\{\mathrm{𝟏},h,𝐢,h𝐢,𝐣,h𝐣,𝐤,h𝐤\}$

forma una base, por lo que el álgebra tiene ocho dimensiones reales. Los cuadrados de los elementos Plantilla:Math y Plantilla:Math son todos positivos, por ejemplo, Plantilla:Math.

La subálgebra dada por

$\{x+y(h𝐢):x,y\in ℝ\}$

es un anillo isomorfo al plano de los números complejos hiperbólicos, que tiene una estructura algebraica construida sobre la hipérbola unitaria. Los elementos Plantilla:Math y Plantilla:Math también determinan dichas subálgebras.

Además,

$\{x+y𝐣:x,y\in ℂ\}$

es una subálgebra isomorfa de los números bicomplejos.

Una tercera subálgebra llamada cocuaterniónica es generada por Plantilla:Math y Plantilla:Math. Se ve que Plantilla:Math, y que el cuadrado de este elemento es Plantilla:Math. Estos elementos generan el grupo diédrico del cuadrado. El subespacio vectorial con base Plantilla:Math, por lo tanto, está cerrado bajo la multiplicación y forma el álgebra de los cocuaterniones.

En el contexto del álgebra de la mecánica cuántica y los espinores, los bicuaterniones Plantilla:Math y Plantilla:Math (o sus negativos), vistos según la representación Plantilla:Math, se denominan matrices de Pauli.

Propiedades algebraicas

Los bicuaterniones tienen dos conjugaciones:

• El biconjugado o biescalar menos bivector es $q^{*}=w-x𝐢-y𝐣-z𝐤,$ y
• El conjugado de los coeficientes del bicuaternión $\overline{q}=\overline{w}+\overline{x}𝐢+\overline{y}𝐣+\overline{z}𝐤$, donde $\overline{z}=a-bh$ cuando $z=a+bh,a,b\in ℝ,h^2=-\mathrm{𝟏}.$

Téngase en cuenta que $(pq{)}^{*}=q^{*}{p}^{*},\overline{pq}=\overline{p}\overline{q},\overline{q^{*}}={\overline{q}}^{*}.$

Claramente, si $q{q}^{*}=0$, entonces Plantilla:Math es divisor de cero. De lo contrario, $\{q{q}^{*}{\}}^{-\mathrm{𝟏}}$ es un número complejo. Además, $q{q}^{*}=q^{*}q$ se verifica fácilmente. Esto permite definir la inversa mediante

• $q^{-1}=q^{*}\{q{q}^{*}{\}}^{-1}$, si $q{q}^{*}\ne 0.$

Relación con las transformaciones de Lorentz

Considérese ahora el subespacio linealPlantilla:Sfn

$M=\{q:q^{*}=\overline{q}\}=\{t+x(h𝐢)+y(h𝐣)+z(h𝐤):t,x,y,z\in ℝ\}.$

Plantilla:Math no es una subálgebra, ya que no es cerrada bajo el producto; como por ejemplo se ve en $(h𝐢)(h𝐣)=h^2𝐢𝐣=-𝐤\notin M.$ De hecho, Plantilla:Math no puede formar un álgebra si ni siquiera es un magma.

Proposición: Si Plantilla:Mvar está en Plantilla:Mvar, entonces $q{q}^{*}=t^2-x^2-y^2-z^2.$

Demostración: de las definiciones,

$\begin{array}{cc}q{q}^{*}& =(t+xh𝐢+yh𝐣+zh𝐤)(t-xh𝐢-yh𝐣-zh𝐤)\\ & =t^2-x^2(h𝐢{)}^2-y^2(h𝐣{)}^2-z^2(h𝐤{)}^2\\ & =t^2-x^2-y^2-z^2.\end{array}$

Definición: considérese que el bicuaternión Plantilla:Mvar satisface la condición a $g{g}^{*}=1.$. Entonces, la transformación de Lorentz asociada con Plantilla:Mvar viene dada por

$T(q)=g^{*}q\overline{g}.$

Proposición: si Plantilla:Mvar está en Plantilla:Mvar, entonces Plantilla:Math también está en Plantilla:Math.

Demostración: $(g^{*}q\overline{g}{)}^{*}={\overline{g}}^{*}{q}^{*}g=\overline{g^{*}}\overline{q}g=\overline{g^{*}q\overline{g})}.$

Proposición: $T(q)(T(q){)}^{*}=q{q}^{*}$

Demostración: Nótese primero, que gg* = 1 implica que la suma de los cuadrados de sus cuatro componentes complejos es uno. Entonces, la suma de los cuadrados de los conjugados complejos de estos componentes también es uno. Por lo tanto, $\overline{g}(\overline{g}{)}^{*}=1.$

Entonces:

$(g^{*}q\overline{g})(g^{*}q\overline{g}{)}^{*}=g^{*}q(\overline{g}{\overline{g}}^{*})q^{*}g=g^{*}q{q}^{*}g=q{q}^{*}.$

Terminología asociada

Como los bicuaterniones han sido un elemento fijo del álgebra lineal desde los inicios de la física matemática, existe una variedad de conceptos que se ilustran o representan mediante el álgebra de bicuaterniones. El grupo de transformación $G=\{g:g{g}^{*}=1\}$ tiene dos partes, $G\cap H$ y $G\cap M.$. La primera parte se caracteriza por $g=\overline{g}$; entonces la transformación de Lorentz correspondiente a Plantilla:Mvar viene dada por $T(q)=g^{-1}qg$ ya que $g^{*}=g^{-1}.$ Tal transformación es un rotation by quaternion multiplication, y el conjunto de ellas es Plantilla:Math $\cong G\cap H.$ Pero este subgrupo de Plantilla:Mvar no es un subgrupo normal, por lo que no se puede formar ningún grupo cociente.

Para ver $G\cap M$ es necesario mostrar alguna estructura subálgebra en los bicuaterniones. Sea Plantilla:Mvar un elemento de la esfera de las raíces cuadradas de menos uno en la subálgebra de los cuaterniones reales Plantilla:Math. Entonces, Plantilla:Math y el plano de bicuaterniones dado por $D_r=\{z=x+yhr:x,y\in ℝ\}$ es una subálgebra conmutativa isomorfa al plano de los números complejos hiperbólicos. Así como el plano complejo ordinario tiene un círculo unitario, $D_r$ tiene un hipérbola unitaria dada por

$\exp (ahr)=\cosh (a)+hr\sinh (a),a\in R.$

De la misma manera, al igual que el círculo unitario gira mediante la multiplicación de uno de sus elementos, la hipérbola gira porque $\exp (ahr)\exp (bhr)=\exp ((a+b)hr).$. Por lo tanto, estos operadores algebraicos en la hipérbola se llaman versores hiperbólicos. El círculo unitario en Plantilla:Math y la hipérbola unitaria en Plantilla:Math son ejemplos de grupos uniparamétricos. Por cada raíz cuadrada Plantilla:Math de menos uno en Plantilla:Math, hay un grupo de un parámetro en los bicuaterniones dado por $G\cap D_r.$

El espacio de los bicuaterniones posee una topología natural a través de la distancia euclidiana en el espacio de dimensión Plantilla:Math. Con respecto a esta topología, Plantilla:Mvar es un grupo topológico. Además, tiene una estructura analítica que lo convierte en un grupo de Lie de seis parámetros. Considérese el subespacio de bivectores $A=\{q:q^{*}=-q\}$. Entonces la aplicación exponencial $\exp :A\to G$ lleva los vectores reales a $G\cap H$ y los vectores Plantilla:Mvar a $G\cap M.$ Cuando está equipado con un conmutador, Plantilla:Mvar forma el álgebra de Lie de Plantilla:Mvar. Así, este estudio de un expacio hexadimensional sirve para introducir los conceptos generales de teoría de Lie. Cuando se ve en la representación matricial, Plantilla:Mvar se llama grupo lineal especial Plantilla:Math en Plantilla:Math.

Muchos de los conceptos de la teoría de la relatividad especial se ilustran a través de las estructuras de los bicuaterniones disponibles. El subespacio Plantilla:Mvar corresponde al espacio-tiempo de Minkowski, y las cuatro coordenadas dan las ubicaciones temporales y espaciales de los eventos en un sistema de referencia en reposo. Cualquier versor hiperbólico Plantilla:Math corresponde a una velocidad en dirección Plantilla:Mvar de velocidad Plantilla:Math, donde Plantilla:Mvar es la velocidad de la luz en el vacío. El sistema de referencia inercial de esta velocidad se puede convertir en el sistema en reposo aplicando la transformación de Lorentz Plantilla:Mvar dada por Plantilla:Math, y en consecuencia $g^{\star }=\exp (-0.5ahr)=g^{*}$ de modo que $T(\exp (ahr))=1.$ Naturalmente, el hiperboloide $G\cap M,$, que representa el rango de velocidades del movimiento subluminal, es de interés físico. Ha habido un trabajo considerable asociando este "espacio de velocidades" con el modelo del hiperboloide de la geometría hiperbólica. En la relatividad especial, el parámetro del ángulo hiperbólico de un versor hiperbólico se llama rapidez. Así, se observa que el grupo bicuaterniónico Plantilla:Mvar proporciona un representación de grupo para el grupo de Lorentz.Plantilla:Sfn

Después de la introducción de la teoría de los espinores, particularmente a manos de Wolfgang Pauli y de Élie Cartan, esta nueva teoría tendió a sustituir a la representación bicuaterniónica del grupo de Lorentz. Los nuevos métodos se fundaron en bases de vectores en el conjunto

$\{q:q{q}^{*}=0\}=\{w+x𝐢+y𝐣+z𝐤:w^2+x^2+y^2+z^2=0\}$

que se llama cono de luz complejo. La representación del grupo de Lorentz anterior coincide con lo que los físicos denominan cuadrivector. Más allá de los cuadrivectores, el modelo estándar de la física de partículas también incluye otras representaciones de Lorentz, conocidas como escalares de Lorentz, y la representación Plantilla:Math asociada, por ejemplo, con el tensor de campo electromagnético. Además, la física de partículas hace uso de las representaciones Plantilla:Math (o representación proyectiva del grupo de Lorentz), conocidas como espinores de Weyl, espinores de Majorana y espinores de Dirac levógiros y dextrógiros. Se sabe que cada una de estas siete representaciones puede construirse como subespacios invariantes dentro de los bicuaterniones.Plantilla:Sfn

Como álgebra de composición

Aunque W. R. Hamilton introdujo los bicuaterniones en el Plantilla:Siglo, la delimitación de su estructura matemática como un tipo especial de álgebra sobre un cuerpo se logró en el Plantilla:Siglo: los bicuaterniones pueden generarse a partir de números bicomplejos de la misma manera que Abraham Adrian Albert generó los cuaterniones reales a partir de los números complejos mediante la denominada construcción de Cayley-Dickson. En esta construcción, un número bicomplejo Plantilla:Math tiene el conjugado Plantilla:Math.

El bicuaternión es entonces un par de números bicomplejos Plantilla:Math, donde el producto con un segundo bicuaternión Plantilla:Math es

$(a,b)(c,d)=(ac-d^{*}b,da+b{c}^{*}).$

Si $a=(u,v),b=(w,z),$ entonces el biconjugado $(a,b{)}^{*}=(a^{*},-b).$

Cuando Plantilla:Math se escribe como un cuadrivector de números complejos ordinarios,

$(u,v,w,z{)}^{*}=(u,-v,-w,-z).$

Los bicuaterniones forman un ejemplo de álgebra cuaterniónica y tiene norma

$N(u,v,w,z)=u^2+v^2+w^2+z^2.$

Dos bicuaterniones Plantilla:Math y Plantilla:Math satisfacen que Plantilla:Math, lo que indica que Plantilla:Math es una forma cuadrática que admite composición, de modo que los bicuaterniones forman un álgebra de composición.

Véase también

• Álgebra bicuaterniónica
• Número hipercomplejo
• Análisis hipercomplejo
• Joachim Lambek
• Cuaternión hiperbólico
• Anillo cociente

Bibliografía

• Arthur Buchheim (1885) "A Memoir on biquaternions", American Journal of Mathematics 7(4):293 a 326 del contenido inicial de JSTOR.
• Plantilla:Citation.
• Plantilla:Citation a través de HathiTrust
• Plantilla:Cite journal
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation*Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation