Está en la página 1de 154

1

2.1 Sucesiones
Veamos un ejemplo de sucesión compleja: {1 + in}:
1 i , 0, 1 i , 2, 1 i , ⋯
    
n 1, n2, n 3, n  4, n 5, ⋯

Si limnzn = L,
decimos que la
sucesión es
convergente.
2
i n1 
Otro ejemplo: la sucesión   converge.
 n 

n 1
i
lim n   0
n

3
2.2 Límite de una sucesión
Una sucesión {zn} de números complejos zn = xn + iyn
converge a c = a + i b sii la sucesión de partes reales {xn}
converge a a y la sucesión de partes imaginarias {yn}
converge a b. y
Demostración ( ):
b+
Si |zn-c| < , con zn = xn + iyn
zn
entonces dentro de un círculo
b
de radio , para c = a + i b c
se cumple que:
b-
|xn-a| <  , |yn-b| <  x
a- a a+
Por tanto la convergencia zn  c
implica que xn  a , yn  b. 4
Demostración ():
Igualmente, si xn  a y yn  b cuando n   , entonces para
un >0 dado, podemos hallar un N suficientemente grande tal
que para  n> N se cumpla que:

|xn-a| < /2, |yn-b| < /2


y
con lo que zn= xn+iyn estará b+

contenido en un cuadrado de b+/2 zn


centro c y lado . b c
De modo que zn estará contenido
b-/2
en un círculo de radio  y
b- x
centro c.
a- a a+
a-/2 a+/2
5
Diremos que una sucesión {zn} es convergente sii:
lim zn = c. Una sucesión divergente significa que no converge.
n 

Ejemplos:
(1) La sucesión {in/n} = {i, -1/2, -i/3, 1/4,......} es
convergente y límite es 0.
(2) La sucesión {in} = {i, -1, -i, 1,....} es divergente.
(3) La sucesión {zn} con zn= (1+i)n es divergente.
{zn} = { 1+i, 2i, -2+2i, -4, -4-4i,....}
(4) La sucesión {zn} con zn= 2-1/n + i(1+2/n) es convergente.
{zn} = { 1+3i, 3/2+2i, 5/3+5i/3, 7/4+3i/2,....}
El límite cuando n es c = 2+i
(y |zn-c| = |-1/n+2i/n| = 5/n <  si n > 5/)
6
 ni 
La sucesión   converge a i. Observa que
 n  2i 

Re(i) = 0 y Im(i) = 1. Entonces:

2
ni 2n n
zn   2 i 2
n  2i n  4 n  4
2
2n n
Re( z n )  2  0, Im( z n )  2 1
n 4 n 4
cuando n  .

7
Igual que hemos hecho mención a la parte real
e imaginaria para la convergencia de la sucesión,
podemos hablar del módulo y el argumento. Así:

Sea zn   ne i n
,donde  n | z n |  n  Arg z n
lim  n   0
n  i 0
Si ,entonces lim z n   0 e
lim  n   0 n 
n 

8
n
 z
Sea por ejemplo la sucesión de términos: z n : 1   .
 n
n/2
 z
n
 x  y 
2 2
El módulo lim | z n | lim 1    lim 1    2 
converge a: n  n 
 n n 
 n  n 
n/2
 x  y  2 xn 
2 2
 lim 1  2   ex.
n  n
Y el argumento a:  
n
 z  z
lim  n  lim Arg z n  lim Arg1    lim n Arg1   
n  n  n 
 n  n   n
 y 
  y
lim n arctan  n   lim n arctan  y.
n   1  x  n  n x
 
 n
Por tanto la sucesión n
converge a:  z
lim1    e x e iy  e x iy  e z .
n 
 n 9
2.3 Series en los Complejos
Dada una sucesión {zn}, una serie infinita o serie se puede
formar a partir de una suma infinita:

z
n 1
n  z1  z 2  z3  ...

Los z1, z2, ..... son denominados términos de la serie.


La sucesión de sumas:
s1 = z1
s2 = z1 + z2
s3 = z1 + z2 + z3
........
sn = z1 + z2 +....zn
es la sucesión de sumas parciales de la serie infinita.
10
2.3.1Series convergentes
Una serie convergente es aquella tal que la sucesión de
sumas parciales converge, i.e.:
lim sn  s
n 
donde s es la suma o valor de la serie y se expresa:

s   z n  z1  z 2  ...
n 1
Una serie divergente es aquella que no converge.
Llamaremos resto Rnde la serie a:
Rn  z n 1  z n  2  z n 3  …
Si la serie converge y suma s, entonces
s  sn  Rn ó Rn  s  sn y lim Rn  0
n 
11
Ejercicios: Demostrar que
(1) Una serie con zm= xm+iym converge con suma s = u+iv
sii
u = x1+x2+..... converge y v = y1+y2+..... converge.

(2) Si una serie z1+ z2 +.... converge, entonces lim z m  0


m 
En caso contrario, la serie diverge.

(3) Que {zm}  0 es condición necesaria para la convergencia,


pero no suficiente.
Recuerda que para la serie harmónica 1+ ½ +1/3 +...
el término 1/n  0 cuando n tiende a infinito, pero la
serie diverge.
12
2.3.2 Serie geométrica
Para la serie geométrica:

 az k 1
 a  az  az 2
 ⋯  az n 1
⋯
k 1

el término enésimo de la sucesión de sumas parciales es:


n 1 a (1  z )
n
S n  a  az  az  ...  az
2

1 z

Observa que zn  0 cuando n   para |z| < 1, en cuyo casi


Sn converge a a/(1 – z). La serie diverge para |z|  1.

13
Ejemplo:

(1  2i ) k (1  2i ) (1  2i ) 2 (1  2i ) 3
 5k  5  52  53  ...
k 1

es una serie geométrica con a = (1 + 2i)/5 y


z = (1 + 2i)/5. Puesto que |z| < 1, tenemos que:

1  2i

(1  2i ) k i
 5k  1  2i  2 5
k 1 1
5

14
15
Teorema de Cauchy para series.
Una serie z1+ z2 +.... es convergente sii dado cualquier >0
podemos hallar un N tal que |zn+1+zn+2+...+zn+p| <  para todo
n > N y p =1, 2...
Convergencia absoluta.
Una serie z1+ z2 +... es absolutamente convergente si la serie de
los valores absolutos de sus términos


m=1
|zm| = |z1 | + |z2 | + ......

es convergente. Si z1+ z2 +... converge pero |z1|+ |z2| +.... diverge,


la serie z1+z2.... es condicionalmente convergente.
Si una serie es absolutamente convergente es convergente
Ejemplo: La serie 1- 1/2+ 1/3- ¼ +... converge condicionalmente.
16
 k
i
¿Es la serie  2 convergente?
k 1 k

Es absolutamente convergente, puesto que


|ik/k2| = 1/k2 y la serie real 
1
 k2
k 1

es convergente.
De modo que la serie original es convergente.

17
Comparación de series:
Si dada una serie dada z1+ z2+ ... , podemos hallar una serie
convergente b1+ b2+ ... con términos reales no negativos tal que
|zn|  bn para todo n = 1, 2, ...entonces la serie dada converge,
incluso absolutamente.
(Ejercicio: demostrarlo)

Criterio del cociente:


Si una serie z1+ z2+ .... con zn0 (n = 1, 2, ...) cumple que
|zn+1/zn|  q < 1 ( n > N, con un q dado para cualquier N)
la serie converge absolutamente. En cambio si
|zn+1/zn|  1 ( n > N) la serie diverge.

(Ejercicio: demostrarlo) 18
Si tenemos una serie z1+ z2 +.... con z n 0 (n = 1, 2, ..) tal que
z n 1
lim L Entonces se cumple que:
n  z
n

a) Si L < 1 la serie converge absolutamente.


b) Si L > 1 diverge.
c) Si L = 1 “no sabe, no contesta”.
(Ejercicio: demostrarlo)


(100  75i ) n (100  75i ) 2
Dado S   1  (100  75i )  …
0 n! 2!
¿Es S convergente o divergente?
zn 1 100  75i n  1!
n 1
100  75i 125
lim  lim  lim  lim 0
n  z
n
n  n
100  75i n! n  n 1 n   n 1
Converge. 19
Criterio de la raíz:
Si una serie z1+ z2 + ... cumple que para todo n > N
n|z |q<1 (n < N)
n
donde q<1 está fijado, la serie converge absolutamente. Si
para infinitos n se cumple que:
n|z |  1 , la serie diverge.
n
Entonces, si una serie z1+z2+... cumple que para todo n > N
lim n|zn| = L
n
entonces:
a) Si L < 1 la serie converge absolutamente
b) Si L > 1 diverge
c) Si L = 1 no podemos extraer conclusiones
20

 (1) n  1 1 1
Dado S    2n
 
 4  i n
  ( 4  i )  ( 4  i ) 2
…
0 2 3 4 7 19

¿Es S convergente?

 (4  i ) n  (4  i ) 17 17
lim n    lim  lim 
n   2 2 n
 3  n   n 4 n  3 n  n 4 n  3 4
 
Como el límite es mayor que 1, la serie diverge.

Ejercicio: demostrar que


La serie geométrica  q
m 0
m
 1  q  q 2
…

converge con suma 1/(1-q) si |q| < 1 y diverge para otros valores.
21
2.4 Funciones de variable compleja

Gary Larson 22
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE
Conjuntos de puntos en el plano complejo
Un conjunto S de puntos en el plano complejo es
cualquier colección finita o infinita de puntos en el plano
complejo. Por ejemplo las soluciones de una ecuación
cuadrática, los puntos de una línea, los puntos del interior
de un círculo, etc.
¿Qué lugares geométricos describen las siguientes ecuaciones?

  Arg z  
La ecuación 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  z o )   (...)
23
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE
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
círculo o un cuadrado.

El complementario de un conjunto de puntos S es el


conjunto de todos los puntos que no pertenecen a S.

Un conjunto de puntos S se llama cerrado si su


complementario es abierto. Ej.: los puntos sobre el círculo y
su borde o una región poligonal y su frontera, son cerrados
puesto que sus complementarios (los puntos exteriores a
la circunferencia o al poligono) son abiertos.

28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 24


La distancia entre dos puntos z y a es |z-a|. De modo que un
círculo C de radio  y centrado en a, puede expresarse como:

y z
 ¿C es abierto o cerrado?
a
y

x
i
En particular, el circunferencia de radio
unidad centrado en el origen puede x
1
escribirse como: |z| = 1
28/09/2022 MSc. Raúl Castro Vidal 25
UNAC-FIEE
Los puntos dentro del círculo C vienen representados por:
|z-a| <  (un entorno abierto centrado en a).
Bola abierta
y z
 B(a,  )  {z  C / | z  a | 
a

0 < |z-a| <  define un entorno punteado


x
o reducido.
Bola cerrada
z
B(a,  )  {z  C / | z  a | }
y

a |z-a|   define un entorno
circular cerrado centrado en a.
x
28/09/2022 MSc. Raúl Castro Vidal 26
UNAC-FIEE
y
1
a El anillo abierto de radios 1 y 2, viene
2
dado por: 1 < |z-a| < 2
x

28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 27


(1) Determina la región en el plano complejo dada por:
y 4
|z-3-i| ≤ 4
3+i
Es la región 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) Círculo unidad abierto (b) Círculo unidad cerrado (c) Exterior del círculo unidad.

28/09/2022 MSc. Raúl Castro Vidal 28


UNAC-FIEE
Re(z)  1 (No es un conjunto abierto).

28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 29


28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 30
¿Qué lugar geométrico describe la siguiente ecuación?

| 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).

Ejercicio: ¿Qué representan las


siguientes ecuaciones?

(a ) | z  a |  | z  b | c
-2 2 (b) | z  a |  | z  b | c
(c) | z  a |  | z  b | c
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 31
¿Qué lugar geométrico 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 parábola e hipérbola.

28/09/2022 MSc. Raúl Castro Vidal 32


UNAC-FIEE
• 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 círculo.

y z

a

• 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 círculo.
28/09/2022 MSc. Raúl Castro Vidal 33
UNAC-FIEE
• 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 también 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
puntos frontera.

28/09/2022 MSc. Raúl Castro Vidal 34


UNAC-FIEE
• Una región es un conjunto formado por un dominio, más,
quizás, algunos o todos sus puntos frontera (Cuidado:
algunos autores usan región para indicar dominio).
• Un conjunto es acotado si todo punto de S está dentro de
algún círculo |z| = R. En caso contrario es no acotado.
• Un punto de S se dice que es de acumulación si cada
entorno punteado del mismo contiene al menos un punto de S.
Entonces, si S es cerrado contiene a todos sus puntos de
acumulación.
• Un punto no es de acumulación 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
acumulación a excepción del cero.
28/09/2022 MSc. Raúl Castro Vidal 35
UNAC-FIEE
Semiplanos infinitos y
Semiplano superior: el conjunto de todos los
puntos z = x+iy tales que y > 0 o Im(z) > 0. x

Inferior: z = x+iy tales que y < 0 o Im(z) < 0.


y

Derecho: y

x z = x+iy tales que x > 0 o Re(z) > 0.


x

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
28/09/2022 MSc. Raúl Castro Vidal 36
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 37
UNAC-FIEE
Conjuntos conexos
Un conjunto S se llama conexo si cualquier par de sus puntos pueden
conectarse mediante un camino formado por puntos que pertenecen a S.
Un abierto conexo se denomina dominio (en algunos textos se denomina
región). P.ej.: todo entorno es un dominio.
¿Son los siguientes conjuntos de puntos dominios?
Un anillo
y abierto
y
Un disco abierto 

1
 a
2
a

x
x y

Un cuadrado abierto  No existe camino entre


el triángulo inferior y el
sin diagonal.
triángulo superior.
28/09/2022 MSc. Raúl Castro Vidalx 38
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 39
UNAC-FIEE
Teorema: CONJUNTO
CONNEXO

Cualesquiera dos puntos de


un dominio pueden unirse
por medio de una línea
poligonal contenida en el
dominio.

28/09/2022 MSc. Raúl Castro Vidal 40


UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 41
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 42
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 43
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 44
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 45
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 46
UNAC-FIEE
f :D  ℂ  W  ℂ
z  w  f z 
28/09/2022 MSc. Raúl Castro Vidal 47
UNAC-FIEE
Funciones complejas
Sea S un conjunto de números complejos z = x+iy.
Una función f definida sobre S es una regla que asigna a
cada z en S un número complejo w llamado valor de f en z.

w = f(z)
– z es una variable compleja.
– S es el dominio de definición de f.
– El conjunto de valores de la función f se llama rango de f.

Como w es complejo (w = u+i v; con u y v reales) podemos


escribir:
w = f(z) = u(x,y) + i v(x,y)
– Una función compleja f(z) es equivalente a un par de funciones
reales u(x,y) y v(x,y), cada una dependiente de dos variables
28/09/2022 reales x e y. MSc. Raúl Castro Vidal 48
UNAC-FIEE
Funciones complejas

Como w es complejo (w = u+i v; con u y v reales) podemos


escribir:
w = f(z) = u(x,y) + i v(x,y)
– Una función compleja f(z) es equivalente a un par de funciones
reales u(x,y) y v(x,y), cada una dependiente de dos variables
28/09/2022 reales x e y. MSc. Raúl Castro Vidal 49
UNAC-FIEE
Ejemplos: f ( z)  z 2
Función de
variable w  f (z )
 ( x  iy ) 2 compleja

¿Cuáles son los


dominios de
 ( x  y )  i (2 xy )
2 2
v ( x, y )
definición de estas
funciones?
u ( x, y ) w  u ( x, y )  i v ( x, y )
Parte real Parte imaginaria
f ( z )  2iz  6 z
 2i ( x  i y )  6( x  i y ) ¿Cuál es el valor de f (z )
en z  3  2?i
 (6 x  2 y )  i ( 2 x  6 y ) f ( z )  (6 x  2 y )  i ( 2 x  6 y )
 (6  3  2  2)  i (2  3  6  2)
 14  6i
u ( x, y ) v ( x, y )
28/09/2022 MSc. Raúl Castro Vidal 50
UNAC-FIEE
Ejemplos:

• Polinomios de grado n:
P( z )  c0  c1 z  c2 z  c3 z  c4 z  ⋯  cn z
2 3 4 n

donde c0, c1...cn son constantes complejas y cn es distinto de


cero.
P( z )
• Funciones racionales (cocientes de polinomios):
Q( z )
• Si en f(z) = u+iv, v = v(x,y) = 0, entonces f es una
función de variable compleja con valores reales. P.ej.:
f(z)= |z|2 = x2 + y2 .

28/09/2022 MSc. Raúl Castro Vidal 51


UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 52
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 53
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 54
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 55
UNAC-FIEE
Representación
Funciones de variable real geométrica
cartesiana

y  f (x)

y f ( x)  x 2

Variable real
Asignación

x
28/09/2022 MSc. Raúl Castro Vidal 56
UNAC-FIEE
Funciones de variable compleja w  f (z )
¿Cómo representarlas geométricamente?
f ( z)  z 2

y
f (1)  (1)  1 2
Parte imaginaria Imagen
2i f (1  i )  (1  i )  2i
2

Preimagen. ¿Cuál es la otra?


1 i
Asignación Parte real

1 1
x
28/09/2022 MSc. Raúl Castro Vidal 57
UNAC-FIEE
Representación mediante dos planos: z y w
z  xiy 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

¿Cómo transforman (a) f(z)  z  c, (b) f(z)  iz, (c) f(z)  z ?


28/09/2022 MSc. Raúl Castro Vidal 58
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 59
UNAC-FIEE
Transformaciones mediante funciones lineales
Existen muchas situaciones prácticas donde podemos simplificar
un problema mediante una transformación en el plano complejo.
Translación: w  f ( z)  z  c con c  (c1 , c2 )
z  ( x, y )  w  ( x  c1 , y  c2 )
Rotación alrededor del origen y alargamiento/contracción:

w  f ( z )  bz con b | b | (cos   i sin  )


z  r (cos   i sin  )  r | b | [cos(   )  i sin(   )]
(r , )  (r | b |,    )
28/09/2022 MSc. Raúl Castro Vidal 60
UNAC-FIEE
Funciones lineales
w  f ( z )  bz  c Translación

Rotación y alargamiento/contracción

Ejemplo: w  f ( z )  iz  (i  1)
Esta función transforma el cuadrado A en el cuadrado B.

28/09/2022 MSc. Raúl Castro Vidal 61


UNAC-FIEE
La función/transformaciónf ( z)  z 2

z  w  z  r [cos(2 )  i sin(2 )]
2 2

y v

Plano z Plano w

x u

¿Es biyectiva la transformación? Rpta……

28/09/2022 MSc. Raúl Castro Vidal 62


UNAC-FIEE
f ( z)  z 2

z  w  z  r [cos(2 )  i sin(2 )]
2 2

y v

Plano z Plano w

x u

¿Cómo puede ser? Si a cada punto de la semicircunferencia del


plano z le corresponde un solo punto del plano w, ¿cómo media
circunferencia se transforma en una entera? ¿No hay el doble de
puntos en una circunferencia que en media? 63
28/09/2022 MSc. Raúl Castro Vidal
UNAC-FIEE
f  ( z )  (1   ) z   z ;   [0,1]
2

28/09/2022 MSc. Raúl Castro Vidal 64


UNAC-FIEE
f  ( z )  (1   ) z   z ;   [0,1]
2

28/09/2022 MSc. Raúl Castro Vidal 65


UNAC-FIEE
En general
Curva en el plano z Curva en el plano w
F ( x, y )  0 Obtenemos la transformación
de la parametrización:
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
Transformación f(z)

w  f ( z )  u ( x, y )  iv( x, y )
28/09/2022 MSc. Raúl Castro Vidal 66
UNAC-FIEE
¿En qué curva se transforma una circunferencia de radio
unidad centrado en el origen a través de la función 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 transformación es:
z  x  iy; x(t )  cos t , y (t )  sin t
f ( z )  z  ( x  iy ) 
2 2
Usando la parametrización:
 ( x 2  y 2 )  i (2 xy )
u (t )  (cos t ) 2  (sin t ) 2  cos(2t )
En componentes:
v(t )  2 cos t sin t  sin(2t )
u ( x, y )  x 2  y 2
Que nos proporciona la curva:
v( x, y )  2 xy
 (u , v)  u 2  v 2  1  0
La imagen traza una circunferencia de radio unidad centrada en el
origen dando dos vueltas.
28/09/2022 MSc. Raúl Castro Vidal 67
UNAC-FIEE
f  ( z )  (1   ) z   z ;   [0,1]
2

28/09/2022 MSc. Raúl Castro Vidal 68


UNAC-FIEE
Encuentra la imagen de la línea Re(z) = 1 bajo la
transformación 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

28/09/2022 MSc. Raúl Castro Vidal 69


UNAC-FIEE
¿En qué curvas se transforman rectas verticales en el
plano z a través de la función f(z)=z2 en el plano w?
xk u ( x, y )  x  y  k  y
2 2
y 
2
k 2
 u 
2

v  v 2
 4 k 2
(u  k 2
)
z  k  iy v( x, y )  2 xy  2ky y
2k 

La ecuación de un parábola abierta hacia la izquierda:


con vértice en (k2, 0) y foco en el origen.
Idem para rectas horizontales (pero serán parábolas
hacia la derecha):

yk u ( x, y )  x  y  x  k
2 2 2 2
x  u  k 2  2
v  v  4 k 2
(u  k 2
)
z  x  ik v( x, y )  2 xy  2kx x
2k 
28/09/2022 MSc. Raúl Castro Vidal 70
UNAC-FIEE
Tomemos como dominio un rectángulo con esquinas en ±3/2±3/2i. Observa
como las líneas verticales, formadas por complejos de parte real constante, se
convierten en parábolas abiertas hacia la izquierda. Y las líneas horizontales,
formadas por números complejos de parte imaginaria constante, en parábolas
abiertas a la derecha. Observa también como los ángulos entre rectas amarillas y
rosas siguen siendo rectos: la transformación es conforme. .

http://www.ima.umn.edu/~arnold/complex.html
28/09/2022 MSc. Raúl Castro Vidal
Douglas N. Arnold 71
UNAC-FIEE
f  ( z )  (1   ) z   z ;   [0,1]
2

28/09/2022 MSc. Raúl Castro Vidal 72


UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 73
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 74
UNAC-FIEE
Observa que puesto u ( x, y )  x 2  y 2 v( x, y )  2 xy
que la transformación
w = f(z) = z2 es: ( x, y )  ( x 2  y 2 , 2 xy )

Los puntos z sobre la hipérbola x2 – y2 = k se transforman en lineas u = k.


Los puntos z sobre la hipérbola 2xy = k’ se transforman en lineas v = k’.

28/09/2022 MSc. Raúl Castro Vidal 75


UNAC-FIEE
2
f(z) = z
Esquema de color dependiente del valor real

Dominio Rango

http://winnie.fit.edu/~gabdo/function.html
28/09/2022 MSc. Raúl Castro Vidal 76
UNAC-FIEE
3
f(z) = z
Esquema de color dependiente del argumento

Dominio Rango

28/09/2022 MSc. Raúl Castro Vidal 77


UNAC-FIEE
Límite de una función compleja
Una función f(z) se dice que tiene límite w0 cuando z tiende a z0, y
se escribe:
lim f ( z )  w0
z  z0

si f está definida en un entorno de z0 (a excepción tal vez de z0 mismo) y si:


 real  > 0,  un real  > 0:  z  z0 , y |z - z0| < , entonces |f(z) - w0| < .
y v
  En general =(, z0)
z0 w0
f(z) Si el límite existe,
z es único.

x u

Es decir: si dado un entorno de radio  alrededor del límite, podemos


28/09/2022determinar un entorno MSc.
de radio (, Vidal
Raúl Castro z0) alrededor de z0. 78
UNAC-FIEE
Observemos que como en el caso de variable real, la definición
de límite no nos dice cómo encontrarlo.
Demostremos que:
lim( z  i )  2i
z i
Utilizando la notación anterior, tenemos en este caso:
f ( z)  z  i 0 | z  i | 
Tomando  = ,
| z  z0 || z  i | por ejemplo,
| f ( z )  w0 || ( z  i )  2i || z  i | siempre se
cumple.
0 | z  i | 
Ejercicio: Demostrar que si el límite existe,
es único. (Nota: Suponer dos valores distintos
para el límite, aplicar definiciones y demostrar entonces
que ambos valores han de ser, a la fuerza, el mismo).
28/09/2022 MSc. Raúl Castro Vidal 79
UNAC-FIEE
¿Cuál es el equivalente a límite por la derecha y por la izquierda
de variable real en el caso de variable compleja?
En el plano complejo podemos acercarnos al límite a través de
una infinidad de trayectorias. Por ejemplo:
y
f ( z )  Arg z
   Arg z  
Toda vecindad de z0 contiene
C 2
valores de Arg z en el segundo
cuadrante arbitrariamente cerca
de , pero también del tercer x
cuadrante arbitrariamente cerca 0 z
de  . Acercándonos por C1 y por
C2 obtenemos dos valores distintos
C1
del límite.
28/09/2022 MSc. Raúl Castro Vidal 80
UNAC-FIEE
x  x i( y  y)
2 2
Ejemplo
f ( z)  
x y x y
Esta función no está definida para z = x+iy = 0, (x = 0, y = 0).
Veamos que no existe el límite de la función cuando z tiende a 0.

(1) Nos aproximamos al origen a lo largo del eje y. Tomando


x=0 en f(z), tenemos:
Que se aproxima a i, i( y  y)
2

a medida que nos f ( z ) x 0   i ( y  1)


acercamos al origen.
y
(2) Tomando y=0 nos aproximamos a lo largo del eje x:
Que tiende a 1.
x x
2
f ( z ) y 0   x 1 Como el límite por ambos
caminos no coincide, el
x
límite no existe.
28/09/2022 MSc. Raúl Castro Vidal 81
UNAC-FIEE
Ejercicios:

(1) Sean: f ( z )  u ( x, y )  i v( x, y ), z0  x0  iy0 y w0  u0  iv0


Entonces:

lim f ( z )  w0 sii
z  z0

lim u ( x, y )  u 0 y lim v( x, y )  v0
( x , y )  ( x0 , y 0 ) ( x , y )  ( x0 , y 0 )

(2) Demostrar que si


lim f ( z )  w 0  lim | f ( z ) |  | w 0 |
z  z0 z  z0

Nota: Utilizar la definición de límite y la desigualdad:


| f ( z) |  | w0 |  | f ( z)  w0 |

28/09/2022 MSc. Raúl Castro Vidal 82


UNAC-FIEE
Propiedades de los límites
Sean w0 y w'0 los límites, cuando z tiende a z0, de f(z) y g(z)
respectivamente. Entonces:

lim[ f ( z )  g ( z )]  w0  w0' lim[ f ( z )  g ( z )]  w0  w0'


z  z0 z  z0

f ( z ) w0 Nota: Es fácil demostrar estas


lim  ' si w  0
'
0 propiedades a partir de u(x,y) y v(x,y).
z  z0 g ( z ) w0
En particular si f(z) = g(z) = z : lim z  w2 2
0
z  z0

y por inducción: lim z n  w0n Como además: lim c  c


z  z0 z  z0
Entonces, para un polinomio P(z) = a0+a1z+...+anzn,

tendremos: lim P ( z )  P( z0 )
z  z0

28/09/2022 MSc. Raúl Castro Vidal 83


UNAC-FIEE
Ejercicio: Demostrar que

lim f ( z )  lim f ( z )
z  z0 z  z0

28/09/2022 MSc. Raúl Castro Vidal 84


UNAC-FIEE
Punto del infinito

28/09/2022 MSc. Raúl Castro Vidal 85


UNAC-FIEE
Punto del infinito
•El número complejo infinito o punto del infinito,
denotado por  , no posee signo ni argumento.

•Su módulo es mayor que |z| para todo z complejo.

•¿Es un punto del plano complejo? No es localizable,


pero sí “alcanzable” a través de cualquier trayectoria
en la que |z| sea creciente.

•Se “opera” como en los reales. Por ejemlo:


z /  = 0, z/0 =  , etc.

•Cuando el plano complejo incluye al punto del infinito  ,


hablamos de plano complejo
28/09/2022
extendido.
MSc. Raúl Castro Vidal 86
UNAC-FIEE
z 1
Ejemplo: Sea f ( z) 
z2
Determina la imagen para z = ∞.
1
1
z 1 z 1
lim f ( z )  lim  lim  1
z  z  z  2 z  2 1
1
z
Cuando z tiende a infinito obtenemos f(z) = 1.

Nota. Una forma alternativa de encontrar el valor en el infinito


es encontrar la imagen de 1/z para z =0.
1
1
 
1 z 1 z
lim f    lim  lim 1
z 0
 z  z 0 1  2 z 0 1  2 z
28/09/2022 MSc. RaúlzCastro Vidal 87
UNAC-FIEE
Algunas relaciones útiles:

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

28/09/2022 MSc. Raúl Castro Vidal 88


UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 89
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 90
UNAC-FIEE
Sol.: a) 4, b) ∞, c) ∞, d) 0, e) No existe, f) 6i.

Sol.: No existe.

28/09/2022 MSc. Raúl Castro Vidal 91


UNAC-FIEE
La esfera de Riemann Esfera de radio unidad centrada en
el cero del plano complejo.
Proyección estereográfica: hacemos
corresponder cada punto del plano con
un punto de la esfera como muestra la
gráfica. El polo norte N de la esfera
corresponde al punto del infinito.

Bernhard Riemann
(1826 - 1866) 92
28/09/2022 MSc. Raúl Castro Vidal
UNAC-FIEE
Otra forma de la Ahora ya podemos definir
esfera de Riemann límites al infinito. Si
lim f ( z )  w0
z 

para todo real  > 0,  un real


> 0: |f(z) - w0| <  para todo
z: |z|> 1/.

O: lim f ( z )   si para todo real  > 0,  un real  > 0:


z  z0

|f(z)| < 1/ siempre MSc.


28/09/2022 queRaúl|zCastro < .
- z0|Vidal 93
UNAC-FIEE
Espirales esféricas de M.C. Escher
La proyección estereográfica tiene dos
propiedades importantes: las circunferencias
siempre se transforman en circunferencias y
la transformación conserva ángulos.

| z | r  Arg( z )
Espiral de Arquímedes. Dado que    Arg z   , la ecuación
anterior solo representa una espira de la espiral. 94
28/09/2022 MSc. Raúl Castro Vidal
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 95
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 96
UNAC-FIEE
Funciones complejas continuas
Una función 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 límite  = (, z0)
en una región si es continua no depende de z0, la continuidad
es uniforme).
en todo punto de la región.
Ejercicio:Las sumas, diferencias y productos de funciones
continuas son continuas. El cociente de dos funciones
continuas es continuo salvo en los puntos en que se anula el
denominador. La composición de funciones continuas es
continua. Sea f(z) = u(x,y) + iv(x,y), entonces u y v serán
continuas en todo punto en el que f(z) lo sea. Y a la inversa:
f(z) será continua en todo punto en que u(x,y) y v(x,y) lo sean.
28/09/2022 MSc. Raúl Castro Vidal 97
UNAC-FIEE
 z2 1
Ejemplo:  , z  i
Sea: f ( z )   z  i
 3i, z  i

¿Es continua f(z) en z = i? (1) f(i) = 3i está definido.


(2) Calculemos el límite de la función cuando z tiende a i:

z 1
2
( z  i )( z  i )
lim  lim  lim ( z  i )  2i
z i z  i z i z i z i

El límite existe pero no coincide con el valor de la función:


la función no es continua.

28/09/2022 MSc. Raúl Castro Vidal 98


UNAC-FIEE
Funciones continuas

Ejercicios:

(1) Sea f(z) = u(x,y) + iv(x,y), entonces u y v serán


continuas en todo punto en el que f(z) lo sea.

(2) Y a la inversa: f(z) será continua en todo punto en que


u(x,y) y v(x,y) lo sean.

Nota: Recuerda que, u(x,y) será continua en (a,b) sii


lim(x,y)→(a,b) u(x,y) = u(a,b).

28/09/2022 MSc. Raúl Castro Vidal 99


UNAC-FIEE
Transformación w = f(z) = 1/z
En este caso la transformación sí es biyectiva,
excluyendo al origen. En coordenadas polares la
transformación es:
(r ,  )  (1 / r , )
Una inversión en el círculo
unidad (lo de fuera pasa adentro
y al contrario) seguida de una
reflexión respecto al eje x.

Las circunferencias de radio r se


convierten en circunferencias de
radio 1/r. En particular, una
circunferencia de radio unidad
permanece invariante.
28/09/2022 MSc. Raúl Castro Vidal 100
UNAC-FIEE
f(z) = 1/z (r ,  )  (1 / r , )
Esquema de color dependiente del argumento

Dominio Rango

Biyección

"We may thus think of the interior of the unit circle as a condensed image, a
microcosmos, of its exterior".MSc.
28/09/2022 To infinity
Raúl Castroand
Vidalbeyond, Eli Maor 101
UNAC-FIEE
f(z) = 1/z (r ,  )  (1 / r , )
Esquema de color dependiente del módulo

Dominio Rango

¿Qué figura permanece invariante?


28/09/2022 MSc. Raúl Castro Vidal 102
UNAC-FIEE
Gardner, M. The Sixth Book of Mathematical Games from Scientific American.
Chicago, IL: University of Chicago Press, 1984.
http://mathworld.wolfram.com/Inversion.html
28/09/2022 103
MSc. Raúl Castro Vidal
UNAC-FIEE
Planos z y w
superpuestos Una línea que pase por el centro O, permanece
invariante...

Una línea que no pase por el centro O se


transforma en un círculo k que pasa por O (y al
revés) y está completamente dentro del círculo
unitario de inversión c.

Si la línea es tangente al círculo unitario de


inversión c, el círculo k toca en el mismo punto
a la línea y al centro O.

...

Vamos a describirlo con algo de mates...


28/09/2022 MSc. Raúl Castro Vidal 104
UNAC-FIEE
Veamos con más detalle la transformación f(z) = 1/z.
1 1
f (z)    u ( x , y )  iv ( x , y );
z x  iy
1 u v
x  iy   2 i 2 ;
u  iv u  v 2
u v 2

u v
x 2 ; y 2
u v 2
u  v2

y simétricamente:

x y
u 2 ;v 2
28/09/2022
x  y MSc. Raúl Castro
2
x Vidaly 2 105
UNAC-FIEE
Ejemplo: ¿Cuál es la imagen de la recta x = c bajo la transformación
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 círculo de centro
(1/(2c), 0) que pasa por el
origen.
El semiplano x > c se
transforma en el interior del
círculo.
28/09/2022 MSc. Raúl Castro Vidal 106
UNAC-FIEE
Podemos escribir la ecuación general de un círculo 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  ecuación de un círculo a  0  ecuación de una recta

Bajo la transformación 1/z, la ecuación general se convertirá en:


a( x 2  y 2 )  bx  cy  d  0
u v
x 2 2 ; y 2 2
u v u v
 u  2   v  2  u v
a  2 2    2 2    b 2 2  c 2 2  d  0
 u  v   u  v   u v u v
a  bu  cv
d 0
u v
2 2

d (u 2  v 2 )  bu  cv  a  0 107
28/09/2022 MSc. Raúl Castro Vidal
UNAC-FIEE
a( x 2  y 2 )  bx  cy  d  0 (a, b, c, d  )
a  0  ecuación de un círculo a  0  ecuación de una recta

Se transforma bajo 1/z en: d (u 2  v 2 )  bu  cv  a  0


d  0  ecuación de un círculo d  0  ecuación de una recta
(1) a y d distintos de 0: círculos que no pasan por el centro
se transforman en círculos que no pasan por el centro.
(2) a distinto de 0 y d = 0: círculos que pasan por el centro
se transforman en rectas que no pasan por el centro.
(3) a = 0 y d distinto de 0: rectas que no pasan por el centro
se transforman en círculos que pasan por el centro.
(4) a = d = 0: rectas que pasan por el centro se transforman
en rectas que pasan por el centro.
De hecho, si pensamos en rectas como círculos de radio infinito, 1/z transforma
círculos en círculos.
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 108
f(z) = 1/z
Esquema de color dependiente del argumento

Dominio Rango

28/09/2022 MSc. Raúl Castro Vidal 109


UNAC-FIEE
u = 1/a

u = -1/b
b = 0; u = -v
b distinto de 0; en
circunferencias.
v = -ku
circunf.

u2 = -v3 /(1+v)

28/09/2022 MSc. Raúl Castro Vidal 110


UNAC-FIEE
Transformaciones bilineales o de Möbius
az  b
M ( z)  w  (ad  bc  0, a, b, c, d  C )
cz  d
La transformación inversa es
también bilineal:

1  dw  b
M ( w)  z 
cw  a

August Ferdinand Möbius (1790-1868)

Observemos que la transformación no está definida para z = -d/c.


Y lo mismo ocurre con w = a/c en el caso de la inversa.
El conjunto de posibles transformaciones bilineales forman un grupo.
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 111
az  b
M ( z)  w  (ad  bc  0, a, b, c, d  C )
cz  d

28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 112


Cuando c  0, T(z) tiene un cero simple en z0 = −d/c, y
entonces:
lim T ( z )  ,
z  z0

Escribiremos T ( z0 )  . Si, además, c  0, entonces


ab/ z a
lim T ( z )  lim  ,
z  z  c  d / z c
y escribiremos T ()  a / c.
Ejemplo: Si T(z) = (2z + 1)/(z – i), calcula T(0), T(), T(i).

T (0)  1 /(i )  i, T ()  lim T ( z )  2,


z 

T (i )  lim T ( z )  , T (i )  
z i
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 113
Las transformaciones de Möbius son biyecciones

28/09/2022 MSc. Raúl Castro Vidal UNAC- 114


FIEE
¿Cómo 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   transformación bilineal
a  c  puede obtenerse como
z '  cz  d   una composición de una
c z'
a bc  ad 
transformación lineal
1
z' '    z' ' y una transformación 1/z.
z' c c
Así que para las transformaciones bilineales transforman el conjunto de
círculos y líneas en sí mismo.
28/09/2022 MSc. Raúl Castro Vidal UNAC- 115
FIEE
b) Determinar la imagen de la región z  2  2 , al
considerar la transformación: z
f ( z) 
2z  8
z 1 2
f ( z)    C: z2  2
2z  8 2 z  4

2 4 Re(z)

z '  z  4 (traslación )

z '6  2

2 4 6 8 Re(z')
Examen
JUNIO 04/18: P-1
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 116
z 1 2
f (z)    C: z2  2
2z  8 2 z  4
1 2
 C : z '6  2
2 z'
1 Recordemos cómo actúa la inversión:
z' ' 
z'
a ( x  y )  bx  cy  d  0  d (u  v )  bu  cv  a  0
2 2 2 2

z '6  2  ( x  6) 2  y 2  2 2  ( x 2  y 2 )  12 x  32  0 
2
 3 1
 32 (u  v )  12 u  1  0   u    v  2 
2 2 2

 16  16
3 1 
3

1
 z ' '  z ' '
16 16
16 16
3/16 1/4 Re(z'')
...exterior del círculo...
28/09/2022 117
MSc. Raúl Castro Vidal UNAC-FIEE
z 1 2
f (z)    C: z2  2
2z  8 2 z  4
1 2
 C : z '6  2
2 z'
1 3 1
 2z' ' z ' ' 
2 16 16

z ' ' '  2 z ' ' ( homotecia )


3 1
z ' ' ' 
8 8
...seguimos en 3/8 1/2 Re(z''')

el exterior del círculo...


28/09/2022 118
MSc. Raúl Castro Vidal UNAC-FIEE
Z   z ' ' '  ei z ' ' ' (giro de todos los afijos 180º ,
manteniendo el módulo, claro)
3 1
Z 
8 8

-1/2 -3/8 Re(Z)

1
w   Z (traslación )
2
1 1
w 
8 8
1/8 1/4 Re(Z)

28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 119


Ejemplo: Sea a una constante compleja tal que Im(a) > 0.
Encontrar la imagen del semiplano infinito za
superior bajo la transformación bilineal: w
za
Consideremos primero el borde. Para los puntos z sobre el
eje x, tenemos: | za|
| z  a || z  a | | w | 1
| za|
De modo que el eje x
se transforma en el
círculo unidad con
centro en el origen.
z = a se transforma en
w = 0 (un punto interior
del círculo).
La transformación es continua, y de aquí podemos deducir que
la imagen del semiplano superior es el interior del círculo.
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 120
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 121
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 122
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 123
28/09/2022 MSc. Raúl Castro Vidal UNAC- 124
FIEE
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 125
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 126
28/09/2022 MSc. Raúl Castro Vidal UNAC- 127
FIEE
Möbius Transformations Revealed is a short video by Douglas Arnold and Jonathan Rogness
which depicts the beauty of Möbius 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. 128
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE
Tripletes a Tripletes
Observa que podemos crear una transformación 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 transformación 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.
28/09/2022 MSc. Raúl Castro Vidal 129
UNAC-FIEE
De la misma manera, la transformación de
Moebius:
w  w1 w2  w3
S ( w) 
w  w3 w2  w1

transforma w1, w2, w3 en 0, 1 e , y S-1 transforma


0, 1 e  en w1, w2, w3.

De modo que w = S-1(T(z)) transforma el triplete


z1, z2, z3 en el triplete w1, w2, w3. Observa que
como w = S-1(T(z)), tenemos que S(w) = T(z) y
w  w1 w2  w3 z  z1 z2  z3

w  w3 w2  w1 z  z3 z2  z1
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 130
Ejemplo:
Construye una transformación de Moebius que
transforma los puntos 1, i, −1 sobre el círculo unidad
|z| = 1 a los puntos −1, 0 y 1 sobre el eje real.

w  w1 w2  w3 z  z1 z2  z3

w  w3 w2  w1 z  z3 z2  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
Despejando w, tenemos w = −i(z – i)/(z + i).

28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 131


28/09/2022 MSc. Raúl Castro Vidal UNAC- 132
FIEE
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 133
28/09/2022 MSc. Raúl Castro Vidal UNAC- 134
FIEE
Ejemplo: Construye una transformación de
Moebius que transforma los puntos , 0, 1 sobre
el eje real en los puntos 1, i, −1 sobre el círculo
|w| = 1.

Puesto que z1 = , los términos z − z1 y z2 − z1 en:


z  z1 z2  z3
T ( z) 
z  z3 z2  z1
son 1. Y entonces:

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

28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 135


Versión matricial
Podemos asociar la transformación 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 
28/09/2022 MSc. Raúl Castro Vidal UNAC- 136
FIEE
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 )).
z2 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 2i 
   adj     (2  i ) z  1  2i
c d   i  1  1 2  1
entonces : S (T ( z )) 
(1  2i ) z  2  i
28/09/2022 MSc. Raúl Castro Vidal UNAC- 137
FIEE
Jos Leys
http://www.josleys.com/
28/09/2022 MSc. Raúl Castro Vidal UNAC- 138
FIEE
28/09/2022 MSc. Raúl Castro Vidal 139
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 140
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 141
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal 142
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 143
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 144
28/09/2022 MSc. Raúl Castro Vidal UNAC- 145
FIEE
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 146
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 147
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 148
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 149
28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 150
La banda de Moebius
(Möbius strip)

August Ferdinand Möbius (1790-1868)

Max Bill, “Endless surface”. From 1953 to 1956.


Size125 x 125 x 80 cm. Open air Sculpture
Middlelheim Museum, Antverpen, Belgium.

28/09/2022 MSc. Raúl Castro Vidal UNAC-FIEE 151


28/09/2022 MSc. Raúl Castro Vidal 152
UNAC-FIEE
28/09/2022 Moebius Strip
MSc. Raúl II,Vidal
Castro M. C. Escher (1963) 153
UNAC-FIEE
28/09/2022 MSc. Raúl Castro Vidal UNAC- 154
FIEE

También podría gustarte