UNIVERSIDAD NACIONAL

SAN CRISTOBAL DE HUAMANGA

FACULTAD DE INGENIERIA DE MINAS, GEOLOGIA Y CIVIL

ESCUELA DE FORMACION PROFESIONAL DE CIENCIA FISICO-MATEMATICAS

CURSO: Algebra I (MA-144)

PROFESOR: Lic. Cristhian Nicols Aldana Yarleque

AO Y SEMESTRE: 2010 II

INTEGRANTES:
- Ros Surez , Juan Carlos (juanfigo7_10@hotmail.com)
- Torres Huaripaucar, Noel (torres_1108@hotmail.com)
-


AYACUCHO-2011


INDICE

1.- Introduccin: Historia de los Nmeros Complejos

2.- Definicin de los Nmeros Complejo

3.- Operaciones en C

4.- Isomorfismo de los Complejos reales en los Reales

5.- Forma Binmica de un Complejo

6.- La conjugada de un Nmero Complejo

7.- El teorema de Moivre

8.- Cuaterniones

9.- Ejemplos aplicativos

10.- Bibliografa







1.- INTRODUCCION: HISTORIA DE LOS NMEROS
COMPLEJOS
El problema de resolver las ecuaciones algebraicas ha llevado al hombre desde los nmeros
naturales, a los enteros, a los racionales, a los nmeros irracionales y al sistema completo de
los nmeros reales.
En el siglo XIX Leopoldo Kronecker, el primer critico de los fundamentos del anlisis moderno,
describi esta evolucin larga y gradual del sistema de nmeros por el hombre, sabemos por
ejemplo, que no existe ningn nmero real x con la propiedad de verificar

+1=0; el
problema es anlogo; cuando el hombre no conoca los nmeros enteros negativos, solo
contemplaba la ecuacin x+9=4; el nmero -5 como solucin aun no tena sentido.
Los nmeros complejos desempean un papel importante en el desarrollo del algebra
moderna; ya que la teora de ecuaciones, en especial las ecuaciones polinomiales obedecen al
teorema fundamental del algebra.
En el estudio del fenmeno fsico o qumico necesitamos hacer uso de las ecuaciones
diferenciales, ordinarias y parciales; para resolver dichas ecuaciones se utiliza a los nmeros
complejos por lo general, por ejemplo para resolver un problema de ondas se utiliza el mtodo
de variables separables donde se aplica la serie de Fourier; y su transformada es aqu donde
aparece la constante .
Por ello, su aplicacin es frecuente en todas las ramas de la ingeniera. Por ejemplo en la
electrnica se utiliza en los circuiticos electrnicos.
2.- DEFICION DE LOS NUMEROS COMPLEJOS:
Los nmeros reales a pesar de sus excelentes propiedades presenta una gran deficiencia:
pues no es un cuerpo algebraicamente cerrado, es decir, no existe un nmero real x que
verifique la relacin

+1=0. Por tanto los matemticos han sentido la necesidad de

inventar un nuevo conjunto que contenga al nmero denotado por , y que tenga la
propiedad de que

+1=0.
Buscamos un cuerpo que se algebraicamente cerrado, que contenga a R y tal que
sea elemento de dicho cuerpo.
Como sabemos que no pertenece a R, ha de pertenecer a dicho cuerpo, con lo cual
definimos el cuerpo complejo por la letra C.
C={ Z= a+b a,b R} C={(a,b): a,bR}

Definicin 2.1: Numero complejo es todo par ordenado de nmeros reales (a,b); es
decir a,b R; donde a es la primera componente y b es la segunda componente
adems a es la parte real y b es la parte imaginario.
Definicin 2.2: La parte imaginaria de un nmero complejo est representado por ,
La unidad imaginaria, i, es el nmero que elevado al cuadrado da -1.

2.1.- RELACION DE EQUIVALENCIA EN

Y NMEROS COMPLEJOS:
En el conjunto

de todos los pares ordenados de nmeros reales, definimos la

relacin mediante:
(a,b)(c,d) a=c b=d
Veamos si es de equivalencia:
a) Reflexividad: Para un elemento (a,b) C, tiene que cumplirse que:
(a,b) (a,b)
Por definicin de en C tenemos: (a,b) (a,b) a=a b=b (lo cual es cierto)
Por tanto es reflexiva.
b) Simetra: Para dos elementos que pertenecen a C se tiene que cumplir que:
(a,b) (c,d) (c,d) (a,b)
Si: (a,b) (c,d) a=c b=d (por def. )
c=a d=b (simetra en Z)
(c,d) (a,b)
Por tanto es simetrico.
c) Transitividad: Para tres elementos en C debe cumplirse que:
(a,b) (c,d) (c,d) (e,f) (a,b) (e,f)
(a=c b=d) (c=e d=f)
a=c b=d
c=e d=f
a+c=c+e b+d =d+f
a=e b=f (por propiedad cancelativa en Z)
(a,b) (e,f)
Por tanto es transitiva.
As de a), b) y c) concluimos que es una relacin de equivalencia.
Observaciones:
- Dos pares de nmeros complejos son equivalentes si y solo si son idnticos.
-Cada clase de equivalencia es unitaria y se la identifica con el par ordenado correspondiente,
es decir:
()
= {(a,b)}
-Las clases de equivalencia resultantes no contienen ms que un solo elemento, por tanto
denotamos de la siguiente forma:
[a,b] = (a,b)
-Una propiedad mucho ms general es que C es cerrada algebraicamente, si todo polinomio
con coeficientes complejos tiene una solucin en C.
-En el conjunto de los nmeros complejos no se puede afirmar que un nmero es menor que
otro, o sea no hay relacin de orden, pues de lo contrario tendramos dos casos:
a) 0 b) 0
Prueba de a): 0
. 0. (multiplicando ambos miembros por )

0 (operando . )
-10 (lo cual contradice la hiptesis)


Prueba de b): 0
. 0. (multiplicando ambos miembros por )

0 (operando . )
-10 (lo cual contradice la hiptesis)




3.- OPERACIONES EN C:
Definiremos cada complejo z como un par ordenado de nmeros reales (a, b)
(Re(z), Im(z)), en el que se definen las siguientes operaciones:
Adicin


Multiplicacin


A partir de estas operaciones podemos deducir otras como las siguientes:
Resta


Divisin

Estas leyes de composicin interna en C verifican las siguientes propiedades:
3.1.- Propiedades:

C
3.1.1.- Para la Adicin:
A.1:

C (Ley de clausura o cerradura)

A.2:

C (Ley conmutativa)
A.3: (

)+

+(

) (Ley asociativa)
A.4: Existe un nico elemento

de la forma (0,0) tal que z+

=z zC (Existencia del
elemento neutro aditivo)
3.1.2.- Para la Multiplicacin:
M.1:

C (Ley de clausura o cerradura)

M.2:

C (Ley conmutativa)
M.3: (

).

.(

) (Ley asociativa)
M.4: Existe un nico z C de la forma z=(1,0) tal que z.z=z

C (Existencia del elemento

neutro multiplicativo)
M.5: Existe un nico elemento

C tal que z.

.z = (1,0)

C y z (0,0)
(Existencia del elemento inverso multiplicativo)
D:

. (

) = (

) +(

) (Ley distributiva)
4.- ISOMORFISMO DE LOS COMPLEJOS EN LOS REALES:
Sea

= {(a,b) C b=0 } el conjunto de los complejos de parte imaginaria nula. La funcin

f:

R , definida por f (a,0) = a, asigna a cada complejo real su primera componente.

C

R
(




Veremos en seguida la relacin que existe entre los nmeros complejos y los nmeros reales.
Sea

= ,(a,0) a R C}, el conjunto de los complejos de parte imaginaria nula se puede

establecer la correspondencia biunvoca entre

y los reales de la siguiente manera:

La funcin f:

R, definida por f[(a,0)]=a, asigna a cada complejo real su primera

componente.
Ahora veamos si f es infectiva, puesto que si z=(a,0) y z`=(b,0) y z
(a,0) (,0)
b
Adems como: f(z)=f[(a,0)]=
f(z`)=f[(,0)]=
tenemos que: b f(z) f(z`)
por tanto se concluye que f es infectiva.
Ahora veamos si f es sobreyectiva, pues a R, existe (a,0)

f*(a,0)+=a.

(a,0).
. (b,0).
.a
.b
Por tanto f es una funcin biyectiva. Esto es, (a,0)

le corresponde el elemento a en los

reales, lo cual se indica escribiendo (a,0) a, a R
La aplicacin f es obviamente biyectiva, y adems un morfismo de

en R respecto de la
adicin y multiplicacin. En efecto, sean z = (a,0) y z` = (b,0)

Entonces f (z+z`)= f [(a, 0)+ (b,0)] = f(a+b,0)= a+b
f (z) + f(z) = f(a,0)+f(b,0) = a+b
Por otra parte f(z.z)=f[(a,0).(b,0)]= f(a.b,0) = a.b
f(z).f(z)= f(a,0).f(b,0)= a.b
En consecuencia f es isomorfismo de

en R respecto de la adicin y la multiplicacin; o sea,

y R son conjuntos indistinguibles desde el punto de vista algebraico. El isomorfismo permite

identificar cada complejo real con el real correspondiente, es decir, (a, 0)=a.
5.- FORMA BINMICA DE UN COMPLEJO:
La forma binmica de un nmero complejo llamada tambin como forma cartesiana, canonica
o rectangular, donde a es su parte real y b su parte imaginaria y se denota respectivamente:
a = Re(z) y b = Im(z)
de modo que podemos escribir z = a + b.
5.1.- Unidad imaginaria.- El nmero complejo imaginario de segunda componente igual a 1,
se llama unidad imaginaria y se denota por: = (0,1)
La multiplicacin de un nmero complejo real por la unidad imaginaria permuta las
componentes de aquel, es decir, lo transforma en un complejo imaginario. En efecto.
(b,0). = (b,0).(0,1) = (b.0 0.1, b.1 + 0.0) = (0,b)
Y por el isomorfismo de los complejos reales en los reales, se tiene que
b = (0,b)
Las componentes sucesivas de la unidad imaginaria son:

= 1

= -1

= -
Anlogamente

= 1

= -1

= -

Si el exponente es de la forma 4k con k R, se tiene

= (

= 1
En general, si el exponente de es a que pertenece a los naturales al efectuar la divisin
por 4 se tiene que: a = 4q + r, donde 0 r 4. En consecuencia:

= 1.

y este clculo se reduce a uno de los cuatro considerados en la pgina anterior.
6.- LA CONJUGADA DE NMEROS COMPLEJOS:
Si z = (a,b) es un nmero complejo, entonces Z = (a,-b) se denomina conjugado complejo
o simplemente, conjugado de z.
Geomtricamente dos complejos conjugados estn representados por dos puntos
simtricos respecto del eje real.


Im(z)

.Z=a+b
:
0 : Re(z)
:
=a-b




6.1.-Propiedades:
-La suma de dos complejos conjugados es igual al doble de la parte real.
Z+ = 2Re(z)
-El producto de dos complejos conjugados es un nmero real no negativo.
Z. =

-Un nmero complejo es real si y solo si es igual a su conjugado.
Z=
-El conjugado de una suma es igual a la suma de los conjugados.
Si z,w C entonces z+w = z + w

-El conjugado de un producto es igual al producto de los conjugados.
Si z,w C entonces z.w = z . w
-Si z C entonces z = z
7.- EL TEOREMA DE MOIVRE:
El teorema De Moivre nombrada as por Abraham de Moivre para cualquier angulo c
y para cualquier entero n se verifica que:
( +)

= cos(n) + sen(n)
Este teorema es importante porque conecta a los nmeros complejos con la
trigonometra. La expresin "cosn + isen" a veces se abrevia como cis.
Ahora demostraremos que el teorema de Moivre mediante la Induccin Matemtica.
Para n=1 ( +)

= cos + sen
Para n=k ( +)

= cos(k) + sen(k)
Para n=k+1 ( +)

= cos(k+1) + sen(k+1)
( +)

= ( +)

. ( +)

= *cos(k) + sen(k)+ .( cos + sen) (Por hiptesis)
= cos(k)cos - sen(k). + [cos(k) sen + sen(k) cos]
= cos*(k+1)+ + sen*(k+1)+ (Por la identidad trigonometrica)

Observaciones:
-Dado un complejo z rcis y un entero positivo n, se cumple

.cis(-n), es decir, el teorema de De Moivre es vlido para potencias enteras.

-Si para un complejo unitario z = cis aplicamos el teorema de De Moivre, se cumplen las
siguientes relaciones:

= cos(n) + sen(n) y

= cos(n)-sen(n) para n Z, de donde se obtiene:

Cos(n) =

), sen(n)=

)
Otras propiedades y aplicaciones se estudiaran mas adelante en el curso de Variable
Compleja.
8. - CUATERNIONES:
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 R.
Adems i, j, k unidades imaginarias, soluciones dos a dos de la ecuacin x
2
= -1.
i j = k = - j i ;
j k = i = - k j;
k i = j = - i k;
i
2
= j
2
= k
2
= -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*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

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 a
`
b b
`
c c
`
d d
`
b*b`= a b
`
a
`
b c d
`
- c
`
d
c*c` = a c
`
a
`
c b d
`
- b
`
d
d*d`

= a d
`
a
`
d b c
`
-b
`
c
Q*Q`= aa` bb`

i cc``

j dd`k
Producto por la conjugada:
(a b i c j d k) (a b i c j d k) = a
2
b
2
c
2
d
2
.
A este cuaternin Q
1
= 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 Q
1
Q
2
= Q
2
Q
1
.
II) Conmutatividad del producto Q
1
* Q
2
= Q
2
*Q
1.
III) Asociatividad de la suma (Q
1
Q
2
) Q
3
= Q
1
( Q
2
Q
3
).
IV) Asociatividad del producto (Q
1
* Q
2
) * Q
3
=Q
1
* (Q
2
* Q
3
).
V) Distributividad (Q
1
Q
2
) * Q
3
= (Q
1
Q
3
) ( Q
2
Q
3
).
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 Q
1
Q
2
= 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 Q
2
= -a b i c j d k .
Q
2
= -Q
1

Anlogamente, si Q
1
* Q
2
= 1. Con Q
1
(0, 0, 0, 0).
Es decir que Q
2
va a ser el inverso multiplicativo para Q
1
.

Si Q
1
= a + b i + c j + d k.
Otras propiedades:

Nota: El significado del la lnea encima de los cuaternion es es el conjugado de Q.
I. Idempotencia:
II. Aditividad:
III. Multiplicidad:
IV. Divisibilidad:
El cuadrado de un cuaternin va ha ser Q
2
= (a + b i + c j + d k) (a + b i + c j + d k) =
= a
2
b
2
c
2
d
2
+ 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

.Es decir por definicin:

| Q | = | a + b i + c j + d k | =

Es evidente que si le queremos hallar el valor absoluto a cualquier cuaternin:
Q + Q`, QQ`, Q Q`

etc; va a ser igual a la raz cuadrada del cuadrado de los elementos
reales de cada unidad imaginaria.
As el | Q |
2
= a
2
+ b
2
+ c
2
+ d
2
.
Ahora con Q = a + b i + c j + d k y Q
1
= a b i c j d k (conjugado del primero):
| | = | Q |
| Q
1
Q
2
| = | Q
1
| | Q
2
|
| Q
1
Q
2
|
2
= | Q
1
|
2
| Q
2
|
2





Aplicaciones de los Cuaterniones:
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.
9.- EJEMPOS APLICATIVOS:
Ejemplo 1. Si z=(a,b) y w=(c,d) demostrar que
a) z.w=(ac-bd,ab+bc) b)

= (

)
Solucin: a) z.w =(a,b)(c,d)
= (a+b)(c+d)
= ac +ad+ bc + bd
= ac+ (ad+bc)+bd

= ac +(ad+bc) bd
= (ac-bd) +(ad+bc)
= (ac-bd,ab+bc)
b)

= z.

= (a,b)(

)
= (a+b)(

)
= a(

) a(

) + b(

) b(

)
= (

) (

) +(

)+ (

)
= (

)+ (

)
= (

)



Ejemplo2. Calcular ( +)

utilizando la formula de De Moivre.

Solucin:
Sea z = + tenemos que expresar en la forma trigonomtrica.
Hallando el modulo de z: r= z =

= 2 y = arctg

Z= 2(cos

+ sen

= (cos

+ isen

Por teorema De Moivre ( +)

.(cos

+ isen

= 128. (cos

+ isen

)

10.- BIBLIOGRAFIA:
- Algebra I Armando Rojo. Edt. El Ateneo. Buenos Aires 1995.
- Algebra Moderna Frank Ayres. Jr. Mc Graw-Hill, Serie Schaum, 2003.
- Matemtica Bsica I Ricardo Figueroa. 9na Edicin 2006.
- Variable Compleja Ruel V. Churchil-James Ward Brown
- Variable Compleja Eduardo Espinosa Ramos 2da Edicin 2008.
- http://librosfull.com/matematica/
-http://es,wikepedia.org/wike/cuaterni/
-http://es,wikepedia.org/wike/cuaternion_y_rotaciones_en_el_espacio.