En matemáticas , los octoniones son un álgebra de división normada de los números reales , una especie de sistema numérico hipercomplejo . Los octoniones suelen representarse con la letra O mayúscula, utilizando negrita O o negrita de pizarra . Los octoniones tienen ocho dimensiones ; el doble del número de dimensiones de los cuaterniones , de los que son una extensión. Son no conmutativos y no asociativos , pero satisfacen una forma más débil de asociatividad; es decir, son alternativos . También son asociativos de poder .
Los octoniones no son tan conocidos como los cuaterniones y los números complejos , que son mucho más estudiados y utilizados. Los octoniones están relacionados con estructuras excepcionales en matemáticas, entre ellas los excepcionales grupos de Lie . Los octoniones tienen aplicaciones en campos como la teoría de cuerdas , la relatividad especial y la lógica cuántica . La aplicación de la construcción Cayley-Dickson a los octoniones produce los sedeniones .
Los octoniones fueron descubiertos en 1843 por John T. Graves , inspirado por el descubrimiento de los cuaterniones por parte de su amigo William Rowan Hamilton . Graves llamó a su descubrimiento "octavas" y las mencionó en una carta a Hamilton fechada el 26 de diciembre de 1843. [1] Publicó su resultado por primera vez un poco después del artículo de Arthur Cayley . [2] Los octoniones fueron descubiertos de forma independiente por Cayley [3] y a veces se los denomina "números de Cayley" o "álgebra de Cayley". Hamilton describió la historia temprana del descubrimiento de Graves. [4]
Los octoniones pueden considerarse como octetos (u 8 tuplas) de números reales. Cada octonión es una combinación lineal real de los octoniones unitarios :
donde e 0 es el elemento escalar o real; se puede identificar con el número real 1. Es decir, cada octonión x se puede escribir en la forma
con coeficientes reales x i .
La suma y resta de octoniones se realiza sumando y restando los términos correspondientes y, por tanto, sus coeficientes, como los cuaterniones. La multiplicación es más compleja. La multiplicación es distributiva sobre la suma, por lo que el producto de dos octoniones se puede calcular sumando los productos de todos los términos, nuevamente como los cuaterniones. El producto de cada par de términos puede obtenerse mediante la multiplicación de los coeficientes y una tabla de multiplicación de los octoniones unitarios, como ésta (debido a Cayley, 1845, y Graves, 1843): [5]
La mayoría de los elementos fuera de la diagonal de la tabla son antisimétricos, lo que la convierte en una matriz casi simétrica, excepto los elementos en la diagonal principal, así como la fila y la columna para las cuales e 0 es un operando.
La tabla se puede resumir de la siguiente manera: [6]
donde δ ij es el delta de Kronecker (igual a 1 si y sólo si i = j ), y ε ijk es un tensor completamente antisimétrico con valor 1 cuando ijk = 123, 145, 176, 246, 257, 347, 365 .
Sin embargo, la definición anterior no es única; es sólo una de las 480 definiciones posibles para la multiplicación de octoniones con e 0 = 1 . Los demás se pueden obtener permutando y cambiando los signos de los elementos de base no escalares { e 1 , e 2 , e 3 , e 4 , e 5 , e 6 , e 7 } . Las 480 álgebras diferentes son isomórficas y rara vez es necesario considerar qué regla de multiplicación en particular se utiliza.
Cada una de estas 480 definiciones es invariante hasta los signos de algún 7 ciclo de los puntos (1234567), y para cada 7 ciclos hay cuatro definiciones, que se diferencian por los signos y la inversión de orden. Una opción común es usar la definición de invariante bajo el ciclo de 7 (1234567) con e 1 e 2 = e 4 usando el diagrama de multiplicación triangular, o el plano de Fano a continuación que también muestra la lista ordenada de 124 tríadas de 7 ciclos basadas y sus matrices de multiplicación asociadas en formato e n e IJKL.
Una variación de esto que a veces se usa es etiquetar los elementos de la base por los elementos ∞ , 0, 1, 2, ..., 6, de la línea proyectiva sobre el campo finito de orden 7. La multiplicación luego viene dada por e ∞ = 1 y e 1 e 2 = e 4 , y todas las expresiones obtenidas a partir de esto agregando una constante ( módulo 7) a todos los subíndices: en otras palabras, usando los siete triples (124) (235) (346) (450) ( 561) (602) (013). Estas son las palabras de código distintas de cero del código de residuo cuadrático de longitud 7 sobre el campo de Galois de dos elementos, GF (2) . Hay una simetría de orden 7 dada al agregar una constante mod 7 a todos los subíndices, y también una simetría de orden 3 dada al multiplicar todos los subíndices por uno de los residuos cuadráticos 1, 2, 4 mod 7. [7] [8]
La tabla de multiplicar para un álgebra geométrica de firma (−−−−) se puede dar en términos de los siguientes 7 triples cuaterniónicos (omitiendo el elemento identidad):
en el que los elementos en minúscula son vectores y los en mayúscula son bivectores y ∗ = mijk (que es el operador estrella de Hodge ). Si se fuerza que el ∗ sea igual a la identidad, entonces la multiplicación deja de ser asociativa, pero el ∗ puede eliminarse de la tabla de multiplicar, lo que da como resultado una tabla de multiplicar de octoniones.
Al mantener ∗ = mijk asociativo y, por lo tanto, no reducir el álgebra geométrica de 4 dimensiones a una octonión, toda la tabla de multiplicar se puede derivar de la ecuación para ∗ . Consideremos las matrices gamma . La fórmula que define la quinta matriz gamma muestra que es el ∗ de un álgebra geométrica de cuatro dimensiones de las matrices gamma.
Una forma más sistemática de definir los octoniones es mediante la construcción de Cayley-Dickson. Así como los cuaterniones se pueden definir como pares de números complejos, los octoniones se pueden definir como pares de cuaterniones. La suma se define por pares. El producto de dos pares de cuaterniones ( a , b ) y ( c , d ) se define por
donde z * denota el conjugado del cuaternión z . Esta definición es equivalente a la dada anteriormente cuando los ocho octoniones unitarios se identifican con los pares
El diagrama, que representa la tabla de multiplicar de Cayley y Graves, proporciona una mnemónica conveniente para recordar los productos de octoniones unitarios. [5] [10] Este diagrama con siete puntos y siete rectas (el círculo que pasa por 1, 2 y 3 se considera una recta) se llama plano de Fano . Las líneas son direccionales. Los siete puntos corresponden a los siete elementos básicos estándar de Im( O ) (ver definición a continuación). Cada par de puntos distintos se encuentra en una línea única y cada línea pasa por exactamente tres puntos.
Sea ( a , b , c ) un triple ordenado de puntos que se encuentran en una recta dada con el orden especificado por la dirección de la flecha. Entonces la multiplicación viene dada por
junto con permutaciones cíclicas . Estas reglas junto con
define completamente la estructura multiplicativa de los octoniones. Cada una de las siete líneas genera una subálgebra de O isomorfa a los cuaterniones H.
El conjugado de un octonión.
es dado por
La conjugación es una involución de O y satisface ( xy )* = y * x * (obsérvese el cambio de orden).
La parte real de x está dada por
y la parte imaginaria por
El conjunto de todos los octoniones puramente imaginarios abarca un subespacio de 7 dimensiones de O , denotado Im( O ) .
La conjugación de octoniones satisface la ecuación.
El producto de un octonión por su conjugado, x * x = xx * , es siempre un número real no negativo:
Usando esto, la norma de un octonion se puede definir como
Esta norma concuerda con la norma euclidiana estándar de 8 dimensiones en R 8 .
La existencia de una norma en O implica la existencia de inversas para cada elemento distinto de cero de O. La inversa de x ≠ 0 , que es el octonión único x −1 que satisface xx −1 = x −1 x = 1 , está dada por
La multiplicación octoniónica no es conmutativa :
ni asociativo :
Los octoniones satisfacen una forma más débil de asociatividad: son alternativos. Esto significa que la subálgebra generada por dos elementos cualesquiera es asociativa. En realidad, se puede demostrar que la subálgebra generada por dos elementos cualesquiera de O es isomorfa a R , C o H , los cuales son asociativos. Debido a su no asociatividad, los octoniones no pueden representarse mediante una subálgebra de una matriz anular sobre , a diferencia de los números reales, los números complejos y los cuaterniones.
Los octoniones conservan una propiedad importante compartida por R , C y H : la norma sobre O satisface
Esta ecuación significa que los octoniones forman un álgebra de composición . Las álgebras de dimensiones superiores definidas por la construcción de Cayley-Dickson (comenzando con los sedeniones ) no satisfacen esta propiedad. Todos ellos tienen cero divisores .
Existen sistemas numéricos más amplios que tienen un módulo multiplicativo (por ejemplo, sedeniones cónicos de 16 dimensiones). Su módulo se define de manera diferente a su norma y también contienen divisores cero.
Como lo muestra Hurwitz , R , C , H y O son las únicas álgebras de división normadas sobre números reales. Estas cuatro álgebras también forman las únicas álgebras de división de dimensión finita alternativas sobre los números reales ( hasta el isomorfismo).
Al no ser asociativos, los elementos distintos de cero de O no forman un grupo . Sin embargo, forman un bucle , específicamente un bucle Moufang .
El conmutador de dos octoniones x e y viene dado por
Esto es antisimétrico e imaginario. Si se considera sólo como un producto en el subespacio imaginario Im( O ), define un producto en ese espacio, el producto cruz de siete dimensiones , dado por
Al igual que el producto vectorial en tres dimensiones , este es un vector ortogonal a xey con magnitud
Pero al igual que el producto octonión, no está definido de forma única. En cambio, existen muchos productos cruzados diferentes, cada uno de los cuales depende de la elección del producto octonión. [11]
Un automorfismo , A , de los octoniones es una transformación lineal invertible de O que satisface
El conjunto de todos los automorfismos de O forma un grupo llamado G 2 . [12] El grupo G 2 es un grupo de Lie real , compacto y simplemente conexo de dimensión 14. Este grupo es el más pequeño de los grupos de Lie excepcionales y es isomorfo al subgrupo de Spin(7) que conserva cualquier vector particular elegido en su Representación de espinor real en 8 dimensiones. El grupo Spin(7) es a su vez un subgrupo del grupo de isotopías que se describe a continuación.
Ver también : PSL(2,7) – el grupo de automorfismos del plano de Fano.
Una isotopía de un álgebra es un triple de aplicaciones lineales biyectivas a , b , c tales que si xy = z entonces a ( x ) b ( y ) = c ( z ) . Para a = b = c esto es lo mismo que un automorfismo. El grupo de isotopías de un álgebra es el grupo de todas las isotopías, que contiene al grupo de automorfismos como subgrupo.
El grupo de isotopía de los octoniones es el grupo Spin 8 ( R ) , con a , b , c actuando como las tres representaciones de 8 dimensiones. [13] El subgrupo de elementos donde c fija la identidad es el subgrupo Spin 7 ( R ) , y el subgrupo donde a , b , c todos fijan la identidad es el grupo de automorfismos G 2 .
Los octoniones juegan un papel importante en la clasificación y construcción de otras entidades matemáticas. Por ejemplo, el grupo de Lie excepcional G 2 es el grupo de automorfismo de los octoniones, y los otros grupos de Lie excepcionales F 4 , E 6 , E 7 y E 8 pueden entenderse como las isometrías de ciertos planos proyectivos definidos utilizando los octoniones. [14] El conjunto de matrices octoniónicas 3 × 3 autoadjuntas , equipadas con un producto matricial simetrizado, define el álgebra de Albert . En matemáticas discretas , los octoniones proporcionan una derivación elemental de la red Leech y, por lo tanto, están estrechamente relacionados con los grupos simples esporádicos . [15] [16]
Las aplicaciones de los octoniones a la física han sido en gran medida conjeturales. Por ejemplo, en la década de 1970 se intentó comprender los quarks a través de un espacio octoniónico de Hilbert . [17] Se sabe que los octoniones, y el hecho de que sólo puedan existir cuatro álgebras de división normadas, se relaciona con las dimensiones del espacio-tiempo en las que se pueden construir teorías cuánticas de campos supersimétricas . [18] [19] Además, se ha intentado obtener el modelo estándar de física de partículas elementales a partir de construcciones octoniónicas, por ejemplo utilizando el "álgebra de Dixon" C ⊗ H ⊗ O . [20] [21]
Los octoniones también han surgido en el estudio de la entropía de los agujeros negros , la ciencia de la información cuántica , [22] [23] y la teoría de cuerdas . [24]
Los octoniones se han utilizado en soluciones al problema de calibración ojo-mano en robótica . [25]
Las redes de octoniones profundas proporcionan un medio de expresión eficiente y compacto en aplicaciones de aprendizaje automático. [26] [27]
Hay varias formas naturales de elegir una forma integral de los octoniones. Lo más sencillo es simplemente tomar los octoniones cuyas coordenadas sean números enteros . Esto da un álgebra no asociativa sobre los números enteros llamados octoniones gravesianos. Sin embargo, no es un orden máximo (en el sentido de la teoría de anillos); hay exactamente siete órdenes máximos que lo contienen. Estos siete órdenes máximos son todos equivalentes bajo automorfismos. La frase "octoniones integrales" generalmente se refiere a una elección fija de uno de estos siete órdenes.
Estos órdenes máximos fueron construidos por Kirmse (1925) , Dickson y Bruck de la siguiente manera. Etiquete los ocho vectores base por los puntos de la línea proyectiva sobre el campo con siete elementos. Primera forma los "enteros Kirmse": estos consisten en octoniones cuyas coordenadas son números enteros o semienteros, y que son semienteros (es decir, mitades de números enteros impares) en uno de los 16 conjuntos.
del código de residuo cuadrático extendido de longitud 8 sobre el campo de dos elementos, dado por ∅ , (∞124) y sus imágenes sumando una constante módulo 7, y los complementos de estos ocho conjuntos. Luego cambie el infinito y cualquier otra coordenada; esta operación crea una biyección de los enteros de Kirmse en un conjunto diferente, que es un orden máximo. Hay siete maneras de hacer esto, dando siete órdenes máximos, todos los cuales son equivalentes bajo permutaciones cíclicas de las siete coordenadas 0123456. (Kirmse afirmó incorrectamente que los enteros de Kirmse también forman un orden máximo, por lo que pensó que había ocho órdenes máximos en lugar de siete, pero como señaló Coxeter (1946) no están cerrados bajo la multiplicación; este error ocurre en varios artículos publicados).
Los enteros de Kirmse y los siete órdenes máximos son todos isométricos a la red E 8 reescalada por un factor de 1 ⁄ √ 2 . En particular, hay 240 elementos de norma mínima 1 distinta de cero en cada uno de estos órdenes, formando un bucle Moufang de orden 240.
Los octoniones integrales tienen una propiedad de "división con resto": dados octoniones integrales a y b ≠ 0 , podemos encontrar q y r con a = qb + r , donde el resto r tiene una norma menor que la de b .
En los octoniones integrales, todos los ideales de la izquierda y los ideales de la derecha son ideales de 2 lados, y los únicos ideales de 2 lados son los ideales principales nO donde n es un número entero no negativo.
Los octoniones integrales tienen una versión de factorización en números primos, aunque no es sencillo afirmarlo porque los octoniones no son asociativos, por lo que el producto de los octoniones depende del orden en que se hacen los productos. Los octoniones integrales irreducibles son exactamente los de norma prima, y cada octonión integral puede escribirse como un producto de octoniones irreducibles. Más precisamente, un octonión integral de norma mn se puede escribir como un producto de octoniones integrales de normas m y n .
El grupo de automorfismo de los octoniones integrales es el grupo G 2 ( F 2 ) de orden 12.096, que tiene un subgrupo simple de índice 2 isomorfo al grupo unitario 2 A 2 (3 2 ) . El grupo de isotopías de los octoniones integrales es la doble cobertura perfecta del grupo de rotaciones de la red E 8 .