Cuaternin

(Redirigido desde Cuaterniones)

Los cuaterniones (tambin llamados cuaternios) son una extensin de los nmeros reales,
similar a la de losnmeros complejos. Mientras que los nmeros complejos son una extensin
de los reales por la adicin de la unidad imaginaria i, tal que
, los cuaterniones son
una extensin generada de manera anloga aadiendo las unidades imaginarias: i, j y k a los
nmeros reales y tal que
tabla de multiplicacin: la Tabla de Cayley.
1
i
j
k

1
1
i
j
k

. Esto se puede resumir en esta

i j k
i j k
-1 k -j
-k -1 i
j -i -1

1, i, j, k, son entonces las "bases" de las componentes de un cuaternin.

ndice
[ocultar]

1 Representaciones de los cuaterniones

o

1.1 Vectorial

1.2 Matricial

2 Aritmtica bsica de cuaterniones

o

2.1 Adicin

2.2 Producto

2.3 Conjugacin

2.4 Cociente

2.5 Exponenciacin

2.6 Comparacin con matrices

3 Detalles algebraicos
o

3.1 Clasificacin en el lgebra abstracta

4 Aplicaciones

5 Historia

6 Generalizaciones

7 Vase tambin

8 Referencia
o

8.1 Bibliografa

8.2 Enlaces externos y monografas

8.3 Software

Representaciones de los cuaterniones[editar]

Vectorial[editar]
Un cuaternin puede expresarse como el conjunto:

o equivalentemente:

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.

Matricial[editar]
Adems hay, al menos, dos formas, 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

. Cuyo
subconjunto SU(2), los cuatenios unitarios, juegan un papel importante en la teora de
gauge y de donde es fcil ver que el determinantees igual
a
. Una propiedad interesante de esta representacin
es que todos losnmeros 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

Aritmtica bsica de cuaterniones[editar]

Definimos la suma y producto entre cuaternios mediante la aritmtica usual de las
matrices y de los nmeros complejos. Puede comprobarse que el conjunto , junto
con estas operaciones, satisface todas las propiedades de un campo con excepcin
del producto que no es conmutativo.

Adicin[editar]
La adicin se realiza anlogamente a como se hace con los complejos, es decir:
trmino a trmino:

Producto[editar]
El producto se realiza componente a componente, y est dado en su forma completa
por:

Una forma ligeramente ms reducida puede ser:

El producto entre cuaterniones es asociativo y no es conmutativo.

Conjugacin[editar]

El conjugado de un cuaternin

est dado

por
. En otras palabras, el conjugado invierte el
signo de los componentes "agregados" del cuaternin. Matricialmente esto
corresponder a la operacin de trasposicin de cualquiera de sus
representaciones matriciales.

La medida o valor absoluto de un cuaternin x est dado por:

Matricialmente, esta medida coincide

con la raz cuadrada del determinante de la matriz que representa al cuaternin. Esta
medida cumple una propiedad similar al mdulo de un nmero complejo: |zw| = |w| |z|
para cualesquiera cuaterniones z y w.
Usando como norma el valor absoluto, los cuaterniones conforman un lgebra de
Banach real.

Cociente[editar]
Usando la forma del inverso, es posible escribir el cociente de dos cuaterniones como:

El inverso multiplicativo de un cuaternin x, distinto de cero, est dado por:

. El cual es mismo patrn que cumplen los nmeros
complejos.

Exponenciacin[editar]
La exponenciacin de nmeros cuaterninicos, al igual que sucede con los nmeros
complejos, est relacionada confunciones trigonomtricas. Dado un cuaternin escrito
en forma cannica q = a + bi + cj + dk su exponenciacin resulta ser:

Comparacin con matrices[editar]

La multiplicacin de matrices no es, en general, conmutativa al igual que en el caso de
los cuaterniones. Sin embargo, tampoco todas las matrices poseen un inverso
multiplicativo mientras que todos los cuaternios diferentes del cero si son invertibles.

Detalles algebraicos[editar]
Los cuaterniones son un ejemplo de cuerpo asimtrico (a veces llamado anillo con
divisin), una estructura algebraica parecida a un cuerpo pero no conmutativo en la
multiplicacin, es decir: satisfacen todas las propiedades de un cuerpo con excepcin
de que el producto no es conmutativo. La multiplicacin es asociativa y todo
cuaternin no nulo posee un nico inverso. Forman una -lgebra asociativa 4dimensional sobre los reales y los complejos forman un subconjunto de ella, los
cuaterniones no forman un lgebra asociativa sobre los complejos.
Usando la funcin distancia definida como
= |z - w|, los cuaterniones forman
un espacio mtrico y todas las operaciones aritmticas son continuas.
El conjunto de los cuaterniones de valor absoluto 1 forman una esfera 3dimensional S3 y un grupo (incluso grupo de Lie) con la multiplicacin. Este grupo
acta, mediante conjugacin, sobre la copia de R3 constituida por los cuaterniones
cuya parte real es cero. No es difcil comprobar que la conjugacin por un cuaternin
unidad de parte real cos t es una rotacin de ngulo 2t con el eje de giro en la
direccin de la parte imaginaria.

As, S3 constituye un recubrimiento doble del grupo SO(3) de matrices ortogonales

3x3 de determinante 1; esisomorfo a SU(2), el grupo de matrices 2 x 2 complejas
unitarias y de determinante unidad.
Sea A el conjunto de cuaterniones de la forma a + bi + cj + dk donde a, b, c y d son, o
todos enteros o todosracionales con numerador impar y denominador 2. El
conjunto A es un anillo y un retculo. Hay 24 cuaterniones unitarios en este anillo y son
los vrtices de un politopo regular, llamado {3,4,3} en la notacin de Schlafli.

Clasificacin en el lgebra abstracta[editar]

Un conjunto que posee todas las propiedades de un campo excepto por
se
conoce como un anillo con divisin o un campo asimtrico. La construccin de los
cuaternios por Hamilton fue el primer ejemplo de este tipo de estructura. La existencia
del inverso multiplicativo de un cuaternin no nulo puede comprobarse de manera
semejante a como se realiza para los complejos como sigue. Recordemos que para
cualquier nmero complejo z = a + bi se define su norma como la raz cuadrada
de
y su conjugado como z = a - bi. Tenemos entonces que recordemos
que el cuaternin h = a + bI + cJ + dK puede pensarse como la matriz compleja.

Aplicaciones[editar]
Los cuaterniones no son nicamente una curiosidad algebraica. Tienen diversas
aplicaciones que van desde lateora 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
aplicacionesfsicas dentro del electromagnetismo, teora de la relatividad y mecnica
cuntica, entre otras.
Los cuaterniones en fsica representan rotaciones en el espacio, vase cuaterniones y
rotacin 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.

Historia[editar]

Placa conmemorativa en el puente de Brougham (Broom), Dubln, con el texto:

"Here as he walked by on the 16th of October 1843 Sir William Rowan Hamilton in a flash
of genius discovered the fundamental formula for quaternion multiplication
i = j = k = i j k = 1"

Los cuaterniones fueron creados por William Rowan Hamilton en 1843. 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 Hamilton, la solucin al problema que le ocupaba le sobrevino
un da que estaba paseando con su esposa, bajo la forma de la ecuacin: i = j = k
= ijk = -1. Inmediatamente, grab esta expresin en el lateral del puente de Brougham,
que estaba muy cerca del lugar.
Hamilton populariz los cuaterniones con varios libros, el ltimo de los
cuales,Elements of Quaternions (en ingls Elementos de Cuaterniones), tena 800
pginas y fue publicado poco despus de su muerte.

Generalizaciones[editar]
Si F es un cuerpo cualquiera y a y b son elementos de F, se puede definir unlgebra
asociativa unitaria de cuatro dimensiones sobre F utilizando dos generadores, i y j, y
las relaciones i = a, j = b e ij = -ji. Estas lgebras, o son isomorfas al lgebra de
matrices 2x2 sobre F, o son lgebras de divisin sobre F, y se denominan lgebras de
cuaterniones.