Documente Academic
Documente Profesional
Documente Cultură
1
1.1
Preliminares
Estructura Algebraica
Tambin conocida como sistema algebraico, es una n-tupla (a1 ; a2 ; :::; an ), donde
a1 es un conjunto dado no vaco, y fa2 ; :::; an g un conjunto de operaciones
aplicables a los elementos de dicho conjunto.
1.2
Grupo
Clausura
Asociatividad
1.2.3
Elemento Neutro
Elemento Inverso
1.3
Grupo Abeliano
Conmutatividad
1.4
Campo
1.5
Nmeros Complejos
Son una extensin de los nmeros reales y forman el mnimo cuerpo algebraicamente cerrado que los contiene. El conjunto de los nmeros complejos se designa
como C, siendo R el conjunto de los reales se cumple que R C. Los nmeros
complejos incluyen todas las races de los polinomios, a diferencia de los reales.
Todo nmero complejo puede representarse como la suma de un nmero real y
un nmero imaginario (que es un mltiplo real de la unidad imaginaria, que se
indica con la letra i), o en forma polar.
Al primer componente (que llamaremos a) se le llama parte real y al segundo
(que llamaremos b), parte imaginaria. Se denomina nmero imaginario puro a
aquel que est compuesto slo por la parte imaginaria, es decir, aquel en el que
a = 0.
Si pensamos en las coordenadas cartesianas del nmero complejo z como
algn punto en el plano; podemos ver, por elteorema de Pitgoras, que el valor
absoluto de un nmero complejo coincide con la distancia eucldea desde el
origen del plano a dicho punto.
Suma
(a; b) + (c; d) = (a + c; b + d)
1.5.2
Multiplicacin
bd; ad + bc)
Igualdad
(a; b) = (c; d) () a = c ^ b = d
A partir de estas operaciones podemos deducir otras como las siguientes:
1.5.5
Sustraccin
(a; b)
(c; d) = (a
1.5.6
Cociente
(a;b)
(c;d)
(ac+bd;bc ad)
c2 +d2
1.5.7
c; b
d)
bc ad
= ( ac+bd
c2 +b2 ; c2 +b2 )
Conjugado
z = (a; b)
1.5.8
Mdulo o Magnitud
q
p
jzj = zz = Re2 (z) + Im2 (z)
1.6
1.6.1
Sean z; w 2 C.
jzj = 0 () z = 0
jz + wj
jzj + jwj
3
wj = jzj
jwj
Sobre el Conjugado
Sean z; w 2 C.
z+w =z+w
z + z = 2 Re(z)
z
z = 2i Im(z)
zw = zw
Si z 2 R, z = z.
2
jzj = zz
Si z 6= 0 )
1.7
1
z
z
.
jzj2
Vectores
Caractersticas de un Vector
Un vector se puede denir por sus coordenadas, si el vector esta en el plano xy,
se representa:
!
V = V = (Vx ; Vy )
Siendo sus coordenadas Vx ; Vy . Siendo el vector la suma vectorial de sus
coordenadas:
! ! !
V = Vx + Vy .
1.8
Matrices
cij = ai1 b1j + ai2 b2j + ai3 b3j + ::: + aim bmj . Y as con cada una de las entradas.
1.9
Nmeros Hipercomplejos
2
2.1
era la conmutatividad, se deca que tanta era la acin por que estos nuevos
modelos cumplieran las propiedades de forma que estas denan el campo, y no
viceversa.
Inicialmente, Hamilton dene sus tripletas teniendo en cuenta a los nmeros
complejos, aunque su intencin era la de aplicarlos al mundo fsco tridimensional, explicando as fenmenos que en ese momento no haban sido resueltos.
Estas eran de la forma a + bi + cj con la caracterstica de i2 = j 2 = 1; adems,
cumplan las caractersticas principales respecto a la suma pero al realizar la
relacin con los complejos ocurran dos problemas grandes: el mdulo y el producto de tripletas.
Tanto en el mdulo como en el producto, haba un trmino de la forma nij
donde n 2 R.
/ En el mdulo se incumpla la igualdad de: "el mdulo de dos
nmeros complejos equivale al mdulo del producto de dos nmeros"; siempre
en cuando se relacionaran las tripletas con los nmeros complejos. Hamilton
considera entonces ij = ji. Pero an as, los problemas persistan:
(a + bi + cj)(x + yi + zj) = (ax
by
cy)ij
2.2
De acuerdo a la formacin que tienen los cuaterniones, estos pueden ser expresados por medio de vectores o de matrices, siendo la forma vectorial una
de las ms conocidas y generalizadas al momento de tratarlos como un sistema
numrico o como ejemplo de grupo no abeliano. La forma vectorial se generaliza
al tratar de proponer cada componente del cuaternin como una del vector. Y
el determinante al cuadrado de cada una de las formas matriciales equivalen a
a2 + b2 + c2 + d2 .
2.2.1
Vectorial
Sea q un cuaternin de la forma a + bi + cj + dk, su forma vectorial ser representada por medio de un vector en R4 de la forma (a; b; c; d). Considerando el
vector (1; i; j; k) como la base y cualquier otro vector como el producto interno
de la base con la forma general.
2.2.2
Matricial
Matriz de tamao 4
4 La forma
general de un cuaternin
en matrices del
3
2
a
b d
c
6 b
a
c
d7
7 . La vericacin de este
tamao ya dicho es la siguiente: 6
4 d c
a
b5
c
d
b
a
resultado se deja como ejercicio prctico al lector.
2.3
Aritmtica de Cuaterniones
De igual forma que con cualquier sistema numrico, se denen operaciones bsicas entre diferentes elementos del conjunto H .
2.3.1
Adicin y Sustraccin
2.3.2
q2 = (a1 + b1 i + c1 j + d1 k) (a2 + b2 i + c2 j + d2 k)
= (a1 a2 ) + (b1 b2 )i + (c1 c2 )j + (d1 d2 )k
Producto
= a1 a2 + a1 b2 i + a1 c2 j + a1 d2 k + b1 a2 i + b1 b2 i2 + b1 c2 ij + b1 d2 ik + c1 a2 j +
c1 b2 ji + c1 c2 j 2 + c1 d2 jk + d1 a2 k + d1 b2 ki + d1 c2 kj + d1 d2 k 2
Como los valores de a1 ; a2 ; b1 ; b2 ; c1 ; c2 ; d1 ; d2 2 R, se puede realizar la conmutatividad siempre que se relacionen con una de las variables "cuaternionicas",
pero el orden de estas no se alteran, ya que no son conmutativas. As.
= a1 a2 + a1 b2 i + a1 c2 j + a1 d2 k + b1 a2 i b1 b2 + b1 c2 k b1 d2 j + c1 a2 j
c1 b2 k c1 c2 + c1 d2 i + d1 a2 k + d1 b2 j d1 c2 i d1 d2
= (a1 a2 b1 b2 c1 c2 d1 d2 ) + (a1 b2 + b1 a2 + c1 d2 d1 c2 )i + (a1 c2 b1 d2 +
c1 a2 + d1 b2 )j + (a1 d2 + b1 c2 c1 b2 + d1 a2 )k
2.3.3
Conjugado
Norma
qq.
Inverso Multiplicativo
q
jqj2
Cociente
2.3.7
= q1 (q2 1 ) =
q1 q2
.
jq2 j2
p
sin( b2 +c2 +d2 )
p
(bi
b2 +c2 +d2
+ cj + dk))
2.4
Los cuaterniones cumplen la mayora de propiedades del lgebra comn, a excepcin de la conmutativa del producto. Se sabe de antemano que: q1 =
a1 + b1 i + c1 j + d1 k, q2 = a2 + b2 i + c2 j + d2 k, y q3 = a3 + b3 i + c3 j + d3 k.
9
2.4.1
De la Suma
Del Producto
Respecto a estas propiedades, se determina que (H; ) es un grupo no conmutativo. Se recuerda al lector que: q1 = a1 +b1 i+c1 j +d1 k, q2 = a2 +b2 i+c2 j +d2 k,
y q3 = a3 + b3 i + c3 j + d3 k.
Clausuratividad. 8q1 ; q2 2 H, se cumple que (q1 q2 ) 2 H.
Demostracin Como (q1 q2 ) guarda la estructura que poseen los cuaterniones en general (vase la generalizacin del producto en la seccin 2.3.2), es
decir, poseen un trmino perteneciente a los reales, y adems uno con cada
componente: i; j; k, decimos que (q1 q2 ) es cerrado en H.
10
2.5
Bibliografa
Hamilton, William Rowan. On quaternions, or on a new system of imaginaries in algebra. Philosophical Magazine. Vol. 25, n 3. p. 489495.
1844.
Hamilton (1866) Elements of Quaternions University of Dublin Press.
Edited by William Edwin Hamilton, son of the deceased author.
Luis Ibanez "Tutorial on Quaternions" Part I Part II (PDF).
Sobre los Cuaterniones, lgebras de Lie y Matrices de Pauli. Documento
en: http://digibuo.uniovi.es/dspace/bitstream/10651/18233/1/RodBouzaCuaterniones.pdf
Snchez Muoz Jos. Hamilton y el Descubrimiento de los Cuaterniones.
Documento en: http://www2.caminos.upm.es/Departamentos/matematicas/revistapm/revista_impresa
/numero_1/hamilton_y_el_descubrimiento_de_los_cuaterniones.pdf
12