Está en la página 1de 7

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: i2 = 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 x2 = -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 i2.
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
a, b, c, d X .Es decir por definicin:

siendo

|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 |
| Q1 Q2 |2 = | Q1 |2 | Q2 |2
Formas distintas de definir un cuaternin.
Y:Q4
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:
Y [( a + b i + c j + d k)( s + r i + t j + h k)] = Y [a + b i + c j + d k] Y [ 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:
W:QM

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+bi+cj+dk=a(
) +b (
) +c (
) +d (
)
Si sumamos las matrices de la derecha dara la matriz definida en la funcin W .
Y solo quedara preguntarse Ser esta funcin un isomorfismo? S lo es, y la demostracin es equivalente a

la de la funcin anterior (Y ).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:
P : Q T T: Formas trigonometras.
a + b i + c j + d k r 0cisq + (r 1cisb ) j
Ahora si a + b i = r 0 cisq ; c + d i = r 1 cisb ; - c + d I = - r 1cis(-b ) ; a bi=r 0cis(-q ).
a + b i, c + d i, - c + d i, a b i C. Si calculamos el mdulo de los nmeros complejos anteriores serian: r 0 = |
a+bi|=|abi|=

; r 1 = | c +di | = | -c + di | =

Entonces basndonos en la forma matricial quedara la matriz (


otra funcin definida que le llamaremos (J ) y seria :
J : Q MT

a + bi+ cj + dk (

) veamos que:

)=(

)=(

+(

).Entonces quedara

)+(

)+(

)+(

).

).

(
)
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.
Definicin de Lmite.
Sea f ( z ) una funcin, definida en todos los puntos en algn entorno de z0.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 | < e cuando | z z0 | < d ( 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) | < e
cuando: | a + b i + c j + d k (a0 + b0 i + c0 j + d0 k) | < d .
| (u u0) + (v v0) i + (s s0) j + (t t0) k | < e
cuando: | (a a0) + (b b0) i + (c c0) j + (d d0) k | < d
De modo que hay un entorno del punto (a0, b0, c0, d0) en el cual | a a0 | < e 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+

f/( z ) =

f/( z ) =

i+

i+

f/( z ) =

i+

j+

k
Entonces:

f/ ( z ) =

i+

j+

f/ ( z ) = - i

f/ ( z ) = - j

k+

k+

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.

Leer ms: http://www.monografias.com/trabajos12/hamil/hamil.shtml#ixzz3jCaD5myW