Vous êtes sur la page 1sur 5

ADDENDAS LIBRO DE ALGEBRA

24 de septiembre de 2014

1.

Cuaterniones

A mediados del siglo XIX, William Rowan Hamilton introdujo los cuaterniones tratando de representar los puntos del espacio tridimensional
por medio de un n
umero, de una manera analoga a como representamos los puntos del plano usando n
umeros complejos. Su problema era
definir como multiplicar y dividir las coordenadas de puntos en el espacio.
La anecdota cuenta que cruzando un puente camino de la Academia de
Ciencias de Dubln le vino la idea de improviso y grabo con un cuchillo
en la baranda las formulas que veremos mas abajo.
Los cuaterniones son una generalizacion de los n
umeros complejos en
el que hay tres races distintas de 1 a saber i, j y k. Mas precisamente,
el conjunto de los cuaterniones se define como
H = {a + b i + cj + dk : a, b, c, d R} .
La definicion formal de las operaciones es la siguiente. Si a = a1 +
a2 i + a3 j + a4 k y b = b 1 + b 2 i + b 3 j + b 4 k
a + b = (a1 + a2 i + a3 j + a4 k)
a b = (a1 b1 a2 b2 a3 b3 a4 b4 ) + (a1 b2 + a2 b1 + a3 b4 a4 b3 ) i
+(a1 b3 a2 b4 + a3 b1 + a4 b2 )j + (a1 b4 + a2 b3 a3 b2 + a4 b1 )k
Si bien la definicion de la suma no despierta mayores comentarios, la
definicion del producto no da muchas luces acerca de su origen. La cuestion es bastante mas intuitiva que lo que parece. Las reglas que satisface
el producto de las unidades imaginarias es la siguiente.
i i = j j = k k = i j k = 1 .
1

Estas son las identidades que Hamilton habra grabado en el puente de


Dubln.
Si suponemos que la multiplicacion es asociativa y que el producto de
un n
umero real por una unidad imaginarias conmuta, de esas identidades
se desprende facilmente que
i j = k = j i
j k = i = k j
k i = j = i k
Por ejemplo, si multiplicamos la u
ltima identidad de Hamilton por i,
tenemos
i ( i j k) = i (1) = i ,
de donde por asociatividad,
( i i) j k = i ,
o sea,
j k = i.
Vemos que las operaciones entre cuaterniones se definen en forma
analoga a aquellas de los n
umeros complejos, es decir, se operan como
expresiones algebraicas cualesquiera, teniendo en cuenta que debemos
establecer como se multiplican las tres unidades imaginarias. Para ello,
conservamos casi todas las propiedades de los polinomios, asociatividad y
conmutatividad de la suma y asociatividad del producto y distributividad
del producto sobre la suma, sin embargo, como vimos, el producto no es
conmutativo.
Un camino mas intuitivo para definir el producto podra ser dando
estas identidades y las propiedades habituales de las operaciones entre de
polinomios con excepcion de la conmutatividad del producto. Si hacemos
esto, llegamos a la definicion anterior
Observamos tambien que 0 = 0 + 0 i + 0j + 0k H y 1 = 1 + 0 i +
0j + 0k H son neutros aditivo y multiplicativo respectivamente.
Definimos el conjugado del cuaternion a como
a = a1 a2 i a3 j a4 k .
Entonces es inmediato verificar que
a a = a21 + a22 + a23 + a24 ,
2

identidad que nos permite definir la norma y tambien el inverso multiplicativo de a.


p

a a = a21 + a22 + a23 + a24


|a| =
a1 =

a
aa

De esta manera, podemos dividir dos cuaterniones multiplicando el


dividendo por el inverso del divisor. Sin embargo, dado que el producto
de cuaterniones no es conmutativo, existen dos divisiones posibles multiplicado el inverso del divisor por la izquierda o por la derecha. Tenemos
entonces dos divisiones posibles:
a/b = a b1
.
b\a = b1 a
Por ejemplo,
j/ i = j i1 = j ( i) = k
i\j = i1 j = i (j) = k
Esto abre todo un campo de estudio de estructuras algebraicas no conmutativas.
Ejemplo 1.

1.1.

1.

Cuaterniones como pares ordenados de un n


ume3
ro real y un vector en R

El lector familiarizado con vectores en el espacio tridimensional debe


haber notado la similitud entre el producto de las unidades imaginarias
y el producto cruz de los vectores unitarios i, j, y k. Incluso la nomenclatura es la misma. Por supuesto esto no esfortuito dado que Hamilton
buscaba precisamente una manera de codificar los puntos del espacio.
Una manera alternativa de entender los cuaterniones es como pares
ordenados en R R3 , es decir,

H = {(,
v ) : R,
v R3 } .
De esta manera las operaciones son

a + b = ( + ,
v +
w)
,

a b = ( v w ,
w +
v +
v
w)
3

donde
v
w y
v
w ) son los producto punto y cruz habituales de los
3
vectores en R .

1.2.

Ejercicios

1. Demuestre que en H hay infinitas races de 1, es decir hay infinitos


cuaterniones a tales que a2 = 1.
2. Demuestre que a b = b a.
3. Demuestre que si dos enteros se pueden escribir como suma de
cuatro cuadrados, entonces su producto tambien. (Este Lema es
importante para demostrar el Teorema de Lagrange, que dice que
todo entero positivo puede escribirse como suma de cuatro cuadrados. Tiene varias aplicaciones. Naturalmente, hay demostraciones
que no usan cuaterniones).
4. Demuestre que H es un espacio vectorial de dimension cuatro sobre
el cuerpo de los n
umeros reales.
5. Cuaterniones como matrices complejas. Demuestre que el
cuaternion a = a + b i + cj + dk H se puede representar como la
matriz


a + bi c + di
a=
.
c + di a bi



a + bi c + di

De este modo, H =
M22 (C) , dotado
c + di a bi
de las operaciones matriciales habituales es isomorfo a H.
a) Encuentre la representacion de i, j y k.
b) Demuestre que la norma de a es la raz cuadrada de su determinante.
c) Demuestre que el conjugado de a es el conjugado complejo de
la matriz traspuesta.
6. Cuaterniones como matrices reales. Demuestre que el cuaternion a = a + b i + cj + dk H se puede representar como la matriz

a
b
c
d
b a d c

a=
c d
a b
d c b
a
4

a
b
c
d

b
a
d
c

M44 (R) ,
De este modo, H
=
c d
a b

d c b
a
dotado de las operaciones matriciales habituales es isomorfo a H.
a) Encuentre la representacion de i, j y k.
b) Demuestre que la norma de a es la raz cuarta de su determinante.
c) Demuestre que el conjugado de a es la matriz traspuesta.
7. Averig
ue acerca de los octoniones.

Vous aimerez peut-être aussi