Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Gary Larson 1
Conjuntos de puntos en el plano complejo
Un conjunto S de puntos en el plano complejo es
cualquier coleccin finita o infinita de puntos en el plano
complejo. Por ejemplo las soluciones de una ecuacin
cuadrtica, los puntos de una lnea, los puntos del interior
de un crculo, etc.
Qu lugares geomtricos describen las siguientes ecuaciones?
Arg z
La ecuacin Arg z= define una semirecta infinita de pendiente
. Entonces la desigualdad anterior define un sector infinito
comprendido entre las semirectas infinitas Arg z= y Arg z= .
Arg( z zo ) (...)
2
Un conjunto de puntos S se llama abierto si cada punto de
S tiene un vecindad constituida enteramente por puntos que
pertenecen a S. Por ejemplo los puntos del interior de un
crculo o un cuadrado.
x
i
En particular, el crculo de radio unidad
centrado en el origen puede escribirse 1 x
como: |z| = 1 4
Los puntos dentro del crculo C vienen representados por:
|z-a| < (un entorno abierto centrado en a).
y z B (a, ) {z C / | z a | }
a
y z
a |z-a| define un entorno
circular cerrado centrado en a.
x
5
y
1
a
2 El anillo abierto de radios 1 y 2, viene
x
dado por: 1 < |z-a| < 2
6
(1) Determina la regin en el plano complejo dada por:
y 4
|z-3-i| 4 3+i
Es la regin circular cerrada de radio 4 x
con centro en 3+i.
(2) Determina las regiones: (a) |z|<1; (b) |z| 1; (c) |z| >1
(a) Crculo unidad abierto (b) Crculo unidad cerrado (c) Exterior del crculo unidad.
7
Re(z) 1 (No es un conjunto abierto).
8
9
Qu lugar geomtrico describe la siguiente ecuacin?
| z 2 | | z 2 | 5
Una elipse de focos en -2 y 2 (suma de distancias a
los focos igual a 5) con semieje mayor igual a 5/2).
(a) | z a | | z b | c
-2 2 (b) | z a | | z b | c
(c) | z a | | z b | c
10
Qu lugar geomtrico describen las siguientes ecuaciones:
(d ) | z a | | z b | c
(e) | z 2 | Re( z ) 3
( f ) | z i | Im z 1
Nota: Busca las definiciones de parbola e hiprbola.
11
Un punto interior de un conjunto S es un punto para el que
podemos encontrar un entorno o vecindad cuyos puntos
pertenecen todos a S. Por ejemplo, el centro de un crculo.
Un punto frontera de un conjunto S es un punto tal que
todo entorno alrededor de l contiene puntos que pertenecen a
S y que no pertenecen a S. Por ejemplo los puntos que forman
la frontera de un crculo.
Si un punto no es interior ni frontera de un conjunto de
puntos S, entonces es un punto exterior a S.
Entonces, si S es abierto no posee puntos frontera, solo
puntos interiores. Si S es cerrado posee tambin a sus puntos
frontera.
Algunos conjuntos no son ni abiertos ni cerrados. Contienen
algunos puntos frontera. Por ejemplo un entorno punteado.
El plano complejo C es abierto y cerrado a la vez. No posee
12
Una regin es un conjunto formado por un dominio, ms,
quizs, algunos o todos sus puntos frontera (Cuidado:
algunos autores usan regin para indicar dominio).
Un conjunto es acotado si todo punto de S est dentro de
algn crculo |z| = R. En caso contrario es no acotado.
Un punto de S se dice que es de acumulacin si cada
entorno punteado del mismo contiene al menos un punto de S.
Entonces, si S es cerrado contiene a todos sus puntos de
acumulacin.
Un punto no es de acumulacin si existe un entorno
punteado del mismo que no contenga puntos de S. P.ej.:
Todos los puntos del conjunto S = {i/n} (n = 1,2,...) no son de
acumulacin a excepcin del cero.
13
Semiplanos infinitos y
y
Inferior: z = x+iy tales que y < 0 o Im(z) < 0.
Derecho: y
y Izquierdo:
z = x+iy tales que x < 0 o Re(z) < 0
x
Qu regiones describen?
(a) Im(z) = 0, (b) Im(z) = a,
(c) Re(z) = 0, (d) Re(z) = a
14
15
Conjuntos de Julia
Cuando deca en 1980 a mis amigos que estaba trabajando con H.
Hubbard en el estudio de polinomios de grado 2 en variable compleja (y
ms especficamente en z z2 + c ), me preguntaban: Esperas
encontrar alguna cosa nueva?
Adrien Douady
Iteracin: z n 1 z 2
n
Condicin inicial y rbita:
z , ( z ) , ( z ) ,... z , z , z ,...
0 0
2
0
2 2
0 1 2
r (cos i sin ), r 2
(cos 2 i sin 2 ), r 4 (cos 4 i sin 4 ),... 16
En el paso ensimo tendremos:
2n
z n r [cos(2n ) i sin( 2n )]
Si comenzamos con un nmero complejo de mdulo r < 1,
sucesivamente el mdulo ir disminuyendo hasta tomar valor
r = 0 para n infinito.
Fractint/Winfract
Ultrafractal (UF) probablemente es el programa de generacin
de fractales ms usado por la comunidad de ciberartistas que
experimentan con fractales.
a
2
a
x
x y
No existe camino entre
Un cuadrado abierto el tringulo inferior y el
sin diagonal.
tringulo superior.
24
x
Teorema:
25
El conjunto de Mandelbrot
Benoit Mandelbrot
(1924 -)
26
z n 1 z c
2
n
27
z n 1 z c
2
n
w = f(z)
z es una variable compleja.
S es el dominio de definicin de f.
El conjunto de valores de la funcin f se llama rango de f.
Polinomios de grado n:
P ( z ) c0 c1 z c2 z c3 z c4 z cn z
2 3 4 n
38
39
Representacin
Funciones de variable real geomtrica
cartesiana
y f (x)
y f ( x) x 2
Variable real
Asignacin
x
40
Funciones de variable compleja w f (z )
Cmo representarlas geomtricamente?
f ( z) z 2
y
f (1) (1) 1 2
Parte imaginaria Imagen
2i f (1 i ) (1 i ) 2i
2
1 1
x
41
Representacin mediante dos planos: z y w
z xiy f ( z) z 2 w u iv
Plano z Plano w
y v
w1 3 4i
z3 1 i
w3 2i
z 4 1
x u
w4 1
z2 1 2i
z1 2 i
w2 3 4i
Rotacin y alargamiento/contraccin
Ejemplo: w f ( z ) iz (i 1)
Esta funcin transforma el cuadrado A en el cuadrado B.
45
f ( z) z
La funcin/transformacin
2
z w z r [cos(2 ) i sin( 2 )]
2 2
y v
Plano z Plano w
x u
Es biyectiva la transformacin?
46
f ( z) z 2
z w z r [cos(2 ) i sin( 2 )]
2 2
y v
Plano z Plano w
x u
48
f ( z ) (1 ) z z ; [0,1]
2
49
En general
Curva en el plano z Curva en el plano w
F ( x, y ) 0 Obtenemos la transformacin
de la parametrizacin:
Parametrizamos la curva:
u (t ) u[ x(t ), y (t )]
z z (t ) x(t ) iy (t )
v(t ) v[ x(t ), y (t )]
Y de aqu la curva transformada:
(u , v) 0
Transformacin f(z)
w f ( z ) u ( x, y ) iv( x, y )
50
En qu curva se transforma una circunferencia de radio
unidad centrado en el origen a travs de la funcin f(z)=z2?
Circunferencia de radio unidad Parametrizamos.
centrada en el origen: Todos los puntos de la cincurferencia
F ( x, y ) x 2 y 2 1 0 pueden expresarse como:
z z (t ) cos t i sin t , t [0,2 )
La transformacin es:
z x iy; x(t ) cos t , y (t ) sin t
f ( z ) z 2 ( x iy ) 2
Usando la parametrizacin:
( x y ) i (2 xy )
2 2
52
Encuentra la imagen de la lnea Re(z) = 1 bajo la
transformacin f(z) = z2. f ( z ) z 2 ( x iy ) 2
u ( x, y ) x 2 y 2 1 y 2
Re(z) = x = 1,
v( x, y ) 2 xy 2 y
y v / 2, entonces u 1 v / 4
2
53
En qu curvas se transforman rectas verticales en el
plano z a travs de la funcin f(z)=z2 en el plano w?
xk u ( x, y ) x y k y
2 2 2
y
2
k 2
u
v v 2
4 k 2
(u k 2
)
z k iy v( x, y ) 2 xy 2ky y
2k
56
57
58
Observa que puesto u ( x, y ) x 2 y 2 v( x, y ) 2 xy
que la transformacin
w = f(z) = z2 es:
( x, y ) ( x 2 y 2 , 2 xy )
59
2
f(z) = z
Esquema de color dependiente del valor real
Dominio Rango
http://winnie.fit.edu/~gabdo/function.html 60
3
f(z) = z
Esquema de color dependiente del argumento
Dominio Rango
61
62
Lmite de una funcin compleja
Una funcin f(z) se dice que tiene lmite w0 cuando z tiende a z0, y
se escribe:
lim f ( z ) w0
z z0
x u
lim f ( z ) w0 sii
z z0
lim u ( x, y ) u0 y lim v( x, y ) v0
( x , y ) ( x0 , y 0 ) ( x , y ) ( x0 , y 0 )
69
Ejercicio: Demostrar que
lim f ( z ) lim f ( z )
z z0 z z0
70
Punto del infinito
71
Punto del infinito
El nmero complejo infinito o punto del infinito,
denotado por , no posee signo ni argumento.
1
lim f ( z ) lim 0
z z0 z z0 f ( z )
1
lim f ( z ) w0 lim f w0
z z 0
z
1
lim f ( z ) lim 0
z z 0 1
f
z
74
75
76
Sol.: a) 4, b) , c) , d) 0, e) No existe, f) 6i.
Sol.: No existe.
77
La esfera de Riemann Esfera de radio unidad centrada en
el cero del plano complejo.
Proyeccin estereogrfica: hacemos
corresponder cada punto del plano con
un punto de la esfera como muestra la
grfica. El polo norte N de la esfera
corresponde al punto del infinito.
Bernhard Riemann
(1826 - 1866) 78
Otra forma de la Ahora ya podemos definir
esfera de Riemann lmites al infinito. Si
lim f ( z ) w0
z
| z | r Arg( z )
Espiral de Arqumedes. Dado que Arg z , la ecuacin
anterior solo representa una espira de la espiral. 80
81
82
Funciones complejas continuas
Una funcin f(z) se dice que es continua en z = z0 si f(z0)
est definida en z0 y lim f ( z ) f ( z 0 )
z z0
Decimos que f(z) es continua (Nota: si en el lmite = (, z0)
en una regin si es continua no depende de z0, la continuidad
en todo punto de la regin. es uniforme).
z 1
2
( z i )( z i )
lim lim lim ( z i ) 2i
z i z i z i z i z i
84
Funciones continuas
Ejercicios:
85
Transformacin w = f(z) = 1/z
En este caso la transformacin s es biyectiva,
excluyendo al origen. En coordenadas polares la
transformacin es:
(r , ) (1 / r , )
Una inversin en el crculo
unidad (lo de fuera pasa adentro
y al contrario) seguida de una
reflexin respecto al eje x.
Dominio Rango
Biyeccin
"We may thus think of the interior of the unit circle as a condensed image, a
microcosmos, of its exterior". To infinity and beyond, Eli Maor 87
f(z) = 1/z (r , ) (1 / r , )
Esquema de color dependiente del mdulo
Dominio Rango
...
u v
x 2 2 ; y 2 2
u v u v
y simtricamente :
x y
u 2 ;v 2
x y 2
x y2
91
Ejemplo: Cul es la imagen de la recta x = c bajo la transformacin
f(z) = 1/z?
1 1 1 u v
f ( z) u iv; x iy 2 2 i 2 2 ;
z x iy u iv u v u v
La recta a transformar es : x c ( y cualquier valor)
u v
x 2 2 c ; y 2 2 ;
u v u v
2 2
u 1 1
u v 0;
2 2
u v
2
c 2c 2c
Es decir, un crculo de centro
(1/(2c), 0) que pasa por el
origen.
El semiplano x > c se
transforma en el interior del
crculo. 92
Podemos escribir la ecuacin general de un crculo y una recta
en el plano z en la forma:
a ( x 2 y 2 ) bx cy d 0 (a, b, c, d )
a 0 ecuacin de un crculo a 0 ecuacin de una recta
d (u 2 v 2 ) bu cv a 0 93
a ( x 2 y 2 ) bx cy d 0 (a, b, c, d )
a 0 ecuacin de un crculo a 0 ecuacin de una recta
Dominio Rango
95
u = 1/a
u = -1/b
b = 0; u = -v
b distinto de 0; en
circunferencias.
v = -ku
circunf.
u2 = -v3 /(1+v)
96
Transformaciones bilineales o de Mbius
az b
M ( z) w (ad bc 0, a, b, c, d C )
cz d
La transformacin inversa es
tambin bilineal:
1 dw b
M ( w) z
cw a
98
Cuando c 0, T(z) tiene un cero simple en z0 = d/c, y
entonces:
lim T ( z ) ,
z z0
T (0) 1 /( i ) i, T () lim T ( z ) 2,
z
T (i ) lim T ( z ) , T (i )
z i
99
Las transformaciones de Mbius son biyecciones
100
Cmo transforma la bilineal?
d ad ad
a z b b
az b c c a c
f ( z) w
cz d d c cz d
c z
c
De modo que cualquier
ad
b transformacin bilineal
a c puede obtenerse como
z ' cz d
c z' una composicin de una
a bc ad
transformacin lineal
1
z' ' z ' ' y una transformacin 1/z.
z' c c
As que para las transformaciones bilineales transforman el conjunto de
crculos y lneas en s mismo.
101
b) Determinar la imagen de la regin z 2 2 , al
considerar la transformacin: z
f ( z)
2z 8
z 1 2
f ( z) C: z2 2
2z 8 2 z 4
2 4 Re(z)
z ' z 4 (traslacin)
z '6 2
2 4 6 8 Re(z')
Examen
JUNIO 04/05: P-1
102
z 1 2
f ( z) C: z2 2
2z 8 2 z 4
1 2
C : z '6 2
2 z'
1 Recordemos cmo acta la inversin:
z' '
z'
a ( x 2 y 2 ) bx cy d 0 d (u 2 v 2 ) bu cv a 0
z '6 2 ( x 6) 2 y 2 2 2 ( x 2 y 2 ) 12 x 32 0
2
3 1
32(u v ) 12u 1 0 u
2 2
v 2
2
16 16
3 1 z ' '
3
1
z ' ' 16 16
16 16
3/16 1/4 Re(z'')
...exterior del crculo... 103
z 1 2
f ( z) C: z2 2
2z 8 2 z 4
1 2
C : z '6 2
2 z'
1 3 1
2 z' ' z ' '
2 16 16
1
w Z (traslacin )
2
1 1
w
8 8
1/8 1/4 Re(Z)
105
Ejemplo: Sea a una constante compleja tal que Im(a) > 0.
Encontrar la imagen del semiplano infinito za
superior bajo la transformacin bilineal: w
za
Consideremos primero el borde. Para los puntos z sobre el
eje x, tenemos: | za|
| z a || z a | | w | 1
| za|
De modo que el eje x
se transforma en el
crculo unidad con
centro en el origen.
z = a se transforma en
w = 0 (un punto interior
del crculo).
La transformacin es continua, y de aqu podemos deducir que
la imagen del semiplano superior es el interior del crculo. 106
107
108
109
110
111
112
113
Mbius Transformations Revealed is a short video by Douglas Arnold and Jonathan Rogness
which depicts the beauty of Mbius transformations and shows how moving to a higher
dimension reveals their essential unity. It was one of the winners in the
2007 Science and Visualization Challenge and was featured along with the other winning entries
in the September 28, 2007 issue of journal Science. The video, which was first released on
YouTube in June 2007, has been watched there by more than a million viewers and classified as a
"Top Favorite of All Time" first in the Film & Animation category and later in the Education
category. It has been selected for inclusion in MathFilm Festival 2008. 114
Tripletes a Tripletes
Observa que podemos crear una transformacin de Moebius
a partir de tres puntos:
z z1 z 2 z3 z 2 z3 z z1 az b
M ( z)
z z3 z 2 z1 z 2 z1 z z3 cz d
b z1 ; d z3 ;
a z 2 z3 z 2 d ;
c z 2 z1 z 2 b.
esta transformacin tendr un cero en z = z1 (T(z1) = 0 ,
T(z2) = 1 y tiene un polo en z = z3 (T(z3) = ). De modo
que T(z) transforma los complejos z1, z2, z3 en 0, 1, e ,
respectivamente. 115
De la misma manera, la transformacin de Moebius:
w w1 w2 w3
S ( w)
transforma w1, w2, w3 en 0, 1we ,w3y w w1
S-12 transforma 0, 1 e
en w1, w2, w3.
w w1 w2 w3 z z1 z 2 z3
w w3 w2 w1 z z3 z 2 z1
116
Ejemplo:
Construye una transformacin de Moebius que transforma los puntos 1, i, 1 sobre el crculo unidad |z| = 1 a los puntos 1, 0 y 1 sobre el eje real.
w w1 w2 w3 z z1 z 2 z3
w w3 w2 w1 z z3 z 2 z1
w 1 0 1 z 1 i 1 w 1 z 1
o i
w 1 0 (1) z 1 i 1 w 1 z 1
117
118
119
120
Ejemplo: Construye una transformacin de
Moebius que transforma los puntos , 0, 1 sobre el
eje real en los puntos 1, i, 1 sobre el crculo |w| =
1.
w 1 i 1 1 0 1 w 1 1
o S ( w) i T ( z)
w 1 i 1 z 1 1 w 1 z 1
121
Versin matricial
Podemos asociar la transformacin bilineal a una matriz:
a b az b
La matriz A representa la transformaci T ( z )
c d cz d
a1 z b1 a2 z b2
Si T1 ( z ) , T2 ( z ) ,
c1 z d1 c2 z d 2
az b
entonces T2 (T1 ( z )) viene dada por T ( z )
cz d
a b a2 b2 a1 b1
c d c2 d 2 c1 d1
122
az b dw b
Si w T ( z ) , entonces z
cz d cw a
1 dw b
y podemos escribir : T ( w) .
cw a
d b
La matriz asociada es : adj A
c a
2z 1 z i
Ejemplo : Si T ( z ) y S ( z) , encontrar S -1 (T ( z )).
z2 iz 1
az b
Sea S -1 (T ( z )) , donde 1 i 2 1 2 i 1 2i
cz d ,
a b 1 i 2 1 i 1 1 2 1 2i 2i
adj (2 i ) z 1 2i
c d i 1 1 2 1
entonces : S (T ( z ))
(1 2i ) z 2 i
123
Jos Leys
http://www.josleys.com/
124
125
126
127
128
129
130
131
132
133
134
135
136
La banda de Moebius
(Mbius strip)
137
138
Moebius Strip II, M. C. Escher (1963) 139
140