En matemáticas , el sistema numérico de cuaterniones extiende los números complejos . Los cuaterniones fueron descritos por primera vez por el matemático irlandés William Rowan Hamilton en 1843 [1] [2] y aplicados a la mecánica en el espacio tridimensional . El álgebra de cuaterniones a menudo se denota por H (por Hamilton ), o en negrita por. Aunque la multiplicación de cuaterniones no es conmutativa , da una definición del cociente de dos vectores en un espacio tridimensional. [3] [4] Los cuaterniones generalmente se representan en la forma
donde los coeficientes a , b , c , d son números reales , y 1, i , j , k son los vectores base o elementos base . [5]
Los cuaterniones se utilizan en matemáticas puras , pero también tienen usos prácticos en matemáticas aplicadas , particularmente para cálculos que involucran rotaciones tridimensionales , como en gráficos por computadora tridimensionales , visión por computadora , imágenes por resonancia magnética [6] y análisis de texturas cristalográficas . [7] Se pueden utilizar junto con otros métodos de rotación, como ángulos de Euler y matrices de rotación , o como alternativa a ellos, según la aplicación.
En términos modernos, los cuaterniones forman un álgebra de división normada asociativa de cuatro dimensiones sobre los números reales y, por lo tanto, un anillo, también un anillo de división y un dominio . Es un caso especial de álgebra de Clifford , clasificada como Fue la primera álgebra de división no conmutativa descubierta.
Según el teorema de Frobenius , el álgebra es uno de los dos únicos anillos de división de dimensión finita que contienen un subanillo propio isomorfo a los números reales; el otro son los números complejos. Estos anillos también son álgebras euclidianas de Hurwitz , de las cuales los cuaterniones son el álgebra asociativa más grande (y por tanto el anillo más grande). Extendiendo aún más los cuaterniones se obtienen los octoniones no asociativos , que es el último álgebra de división normada de los números reales. La siguiente extensión da los sedeniones , que tienen divisores cero y por lo tanto no pueden ser un álgebra de división normada. [8]
Los cuaterniones unitarios dan una estructura de grupo en las 3 esferas S 3 isomorfa a los grupos Spin(3) y SU(2) , es decir, el grupo de cobertura universal de SO(3) . Los vectores de base positivos y negativos forman el grupo de cuaterniones de ocho elementos .
Los cuaterniones fueron introducidos por Hamilton en 1843. [9] Los precursores importantes de este trabajo incluyeron la identidad de los cuatro cuadrados de Euler (1748) y la parametrización de las rotaciones generales mediante cuatro parámetros de Olinde Rodrigues (1840), pero ninguno de estos escritores trató los cuatro parámetros. rotaciones como álgebra. [10] [11] Carl Friedrich Gauss también había descubierto los cuaterniones en 1819, pero este trabajo no se publicó hasta 1900. [12] [13]
Hamilton sabía que los números complejos podían interpretarse como puntos en un plano y estaba buscando una manera de hacer lo mismo con puntos en el espacio tridimensional . Los puntos en el espacio se pueden representar por sus coordenadas, que son ternas de números, y desde hacía muchos años sabía sumar y restar ternas de números. Sin embargo, durante mucho tiempo estuvo estancado en el problema de la multiplicación y la división. No sabía cómo calcular el cociente de las coordenadas de dos puntos en el espacio. De hecho, Ferdinand Georg Frobenius demostró más tarde en 1877 que para que un álgebra de división de números reales sea de dimensión finita y asociativa, no puede ser tridimensional, y sólo existen tres álgebras de división de este tipo: (números complejos) y (cuaterniones ). ) que tienen dimensiones 1, 2 y 4 respectivamente.
El gran avance en materia de cuaterniones se produjo finalmente el lunes 16 de octubre de 1843 en Dublín , cuando Hamilton se dirigía a la Real Academia Irlandesa para presidir una reunión del consejo. Mientras caminaba por el camino de sirga del Canal Real con su esposa, los conceptos detrás de los cuaterniones iban tomando forma en su mente. Cuando se le ocurrió la respuesta, Hamilton no pudo resistir la tentación de esculpir la fórmula de los cuaterniones.
en la piedra del puente Brougham mientras se detenía en él. Aunque la talla se ha desvanecido desde 1989, ha habido una peregrinación anual llamada Hamilton Walk para científicos y matemáticos que caminan desde el Observatorio Dunsink hasta el puente del Canal Real en recuerdo del descubrimiento de Hamilton.
Al día siguiente, Hamilton escribió una carta a su amigo y colega matemático, John T. Graves , describiendo la línea de pensamiento que condujo a su descubrimiento. Esta carta se publicó más tarde en una carta dirigida a la Revista Filosófica y al Journal of Science de Londres, Edimburgo y Dublín ; [14] Hamilton afirma:
Y aquí se me ocurrió la idea de que debemos admitir, en algún sentido, una cuarta dimensión del espacio para calcular con ternas... Un circuito eléctrico pareció cerrarse y una chispa surgió. [14]
Hamilton llamó cuaternión a un cuádruple con estas reglas de multiplicación , y dedicó la mayor parte del resto de su vida a estudiarlas y enseñarlas. El tratamiento de Hamilton es más geométrico que el enfoque moderno, que enfatiza las propiedades algebraicas de los cuaterniones . Fundó una escuela de "cuaternionistas" y trató de popularizar los cuaterniones en varios libros. El último y más largo de sus libros, Elements of Quaternions , [15] tenía 800 páginas; fue editado por su hijo y publicado poco después de su muerte.
Tras la muerte de Hamilton, el físico matemático escocés Peter Tait se convirtió en el principal exponente de los cuaterniones. En ese momento, los cuaterniones eran un tema de examen obligatorio en Dublín. Los temas de física y geometría que ahora se describirían utilizando vectores, como la cinemática en el espacio y las ecuaciones de Maxwell , se describieron enteramente en términos de cuaterniones. Incluso existía una asociación de investigación profesional, la Quaternion Society , dedicada al estudio de los cuaterniones y otros sistemas numéricos hipercomplejos .
Desde mediados de la década de 1880, los cuaterniones comenzaron a ser desplazados por el análisis vectorial , que había sido desarrollado por Josiah Willard Gibbs , Oliver Heaviside y Hermann von Helmholtz . El análisis vectorial describió los mismos fenómenos que los cuaterniones, por lo que tomó prestadas algunas ideas y terminología de la literatura sobre cuaterniones. Sin embargo, el análisis vectorial era conceptualmente más simple y notacionalmente más limpio y, finalmente, los cuaterniones quedaron relegados a un papel menor en matemáticas y física . Un efecto secundario de esta transición es que la obra de Hamilton resulta difícil de comprender para muchos lectores modernos. Las definiciones originales de Hamilton son desconocidas y su estilo de escritura era prolijo y difícil de seguir.
Sin embargo, los cuaterniones han resurgido desde finales del siglo XX, principalmente debido a su utilidad para describir rotaciones espaciales . Las representaciones de rotaciones por cuaterniones son más compactas y más rápidas de calcular que las representaciones por matrices . Además, a diferencia de los ángulos de Euler, no son susceptibles al " bloqueo del cardán ". Por esta razón, los cuaterniones se utilizan en gráficos por computadora , [16] [17] visión por computadora , robótica , [18] muestreo de imágenes de resonancia magnética nuclear , [6] teoría de control , procesamiento de señales , control de actitud , física , bioinformática , dinámica molecular , simulaciones por computadora y mecánica orbital . Por ejemplo, es común que los sistemas de control de actitud de las naves espaciales estén comandados en términos de cuaterniones. Los cuaterniones han recibido otro impulso de la teoría de números debido a sus relaciones con las formas cuadráticas . [19]
El descubrimiento de 1924 de que en mecánica cuántica el espín de un electrón y otras partículas de materia (conocidas como espinores ) puede describirse utilizando cuaterniones (en forma de las famosas matrices de espín de Pauli) impulsó su interés; Los cuaterniones ayudaron a comprender cómo se pueden distinguir las rotaciones de los electrones de 360° de las de 720° (el " truco de las placas "). [20] [21] A partir de 2018 [update], su uso no ha superado a los grupos de rotación . [a]
Un cuaternión es una expresión de la forma
donde a , b , c , d son números reales, e i , j , k son símbolos que pueden interpretarse como vectores unitarios que apuntan a lo largo de los tres ejes espaciales. En la práctica, si uno de a , b , c , d es 0, se omite el término correspondiente; si a , b , c , d son todos cero, el cuaternión es el cuaternión cero , denotado 0; si uno de b , c , d es igual a 1, el término correspondiente se escribe simplemente i , j o k .
Hamilton describe un cuaternión como si consta de una parte escalar y una parte vectorial. El cuaternión se llama parte vectorial (a veces parte imaginaria ) de q , y a es la parte escalar (a veces parte real ) de q . Un cuaternión que es igual a su parte real (es decir, su parte vectorial es cero) se llama cuaternión escalar o real , y se identifica con el número real correspondiente. Es decir, los números reales están incrustados en los cuaterniones. (Más propiamente, el campo de los números reales es isomorfo a un subconjunto de los cuaterniones. El campo de los números complejos también es isomorfo a tres subconjuntos de cuaterniones). [22] Un cuaternión que es igual a su parte vectorial se llama cuaternión vectorial .
El conjunto de cuaterniones es un espacio vectorial de 4 dimensiones sobre los números reales, teniendo como base la suma de componentes
y la multiplicación escalar por componentes
Una estructura de grupo multiplicativo, llamada producto de Hamilton , denotada por yuxtaposición, se puede definir sobre los cuaterniones de la siguiente manera:
Así, los cuaterniones forman un álgebra de división.
La multiplicación con 1 de los elementos base i , j y k se define por el hecho de que 1 es una identidad multiplicativa , es decir,
Los productos de otros elementos básicos son
Combinando estas reglas,
El centro de un anillo no conmutativo es el subanillo de elementos c tal que cx = xc para cada x . El centro del álgebra de cuaterniones es el subcampo de los cuaterniones reales. De hecho, forma parte de la definición que los cuaterniones reales pertenecen al centro. Por el contrario, si q = a + b i + c j + d k pertenece al centro, entonces
y c = d = 0 . Un cálculo similar con j en lugar de i muestra que también se tiene b = 0 . Por tanto q = a es un cuaternión real .
Los cuaterniones forman un álgebra de división. Esto significa que la no conmutatividad de la multiplicación es la única propiedad que diferencia a los cuaterniones de un campo. Esta no conmutatividad tiene algunas consecuencias inesperadas, entre ellas que una ecuación polinómica sobre los cuaterniones puede tener más soluciones distintas que el grado del polinomio. Por ejemplo, la ecuación z 2 + 1 = 0 , tiene infinitas soluciones de cuaterniones, que son los cuaterniones z = b i + c j + d k tales que b 2 + c 2 + d 2 = 1 . Así, estas "raíces de –1" forman una esfera unitaria en el espacio tridimensional de los cuaterniones vectoriales.
Para dos elementos a 1 + b 1 i + c 1 j + d 1 k y a 2 + b 2 i + c 2 j + d 2 k , su producto, llamado producto de Hamilton ( a 1 + b 1 i + c 1 j + d 1 k ) ( a 2 + b 2 i + c 2 j + d 2 k ), está determinada por los productos de los elementos base y la ley distributiva . La ley distributiva permite expandir el producto para que sea una suma de productos de elementos básicos. Esto da la siguiente expresión:
Ahora los elementos base se pueden multiplicar usando las reglas dadas anteriormente para obtener: [9]
El producto de dos cuaterniones de rotación [23] será equivalente a la rotación a 2 + b 2 i + c 2 j + d 2 k seguida de la rotación a 1 + b 1 i + c 1 j + d 1 k .
Un cuaternión de la forma a + 0 i + 0 j + 0 k , donde a es un número real, se llama escalar , y un cuaternión de la forma 0 + b i + c j + d k , donde b , c y d son números reales, y al menos uno de b , c o d es distinto de cero, se llama cuaternión vectorial . Si a + b i + c j + d k es cualquier cuaternión, entonces a se llama su parte escalar y b i + c j + d k se llama su parte vectorial . Aunque cada cuaternión puede verse como un vector en un espacio vectorial de cuatro dimensiones, es común referirse a la parte del vector como vectores en un espacio tridimensional. Con esta convención, un vector es lo mismo que un elemento del espacio vectorial [b]
Hamilton también llamó cuaterniones vectoriales cuaterniones derechos [25] [26] y a los números reales (considerados como cuaterniones con parte vectorial cero) cuaterniones escalares .
Si un cuaternión se divide en una parte escalar y una parte vectorial, es decir,
entonces las fórmulas para la suma, la multiplicación y el inverso multiplicativo son
donde " " y " " denotan respectivamente el producto escalar y el producto vectorial .
La conjugación de cuaterniones es análoga a la conjugación de números complejos y a la transposición (también conocida como inversión) de elementos de las álgebras de Clifford. Para definirlo, sea un cuaternión. El conjugado de q es el cuaternión . Se denota por q ∗ , q t , o q . [9] La conjugación es una involución , lo que significa que es su propia inversa , por lo que conjugar un elemento dos veces devuelve el elemento original. El conjugado de un producto de dos cuaterniones es el producto de los conjugados en orden inverso . Es decir, si p y q son cuaterniones, entonces ( pq ) ∗ = q ∗ p ∗ , no p ∗ q ∗ .
La conjugación de un cuaternión, en marcado contraste con la configuración compleja, se puede expresar mediante la multiplicación y suma de cuaterniones:
La conjugación se puede utilizar para extraer las partes escalar y vectorial de un cuaternión. La parte escalar de p es1/2( p + p ∗ ) , y la parte vectorial de p es1/2( pags - pags ∗ ) .
La raíz cuadrada del producto de un cuaternión con su conjugado se llama norma y se denota ‖ q ‖ (Hamilton llamó a esta cantidad tensor de q , pero esto entra en conflicto con el significado moderno de " tensor "). En fórmulas, esto se expresa de la siguiente manera:
Este es siempre un número real no negativo y es igual a la norma euclidiana considerada como espacio vectorial . Multiplicar un cuaternión por un número real aumenta su norma por el valor absoluto del número. Es decir, si α es real, entonces
Este es un caso especial del hecho de que la norma es multiplicativa , lo que significa que
para dos cuaterniones cualesquiera p y q . La multiplicatividad es una consecuencia de la fórmula del conjugado de un producto. Alternativamente se sigue de la identidad
(donde i denota la unidad imaginaria habitual ) y, por tanto, de la propiedad multiplicativa de los determinantes de matrices cuadradas.
Esta norma permite definir la distancia d ( p , q ) entre p y q como norma de su diferencia:
Esto forma un espacio métrico . La suma y la multiplicación son continuas con respecto a la topología métrica asociada . Esto se deduce exactamente con la misma demostración que para los números reales del hecho de que es un álgebra normada.
Un cuaternión unitario es un cuaternión de norma uno. Dividir un cuaternión q distinto de cero por su norma produce un cuaternión unitario U q llamado versor de q :
Cada cuaternión distinto de cero tiene una descomposición polar única , mientras que el cuaternión cero puede formarse a partir de cualquier cuaternión unitario.
El uso de la conjugación y la norma permite definir el recíproco de un cuaternión distinto de cero. El producto de un cuaternión con su recíproco debe ser igual a 1, y las consideraciones anteriores implican que el producto de y es 1 (para cualquier orden de multiplicación). Entonces el recíproco de q se define como
Dado que la multiplicación no es conmutativa, las cantidades cocientes p q −1 o q −1 p son diferentes (excepto si p y q son múltiplos escalares entre sí o si uno es un escalar): la notaciónpag/qes ambiguo y no debe usarse.
El conjunto de todos los cuaterniones es un espacio vectorial sobre los números reales con dimensión 4. [c] La multiplicación de cuaterniones es asociativa y se distribuye sobre la suma de vectores, pero con la excepción del subconjunto escalar, no es conmutativa. Por lo tanto, los cuaterniones son un álgebra asociativa no conmutativa sobre los números reales. Aunque contiene copias de los números complejos, no es un álgebra asociativa sobre números complejos.
Como es posible dividir cuaterniones, forman un álgebra de división. Esta es una estructura similar a un campo excepto por la no conmutatividad de la multiplicación. Las álgebras de división asociativa de dimensión finita sobre números reales son muy raras. El teorema de Frobenius establece que hay exactamente tres: , y . La norma convierte los cuaterniones en un álgebra normada , y las álgebras de división normada sobre números reales también son muy raras: el teorema de Hurwitz dice que sólo hay cuatro: , , y (los octoniones). Los cuaterniones son también un ejemplo de álgebra de composición y de álgebra unital de Banach .
Debido a que el producto de dos vectores de base cualesquiera es más o menos otro vector de base, el conjunto {±1, ± i , ± j , ± k } forma un grupo bajo multiplicación. Este grupo no abeliano se llama grupo cuaternión y se denota Q 8 . [27] El anillo del grupo real de Q 8 es un anillo que también es un espacio vectorial de ocho dimensiones. Tiene un vector base para cada elemento de Los cuaterniones son isomorfos al anillo cociente de por el ideal generado por los elementos 1 + (−1) , i + (− i ) , j + (− j ) y k + (− k ) . Aquí el primer término en cada una de las diferencias es uno de los elementos básicos 1, i , j y k , y el segundo término es uno de los elementos básicos −1, − i , − j y − k , no los inversos aditivos. de 1, i , j y k .
La parte vectorial de un cuaternión se puede interpretar como un vector de coordenadas, por lo tanto, las operaciones algebraicas de los cuaterniones reflejan la geometría de Operaciones como el vector punto y los productos cruzados se pueden definir en términos de cuaterniones, y esto hace posible aplicar técnicas de cuaterniones dondequiera que surjan vectores espaciales. Una aplicación útil de los cuaterniones ha sido la de interpolar las orientaciones de fotogramas clave en gráficos por ordenador. [dieciséis]
Durante el resto de esta sección, i , j y k denotarán los tres vectores base imaginarios [28] de y una base para Reemplazar i por − i , j por − j y k por − k envía un vector a su inverso aditivo , por lo que el inverso aditivo de un vector es el mismo que su conjugado como cuaternión. Por esta razón, a la conjugación a veces se le llama inversa espacial .
Para dos cuaterniones vectoriales p = b 1 i + c 1 j + d 1 k y q = b 2 i + c 2 j + d 2 k su producto escalar , por analogía con los vectores en es
También se puede expresar sin componentes como
Esto es igual a las partes escalares de los productos pq ∗ , qp ∗ , p ∗ q y q ∗ p . Tenga en cuenta que sus partes vectoriales son diferentes.
El producto cruzado de p y q con respecto a la orientación determinada por la base ordenada i , j y k es
(Recuerde que la orientación es necesaria para determinar el signo). Esto es igual a la parte vectorial del producto pq (como cuaterniones), así como a la parte vectorial de − q ∗ p ∗ . También tiene la fórmula
Para el conmutador , [ p , q ] = pq − qp , de dos cuaterniones vectoriales se obtiene
En general, sean p y q cuaterniones y escriba
donde p s y q s son las partes escalares, y p v y q v son las partes vectoriales de p y q . Entonces tenemos la fórmula
Esto muestra que la no conmutatividad de la multiplicación de cuaterniones proviene de la multiplicación de cuaterniones vectoriales. También muestra que dos cuaterniones conmutan si y sólo si sus partes vectoriales son colineales. Hamilton [29] demostró que este producto calcula el tercer vértice de un triángulo esférico a partir de dos vértices dados y sus longitudes de arco asociadas, que también es un álgebra de puntos en geometría elíptica .
Los cuaterniones unitarios se pueden identificar con rotaciones y Hamilton los llamó versores . [29] Consulte también Cuaterniones y rotación espacial para obtener más información sobre el modelado de rotaciones tridimensionales utilizando cuaterniones.
Véase Hanson (2005) [30] para la visualización de cuaterniones.
Así como los números complejos se pueden representar como matrices , también se pueden representar los cuaterniones. Hay al menos dos formas de representar cuaterniones como matrices de tal manera que la suma y multiplicación de cuaterniones correspondan a la suma y multiplicación de matrices . Una es utilizar matrices complejas de 2 × 2 y la otra es utilizar matrices reales de 4 × 4. En cada caso, la representación dada pertenece a una familia de representaciones linealmente relacionadas. En la terminología del álgebra abstracta , estos son homomorfismos inyectivos desde los anillos de la matriz M(2, C ) y M(4, R ) , respectivamente.
El cuaternión a + b i + c j + d k se puede representar usando una matriz compleja de 2 × 2 como
Esta representación tiene las siguientes propiedades:
Usando matrices reales de 4 × 4, ese mismo cuaternión se puede escribir como
Sin embargo, la representación de cuaterniones en M(4, R ) no es única. Por ejemplo, el mismo cuaternión también se puede representar como
Existen 48 representaciones matriciales distintas de esta forma en las que una de las matrices representa la parte escalar y las otras tres son todas asimétricas. Más precisamente, hay 48 conjuntos de cuádruples de matrices con estas restricciones de simetría, de modo que una función que envía 1, i , j y k a las matrices del cuádruple es un homomorfismo, es decir, envía sumas y productos de cuaterniones a sumas. y productos de matrices. [32] En esta representación, el conjugado de un cuaternión corresponde a la transpuesta de la matriz. La cuarta potencia de la norma de un cuaternión es el determinante de la matriz correspondiente. Al igual que con la representación compleja de 2 × 2 anterior, los números complejos se pueden producir nuevamente restringiendo los coeficientes de manera adecuada; por ejemplo, como matrices diagonales de bloques con dos bloques de 2 × 2 estableciendo c = d = 0 .
Cada representación matricial de cuaterniones de 4 × 4 corresponde a una tabla de multiplicar de cuaterniones unitarios. Por ejemplo, la última representación matricial dada arriba corresponde a la tabla de multiplicar.
que es isomorfo - a través de - a
Al restringir cualquier tabla de multiplicar para que tenga la identidad en la primera fila y columna y que los signos de los encabezados de las filas sean opuestos a los de los encabezados de las columnas, entonces hay 3 opciones posibles para la segunda columna (ignorando el signo), 2 posibles opciones para la tercera columna (signo de ignorar) y 1 opción posible para la cuarta columna (signo de ignorar); eso hace 6 posibilidades. Luego, se puede elegir que la segunda columna sea positiva o negativa, la tercera columna se puede elegir para que sea positiva o negativa y la cuarta columna se puede elegir para que sea positiva o negativa, lo que da 8 posibilidades para el signo. Multiplicar las posibilidades para las posiciones de las letras y sus signos produce 48. Luego, reemplazando 1 con a , i con b , j con c y k con d y eliminando los encabezados de filas y columnas se obtiene una representación matricial de a + b i + c. j + re k .
Los cuaterniones también se utilizan en una de las pruebas del teorema de los cuatro cuadrados de Lagrange en teoría de números , que establece que todo número entero no negativo es la suma de cuatro cuadrados enteros. Además de ser un teorema elegante por derecho propio, el teorema de los cuatro cuadrados de Lagrange tiene aplicaciones útiles en áreas de las matemáticas fuera de la teoría de números, como la teoría del diseño combinatorio . La prueba basada en cuaterniones utiliza cuaterniones de Hurwitz , un subanillo del anillo de todos los cuaterniones para el que existe un análogo del algoritmo euclidiano .
Los cuaterniones se pueden representar como pares de números complejos. Desde esta perspectiva, los cuaterniones son el resultado de aplicar la construcción de Cayley-Dickson a los números complejos. Ésta es una generalización de la construcción de los números complejos como pares de números reales.
Sea un espacio vectorial bidimensional sobre números complejos. Elija una base que consta de dos elementos 1 y j . Un vector en se puede escribir en términos de los elementos base 1 y j como
Si definimos j 2 = −1 y i j = − j i , entonces podemos multiplicar dos vectores usando la ley distributiva. Usar k como notación abreviada para el producto i j conduce a las mismas reglas de multiplicación que los cuaterniones habituales. Por lo tanto, el vector de números complejos anterior corresponde al cuaternión a + bi + c j + d k . Si escribimos los elementos de pares ordenados y cuaterniones como cuádruples, entonces la correspondencia es
En los números complejos, hay exactamente dos números, i y −i , que dan −1 cuando se elevan al cuadrado. Hay infinitas raíces cuadradas de menos uno: la solución del cuaternión para la raíz cuadrada de −1 es la esfera unitaria en Para ver esto, sea q = a + b i + c j + d k un cuaternión, y supongamos que su cuadrado es −1. En términos de a , b , c y d , esto significa
Para satisfacer las últimas tres ecuaciones, a = 0 o b , c y d son todos 0. Esto último es imposible porque a es un número real y la primera ecuación implicaría que a 2 = −1 . Por lo tanto, a = 0 y b 2 + c 2 + d 2 = 1 . En otras palabras: un cuaternión se cuadra a −1 si y solo si es un cuaternión vectorial con norma 1. Por definición, el conjunto de todos esos vectores forma la esfera unitaria.
Sólo los cuaterniones reales negativos tienen infinitas raíces cuadradas. Todos los demás tienen sólo dos (o uno en el caso de 0). [ cita necesaria ] [d]
Cada par antípoda de raíces cuadradas de −1 crea una copia distinta de los números complejos dentro de los cuaterniones. Si q 2 = −1 , entonces la copia es la imagen de la función
Se trata de un homomorfismo de anillo inyectivo desde hasta que define un isomorfismo de campo desde hasta su imagen . Las imágenes de las incrustaciones correspondientes a q y − q son idénticas.
Cada cuaternión no real genera una subálgebra de los cuaterniones que es isomorfa y, por tanto, es un subespacio plano de escritura q como la suma de su parte escalar y su parte vectorial:
Descomponga aún más la parte del vector como el producto de su norma y su versor :
(Esto no es lo mismo que .) El versor de la parte vectorial de q , , es un versor derecho con –1 como cuadrado. Una verificación sencilla muestra que
Como es la unión de las imágenes de todos estos homomorfismos, se pueden ver los cuaterniones como un lápiz de planos que se cruzan en la recta real . Cada uno de estos planos complejos contiene exactamente un par de puntos antípodas de la esfera de raíces cuadradas de menos uno.
La relación de los cuaterniones entre sí dentro de los subplanos complejos de también se puede identificar y expresar en términos de subanillos conmutativos . Específicamente, dado que dos cuaterniones p y q conmutan (es decir, pq = qp ) solo si se encuentran en el mismo subplano complejo de , el perfil de como unión de planos complejos surge cuando se busca encontrar todos los subanillos conmutativos del anillo del cuaternión .
Cualquier cuaternión (representado aquí en representación escalar-vectorial) tiene al menos una raíz cuadrada que resuelve la ecuación . Al observar las partes escalar y vectorial de esta ecuación por separado se obtienen dos ecuaciones, que cuando se resuelven dan las soluciones
donde es la norma de y es la norma de . Para cualquier cuaternión escalar , esta ecuación proporciona las raíces cuadradas correctas si se interpreta como un vector unitario arbitrario.
Por lo tanto, los cuaterniones no escalares, distintos de cero, o cuaterniones escalares positivos, tienen exactamente dos raíces, mientras que 0 tiene exactamente una raíz (0), y los cuaterniones escalares negativos tienen infinitas raíces, que son los cuaterniones vectoriales ubicados en , es decir, donde la parte escalar es cero y la parte vectorial está ubicada en la 2 esferas con radio .
Al igual que las funciones de una variable compleja , las funciones de una variable cuaternión sugieren modelos físicos útiles. Por ejemplo, los campos eléctricos y magnéticos originales descritos por Maxwell eran funciones de una variable cuaternión. Ejemplos de otras funciones incluyen la extensión del conjunto de Mandelbrot y los conjuntos de Julia en un espacio de 4 dimensiones. [36]
Dado un cuaternión,
el exponencial se calcula como [37]
y el logaritmo es [37]
De ello se deduce que la descomposición polar de un cuaternión puede escribirse
donde el ángulo [e]
y el vector unitario está definido por:
Cualquier cuaternión unitario puede expresarse en forma polar como:
La potencia de un cuaternión elevado a un exponente arbitrario (real) x viene dada por:
La distancia geodésica d g ( p , q ) entre los cuaterniones unitarios p y q se define como: [39]
y equivale al valor absoluto de la mitad del ángulo subtendido por p y q a lo largo de un gran arco de la esfera S 3 . Este ángulo también se puede calcular a partir del producto escalar del cuaternión sin el logaritmo como:
La palabra " conjugación ", además del significado dado anteriormente, también puede significar tomar un elemento a a r a r −1 donde r es algún cuaternión distinto de cero. Todos los elementos que son conjugados a un elemento dado (en este sentido de la palabra conjugado) tienen la misma parte real y la misma norma de la parte vectorial. (Así, el conjugado en el otro sentido es uno de los conjugados en este sentido.) [40]
Así, el grupo multiplicativo de cuaterniones distintos de cero actúa por conjugación sobre la copia de cuaterniones formados por parte real igual a cero. La conjugación de un cuaternión unitario (un cuaternión de valor absoluto 1) con parte real cos( φ ) es una rotación de un ángulo 2 φ , siendo el eje de rotación la dirección de la parte vectorial. Las ventajas de los cuaterniones son: [41]
El conjunto de todos los cuaterniones unitarios ( versores ) forma una S 3 de 3 esferas y un grupo (un grupo de Lie ) bajo la multiplicación, cubriendo doblemente el grupo de matrices ortogonales reales de 3 × 3 del determinante 1, ya que dos cuaterniones unitarios corresponden a cada rotación bajo la correspondencia anterior. Ver truco del plato .
La imagen de un subgrupo de versores es un grupo de puntos y, a la inversa, la preimagen de un grupo de puntos es un subgrupo de versores. La preimagen de un grupo de puntos finitos recibe el mismo nombre, con el prefijo binario . Por ejemplo, la preimagen del grupo icosaédrico es el grupo icosaédrico binario .
El grupo de versores es isomorfo a SU(2) , el grupo de matrices unitarias complejas 2×2 del determinante 1.
Sea A el conjunto de cuaterniones de la forma a + b i + c j + d k donde a , b, cyd son todos números enteros o todos semienteros . El conjunto A es un anillo (de hecho, un dominio ) y una red y se llama anillo de cuaterniones de Hurwitz. Hay 24 cuaterniones unitarios en este anillo, y son los vértices de una celda regular de 24 con el símbolo de Schläfli {3,4,3}. Corresponden a la doble cubierta del grupo de simetría rotacional del tetraedro regular . De manera similar, los vértices de una celda regular de 600 con símbolo de Schläfli {3,3,5 } pueden tomarse como la unidad icosianos , correspondientes a la doble cobertura del grupo de simetría rotacional del icosaedro regular . La doble cubierta del grupo de simetría rotacional del octaedro regular corresponde a los cuaterniones que representan los vértices del diesfenoidal de 288 celdas . [42]
Los cuaterniones se pueden generalizar en otras álgebras llamadas álgebras de cuaterniones . Considere F como cualquier campo con características diferentes de 2, y a y b como elementos de F ; se puede definir un álgebra asociativa unitaria de cuatro dimensiones sobre F con base 1, i , j e ij , donde i 2 = a , j 2 = by ij = − ji ( entonces (ij) 2 = − ab ) .
Las álgebras de cuaterniones son isomorfas al álgebra de matrices de 2 × 2 sobre F o forman álgebras de división sobre F , dependiendo de la elección de a y b .
La utilidad de los cuaterniones para cálculos geométricos se puede generalizar a otras dimensiones identificando los cuaterniones como la parte par del álgebra de Clifford. Esta es un álgebra multivectorial asociativa construida a partir de elementos básicos fundamentales σ 1 , σ 2 , σ 3 usando las reglas del producto.
Si se toman estos elementos básicos fundamentales para representar vectores en el espacio 3D, entonces resulta que la reflexión de un vector r en un plano perpendicular a un vector unitario w se puede escribir:
Dos reflexiones hacen una rotación de un ángulo dos veces el ángulo entre los dos planos de reflexión, por lo que
corresponde a una rotación de 180° en el plano que contiene σ 1 y σ 2 . Esto es muy similar a la fórmula del cuaternión correspondiente,
De hecho, las dos estructuras y son isomorfas . Una identificación natural es
y es sencillo confirmar que esto preserva las relaciones de Hamilton.
En esta imagen, los llamados "cuaterniones vectoriales" (es decir, cuaterniones imaginarios puros) no corresponden a vectores sino a bivectores : cantidades con magnitud y orientaciones asociadas con planos 2D particulares en lugar de direcciones 1D . La relación con los números complejos también se vuelve más clara: en 2D, con dos direcciones vectoriales σ 1 y σ 2 , solo hay un elemento base bivectorial σ 1 σ 2 , por lo que solo uno imaginario. Pero en 3D, con tres direcciones vectoriales, hay tres elementos base bivectoriales σ 2 σ 3 , σ 3 σ 1 , σ 1 σ 2 , entonces tres imaginarios.
Este razonamiento se extiende más allá. En el álgebra de Clifford existen seis elementos básicos bivectoriales, ya que con cuatro direcciones vectoriales básicas diferentes se pueden definir seis pares diferentes y, por tanto, seis planos diferentes linealmente independientes. Las rotaciones en dichos espacios utilizando estas generalizaciones de cuaterniones, llamadas rotores , pueden ser muy útiles para aplicaciones que involucran coordenadas homogéneas . Pero sólo en 3D el número de bivectores base es igual al número de vectores base, y cada bivector puede identificarse como un pseudovector .
Hay varias ventajas al colocar cuaterniones en este entorno más amplio: [43]
Para obtener más detalles sobre los usos geométricos de las álgebras de Clifford, consulte Álgebra geométrica .
Los cuaterniones son "esencialmente" la única (no trivial) álgebra simple central (CSA) sobre los números reales, en el sentido de que cada CSA sobre los números reales es equivalente de Brauer a los números reales o a los cuaterniones. Explícitamente, el grupo de Brauer de los números reales consta de dos clases, representadas por los números reales y los cuaterniones, donde el grupo de Brauer es el conjunto de todos los CSA, hasta la relación de equivalencia de que un CSA sea un anillo matricial sobre otro. Según el teorema de Artin-Wedderburn (específicamente, la parte de Wedderburn), los CSA son todos álgebras matriciales sobre un álgebra de división y, por lo tanto, los cuaterniones son el único álgebra de división no trivial sobre los números reales.
Los CSA (anillos de dimensión finita sobre un campo, que son álgebras simples (no tienen ideales bilaterales no triviales, al igual que los campos) cuyo centro es exactamente el campo) son un análogo no conmutativo de los campos de extensión y son más restrictivos que los generales. extensiones de anillo. El hecho de que los cuaterniones sean el único CSA no trivial sobre los números reales (hasta la equivalencia) puede compararse con el hecho de que los números complejos son la única extensión de campo finito no trivial de los números reales.
Lo considero una falta de elegancia o una imperfección en los cuaterniones, o más bien en el estado en que se ha desplegado hasta ahora, siempre que se hace o parece necesario recurrir a x, y, z, etc.
— William Rowan Hamilton (hacia 1848) [44]
Se dice que el tiempo tiene una sola dimensión y el espacio tiene tres dimensiones. ... El cuaternión matemático participa de ambos elementos; en lenguaje técnico se puede decir que es "tiempo más espacio", o "espacio más tiempo": y en este sentido tiene, o al menos implica una referencia a, cuatro dimensiones. ... Y cómo el Uno del Tiempo, del Espacio los Tres, Podrían estar ceñidos en la Cadena de Símbolos .
— William Rowan Hamilton (hacia 1853) [45]
Los cuaterniones vinieron de Hamilton después de haber realizado su realmente buen trabajo; y, aunque maravillosamente ingeniosos, han sido un verdadero mal para quienes los han tocado de alguna manera, incluido el secretario Maxwell .
— W. Thompson, Lord Kelvin (1892) [46]
De hecho, hubo un tiempo en el que, aunque reconocía la idoneidad del análisis vectorial en la teoría electromagnética (y en la física matemática en general), pensé que era más difícil de entender y aplicar que el análisis cartesiano. Pero eso fue antes de que me hubiera desprendido del viejo hombre del mar cuaterniónico que se sujetaba a mis hombros mientras leía el único tratado accesible sobre el tema: los Cuaterniones del profesor Tait. Pero más tarde me di cuenta de que, en lo que respecta al análisis vectorial que necesitaba, el cuaternión no sólo no era necesario, sino que era un mal positivo de magnitud nada despreciable; y que al evitarlo, el establecimiento del análisis vectorial se hizo bastante simple y su funcionamiento también se simplificó, y que podría armonizarse convenientemente con el trabajo cartesiano ordinario. No hay ni el fantasma de un cuaternión en ninguno de mis artículos (excepto en uno, para un propósito especial). El análisis vectorial que utilizo puede describirse como una abreviatura conveniente y sistemática del análisis cartesiano; o bien, como Cuaterniones sin los cuaterniones, ... Creo que una colegiala estadounidense definió "Cuaternión" como "una antigua ceremonia religiosa". Sin embargo, esto fue un completo error. Los antiguos, a diferencia del profesor Tait, no lo sabían ni adoraban a los Cuaterniones.
—Oliver Heaviside (1893) [47]
Ni las matrices ni los cuaterniones ni los vectores ordinarios fueron desterrados de estos diez capítulos [adicionales]. Porque, a pesar del poder indiscutible del cálculo tensorial moderno, esos lenguajes matemáticos más antiguos continúan, en mi opinión, ofreciendo ventajas notorias en el restringido campo de la relatividad especial. Además, tanto en la ciencia como en la vida cotidiana, el dominio de más de un idioma también es valioso, ya que amplía nuestras opiniones, conduce a la crítica y protege contra la hipóstasis [fundamento débil] del asunto expresado. mediante palabras o símbolos matemáticos.
— Ludwik Silberstein (1924) [48]
... los cuaterniones parecen exudar un aire de decadencia del siglo XIX, como una especie bastante fracasada en la lucha por la vida de las ideas matemáticas. Es cierto que los matemáticos todavía guardan un lugar cálido en sus corazones por las notables propiedades algebraicas de los cuaterniones pero, desgraciadamente, tal entusiasmo significa poco para el científico físico más testarudo.
— Simon L. Altmann (1986) [49]
líneas de cociente de cuaterniones espacio-tiempo tridimensional
Una rotación de
q1
seguida de una rotación de
q2
equivale a una sola rotación de
q2 q1
.
Note la inversión de orden, es decir, colocamos la primera rotación en el lado derecho de la multiplicación.
diádico tensor derecho
{{cite web}}
: CS1 maint: archived copy as title (link) CS1 maint: unfit URL (link)". MA Sec. RSE Encyclopædia Britannica , novena edición, 1886, vol. XX, págs. 160-164. ( archivo PostScript comprimido )