producto escalar y vectorial

estereografia.

Forma binmica de un nmero complejo

z ( a , b)

Sea

un nmero complejo. Entonces podemos escribirlo en la forma:

z ( a , b) (a, 0) (0, b) a (1, 0) b (0,1)
(1, 0) 1

(0,1) i

(a, b) a bi

Pero como
y
, entonces
binmica o binomia del nmero complejo.

a bi c di a c b d i

. En este caso

se llama forma

a, b, c, d

, puesto que

a bi c di ac adi bci bdi

a bi

son todos nmeros reales.

ac bd ad bc i

i 2 1

porque

Ahora observe que los resultados son los mismos que las definiciones de suma y
producto dados al inicio; por lo que la realizacin de las operaciones de suma y
multiplicacin con nmeros complejos se puede realizar en la forma de pares o en la
forma binmica, con la ventaja a favor de la forma binmica que se trabaja con las
reglas del lgebra y no es necesario memorizar nada nuevo.
z1 (3, 2)

Ejemplo. Si

z2 (4, 1)

z1 z2

, halle

z1 z2

z1 z2 (3, 2) (4, 1) 3 2i 4 i 7 i

z1 z2 (3, 2) (4, 1) (3 2i )(4 i) 12 3i 8i 2i 2 (12 2) ( 3 8)i 14 5i

Forma trigonomtrica o polar de un nmero complejo

La forma trigonomtrica de un nmero complejo se establece observando el tringulo
amarillo de la Figura 3:

Grfica 3: Forma trigonomtrica de un nmero complejo.

r z ( x, y )

En este caso se tiene que

y que

y
arg( z ) tan 1
x

Luego:

y
sin r y r sin

cos x x r cos

z ( x, y ) x yi r cos i r sin r (cos i sin )

Por lo tanto:
sta es la llamada forma trigonomtrica o polar del nmero complejo, la cual est en
trminos del mdulo y el argumento. Se denota comnmente por
Ejemplo: Halle la forma trigonomtrica de

Note que

1

1
4

tan 1

r (1) 2 (1) 2 2

Hallemos

z 1 i

est en el cuarto cuadrante. Por lo tanto:

z 1 i 2 cos i sin 2 cos i sin
2 cis

4
4
4
4
4

z r cis

Frmula de Moivre
z n r n cis( n)

Empleando el resultado del Ejercicio 3b de esta seccin,

tenemos:

cos i sin

, y tomando

r 1

cos( n) i sin(n)

.
Esta expresin es la llamada frmula de Moivre.

Forma exponencial de un nmero complejo

Vamos a asumir que se siguen cumpliendo, como en los nmeros reales, los
conceptos de funcin, derivadas, series, etc. Vamos a demostrar la frmula de Euler:
ei cos i sin

ex
n 0

xn
n!

Empleemos el desarrollo en serie de potencias de la funcin

x

que sea vlido para cuando la variable

ez
n0

es un nmero complejo

, suponiendo
z

zn
z z2 z3
zn
1 ..... ...
n!
1! 2! 3!
n!

z i

Si tomamos

, nos queda:
(i) n
(i) (i) 2 (i) 3
(i) n
1

.....
...
1!
2!
3!
n!
n0 n!

e i

2 2 3 3 4 4 5 5
i
i
i
i
...
1!
2!
3!
4!
5!
2
3 4
5
1 i i i ....
1! 2!
3! 4!
5!
1 i

Agrupando tendremos:

3 5
2 4
ei 1 .... i
....

2! 4!

1! 3! 5!

Estos son los desarrollos de

cos

sin

ei cos i sin

respectivamente. As que

z r (cos i sin )

Sea
un nmero complejo donde es su mdulo y
Entonces mediante el empleo de la frmula de Euler se obtiene:

su argumento.

z r (cos i sin ) r ei

.
Esta expresin es la llamada forma exponencial del nmero complejo. Note que la
forma exponencial es equivalente a la trigonomtrica pues dependen de los mismos
z

elementos: mdulo y argumento del nmero complejo . Esta forma es muy cmoda
pues podemos efectuar la multiplicacin, divisin y potenciacin empleando las leyes
del lgebra.

Polinomios.
Factorizacin de polinomios. El teorema del resto.
De forma indistinta usaremos los trminos cero o raz de un polinomio

+ +a 1 z +a0
n
P ( z )=a n z
(con coeficientes reales o complejos) para designar a los nmeros complejos
z0
z0

C que verifican que p(

) = 0 (las soluciones complejas de la
ecuacin p(z) = 0).

Al igual que para polinomios reales es fcil comprobar que para polinomios
complejos se verifica el teorema del resto.
Teorema del Resto. Sea

z0

C y sea p(z) un polinomio.

a El resto de la divisin de p(z) entre z z0 es p(z0). Es decir, hay un polinomio

q(z) (de un grado menos que p(z)) tal que
p(z) = (z

p(

z0

z 0 )q(z) + p( z 0 ).

) = 0 si y solo si p(z) es divisible por z

z0

El teorema fundamental del Algebra.

Cualquier polinomio real se puede factorizar en un producto de polinomios reales
de grados uno y dos. Obviamente hay polinomios reales que no pueden
descomponerse en un producto de polinomios de grado uno; por ejemplo p(x) =

x2

+ 1. El siguiente resultado permite establecer que cualquier polinomio (real o

complejo) se puede descomponer en un producto de polinomios

grado uno (iguales o distintos).
El Teorema fundamental del Algebra.
Todo polinomio no constante con coeficientes complejos
tiene algn cero complejo.

complejos de

Aunque era un resultado intuido con anterioridad, la primera

demostracin del Teorema Fundamental del lgebra se debe a
F
Gauss. A lo largo de su vida dio muchas
demostraciones de este resultado, aunque ninguna de ellas
es puramente algebraica y la descripcin de cualesquiera Carl Friedrich
Gauss 1777de ellas se sale de los objetivos de la asignatura.
1855

Combinando el Teorema fundamental del lgebra con el Teorema del resto,

tenemos:
Teorema. Sea p(z) un polinomio

complejo de grado n 1,

+ a2 z 2+ + an z n
P ( z )=a 0+ a1 z
a0 , a1, a 2 , , an
1

an

= 0.

p(z) tiene n races complejas (contando cada una segn su

multiplicidad). Es decir, existen n nmeros complejos (iguales o
distintos)

z 1, z 2 , , z n

C tales que

p ( z )=an ( zz 1 )( z z2 ) ( zz n)
2

Se verifican las siguientes relaciones entre las races y los coeficientes

de

p (z ) ,

2+ + z n=

an1
an

1+ z
z
z 1. z 2 . z n=1n

a0
an

De acuerdo con el teorema anterior las ecuaciones polinmicas del tipo

x 2 + 1 = 0, que justificaron la ampliacin del conjunto de los nmeros

reales porque esas ecuaciones no tienen
solucin real, tienen solucin en el conjunto de los nmeros
complejos. Concretamente 2esa ecuacin tiene como soluciones z1 = i y
z2 = i, de manera que

+ 1 = (x i) (x + i).

No slo la adicin compleja se identifica con la adicin vectorial, sino que

ahora vamos a demostrar que las operaciones vectoriales familiares de
producto escalar y producto vectorial estn subsumidas por la multiplicacin
compleja. Dado que estas operaciones vectoriales son muy importantes en
la fsica -fueron descubiertas por los fsicos!- su conexin con la
multiplicacin compleja ser til tanto en la aplicacin del anlisis complejo
al mundo fsico como en el uso de la fsica para entender el anlisis
complejo.

Una convencin muy habitual es escribir en negrita a aquel nmero

z=x +iy

complejo

que est pensado slo como un vector; as, con sus

componentes en una columna,

()

z=x +iy z= x
y

Dados dos vectores

a y

b , la Figura 1 recuerda la definicin del

producto escalar como la longitud de un vector por la proyeccin sobre ese

vector del otro vector:

a b=|a||b|cos =b a
donde

es el ngulo entre

b .

Figura 1
La Figura 2 recuerda la definicin del producto vectorial:
perpendicular al plano de a

cuya longitud es igual al rea A del

paralelogramo generado por

(opuestas) perpendiculares a

, cul deberamos elegir?

axb es el vector

. Pero atencin, hay dos direcciones

Figura 2
Escribiendo , A=|a||b|s en

el rea A tiene un signo que se le atribuye. Una

forma fcil de ver este signo es pensar en el ngulo

hacia

desde

; el signo de A es

. Si A>0, como en la Figura 2, entonces

entonces el mismo que el de

definimos

como perteneciente al rango de

axb apuntando hacia arriba desde el plano, y si A<0 se define

de modo que apunte hacia abajo. De ello se desprende que

axb=bxa
Esta

convencin

tridimensional,

en
por

la
lo

definicin
tanto,

.
de

presenta

considerados como nmeros complejos,

axb

axb
un

es

intrnsecamente

problema:

si a y b son

no puede serlo, pues no se

encuentra en el plano (complejo) de a y b. No existe este tipo de problema

con el producto escalar porque

a b

es simplemente un nmero real, y

esto sugiere una salida.

Dado que todos nuestros vectores pertenecern al mismo plano, nuestros
productos vectoriales tendrn todos direcciones iguales (u opuestas), por lo
que la nica diferencia entre un producto vectorial y otro ser el valor de A.
Para los propsitos de este artculo vamos por lo tanto a volver a definir el
producto vectorial como el rea (con signo) A del paralelogramo generado
por a y b:

axb=|a||b|s en =bxa
La Figura 3 muestra dos nmeros complejos
ngulo de

es

a=|a|e i y

b=|b|e i ; el

= . Para ver cmo sus productos escalar y

vectorial estn relacionados con la multiplicacin compleja, consideremos el

efecto de multiplicar cada punto en

y una expansin de

por

a . Esta es una rotacin de

a , y si nos fijamos en la imagen bajo esta

transformacin del tringulo rectngulo sombreado con hipotenusa

b ,

vemos inmediatamente que

a b=a b+ i(a b)
Por supuesto, tambin podramos haber conseguido esto mediante el
clculo simple:

Figura 3
Cuando nos referimos a los productos escalar y vectorial como operaciones
vectoriales
queremos
decir
que
se
definen geomtricamente,
independientemente de cualquier eleccin particular de los ejes de
coordenadas. Sin embargo, una vez que esta eleccin se ha hecho, la
expresin
operaciones
Escribiendo

obtenida
en

a=x+iy

a b

para

trminos
y

'

b=x +iy '

hace
de

que

sea

fcilexpresar estas

coordenadas

cartesianas.

a b=( xiy ) ( x ' +i y ' )=( x x' + y y ' ) +i( x y ' yx ')
de modo que

( xy ) ( xy '' )=x x + y y
'

'

( xy ) ( xy '' )=x y + yx '

'

Proyeccin Estereogrfica
La proyeccin estereogrfica representa una aplicacin continua definida
desde la esfera de Riemann hacia el plano (ya sea

R2

). Sus

aplicaciones son numerosas, y van desde nociones topolgicas (como la

compactificacin de un conjunto) hasta nociones de geometra diferencial o
compleja.
Idea de la construccin: Como en la figura adjunta, trazaremos una recta
desde el polo norte de la esfera unitaria hasta el plano complejo. Esta recta
intersecta a la esfera en un punto distinto al polo, y adems al plano. Esta
identificacin entre puntos de interseccin es la biyeccin que buscamos
establecer.

Sea entonces
esfera

S2

N=(0,0,1) el polo norte,

p=( X , Y , Z) un punto en la

(x , y ) el punto del plano

R2 determinado por la

interseccin de la recta que pasa por

llamamos

a dicha recta y si escribimos

plano inmerso en

con el plano. Si

N ( x , y , 0)

como el punto del

R3 , nos queda
L={ ( 0,0,1 )+ t ( ( X , Y , Z )( 0,0,1 ) ) :t R }

de modo que debemos encontrar

Un punto tpico de la recta
se concluye que

t=

tal que la tercera coordenada sea nula.

L tiene la forma

(tX , tY , t ( Z1 ) +1) de donde

1
1Z es el parmetro buscado. Con esto, el punto del

plano que representa la proyeccin es de la forma

N ( p)=

Notar que todo punto de

X
Y
,
( 1Z
1Z )

S 2 , salvo

N , satisface que su tercera

coordenada es distinta de 1, por lo que

todo

N ( p)

esta bien definida para

p S 2 / { N }

Hemos definido entonces una aplicacin

es inyectiva, en efecto

N : S /{N }

R2 Mostremos que

 N ( X , Y , Z )= N ( U ,V , W )

pero

X 2 +Y 2 + Z2 =1 y

X
U
=
1Z 1W

Y
V
=
1Z 1W

U 2 +V 2 +W 2=1 , lo que implica

1+ Z 1+W
=
1Z 1W
Z =W

con lo que al desarrollar nos queda

X =U

directamente

lo que implica

Y =V .

Mostremos ahora que esta aplicacin es sobreyectiva. En efecto, para un

punto

(x , y ) en el plano, lo consideramos como

( x , y , o) y escribimos la

recta que lo une con N

L'= {( 0,0,1 )+ s ( ( x , y , z )( 0,0,1 ) ) : s R }

de donde un punto de

L'

(sx , sy , 1s) . Un tal punto

es de la forma
2

pertenece a la esfera si y slo si . (sx ) +(sy ) +(1s) =1

para

S=0

para , S=

. Esto ocurre

(caso que no admitimos pues considerariamos el polo norte) o

2
x + y 2 +1 por lo que
2

p=( X , Y , Z )=

Ms an, es claro que

N 1 ( x , y )=

2x
2y
x + y 1
, 2 2 , 2 2
2
2
x + y +1 x + y +1 x + y +1
N 1 : R2 S2
2

definida por es la inversa deseada.

2

2x
2y
x + y 1
, 2 2 , 2 2
2
2
x + y +1 x + y +1 x + y +1

Por ltimo, debemos notar que sobre cada dominio, la funcin

y su

inversa son continuas. Por lo tanto la proyeccion estereogrfica es un

homeomorfismo.

Debemos adems recalcar algo demasiado importante. El infinito (del plano)

esta representado por el polo norte de la esfera de Riemann.

Proposicin: La proyeccin estereogrfica mapea crculos (de la superficie

de la esfera) en crculos (generalizados) del plano.
Por crculos generalizados nos referimos a crculos del plano o rectas.
Demostracin:
Estudiemos primero la imagen de un crculo de la esfera va la proyeccin.
Un tal crculo es la interseccin de un plano de la
forma

AX + BY +CZ + D=0 con

S2

La imagen de los puntos

que satisfacen esta ecuacin son de la forma

(x , y )

(X , Y , Z)

y deben satisfacer

(de acuerdo a la frmula de la preimagen de la proyeccin)

2x
2y
x 2+ y 21
A 2 2 + B 2 2 +C 2 2 + D=0
x + y +1
x + y +1
x + y +1
lo cual reescribimos como
2
2
( ) ( C+ D ) ( x + y ) +2 Ax+ 2 By( CD )=0

Notemos que hay dos posibilidades, si

Ax + By=C

(*)

C=D entonces ( ) es de la forma

la cual representa ciertamente una recta en el plano. En este

caso, la ecuacin del plano original se transforma en AX + BY +C ( Z 1 )=0 ,

y por lo tanto el plano pasa por el polo norte. Entonces
Crculos esfricos que contienen al polo norte son mapeados en rectas del
plano

En cualquier otro caso, la ecuacin ( ) representa una circunferencia del

plano.
Crculos esfricos que no contienen al polo norte son mapeados en crculos
del plano

R2

Y como la proyeccin es una biyeccin, si el plano tiene interseccin no

vaca con la esfera, entonces siempre obtendremos un crculo generalizado
en el plano euclideano siendo la imagen de tal interseccin no vaca.
Solo queda mostrar el recproco, es decir, que todo crculo generalizado del
plano euclideano es la imagen de una circunferencia en la esfera. Para esto,
consideremos dos casos, el primero cuando tenemos una circunferencia del
plano de la forma
2

x + y + ax+by + c=0
Definimos entonces
y DC=c

A , B , C , D tales que

2 A=a ,

2 B=b

, C+ D=1

. Es fcil comprobar que el plano $AX+BY+CZ+D=0$

intersecta a la esfera y tal interseccin tiene por imagen todo punto que
satisface la ecuacion.

x 2+ y 2 + ax+by + c=0

En el caso en que contamos con una recta del plano de la

forma

ax +by +c=0

2 A=a , 2 B=b , C=D=

es suficiente considerar .

c
2

Esto concluye la demostracin.

Observaciones: Un ejercicio interesante es estudiar la imagen de
circunferencias en la esfera por medio de la proyeccin estereogrfica al
aplicar isometras en la esfera. Por ejemplo, si rotamos la esfera
manteniendo el eje
fijo, entonces solo estamos considerando en el plano
una rotacin. Pero basta rotar la esfera de cualquier otra forma de modo que
algunas rectas pasen a ser crculos y algunos crculos pasen a ser rectas.
Qu sucede si aplicamos otro tipo de isometras, como las reflexiones?

Para concluir, sera super til que ustedes comprobaran lo siguiente, si

aplicamos la proyeccin estereogrfica (bajo las mismas ideas) desde el
polo sur (es decir, el punto )

S=( 0,0,1 )

entonces obtenemos un

homeomorfismo

N : { S2 } / { s } R 2 , ( X , Y , Z )

N 1 : R2 ( s )2 /

X
Y
,
( 1Z
1Z )

{s }

, y finalmente podemos considerar la aplicacin (muy til en los primeros

ejemplos de variedades complejas)

s o N 1 : R2 { (0,0) }

( x , y )

( x +x y , x+yy )
2