www.monografias.

com

Cuaterniones de Hamilton
Indice
1. Historia del surgimiento de los Cuaterniones.
2. Trabajos de William Rowan Hamilton.
3. Definicin de Cuaternin.
4. Funciones de una variable hipercompleja.

1. Historia del surgimiento de los Cuaterniones.

William Rowan Hamilton
William Rowan Hamilton naci repentinamente en la noche del 3 al 4 de agosto de 1805 en la capital
de Irlanda, en Dubln. Como sus contemporneos Thomas Babington Macaulay y John Stuart Mill,
Hamilton demostr una inteligencia sorprendente desde muy pequeo. Con tres aos fue enviado con
un to suyo por parte de padre, llamado James, que era sacerdote y maestro en la escuela Anglicana
de Trim, un pueblecito cerca de Dubln. Su to James tena fama de excntrico, por ejemplo, el ataba
una cadena al dedo gordo del joven William por la noche y la pasaba a travs de un agujero hasta la
suya propia. A la maana siguiente, cuando era la hora de comenzar los estudios, tiraba fuertemente
de la cadena para despertarlo. Sin embargo, con su to continuo hasta 1923 cuando entr en el Trinity
College de Dubln. A los pocos meses de estar con su to James, con tan solo tres aos, ya escriba y
lea perfectamente el ingls y dominaba la aritmtica avanzada. Con cinco aos recin cumplidos, ya
traduca el latn, el griego y el hebreo y recitaba a Homer, Milton y Dryden. Antes de cumplir los 12
aos, ya haba escrito un manual de gramtica Siria y a los 13 dominaba tan bien el rabe que fue el
encargado de escribir el discurso de bienvenida al embajador de Persia en su visita a Dubln. En
resumen, se dice que a la edad de 13 aos dominaba otros tantos idiomas.
Hamilton se comenz a interesar por las matemticas y la fsica despus de 1920, cuando conoci a
un americano, Zerah Colburn, que poda hacer grandes clculos mentales a velocidades increbles.
Cuando tena 16 aos, y habiendo ledo el Elments dalgbre de Alexis-Claude Clairaut y la Principia
de NeQton, Hamilton se introdujo en la lectura de los 5 volmenes del Trait de mcanique cleste de
Pierre-Simone Laplace. La deteccin de un error en el razonamiento de Laplace hiz que el joven
Hamilton llamase la atencin de John Brinkley, profesor de astronoma en el Trinity College. Con 17
aos, Hamilton envi a Brinkley, por aquel entonces ya presidente de la Royal Irish Academy una
original memoria sobre ptica geomtrica y, cuando ste la present ante la Academia, se dice que
remarc "Este joven, no voy a decir que ser, sino es el primer matemtico de su edad"
En 1823 Hamilton ingresa en el Trinity College, donde obtuvo los mximos honores, tanto en lenguas
clsicas, como en matemticas. Mientras tanto, l continu con sus investigaciones en ptica y en abril
de 1927 present su Theory of Sistems of Rays a la Academia. ste tratado transformaba la ptica
geomtrica en una ciencia dotada de mtodos matemticos estableciendo un mtodo uniforme
aplicable a la resolucin de cualquier problema en este campo. Hamilton comenz desde el principio
que Pierre de Fermat haba establecido en el siglo XVII, conocido como Principio de Fermat, que
establece que la luz recorre el camino que requiera menor tiempo al propagarse de un punto a otro,
tanto si el camino es recto o alterado por la refraccin. La idea bsica de Hamilton fue considerar que
el tiempo (o una cantidad parecida denominada accin) como una funcin de los puntos finales entre
los cuales la luz pasa y demostrando que esa cantidad vara cuando las coordenadas de los puntos
finales varan, de acuerdo con una ley que l denomin ley de accin covariacional. Adems, demostr
que toda la teora es reductible al estudio de esa funcin caracterstica.
Poco despus de la presentacin de su trabajo, y siendo todava un estudiante sin graduar, el Trinity
College le eligi para los puestos de Andrews professor of astronomy y para el de Astrnomo Real de
Irlanda, sucediendo a Brinkley, a quien le haban hecho obispo. Siendo an un estudiante sin graduar

(no tena ni 22 aos) se convirti en examinador ex officio de los graduados que se presentaban al
Bishop Law Prize de matemticas. Sus electores objetaron que se estaba otorgando a Hamilton un
puesto de investigacin libre de las pesadas responsabilidades de la enseanza. Por consiguiente, en
octubre de 1927, 5 meses despus de la publicacin de su tratado de ptica, Hamilton fija su
residencia cerca del Observatorio Dunsink, a 8 km de Dubln, donde vivi el resto de su vida. Demostr
ser un observador sin xito, sin embargo, grandes audiencias acudan a sus lecciones de astronoma,
que gozaban de un inconfundible sabor literario. Y es que, a lo largo de su vida, Hamilton se sinti muy
atrado por la literatura, y consideraba al poeta William Wordsworth entre sus amigos, aunque
Wordsworth le recomend que escribiera matemticas antes que poesa.
Seis aos despus de trasladarse a Dunsink, Hamilton se cas con Maria Bayley, hija del rector del
County Tipperary. Del matrimonio nacieron dos nios y
una nia, pero su mujer no era muy buena en los quehaceres domsticos; como resultado, Hamilton
nunca tuvo comidas regulares y termin confiando excesivamente en el alcohol. Sola trabajar en el
comedor y la cocinera le sola traer chuletas de cordero de vez en cuando. Despus de su muerte, se
encontraron restos de huesos en platos entre sus papeles.
En 1835, Hamilton fue el encargado de la organizacin de la British Association for the Advancement of
Science reunida en Dubln, y al finalizar la cena de despedida, fue nombrado caballero. Dos aos
despus fue nombrado presidente de la Royal Irish Academy. En 1843, le fue otorgada una pensin de
200 libras anuales por el gobierno britnico.
Mientras padeca la que sera su ltima enfermedad, un ataque de gota, Hamilton recibi una gran
satisfaccin al saberse como un nombre seguro para formar parte de la Foreign Associates de la recin
formada National Academy of the United States.
2. Trabajos de William Rowan Hamilton.
En 1832 Hamilton public un artculo complementario a su teora de rayos en el que predeca que,
como resultado de su teora, un fenmeno completamente inesperado debera ser encontrado en la
refraccin de la luz en los cristales biaxiales. ste consistira en un espectro de interferencia que dara
como resultado dos grupos de anillos concntricos. Se conoca tiempo atrs que ciertos cristales de
este tipo, como el topacio, daban origen a dos rayos refractados por cada rayo incidente. La teora de
la doble refraccin haba sido estudiada antes por el fsico Agustin Fresnel. Hamilton descubri
aplicando su mtodo que, bajo ciertas condiciones, un rayo incidente poda dar origen a infinitos rayos
refractados en un cristal biaxial, y que formaran un cono. La prediccin hamiltoniana de la refraccin
cnica se guarda en los anales de la historia como uno de los mayores descubrimientos en ptica, y
fue confirmada experimentalmente en apenas dos meses por un colega, Humphrey Lloyd.
Hoy por hoy, su trabajo en la unificacin de la ptica y la dinmica se considera mucho ms importante
que su prediccin de la refraccin cnica. En 1835 fue publicada su memoria On a General Method in
Dynamics. En ella, siguiendo la idea de Lagrange de reformular las leyes de NeQton, aplicaba su idea
de funcin caracterstica a los sistemas de cuerpos en movimiento y expresaba las ecuaciones del
movimiento de una forma que revelaba la dualidad existente entre las componentes del momento de
un sistema dinmico y las coordenadas que determinan su posicin, y demostraba la equivalencia de
las tres formulaciones. Aunque las ecuaciones cannicas de Hamilton expresaban esta dualidad y
reduca toda la dinmica a un problema de clculo variacional muy familiar para los estudiantes de
dinmica, el profundo significado de la dualidad que l descubri no fue apreciado hasta casi 100 aos
despus, hasta la aparicin de la mecnica cuntica y el desarrollo de la ecuacin de onda de
Schrdinger. Para sostener toda la teora introdujo una nueva funcin, conocida como hamiltoniano
que une las energas potencial y cintica y del cual derivan las ecuaciones del movimiento.
Ese mismo ao, Hamilton descubri los cuaterniones; estos son conjuntos de cuatro nmeros que,
satisfaciendo ciertas reglas de igualdad, adicin y multiplicacin, son de gran utilidad en el estudio
de cantidades en el espacio tridimensional que requieren conocer magnitud y direccin. Este
descubrimiento marc un hito en la historia, ya que liberaba al lgebra del postulado de
conmutabilidad de la multiplicacin (el orden de los factores no altera el resultado). Sus
investigaciones en este campo haban comenzado 10 aos antes con un innovador documento
sobre parejas algebraicas de nmeros, en el cual la entidad bsica ya no era nmeros simples,
sino parejas ordenadas de nmeros. Hamilton emple esta idea para desarrollar una rigurosa
teora sobre los nmeros complejos. Este trabajo fue considerado un intento pionero de dotar al
lgebra de una base axiomtica parecida a la de la geometra. La geometra de nmeros
complejos se basa en vectores bidimensionales sobre un plano. En su intento por llevar a cabo una
generalizacin de su trabajo en el espacio tridimensional, los fracasos se sucedieron durante aos

al no poder resolver problemas fundamentales cuando intentaba aplicar "tripletes" anlogos a las
parejas en un espacio bidimensional. Repentinamente, el 16 de octubre de 1943, mientras
caminaba hacia Dubln por el Royal Canal, la solucin se le apareci repentinamente: las
operaciones geomtricas en el espacio tridimensional no requiere "tripletes", sino "cuadripletes". La
razn es aparentemente sencilla, mientras que en un plano parejas algebraicas bastan, ya que son
equivalentes a un multiplicador y un ngulo, en el espacio tridimensional la orientacin del plano
sobre si mismo es variable, lo cual necesita dos nmeros ms para ser descrito. Hamilton estaba
tan excitado por su descubrimiento que al pasar por el Brougham Bridge de camino, grab las
frmulas fundamentales de los cuaterniones en la piedra: i 2 = j2 = k2 = ijk = -1.
El descubrimiento de Hamilton fue una ruptura con la tradicin, porque abandonaba la ley conmutativa
propia de la multiplicacin ( ab = ba ). Los siguientes 22 aos los dedicara al desarrollo del lgebra de
cuaterniones y sus aplicaciones. Su trabajo fue publicado a ttulo pstumo en 1866 bajo el nombre de
The Elements of Quaternions. Desafortunadamente, Hamilton crey que los cuaterniones seran
adaptados para la resolucin de fsica aplicada, no obstante, fue la versin ms simplificada de J.
Willard Gibbs, conocida como anlisis vectorial, la que fue eventualmente adoptada por los
matemticos y fsicos. Sin embargo, el valor del descubrimiento de Hamilton descansa en las
matemticas puras, donde permiti el desarrollo del lgebra abstracta moderna.
3. Definicin de Cuaternin.
Llamaremos cuaternin o simplemente hipercomplejos de Hamilton a una expresin de la forma: Q = a
+ b i + c j + d k con:
a, b, c, d . Adems i, j, k unidades imaginarias, soluciones dos a dos de la ecuacin x 2 = -1.
ij=k=-ji;
j k = i = - k j;
k i = j = - i k;
i2 = j2 = k2 = -1
Diremos que un cuaternin es imaginario puro si el elemento primer elemento de la expresin es igual
a cero (a = 0).
Decimos que Q = Q/, con Q, Q/ Q; es decir dos cuaterniones son iguales, si, y slo si, son
equivalentes las componentes de su parte real e imaginarias:
a = a/
b = b/
c = c/
d = d/
Operaciones Fundamentales.
La suma y la sustraccin est definida componente a componente; es decir:
Q + Q/ = (a + a/) + (b + b/) i + (c + c/) j + (d + d/) k
Q - Q/ = (a - a/) + (b - b/) i + (c - c/) j + (d - d/) k con Q/ = a/ + b/ i + c/ j + d/ k
(a + b i + c j + d k) + (a b i c j d k) = 2 a
Y el producto est definido de la siguiente forma:
Q// = (a + b i + c j + d k) (a/ + b/ i + c/ j + d/ k) = a a/ - b b/ - c c/ - d d/ +(a b/ +a/ b + c d/ - c/ d) i + (a c/ + a/ c
b d/ - b/ d) j + (a d/ + a/ d + b c/ - b/ c) k.
a// = a a/ b b/ c c/ d d/
b// = a b/ + a/ b + c d/ - c/ d
c// = a c/ + a/ c b d/ - b/ d
d// = a d/ + a/ d + b c/ -b/ c
Q// = a// + b// i + c// j + d// k
Producto por la conjugada:
- (a + b i + c j + d k) (a b i c j d k) = a2 + b2 + c2 + d2.
A este cuaternin Q1 = a b i c j d k se va a llamar cuaternin conjugado del cuaternin a + b i + c j
+ d k.
Todo lo anterior con 1 = (1, 0, 0, 0) ; i = (0, 1, 0, 0) ; j = (0, 0, 1, 0) ; k = (0, 0, 0, 1).
I) Conmutatividad de la suma Q1 + Q2 = Q2 + Q1.
II) Conmutatividad del producto Q1 * Q2 = Q2 * Q1.

III) Asociatividad de la suma (Q1 + Q2) +Q3 = Q1 + ( Q2 + Q3).

IV) Asociatividad del producto (Q1 * Q2) * Q3 = Q1 * (Q2 * Q3).
V) Distributividad (Q1 + Q2) * Q3 = (Q1 + Q3) ( Q2 + Q3 ).
El cuaternin (0, 0, 0, 0) es el cuaternin neutro para la suma.
Es evidente que con la suma como esta definida: (a, b, c, d) + (0, 0, 0, 0) = (a, b, c, d).
Anlogamente el neutro para el producto es (1, 0, 0, 0) puesto que:
(a, b, c, d)(1, 0, 0, 0) = (a, b, c, d) en la forma es que esta definido el producto.
k (a, b, c, d) = (ka, kb, kc, kd)
(0, 1, 0, 0)(0, 1, 0, 0) = (-1, 0, 0, 0) como podemos ver este nmero cuaternin se identifica por i 2.
Es posible establecer reciproco para la suma y la multiplicacin
De Q1 + Q2 = 0 se infiere que:
a + a/ = 0 ; b + b/ = 0 ; c + c/ = 0; d + d/ = 0.
Esto implica que a/ = - a; b/ = - b; c/ = - c; d/ = - d .Por tanto Q2 = -a b i c j d k .
Q2 = -Q1
Anlogamente, si Q1 * Q2 = 1. Con Q1 (0, 0, 0, 0) .
Es decir que Q2 va a ser el inverso multiplicativo para Q1.
Q2 = si Q1 = a + b i + c j + d k.
Otras propiedades:
Nota: El significado del la lnea encima de los cuaterniones es el conjugado de Q.

I)

Idempotencia:

II)

Aditividad:

III)

Multiplicidad:

IV)

Divisibilidad:

El cuadrado de un cuaternin va ha ser Q2 = (a + b i + c j + d k) (a + b i + c j + d k) =

= a2 b2 c2 d2 + 2 a b i + 2 a c j + 2 a d k.
Valor Absoluto.
Llamamos valor absoluto o mdulo del cuaternin al nmero real no negativo
siendo a, b, c, d
X .Es decir por definicin:
|Q|=|a+bi+cj+dk|=
Es evidente que si le queremos hallar el valor absoluto a cualquier cuaternin:
Q + Q/, Q//, Q - Q/ ect; va a ser igual a la raz cuadrada del cuadrado de los elementos reales de cada
unidad imaginaria.
As el | Q |2 = a2 + b2 + c2 + d2.
Ahora con Q = a + b i + c j + d k y Q1 = a b i c j d k (conjugado del primero):
| |= |Q|
| Q1 Q2 | = | Q1 | | Q2 |
| Q 1 Q 2 |2 = | Q 1 |2 | Q 2 |2

Formas distintas de definir un cuaternin.

4
:
Q
a + b i + c j + d k (a, b, c, d) a, b, c, d .

El cudruplo (a, b, c, d) va a definir uno y solo un cuaternin (ordenado).

- Por tanto es inyectiva.
a, b, c, d cada cudruplo (a, b , c, d) va a tener a + b i + c j + d k (cuaternin) nico y definido.
- Por tanto es sobreyectiva.
Esa una funcin biyectiva.
Ahora nos preguntamos Ser esta funcin un isomorfismo? Investiguemos:
Para ello solo faltara probar que se cumple lo siguiente:
[( a + b i + c j + d k)( s + r i + t j + h k)] = [a + b i + c j + d k] [ s + r i + tj + h k].
Con lo que se prueba, que esta funcin es un isomorfismo.
Puesto que (Q , +) es un grupo abeliano, con la suma como esta definida; que
el producto es distributivo con respecto a la suma Q1 (Q2 + Q3) = Q1 Q2 + Q1 Q3
y el producto es asociativo Q1 (Q2 Q3) = (Q1 Q2 ) Q3 .Entonces los cuaterniones con las operaciones de
suma y producto son un anillo.
(Q, +, *) es un anillo.
La forma matricial de definir a un cuaternin es:
:
Q
M
a+bi+cj+dk
()
Para aclarar esta notacin es conveniente desarrollar la siguiente forma, si tomamos 1 = () i = () j = ()
k =).
Seria entonces el cuaternin:
a + b i + c j + d k = a () +b () +c () +d ()
Si sumamos las matrices de la derecha dara la matriz definida en la funcin .
Y solo quedara preguntarse Ser esta funcin un isomorfismo? S lo es, y la demostracin es
equivalente a la de la funcin anterior ().Si calculamos el determinante a la matriz () y calcula el
mdulo al cuaternin a + b i + c j + d k veramos que dan el mismo resultado, por tanto se ve
claramente que esta funcin es un isomorfismo.
Forma trigonometra de definir un cuaternin:
: Q
T
a+bi+cj+dk
0cis + (1cis) j

T: Formas trigonometras.

Ahora si a + b i = 0 cis ; c + d i = 1 cis ; - c + d I = - 1cis(-) ; a bi=0cis(-).

a + b i, c + d i, - c + d i, a b i C. Si calculamos el mdulo de los nmeros complejos anteriores serian:
= a b i =; 1 = c +di = -c + di =.

= a+bi

Entonces basndonos en la forma matricial quedara la matriz ().Entonces quedara otra funcin definida que le
llamaremos () y seria :
:Q

MT
a + bi+ cj + dk
() = () + ().
() = ()+()

() veamos que:
+ () + ().

()
4. Funciones de una variable hipercompleja.
Si una variable w est relacionada con z que a cada valor de z en R corresponde un valor o conjunto
de valores definidos de w, entonces w es una funcin de la variable hipercompleja z,
w=f(z)
Si z = a + b i + c j + d k y w = u + v i + s j + t k con los valores de a, b, c, d, u, v, s, t
u + v i + s j + t k = f (a + b i + c j + d k), y cada una de las variables reales u, v, s, t
X estn determinadas por el cudruple real a, b, c, d .Es decir,
u = u( a, b, c, d ), v = v( a, b, c, d ), s = s( a, b, c, d ), t = t( a, b, c, d ).
Ejemplo: w = z 2 + 5
u + v i + s j + t k = (a + b i + c j + d k)2 + 5
u + v i + s j + t k = a2 b2 c2 d2 + 2 a b i + 2 a c j + 2 a d k + 5
Entonces: u(a, b, c, d) = a2 b2 c2 d2

v (a, b, c, d) = 2 a b
s (a, b, c, d) = 2 a c
t (a, b, c, d) = 2 a d.
1.8 - Definicin de Lmite.
Sea f ( z ) una funcin, definida en todos los puntos en algn entorno de z 0.Decimos que w0 es el limite
de f ( z ), cuando z tiene a z0 ,
Es decir que para todo epsilon positivo existe un nmero positivo landa tal que:
| f ( z ) w0 | < cuando | z z0 | < ( z z0 ).
Supongamos que, donde f ( z ) = u + v i + s j + t k ,
z = a + b i + c j + d k z0 = a0 + b0 i + c0 j + d0 k .Entonces por la desigualdad se convierte en :
| u + v i + s j + t k (u0 + v0 i + s0 j + t0 k) | <
cuando: | a + b i + c j + d k (a0 + b0 i + c0 j + d0 k) | < .
| (u u0) + (v v0) i + (s s0) j + (t t0) k | <
cuando: | (a a0) + (b b0) i + (c c0) j + (d d0) k | <
De modo que hay un entorno del punto (a0, b0, c0, d0) en el cual | a a0 | < para todo punto que
pertenece a l.
Definamos una funcin f ( z ) = w = u + v i + s j + t k tal que:
f/( z ) = + i + j + k
f/( z ) = + i + j + k
f/( z ) = + i +j + k
f/( z ) = +i +j + k
Entonces:
f/ ( z ) = + i + j + k
f/ ( z ) = - i + - k + j
f/ ( z ) = - j + k + - i
f/ ( z ) = - k - j + i +
De las igualdades anteriores se concluye que una funcin hipercompleja es Analtica o entera si:
Lo anterior espuesto es teorema generalizado de Cauchy-Riemann.

Trabajo enviado por:

Mijail Andrs Saralain Figueredo
mijailsf48@yahoo.es
Estudiante de PRE-grado Matemtica Pura
Edad: 21 aos.
Cuaterniones o Hipercomplejos.
Categora: Matemticas.
Resumen:
Estudio de los cuaterniones de Hamilton como una extensin de los complejos. Formas diferentes de
definicin, operaciones.
Facultad Matemtica, Fsica y Computacin.
Universidad Central Martha Abreu de las Villas.