CUATERNIONES William Rowan Hamilton, cientfico que se ocupo de la astronoma, fsica y matemticas y a quien se le debe el nombre de vector, creo

un sistema de nmeros complejos de cuatro unidades, que denomin Quaternions (cuaterniones o caternios), estos satisfacen las propiedades de las operaciones de la aritmtica ordinaria con excepcin de la propiedad conmutativa de la multiplicacin, resultando el primer ejemplo de cuerpo no conmutativo en el campo real. Hamilton buscaba formas de extender los nmeros complejos (que pueden interpretarse como puntos en un plano) a un nmero mayor de dimensiones. No pudo hacerlo para 3 dimensiones, pero para 4 dimensiones obtuvo los cuaterniones. Segn una historia relatada por el propio Los cuaterniones aparecieron en 1843, aunque Hamilton dio sus Lectures on Quternions con el estudio completo del tema en 1853. En este tratado introduce las matrices, como una extensin del concepto de determinante, aunque el calculo de matrices seria desarrollado algo mas tarde, en 1858 por Cayley a quien se le debe el nombre y su extensin al espacio pluridimensional. Los cuaterniones son una extensin de los nmeros reales, similar a la de los nmeros complejos. Mientras que los nmeros complejos son una extensin de los reales por la adicin de la unidad imaginaria i, tal que i2 = 1, los cuaterniones son una extensin generada de manera anloga aadiendo las unidades imaginarias: i, j y k a los nmeros reales y tal que i2 = j2 = k2 = ijk = 1. Esto se puede resumir en esta tabla de multiplicacin: la Tabla de Cayley (ingls). 1 i j k 1 1 i j k i i -1 k -j j j -k -1 i k k j -i -1 Tabla de Cayley Expresado de otra manera: i2 = j2 = k2 = 1, ij = k, ji = k, jk = i, kj = i, ki = j, ik = j.

O sea, cuando multiplicamos en el orden i j k i, el producto es el elemento restante, pero si multiplicamos en el orden inverso obtenemos el opuesto. Con lo cual verificamos que no cumple con la propiedad conmutativa (el orden de los factores para este caso si altera el producto).
1, i, j, k, son entonces las "bases" de las componentes de un cuaternin.

Representacin vectorial de los cuaterniones. Un cuaternin puede expresarse como el conjunto:

Entonces un cuaternin es un nmero de la forma a + bi + cj + dk, donde a, b, c, y d son nmeros reales unvocamente determinados por cada cuaternin. Anlogamente, un cuaternin puede expresarse como el producto interno (componente a componente) de dos vectores, de los cuales uno es el de las componentes

, y el otro el de las "bases": . En este caso, el elemento a1 que forma la componente real se anota aparte, y para el producto interno se consideran solamente las tres bases i, j, k:

Esta representacin tiene algunas ventajas que pueden ser vistas en algunas operaciones como el producto de cuaterniones. Representacin matricial de los cuaterniones Adems hay, al menos, dos maneras de (dos isomorfismos para) representar cuaterniones con |matrices. As el cuaternin se puede representar: Usando matrices complejas de 2x2:

Donde el conjunto de todas las matrices anteriores se designa mediante U(2). Cuyo subconjunto SU(2) -los cuatenios unitarios- juegan un papel importante en la teora de gauge y de donde es fcil ver que el determinante es igual a . Una propiedad interesante de esta representacin es que todos los nmeros complejos son matrices que slo tienen componentes reales. Usando matrices reales de 4x4:

Tambin en este caso el determinante de la matriz resulta igual a Aplicaciones Los cuaterniones tienen diversas aplicaciones que van desde la teora de nmeros, en donde pueden utilizarse para probar resultados como el teorema dado por Lagrange que dice que todo nmero natural n puede expresarse como la suma de cuatro cuadrados perfectos, hasta aplicaciones fsicas dentro del electromagnetismo, teora de la relatividad y mecnica cuntica, entre otras. Los cuaterniones en fsica representan rotaciones en el espacio. Adems tienen aplicaciones en el electromagnetismo y la mecnica cuntica. Los cuaterniones se utilizan a menudo en grficos por computadora (y en el anlisis geomtrico asociado) para representar la orientacin de un objeto en un espacio tridimensional. Las ventajas son: conforman una representacin no singular (comparada con, por ejemplo, los ngulos de Euler), ms compacta y ms rpida que las matrices.