Fue el álgebra matricial la que aprovechó los sistemas hipercomplejos. Por ejemplo, se encontró que las matrices reales de 2 x 2 eran isomorfas a los cocuaterniones . Pronto el paradigma matricial comenzó a explicar varios otros, ya que se representaban mediante matrices y sus operaciones. En 1907, Joseph Wedderburn demostró que los sistemas hipercomplejos asociativos podían representarse mediante matrices cuadradas o productos directos de álgebras de matrices cuadradas. [3] [4] A partir de esa fecha, el término preferido para un sistema hipercomplejo se convirtió en álgebra asociativa , como se ve en el título de la tesis de Wedderburn en la Universidad de Edimburgo . Sin embargo, tenga en cuenta que los sistemas no asociativos como los octoniones y los cuaterniones hiperbólicos representan otro tipo de número hipercomplejo.
Como explica Thomas Hawkins [5] , los números hipercomplejos son puntos de partida para aprender sobre los grupos de Lie y la teoría de la representación de grupos . Por ejemplo, en 1929, Emmy Noether escribió sobre "cantidades hipercomplejas y teoría de la representación". [6] En 1973, Kantor y Solodovnikov publicaron un libro de texto sobre números hipercomplejos que fue traducido en 1989. [7] [8]
Karen Parshall ha escrito una exposición detallada del apogeo de los números hipercomplejos, [9] incluyendo el papel de matemáticos como Theodor Molien [10] y Eduard Study . [11] Para la transición al álgebra moderna , Bartel van der Waerden dedica treinta páginas a los números hipercomplejos en su Historia del álgebra . [12]
Definición
Kantor y Solodovnikov (1989) dan una definición de un número hipercomplejo como un elemento de un álgebra unital , pero no necesariamente asociativa o conmutativa , de dimensión finita sobre los números reales. Los elementos se generan con coeficientes de números reales para una base . Siempre que sea posible, es convencional elegir la base de modo que . Un enfoque técnico para los números hipercomplejos dirige la atención primero a los de dimensión dos.
Álgebras reales bidimensionales
Teorema: [7] : 14, 15 [13] [14] Hasta el isomorfismo, hay exactamente tres álgebras unitarias bidimensionales sobre los números reales: los números complejos ordinarios , los números complejos descompuestos y los números duales . En particular, toda álgebra unitaria bidimensional sobre los números reales es asociativa y conmutativa.
Demostración: Como el álgebra es bidimensional, podemos elegir una base {1, u } . Como el álgebra está cerrada respecto de la elevación al cuadrado, el elemento de base no real u se eleva al cuadrado a una combinación lineal de 1 y u :
para algunos números reales un 0 y un 1 .
Usando el método común de completar el cuadrado restando 1 u y sumando el complemento cuadrático a2 1 / 4 a ambos lados rinde
Así pues,
los tres casos dependen de este valor real:
Si 4 a 0 = − a 1 2 , la fórmula anterior da ũ 2 = 0 . Por lo tanto, ũ puede identificarse directamente con el elemento nilpotente de la base de los números duales.
Si 4 a 0 > − a 1 2 , la fórmula anterior da ũ 2 > 0 . Esto conduce a los números complejos descompuestos que tienen una base normalizada con . Para obtener j de ũ , este último debe dividirse por el número real positivo que tiene el mismo cuadrado que ũ .
Si 4 a 0 < − a 1 2 , la fórmula anterior da ũ 2 < 0 . Esto conduce a los números complejos que tienen base normalizada con . Para obtener i a partir de ũ , este último debe dividirse por un número real positivo que se eleve al cuadrado del negativo de ũ 2 .
Los números complejos son la única álgebra hipercompleja bidimensional que es un cuerpo . Las álgebras de división, como los números complejos de división que incluyen raíces no reales de 1, también contienen idempotentes y divisores de cero , por lo que dichas álgebras no pueden ser álgebras de división . Sin embargo, estas propiedades pueden resultar muy significativas, por ejemplo, al representar un cono de luz con un cono nulo .
En una edición de 2004 de la revista Mathematics Magazine, las álgebras reales bidimensionales fueron denominadas "números complejos generalizados". [15] La idea de la relación cruzada de cuatro números complejos se puede extender a las álgebras reales bidimensionales. [16]
Ejemplos de dimensiones superiores (más de un eje no real)
Álgebras de Clifford
Un álgebra de Clifford es el álgebra asociativa unitaria generada sobre un espacio vectorial subyacente dotado de una forma cuadrática . Sobre los números reales esto equivale a poder definir un producto escalar simétrico, u ⋅ v = 1/2 ( uv + vu ) que se puede utilizar para ortogonalizar la forma cuadrática, para dar una base { e 1 , ..., e k } tal que:
La imposición de clausura bajo la multiplicación genera un espacio multivectorial abarcado por una base de 2 k elementos, {1, e 1 , e 2 , e 3 , ..., e 1 e 2 , ..., e 1 e 2 e 3 , ...}. Estos pueden interpretarse como la base de un sistema numérico hipercomplejo. A diferencia de la base { e 1 , ..., e k }, los elementos de la base restantes no necesitan anticonmutarse , dependiendo de cuántos intercambios simples se deben realizar para intercambiar los dos factores. Entonces e 1 e 2 = − e 2 e 1 , pero e 1 ( e 2 e 3 ) = +( e 2 e 3 ) e 1 .
Dejando de lado las bases que contienen un elemento e i tal que e i 2 = 0 (es decir, direcciones en el espacio original sobre las cuales se degeneró la forma cuadrática ), las álgebras de Clifford restantes se pueden identificar por la etiqueta Cl p , q ( ), que indica que el álgebra se construye a partir de p elementos de base simples con e i 2 = +1 , q con e i 2 = −1 , y donde indica que esta debe ser un álgebra de Clifford sobre los reales, es decir, los coeficientes de los elementos del álgebra deben ser números reales.
Los elementos del álgebra Cl p , q ( ) forman una subálgebra par Cl[0] q +1, p( ) del álgebra Cl q +1, p ( ), que puede utilizarse para parametrizar rotaciones en el álgebra más amplia. Existe, por tanto, una estrecha conexión entre los números complejos y las rotaciones en el espacio bidimensional; entre los cuaterniones y las rotaciones en el espacio tridimensional; entre los números complejos desdoblados y las rotaciones (hiperbólicas) ( transformaciones de Lorentz ) en el espacio unidimensional, etcétera.
Mientras que los constructos de Cayley-Dickson y de complejos divididos con ocho o más dimensiones no son asociativos con respecto a la multiplicación, las álgebras de Clifford conservan la asociatividad en cualquier número de dimensiones.
En 1995, Ian R. Porteous escribió sobre "El reconocimiento de subálgebras" en su libro sobre álgebras de Clifford. Su Proposición 11.4 resume los casos hipercomplejos: [17]
Sea A un álgebra asociativa real con elemento unidad 1. Entonces
cualquier subálgebra bidimensional generada por un elemento e 0 de A tal que e 0 2 = −1 es isomorfa a ( álgebra de números complejos ),
cualquier subálgebra bidimensional generada por un elemento e 0 de A tal que e 0 2 = 1 es isomorfa a 2 (pares de números reales con producto componente a componente, isomorfa al álgebra de números complejos divididos ),
cualquier subálgebra de cuatro dimensiones generada por un conjunto { e 0 , e 1 } de elementos mutuamente anticonmutativos de A tal que es isomorfa a ( álgebra de cuaterniones ),
cualquier subálgebra de cuatro dimensiones generada por un conjunto { e 0 , e 1 } de elementos mutuamente anticonmutantes de A tal que es isomorfo a M 2 ( ) ( matrices reales de 2 × 2 , cocuaterniones ),
cualquier subálgebra de ocho dimensiones generada por un conjunto { e 0 , e 1 , e 2 } de elementos mutuamente anticonmutativos de A tal que es isomorfo a 2 ( biquaternions divididos ),
cualquier subálgebra de ocho dimensiones generada por un conjunto { e 0 , e 1 , e 2 } de elementos mutuamente anticonmutantes de A tal que es isomorfo a M 2 ( ) ( matrices complejas 2 × 2 , bicuaterniones , álgebra de Pauli ).
Construcción Cayley-Dickson
Todas las álgebras de Clifford Cl p , q ( ) aparte de los números reales, los números complejos y los cuaterniones contienen elementos no reales que elevan al cuadrado a +1; y por lo tanto no pueden ser álgebras de división. Un enfoque diferente para extender los números complejos es tomado por la construcción de Cayley-Dickson . Esta genera sistemas numéricos de dimensión 2 n , n = 2, 3, 4, ..., con bases , donde todos los elementos de base no reales anticonmutan y satisfacen . En 8 o más dimensiones ( n ≥ 3 ) estas álgebras no son asociativas. En 16 o más dimensiones ( n ≥ 4 ) estas álgebras también tienen divisores de cero .
Las primeras álgebras en esta secuencia incluyen los cuaterniones de 4 dimensiones, los octoniones de 8 dimensiones y los sedeniones de 16 dimensiones . Se pierde una simetría algebraica con cada aumento de dimensionalidad: la multiplicación de cuaterniones no es conmutativa , la multiplicación de octoniones no es asociativa y la norma de los sedeniones no es multiplicativa. Después de los sedeniones están los trigintaduoniones de 32 dimensiones (o 32-niones), los sexagintaquatroniones de 64 dimensiones (o 64-niones), los centumduodetrigintaniones de 128 dimensiones (o 128-niones), los ducentiquinquagintasexiones de 256 dimensiones (o 256-niones), y así sucesivamente , como se resume en la tabla siguiente. [18]
La construcción de Cayley–Dickson se puede modificar insertando un signo adicional en algunas etapas. De esta manera, se generan las "álgebras divididas" en el conjunto de álgebras de composición en lugar de las álgebras de división:
A diferencia de los números complejos, los números complejos divididos no son algebraicamente cerrados y además contienen divisores de cero no triviales e idempotentes no triviales . Al igual que con los cuaterniones, los cuaterniones divididos no son conmutativos, pero además contienen nilpotentes ; son isomorfos a las matrices cuadradas de dimensión dos. Los octoniones divididos no son asociativos y contienen nilpotentes.
Productos tensoriales
El producto tensorial de dos álgebras cualesquiera es otra álgebra, que puede utilizarse para producir muchos más ejemplos de sistemas numéricos hipercomplejos.
En particular, tomar productos tensoriales con números complejos (considerados como álgebras sobre los reales) conduce a números bicomplejos de cuatro dimensiones (isomorfos a las tessarinas ), bicuaterniones de ocho dimensiones y octoniones complejos de 16 dimensiones .
Más ejemplos
números bicomplejos : un espacio vectorial de 4 dimensiones sobre los reales, bidimensional sobre los números complejos, isomorfo a las tessarinas.
números multicomplejos : 2 espacios vectoriales n -dimensionales sobre los reales, 2 n −1 -dimensionales sobre los números complejos
^ Adams, JF (julio de 1960), "Sobre la no existencia de elementos de la invariante de Hopf uno" (PDF) , Annals of Mathematics , 72 (1): 20–104, CiteSeerX 10.1.1.299.4490 , doi :10.2307/1970147, JSTOR 1970147
^ JHM Wedderburn (1908), "Sobre números hipercomplejos", Actas de la London Mathematical Society , 6 : 77–118, doi :10.1112/plms/s2-6.1.77
^ Hawkins, Thomas (1972), "Números hipercomplejos, grupos de Lie y la creación de la teoría de la representación de grupos", Archivo de Historia de las Ciencias Exactas , 8 (4): 243–287, doi :10.1007/BF00328434, S2CID 120562272
^ Noether, Emmy (1929), "Hyperkomplexe Größen und Darstellungstheorie" [Cantidades hipercomplejas y teoría de las representaciones], Mathematische Annalen (en alemán), 30 : 641–92, doi :10.1007/BF01187794, S2CID 120464373, archivado desde el original en 29 de marzo de 2016 , consultado el 14 de enero de 2016
^ ab Kantor, IL, Solodownikow (1978), Hyperkomplex Zahlen , BSB BG Teubner Verlagsgesellschaft, Leipzig
^ Kantor, IL; Solodovnikov, AS (1989), Números hipercomplejos , Berlín, Nueva York: Springer-Verlag , ISBN978-0-387-96980-0, Sr. 0996029
^ Parshall, Karen (1985), "Joseph HM Wedderburn y la teoría estructural de las álgebras", Archivo de Historia de las Ciencias Exactas , 32 (3–4): 223–349, doi :10.1007/BF00348450, S2CID 119888377
^ Molien, Theodor (1893), "Ueber Systeme höherer complexer Zahlen", Mathematische Annalen , 41 (1): 83–156, doi :10.1007/BF01443450, S2CID 122333076
^ van der Waerden, BL (1985), "10. El descubrimiento de las álgebras, 11. Estructura de las álgebras", Una historia del álgebra , Springer, ISBN3-540-13610X
^ Harkin, Anthony A.; Harkin, Joseph B. (2004), "Geometría de números complejos generalizados" (PDF) , Mathematics Magazine , 77 (2): 118–129, doi :10.1080/0025570X.2004.11953236, S2CID 7837108
^ Brewer, Sky (2013), "Relación cruzada proyectiva en números hipercomplejos", Advances in Applied Clifford Algebras , 23 (1): 1–14, arXiv : 1203.2554 , doi :10.1007/s00006-012-0335-7, S2CID 119623082
^ Cariow, Aleksandr (2015). "Un enfoque unificado para desarrollar algoritmos racionalizados para la multiplicación de números hipercomplejos". Przegląd Elektrotechniczny . 1 (2). Wydawnictwo SIGMA-NO: 38–41. doi :10.15199/48.2015.02.09. ISSN 0033-2097.
Lectura adicional
Alfsmann, Daniel (2006), "Sobre familias de álgebras hipercomplejas de 2^N dimensiones adecuadas para el procesamiento de señales digitales" (PDF) , 14.ª Conferencia Europea de Procesamiento de Señales, Florencia, Italia, págs. 1–4
Artin, Emil (1965) [1928], "Zur Theorie der hyperkomplexen Zahlen; Zur Arithmetik hyperkomplexer Zahlen", en Lang, Serge ; Tate, John T. (eds.), Los artículos recopilados de Emil Artin , Addison-Wesley , págs. 301–345
Cartan, Élie (1908), "Les systèmes de nombres complex et les groupes de transforms", Encyclopédie des sciences mathématiques pures et appliquées , vol. yo 1. y Obras Completas T.2 pt. 1, págs. 107–246.
Herzberger, Max (1923), "Ueber Systeme hyperkomplexer Grössen", Tesis doctoral , Universidad Friedrich Wilhelm , archivado desde el original el 30 de enero de 2021 , consultado el 20 de septiembre de 2015
La Duke, Jeanne (1983), "El estudio de las álgebras asociativas lineales en los Estados Unidos, 1870-1927", en Srinivasan, B.; Sally, J. (eds.), Emmy Noether en Bryn Mawr: Actas de un simposio patrocinado por la Asociación de Mujeres en Matemáticas en honor del centenario de Emmy Noether, Springer, pp. 147-159, ISBN 978-0-387-90838-0
Olariu, Silviu (2002), Números complejos en N dimensiones , North-Holland Mathematics Studies, vol. 190, Elsevier , ISBN 0-444-51123-7
Sabadini, Irene ; Shapiro, Michael; Sommen, Frank, eds. (2009), Análisis y aplicaciones hipercomplejas , Birkhauser, ISBN 978-3-7643-9892-7
MacLagan Wedderburn, JH (1908), "Sobre números hipercomplejos", Actas de la London Mathematical Society , s2-6 (1): 77–118, doi :10.1112/plms/s2-6.1.77
Enlaces externos
El Wikilibro Álgebra abstracta tiene una página sobre el tema: Números hipercomplejos